| Theoretical foundations for compensations in flow composition languages R Bruni, H Melgratti, U Montanari ACM SIGPLAN Notices 40 (1), 209-220, 2005 | 256 | 2005 |
| Testing service composition A Bucchiarone, H Melgratti, F Severoni Proceedings of the 8th Argentine Symposium on Software Engineering (ASSE’07), 2007 | 99 | 2007 |
| Comparing two approaches to compensable flow composition R Bruni, M Butler, C Ferreira, T Hoare, H Melgratti, U Montanari International Conference on Concurrency Theory, 383-397, 2005 | 79 | 2005 |
| Multiparty sessions in SOC R Bruni, I Lanese, H Melgratti, E Tuosto International Conference on Coordination Languages and Models, 67-82, 2008 | 63 | 2008 |
| Nested commits for mobile calculi: extending Join R Bruni, H Melgratti, U Montanari Exploring New Frontiers of Theoretical Informatics, 563-576, 2004 | 62 | 2004 |
| Connector algebras for C/E and P/T nets interactions R Bruni, H Melgratti, U Montanari, P Sobocinski | 60 | 2012 |
| Modelling dynamic software architectures using typed graph grammars R Bruni, A Bucchiarone, S Gnesi, H Melgratti Electronic Notes in Theoretical Computer Science 213 (1), 39-53, 2008 | 41 | 2008 |
| Event structure semantics for nominal calculi R Bruni, H Melgratti, U Montanari International Conference on Concurrency Theory, 295-309, 2006 | 33 | 2006 |
| From theory to practice in transactional composition of web services R Bruni, G Ferrari, H Melgratti, U Montanari, D Strollo, E Tuosto Formal Techniques for Computer Systems and Business Processes, 272-286, 2005 | 30 | 2005 |
| Translating Orc features into Petri nets and the Join calculus R Bruni, H Melgratti, E Tuosto International Workshop on Web Services and Formal Methods, 123-137, 2006 | 24 | 2006 |
| Connector algebras, Petri nets, and BIP R Bruni, H Melgratti, U Montanari International Andrei Ershov Memorial Conference on Perspectives of System …, 2011 | 19 | 2011 |
| A fuzzy approach for negotiating quality of services D Bacciu, A Botta, H Melgratti International Symposium on Trustworthy Global Computing, 200-217, 2006 | 18 | 2006 |
| Resolving non-determinism in choreographies L Bocchi, H Melgratti, E Tuosto European Symposium on Programming Languages and Systems, 493-512, 2014 | 13 | 2014 |
| Flat committed join in join R Bruni, H Melgratti, U Montanari Electronic Notes in Theoretical Computer Science 104, 39-59, 2004 | 12 | 2004 |
| Extending the zero-safe approach to coloured, reconfigurable and dynamic nets R Bruni, H Melgratti, U Montanari Advanced Course on Petri Nets, 291-327, 2003 | 12 | 2003 |
| Transactional service level agreement MG Buscemi, H Melgratti International Symposium on Trustworthy Global Computing, 124-139, 2007 | 10 | 2007 |
| Theoretical foundations for compensations in flow composition languages R Bruni, HC Melgratti, U Montanari POPL, 209-220, 0 | 10 | |
| Behaviour, interaction and dynamics R Bruni, H Melgratti, U Montanari Specification, Algebra, and Software, 382-401, 2014 | 9 | 2014 |
| Chaperone contracts for higher-order sessions H Melgratti, L Padovani Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017 | 7 | 2017 |
| A denotational view of replicated data types F Gadducci, H Melgratti, C Roldán International Conference on Coordination Languages and Models, 138-156, 2017 | 5 | 2017 |
