| Petri nets for modelling metabolic pathways: a survey P Baldan, N Cocco, A Marin, M Simeoni Natural Computing 9, 955-989, 2010 | 145 | 2010 |
| Deep learning for intelligent IoT: Opportunities, challenges and solutions YB Zikria, MK Afzal, SW Kim, A Marin, M Guizani Computer Communications 164, 50-53, 2020 | 69 | 2020 |
| Methodological construction of product-form stochastic Petri nets for performance evaluation S Balsamo, PG Harrison, A Marin Journal of Systems and Software, 2011 | 61 | 2011 |
| Interconnected wireless sensors with energy harvesting E Gelenbe, A Marin Analytical and Stochastic Modelling Techniques and Applications: 22nd …, 2015 | 57 | 2015 |
| A unifying approach to product-forms in networks with finite capacity constraints S Balsamo, PG Harrison, A Marin ACM SIGMETRICS Performance Evaluation Review 38 (1), 25-36, 2010 | 46 | 2010 |
| Analysis of stochastic Petri nets with signals A Marin, S Balsamo, PG Harrison Performance Evaluation 69 (11), 551-572, 2012 | 45 | 2012 |
| Queueing networks S Balsamo, A Marin International school on formal methods for the design of computer …, 2007 | 41 | 2007 |
| Exploiting product forms solution techniques in multiformalism modeling E Barbierato, GL Dei Rossi, M Gribaudo, M Iacono, A Marin Electronic Notes in Theoretical Computer Science 296, 61-77, 2013 | 39 | 2013 |
| Contextual lumpability J Hillston, C Piazza, A Marin, S Rossi ValueTools 2013--7th International Conference on Performance Evaluation …, 2013 | 35 | 2013 |
| On the relations between Markov chain lumpability and reversibility A Marin, S Rossi Acta Informatica 54 (5), 447-485, 2017 | 32 | 2017 |
| Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic A Bujari, A Marin, CE Palazzi, S Rossi Computer Networks 108, 160-170, 2016 | 32 | 2016 |
| On the use of proof-of-work in permissioned blockchains: Security and fairness I Malakhov, A Marin, S Rossi, D Smuseva IEEE Access 10, 1305-1316, 2021 | 30 | 2021 |
| Product-forms in multi-way synchronizations PG Harrison, A Marin The Computer Journal 57 (11), 1693-1710, 2014 | 29 | 2014 |
| On the relations between lumpability and reversibility A Marin, S Rossi 2014 IEEE 22nd International Symposium on Modelling, Analysis & Simulation …, 2014 | 28 | 2014 |
| A probabilistic energy-aware model for mobile ad-hoc networks L Gallina, S Hamadou, A Marin, S Rossi Analytical and Stochastic Modeling Techniques and Applications: 18th …, 2011 | 28 | 2011 |
| A general result for deriving product-form solutions in Markovian models A Marin, MG Vigliotti Proceedings of the first joint WOSP/SIPEW international conference on …, 2010 | 28 | 2010 |
| Modeling energy packets networks in the presence of failures JM Fourneau, A Marin, S Balsamo 2016 IEEE 24th international symposium on modeling, analysis and simulation …, 2016 | 24 | 2016 |
| Interference-sensitive preorders for manets M Bugliesi, L Gallina, A Marin, S Rossi, S Hamadou 2012 Ninth International Conference on Quantitative Evaluation of Systems …, 2012 | 24 | 2012 |
| Performance engineering with product-form models: efficient solutions and applications S Balsamo, A Marin Proceedings of the 2nd ACM/SPEC International Conference on Performance …, 2011 | 22 | 2011 |
| Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses G Alzetta, A Marin, C Piazza, S Rossi Information and Computation 260, 99-125, 2018 | 20 | 2018 |
Gian-Luca Dei RossiUniversità Ca' Foscari VeneziaVerified email at dsi.unive.it
