Gian Perrone
Gian Perrone
Square, Inc.
Verified email at squareup.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
722012
Big red: A development environment for bigraphs
AJ Faithfull, G Perrone, TT Hildebrandt
Electronic Communications of the EASST 61, 2013
352013
Determining item recommendations from merchant data
A Kumar, D Hipschman, R Yan, B James, G Perrone, M Leduc
US Patent 9,619,831, 2017
332017
A verification environment for bigraphs
G Perrone, S Debois, TT Hildebrandt
Innovations in Systems and Software Engineering 9 (2), 95-104, 2013
182013
Bigraphical Refinement
G Perrone, S Debois, T Hildebrandt
Arxiv preprint arXiv:1106.4091, 2011
172011
Refinement for Transition Systems with Responses
M Carbone, T Hildebrandt, G Perrone, A Wąsowski
Arxiv preprint arXiv:1207.4270, 2012
152012
Domain-specific modelling languages in bigraphs
G Perrone
Ph. D. Thesis, IT University of Copenhagen, Copenhagen, Denmark, 2013
142013
Determining recommendations from buyer information
G Perrone, M Leduc, J Coughlin, A Kumar
US Patent 9,767,471, 2017
132017
Testing Context-Aware Applications Based on Bigraphical Modeling
L Yu, WT Tsai, G Perrone
IEEE Transactions on Reliability 65 (3), 1584-1611, 2016
122016
Determining pricing information from merchant data
AR Kumar, R Yan, M Ng, G Perrone, M Leduc
US Patent App. 16/431,671, 2019
82019
Determining pricing information from merchant data
A Kumar, R Yan, M Ng, G Perrone, M Leduc
US Patent 10,339,548, 2019
52019
Multi-scale Anomaly Detection with Wavelets
J Coughlin, G Perrone
Proceedings of the International Conference on Big Data and Internet of Things, 2017
22017
Deferred transaction processing
JA Wolter, G Perrone, P Aaron
US Patent App. 17/079,831, 2021
2021
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
2021
Buyer profile management
A Kumar, D Hipschman, R Yan, JB James, G Perrone, M Leduc
US Patent 10,810,650, 2020
2020
Petri nets in bigraphs revisited
W Wang, GD Perrone, T Hildebrandt
24 th Nordic Workshop on Programming Theory, 2013
2013
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
Light-Weight Specification and Verification of Runtime Behaviour
G Perrone, D Streader
The system can't perform the operation now. Try again later.
Articles 1–20