Hernán C. Melgratti

84 papers A* 3A 4B 7C 10Misc 1Journal 34Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Encoding Reversible Petri Nets into CCSK. Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2026	J	`jnl`	JoinActors: A Modular Library for Actors with Join Patterns. CoRR Ayman Hussein, Philipp Haller, Ioannis Karras, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto
2026	J	`jnl`	JoinActors: A Modular Library for Actors with Join Patterns. Art Sci. Eng. Program. Ayman Hussein, Philipp Haller, Ioannis Karras, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto
2026	B	`conf`	On Reversibility in Petri Nets. FoSSaCS Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2025	C	`conf`	Behavioural, Functional, and Non-functional Contracts for Dynamic Selection of Services. COORDINATION Carlos López Pombo, Hernán C. Melgratti, Agustín E. Martinez Suñé, Diego Senarruzza Anabia, Emilio Tuosto
2025	J	`jnl`	Relating Reversible Petri Nets and Reversible Event Structures, categorically. Log. Methods Comput. Sci. Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2024	J	`jnl`	A Reversible Perspective on Petri Nets and Event Structures. ACM Trans. Comput. Log. Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2024	J	`jnl`	A Truly Concurrent Semantics for Reversible CCS. Log. Methods Comput. Sci. Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2024	J	`jnl`	Fair Join Pattern Matching for Actors (Artifact). Dagstuhl Artifacts Ser. Philipp Haller, Ayman Hussein, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto
2024	A	`conf`	Fair Join Pattern Matching for Actors. ECOOP Philipp Haller, Ayman Hussein, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto
2023	J	`jnl`	A Reversible Perspective on Petri Nets and Event Structures. CoRR Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2023	J	`jnl`	A Truly Concurrent Semantics for Reversible CCS. CoRR Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2023	J	`jnl`	Behavioural Types for Local-First Software (Artifact). Dagstuhl Artifacts Ser. Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto
2023	A	`conf`	Behavioural Types for Local-First Software. ECOOP Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto
2023	J	`jnl`	Behavioural Types for Local-First Software. CoRR Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto
2023	J	`jnl`	Multiparty testing preorders. Log. Methods Comput. Sci. Rocco De Nicola, Hernán C. Melgratti
2023	C	`conf`	Relating Reversible Petri Nets and Reversible Event Structures, Categorically. FORTE Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2023	J	`jnl`	Relating Reversible Petri Nets and Reversible Event Structures, categorically. CoRR Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2022	J	`jnl`	A Petri net view of covalent bonds. Theor. Comput. Sci. Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2022	J	`jnl`	Categorical specification and implementation of Replicated Data Types. Theor. Comput. Sci. Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino
2022	J	`jnl`	Towards refinable choreographies. J. Log. Algebraic Methods Program. Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto
2021	A*	`conf`	A distributed operational view of Reversible Prime Event Structures. LICS Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2021	C	`conf`	Towards a Truly Concurrent Semantics for Reversible CCS. RC Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2020	C	`conf`	A Choreography-Driven Approach to APIs: The OpenDXL Case Study. COORDINATION Leonardo Frittelli, Facundo Maldonado, Hernán C. Melgratti, Emilio Tuosto
2020	J	`jnl`	Bayesian network semantics for Petri nets. Theor. Comput. Sci. Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2020	C	`conf`	Implementation Correctness for Replicated Data Types, Categorically. ICTAC Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino
2020	J	`jnl`	On Resolving Non-determinism in Choreographies. Log. Methods Comput. Sci. Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto
2020	B	`conf`	Probabilistic Analysis of Binary Sessions. CONCUR Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
2020	J	`jnl`	Probabilistic Analysis of Binary Sessions. CoRR Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
2020	C	`conf`	Reversible Occurrence Nets and Causal Reversible Prime Event Structures. RC Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski
2020	J	`jnl`	Reversing Place Transition Nets. Log. Methods Comput. Sci. Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski
2020	—	`conf`	Towards Refinable Choreographies. ICE Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto
2019	—	`conf`	A Categorical Account of Replicated Data Types. FSTTCS Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino
2019	J	`jnl`	Concurrency and Probability: Removing Confusion, Compositionally. Log. Methods Comput. Sci. Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2019	—	`conf`	Data-Driven Choreographies à la Klaim. Models, Languages, and Tools for Concurrent and Distributed Programming Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto
2019	J	`jnl`	On Resolving Non-determinism in Choreographies. CoRR Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto
2019	J	`jnl`	Reversible Causal Nets and Reversible Event Structures. CoRR Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski
2019	C	`conf`	Reversing P/T Nets. COORDINATION Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski
2019	J	`jnl`	Reversing Place Transition Nets. CoRR Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski
2018	A*	`conf`	Concurrency and Probability: Removing Confusion, Compositionally. LICS Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2018	J	`jnl`	Event Structures for Petri nets with Persistence. CoRR Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
2018	J	`jnl`	Event Structures for Petri nets with Persistence. Log. Methods Comput. Sci. Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
2018	J	`jnl`	On the semantics and implementation of replicated data types. Sci. Comput. Program. Fabio Gadducci, Hernán C. Melgratti, Christian Roldán
2018	J	`jnl`	Unifying Inference for Bayesian and Petri Nets. CoRR Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2017	—	`conf`	5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017). FormaliSE@ICSE Stefania Gnesi, Nico Plat, Hernán C. Melgratti
2017	C	`conf`	A Denotational View of Replicated Data Types. COORDINATION Fabio Gadducci, Hernán C. Melgratti, Christian Roldán
2017	J	`jnl`	Chaperone contracts for higher-order sessions. Proc. ACM Program. Lang. Hernán C. Melgratti, Luca Padovani
2017	J	`jnl`	Concurrency and Probability: Removing Confusion, Compositionally. CoRR Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2016	C	`conf`	A Formal Analysis of the Global Sequence Protocol. COORDINATION Hernán C. Melgratti, Christian Roldán
2016	J	`jnl`	Multiparty testing preorders. CoRR Rocco De Nicola, Hernán C. Melgratti
2015	—	`conf`	A Normal Form for Stateful Connectors. Logic, Rewriting, and Concurrency Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2015	—	`conf`	Multiparty Testing Preorders. TGC Rocco De Nicola, Hernán C. Melgratti
2015	J	`jnl`	On the behaviour of general purpose applications on cloud storages. Serv. Oriented Comput. Appl. Laura Bocchi, Hernán C. Melgratti
2015	J	`jnl`	cJoin: Join with communicating transactions. Math. Struct. Comput. Sci. Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2014	—	`conf`	Behaviour, Interaction and Dynamics. Specification, Algebra, and Software Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2014	—	`conf`	From Hierarchical BIP to Petri Calculus. FPS@ETAPS Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2014	A	`conf`	Resolving Non-determinism in Choreographies. ESOP Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto
2013	B	`ed.`	CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings CONCUR Pedro R. D'Argenio, Hernán C. Melgratti
2013	J	`jnl`	Connector algebras for C/E and P/T nets' interactions. Log. Methods Comput. Sci. Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Pawel Sobocinski
2013	—	`conf`	On the Behaviour of General-Purpose Applications on Cloud Storages. WS-FM Laura Bocchi, Hernán C. Melgratti
2011	B	`conf`	A Connector Algebra for P/T Nets Interactions. CONCUR Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2011	—	`conf`	A Survey on Basic Connectors and Buffers. FMCO Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2011	—	`conf`	Connector Algebras, Petri Nets, and BIP. Ershov Memorial Conference Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2011	—	`conf`	On Correlation Sets and Correlation Exceptions in ActiveBPEL. TGC Hernán C. Melgratti, Christian Roldán
2010	Misc	`conf`	Contracts for Abstract Processes in Service Composition FIT Maria Grazia Buscemi, Hernán C. Melgratti
2009	A	`conf`	Abstract Processes in Orchestration Languages. ESOP Maria Grazia Buscemi, Hernán C. Melgratti
2008	C	`conf`	Multiparty Sessions in SOC. COORDINATION Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto
2008	—	`conf`	Synchronous Multiparty Synchronizations and Transactions. Concurrency, Graphs and Models Ivan Lanese, Hernán C. Melgratti
2007	—	`conf`	Modelling Dynamic Software Architectures using Typed Graph Grammars. GT-VC@CONCUR Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán C. Melgratti
2007	—	`conf`	Transactional Service Level Agreement. TGC Maria Grazia Buscemi, Hernán C. Melgratti
2006	—	`conf`	A Fuzzy Approach for Negotiating Quality of Services. TGC Davide Bacciu, Alessio Botta, Hernán C. Melgratti
2006	B	`conf`	Dynamic Graph Transformation Systems. ICGT Roberto Bruni, Hernán C. Melgratti
2006	J	`jnl`	Event Structure Semantics for Dynamic Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2006	B	`conf`	Event Structure Semantics for Nominal Calculi. CONCUR Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2006	—	`conf`	Non-sequential Behaviour of Dynamic Nets. ICATPN Roberto Bruni, Hernán C. Melgratti
2006	—	`conf`	Translating Orc Features into Petri Nets and the Join Calculus. WS-FM Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto
2005	B	`conf`	Comparing Two Approaches to Compensable Flow Composition. CONCUR Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari
2005	—	`conf`	From Theory to Practice in Transactional Composition of Web Services. EPEW/WS-FM Roberto Bruni, Gian-Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto
2005	—	`—`	Models and languages for global computing transactions. Hernán C. Melgratti
2005	A*	`conf`	Theoretical foundations for compensations in flow composition languages. POPL Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2004	—	`conf`	Nested Commits for Mobile Calculi: Extending Join. IFIP TCS Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2004	—	`conf`	Prototype Platforms for Distributed Agreements. FOCLASA Alberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo
2003	—	`conf`	Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets. Lectures on Concurrency and Petri Nets Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2003	—	`conf`	Flat Committed Join in Join. COMETA Roberto Bruni, Hernán C. Melgratti, Ugo Montanari