Hernn C. Melgratti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
25
Venues
11
Active years
2005–2026
Best venue rank
A*
Where they publish
Papers
25 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ECOOP | Compositional Design, Implementation, and Verification of Swarms. | Florian Furbach, Lucas Clorius, Roland Kuhn, Hernn C. Melgratti, Alceste Scalas, Emilio Tuosto |
| 2026 | FOSSACS | On Reversibility in Petri Nets. | Hernn C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
| 2026 | RC | A Lean Mechanization of Reversible Occurrence Nets. | Daniel Dvalos, Hernn C. Melgratti |
| 2025 | Coordination | Behavioural, Functional, and Non-functional Contracts for Dynamic Selection of Services. | Carlos Lpez Pombo, Hernn C. Melgratti, Agustn E. Martinez Su, Diego Senarruzza Anabia, Emilio Tuosto |
| 2024 | ECOOP | Fair Join Pattern Matching for Actors. | Philipp Haller, Ayman Hussein, Hernn C. Melgratti, Alceste Scalas, Emilio Tuosto |
| 2023 | ECOOP | Behavioural Types for Local-First Software. | Roland Kuhn, Hernn C. Melgratti, Emilio Tuosto |
| 2023 | FORTE | Relating Reversible Petri Nets and Reversible Event Structures, Categorically. | Hernn C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
| 2021 | LICS | A distributed operational view of Reversible Prime Event Structures. | Hernn C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
| 2021 | RC | Towards a Truly Concurrent Semantics for Reversible CCS. | Hernn C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
| 2020 | CONCUR | Probabilistic Analysis of Binary Sessions. | Omar Inverso, Hernn C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto |
| 2020 | Coordination | A Choreography-Driven Approach to APIs: The OpenDXL Case Study. | Leonardo Frittelli, Facundo Maldonado, Hernn C. Melgratti, Emilio Tuosto |
| 2020 | ICTAC | Implementation Correctness for Replicated Data Types, Categorically. | Fabio Gadducci, Hernn C. Melgratti, Christian Roldn, Matteo Sammartino |
| 2020 | RC | Reversible Occurrence Nets and Causal Reversible Prime Event Structures. | Hernn C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski |
| 2019 | Coordination | Reversing P/T Nets. | Hernn C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski |
| 2018 | LICS | Concurrency and Probability: Removing Confusion, Compositionally. | Roberto Bruni, Hernn C. Melgratti, Ugo Montanari |
| 2017 | Coordination | A Denotational View of Replicated Data Types. | Fabio Gadducci, Hernn C. Melgratti, Christian Roldn |
| 2017 | ICSE | 5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017). | Stefania Gnesi, Nico Plat, Hernn C. Melgratti |
| 2016 | Coordination | A Formal Analysis of the Global Sequence Protocol. | Hernn C. Melgratti, Christian Roldn |
| 2014 | ESOP | Resolving Non-determinism in Choreographies. | Laura Bocchi, Hernn C. Melgratti, Emilio Tuosto |
| 2011 | CONCUR | A Connector Algebra for P/T Nets Interactions. | Roberto Bruni, Hernn C. Melgratti, Ugo Montanari |
| 2009 | ESOP | Abstract Processes in Orchestration Languages. | Maria Grazia Buscemi, Hernn C. Melgratti |
| 2008 | Coordination | Multiparty Sessions in SOC. | Roberto Bruni, Ivan Lanese, Hernn C. Melgratti, Emilio Tuosto |
| 2006 | CONCUR | Event Structure Semantics for Nominal Calculi. | Roberto Bruni, Hernn C. Melgratti, Ugo Montanari |
| 2005 | CONCUR | Comparing Two Approaches to Compensable Flow Composition. | Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernn C. Melgratti, Ugo Montanari |
| 2005 | POPL | Theoretical foundations for compensations in flow composition languages. | Roberto Bruni, Hernn C. Melgratti, Ugo Montanari |