| Hivory: Range queries on hierarchical voronoi overlays M Mordacchini, L Ricci, L Ferrucci, M Albano, R Baraglia 2010 IEEE Tenth International Conference on Peer-to-Peer Computing (P2P), 1-10, 2010 | 23 | 2010 |
| Interoperability of home automation systems as a critical challenge for IoT V Miori, D Russo, L Ferrucci 2019 4th International Conference on Computing, Communications and Security …, 2019 | 17 | 2019 |
| Multidimensional range queries on hierarchical Voronoi overlays L Ferrucci, L Ricci, M Albano, R Baraglia, M Mordacchini Journal of Computer and System Sciences, 2016 | 13 | 2016 |
| Automated formal verification for flexible manufacturing systems E Carpanzano, L Ferrucci, D Mandrioli, M Mazzolini, A Morzenti, M Rossi Journal of Intelligent Manufacturing 25, 1181-1195, 2014 | 10 | 2014 |
| Latency preserving self-optimizing placement at the edge L Ferrucci, M Mordacchini, M Coppola, E Carlini, H Kavalionak, P Dazzi Proceedings of the 1st Workshop on Flexible Resource and Application …, 2020 | 9 | 2020 |
| An LTL semantics of business workflows with recovery L Ferrucci, MM Bersani, M Mazzara 2014 9th International Conference on Software Paradigm Trends (ICSOFT-PT), 29-40, 2014 | 9 | 2014 |
| Load balancing by domain decomposition: the bounded neighbour approach F Baiardi, A Bonotti, L Ferrucci, L Ricci, P Mori Proc. of 17th European Simulation Multiconference, 9-11, 2003 | 8 | 2003 |
| A metric temporal logic for dealing with zero-time transitions L Ferrucci, D Mandrioli, A Morzenti, M Rossi 2012 19th International Symposium on Temporal Representation and Reasoning …, 2012 | 7 | 2012 |
| Self-organizing energy-minimization placement of qoe-constrained services at the edge M Mordacchini, L Ferrucci, E Carlini, H Kavalionak, M Coppola, P Dazzi International Conference on the Economics of Grids, Clouds, Systems, and …, 2021 | 5 | 2021 |
| Impact of network topology on the convergence of decentralized federated learning systems H Kavalionak, E Carlini, P Dazzi, L Ferrucci, M Mordacchini, M Coppola 2021 IEEE Symposium on Computers and Communications (ISCC), 1-6, 2021 | 5 | 2021 |
| Supporting Active Aging Through A Home Automation Infrastructure for Social Internet of Things V Miori, D Russo, L Ferrucci Advances in Science, Technology and Engineering Systems Journal 3 (4), 173-186, 2018 | 5 | 2018 |
| A timed semantics of workflows MM Bersani, S Distefano, L Ferrucci, M Mazzara International Conference on Software Technologies, 365-383, 2014 | 5 | 2014 |
| Modular automated verification of flexible manufacturing systems with metric temporal logic and non-standard analysis L Ferrucci, D Mandrioli, A Morzenti, M Rossi Formal Methods for Industrial Critical Systems: 17th International Workshop …, 2012 | 4 | 2012 |
| A temporal logic for micro-and macro-step-based real-time systems: Foundations and applications M Rossi, D Mandrioli, A Morzenti, L Ferrucci Theoretical Computer Science 643, 38-64, 2016 | 2 | 2016 |
| A proposed evolution for the Italian certified electronic mail system M Buzzi, L Ferrucci, F Gennai, C Petrucci 2016 Third International Conference on eDemocracy & eGovernment (ICEDEG), 34-41, 2016 | 2 | 2016 |
| Introducing new technology into italian certified electronic mail: A proposal M Buzzi, L Ferrucci, F Gennai, C Petrucci 2015 IEEE/ACM 1st International Workshop on TEchnical and LEgal aspects of …, 2015 | 2 | 2015 |
| Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach L Ferrucci, D Mandrioli, A Morzenti, M Rossi arXiv preprint arXiv:1206.0911, 2012 | 2 | 2012 |
| Un sistema gerarchico basato su Voronoi per la risoluzione di query multiattributo L FERRUCCI Università di Pisa, 2009 | 2 | 2009 |
| Decentralized federated learning and network topologies: an empirical study on convergence H Kavalionak, E Carlini, P Dazzi, L Ferrucci, M Mordacchini, M Coppola SEBD, 2022 | 1 | 2022 |
| A Systematic Mapping Study of Italian Research on Workflows M Aldinucci, EM Baralis, V Cardellini, I Colonnelli, M Danelutto, ... Proceedings of the SC'23 Workshops of The International Conference on High …, 2023 | | 2023 |
Matteo MordacchiniIIT-CNRVerificeret mail på iit.cnr.it
