Följ
Gian Perrone
Gian Perrone
Nav Technologies, Inc.
Verifierad e-postadress på nav.com - Startsida
Titel
Citeras av
Citeras av
År
A model checker for bigraphs
G Perrone, S Debois, TT Hildebrandt
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1320-1325, 2012
922012
Determining item recommendations from merchant data
A Kumar, D Hipschman, R Yan, B James, G Perrone, M Leduc
US Patent 9,619,831, 2017
692017
Big red: A development environment for bigraphs
AJ Faithfull, G Perrone, TT Hildebrandt
Electronic Communications of the EASST 61, 2013
482013
A verification environment for bigraphs
G Perrone, S Debois, TT Hildebrandt
Innovations in Systems and Software Engineering 9 (2), 95-104, 2013
272013
Bigraphical Refinement
G Perrone, S Debois, T Hildebrandt
Arxiv preprint arXiv:1106.4091, 2011
272011
Determining recommendations from buyer information
G Perrone, M Leduc, J Coughlin, A Kumar
US Patent 9,767,471, 2017
252017
Testing Context-Aware Applications Based on Bigraphical Modeling
L Yu, WT Tsai, G Perrone
IEEE Transactions on Reliability 65 (3), 1584-1611, 2016
202016
Domain-specific modelling languages in bigraphs
G Perrone
Ph. D. Thesis, IT University of Copenhagen, Copenhagen, Denmark, 2013
192013
Determining pricing information from merchant data
AR Kumar, R Yan, M Ng, G Perrone, M Leduc
US Patent 11,210,725, 2021
182021
Determining pricing information from merchant data
A Kumar, R Yan, M Ng, G Perrone, M Leduc
US Patent 10,339,548, 2019
182019
Refinement for Transition Systems with Responses
M Carbone, T Hildebrandt, G Perrone, A Wąsowski
Arxiv preprint arXiv:1207.4270, 2012
142012
Deferred transaction processing
JA Wolter, G Perrone, P Aaron
US Patent App. 17/079,831, 2021
52021
Determining item recommendations from merchant data
A Kumar, D Hipschman, R Yan, JB James, G Perrone, M Leduc
US Patent App. 17/065,072, 2021
32021
Buyer profile management
A Kumar, D Hipschman, R Yan, JB James, G Perrone, M Leduc
US Patent 10,810,650, 2020
22020
Multi-scale Anomaly Detection with Wavelets
J Coughlin, G Perrone
Proceedings of the International Conference on Big Data and Internet of Things, 2017
22017
Petri nets in bigraphs revisited
W Wang, GD Perrone, T Hildebrandt
24 th Nordic Workshop on Programming Theory, 2013
12013
Determining pricing information from merchant data
AR Kumar, R Yan, M Ng, G Perrone, M Leduc
US Patent 11,966,961, 2024
2024
Transaction modification based on modeled profiles
A Kumar, D Hipschman, R Yan, JB James, G Perrone, M Leduc
US Patent 11,776,038, 2023
2023
BMC & BAM
TT Hildebrandt, G Perrone
2012
Mesh Mobs
T Kindberg, J Bardram, S Büttrich, M Esbensen, S Houben, R Khaled, ...
2011
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20