A model checker for bigraphs G Perrone, S Debois, TT Hildebrandt Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1320-1325, 2012 | 92 | 2012 |
Determining item recommendations from merchant data A Kumar, D Hipschman, R Yan, B James, G Perrone, M Leduc US Patent 9,619,831, 2017 | 69 | 2017 |
Big red: A development environment for bigraphs AJ Faithfull, G Perrone, TT Hildebrandt Electronic Communications of the EASST 61, 2013 | 48 | 2013 |
A verification environment for bigraphs G Perrone, S Debois, TT Hildebrandt Innovations in Systems and Software Engineering 9 (2), 95-104, 2013 | 27 | 2013 |
Bigraphical Refinement G Perrone, S Debois, T Hildebrandt Arxiv preprint arXiv:1106.4091, 2011 | 27 | 2011 |
Determining recommendations from buyer information G Perrone, M Leduc, J Coughlin, A Kumar US Patent 9,767,471, 2017 | 25 | 2017 |
Testing Context-Aware Applications Based on Bigraphical Modeling L Yu, WT Tsai, G Perrone IEEE Transactions on Reliability 65 (3), 1584-1611, 2016 | 20 | 2016 |
Domain-specific modelling languages in bigraphs G Perrone Ph. D. Thesis, IT University of Copenhagen, Copenhagen, Denmark, 2013 | 19 | 2013 |
Determining pricing information from merchant data AR Kumar, R Yan, M Ng, G Perrone, M Leduc US Patent 11,210,725, 2021 | 18 | 2021 |
Determining pricing information from merchant data A Kumar, R Yan, M Ng, G Perrone, M Leduc US Patent 10,339,548, 2019 | 18 | 2019 |
Refinement for Transition Systems with Responses M Carbone, T Hildebrandt, G Perrone, A Wąsowski Arxiv preprint arXiv:1207.4270, 2012 | 14 | 2012 |
Deferred transaction processing JA Wolter, G Perrone, P Aaron US Patent App. 17/079,831, 2021 | 5 | 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 | 3 | 2021 |
Buyer profile management A Kumar, D Hipschman, R Yan, JB James, G Perrone, M Leduc US Patent 10,810,650, 2020 | 2 | 2020 |
Multi-scale Anomaly Detection with Wavelets J Coughlin, G Perrone Proceedings of the International Conference on Big Data and Internet of Things, 2017 | 2 | 2017 |
Petri nets in bigraphs revisited W Wang, GD Perrone, T Hildebrandt 24 th Nordic Workshop on Programming Theory, 2013 | 1 | 2013 |
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 |