| Learning nominal automata J Moerman, M Sammartino, A Silva, B Klin, M Szynwelski Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 44 | 2017 |
| Network conscious ð-calculus: A concurrent semantics U Montanari, M Sammartino Electronic Notes in Theoretical Computer Science 286, 291-306, 2012 | 14 | 2012 |
| SDN-Actors: modeling and verification of SDN programs E Albert, M Gómez-Zamalloa, A Rubio, M Sammartino, A Silva International Symposium on Formal Methods, 550-567, 2018 | 12 | 2018 |
| CALF: categorical automata learning framework G van Heerdt, M Sammartino, A Silva arXiv preprint arXiv:1704.05676, 2017 | 11 | 2017 |
| A network-conscious ð-calculus and its coalgebraic semantics U Montanari, M Sammartino Theoretical Computer Science 546, 188-224, 2014 | 11 | 2014 |
| Revisiting causality, coalgebraically R Bruni, U Montanari, M Sammartino Acta Informatica 52 (1), 5-33, 2015 | 8 | 2015 |
| Reconfigurable and software-defined networks of connectors and components R Bruni, U Montanari, M Sammartino Software Engineering for Collective Autonomic Systems, 73-106, 2015 | 8 | 2015 |
| From Local to Global Knowledge and Back N Hoch, GV Monreale, U Montanari, M Sammartino, AT Siwe Software Engineering for Collective Autonomic Systems, 185-220, 2015 | 6 | 2015 |
| A network-aware process calculus for global computing and its categorical framework M Sammartino PhD thesis, University of Pisa, 2013 | 6 | 2013 |
| Learning automata with side-effects G van Heerdt, M Sammartino, A Silva International Workshop on Coalgebraic Methods in Computer Science, 68-89, 2020 | 5 | 2020 |
| Optimizing automata learning via monads G van Heerdt, M Sammartino, A Silva arXiv preprint arXiv:1704.08055, 2017 | 5 | 2017 |
| Dynamic Programming on Nominal Graphs N Hoch, U Montanari, M Sammartino EPTCS, Proceedings of Graphs as Models 181, 80-96, 2015 | 5 | 2015 |
| Software engineering for self-aware sces J Combaz, A Lluch Lafuente, U Montanari, R Pugliese, M Sammartino, ... Technical report, ASCENS Project, 2013. Deliverable JD3. 1, 2013 | 5 | 2013 |
| A coalgebraic semantics for causality in Petri nets R Bruni, U Montanari, M Sammartino Journal of Logical and Algebraic Methods in Programming 84 (6), 853-883, 2015 | 4 | 2015 |
| Network-conscious ð-calculus–a model of pastry U Montanari, M Sammartino Electronic Notes in Theoretical Computer Science 312, 3-17, 2015 | 4 | 2015 |
| Network conscious pi-calculus U Montanari, M Sammartino Università di Pisa, 2012 | 4 | 2012 |
| A Categorical Framework for Learning Generalised Tree Automata G van Heerdt, T Kappé, J Rot, M Sammartino, A Silva arXiv preprint arXiv:2001.05786, 2020 | 3 | 2020 |
| Decomposition structures for soft constraint evaluation problems: an algebraic approach U Montanari, M Sammartino, A Tcheukam Graph Transformation, Specifications, and Nets, 179-200, 2018 | 3 | 2018 |
| A class of automata for the verification of infinite, resource-allocating behaviours V Ciancia, M Sammartino International Symposium on Trustworthy Global Computing, 97-111, 2014 | 3 | 2014 |
| Network conscious pi-calculus M Sammartino, U Montanari Pisa: Universita di Pisa, 2012 | 3 | 2012 |
Alexandra SilvaProfessor at University College LondonVerified email at ucl.ac.uk
