Follow
Gian Perrone
Gian Perrone
Nav Technologies, Inc.
Verified email at nav.com - Homepage
Title
Cited by
Cited by
Year
A model checker for bigraphs
G Perrone, S Debois, TT Hildebrandt
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1320-1325, 2012
862012
Determining item recommendations from merchant data
A Kumar, D Hipschman, R Yan, B James, G Perrone, M Leduc
US Patent 9,619,831, 2017
662017
Big red: A development environment for bigraphs
AJ Faithfull, G Perrone, TT Hildebrandt
Electronic Communications of the EASST 61, 2013
432013
A verification environment for bigraphs
G Perrone, S Debois, TT Hildebrandt
Innovations in Systems and Software Engineering 9 (2), 95-104, 2013
252013
Bigraphical Refinement
G Perrone, S Debois, T Hildebrandt
Arxiv preprint arXiv:1106.4091, 2011
232011
Determining recommendations from buyer information
G Perrone, M Leduc, J Coughlin, A Kumar
US Patent 9,767,471, 2017
222017
Testing Context-Aware Applications Based on Bigraphical Modeling
L Yu, WT Tsai, G Perrone
IEEE Transactions on Reliability 65 (3), 1584-1611, 2016
182016
Determining pricing information from merchant data
A Kumar, R Yan, M Ng, G Perrone, M Leduc
US Patent 10,339,548, 2019
162019
Determining pricing information from merchant data
AR Kumar, R Yan, M Ng, G Perrone, M Leduc
US Patent 11,210,725, 2021
152021
Domain-specific modelling languages in bigraphs
G Perrone
Ph. D. Thesis, IT University of Copenhagen, Copenhagen, Denmark, 2013
152013
Refinement for Transition Systems with Responses
M Carbone, T Hildebrandt, G Perrone, A Wąsowski
Arxiv preprint arXiv:1207.4270, 2012
132012
Deferred transaction processing
JA Wolter, G Perrone, P Aaron
US Patent App. 17/079,831, 2021
42021
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
22021
Multi-scale Anomaly Detection with Wavelets
J Coughlin, G Perrone
Proceedings of the International Conference on Big Data and Internet of Things, 2017
22017
Buyer profile management
A Kumar, D Hipschman, R Yan, JB James, G Perrone, M Leduc
US Patent 10,810,650, 2020
12020
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 App. 17/559,779, 2022
2022
BMC & BAM
TT Hildebrandt, G Perrone
2012
Mesh Mobs
T Kindberg, J Bardram, S Büttrich, M Esbensen, S Houben, R Khaled, ...
2011
Automatic Parallelisation of Web Applications
GD Perrone, D Streader
2008
The system can't perform the operation now. Try again later.
Articles 1–20