Petri nets for modelling metabolic pathways: a survey P Baldan, N Cocco, A Marin, M Simeoni Natural Computing 9, 955-989, 2010 | 147 | 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 | 73 | 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 |
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 | 33 | 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 | 32 | 2021 |
On the relations between Markov chain lumpability and reversibility A Marin, S Rossi Acta Informatica 54 (5), 447-485, 2017 | 32 | 2017 |
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 |