Hernán C. Melgratti

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 40

Top Topics

Top Venues

Log. Methods Comput. Sci.

Theor. Comput. Sci.

Publications

Rocco De Nicola, Hernán C. Melgratti
Multiparty testing preorders. Log. Methods Comput. Sci. 19 (1) (2023)
Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto
Behavioural Types for Local-First Software. CoRR (2023)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
Relating Reversible Petri Nets and Reversible Event Structures, categorically. CoRR (2023)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
Relating Reversible Petri Nets and Reversible Event Structures, Categorically. FORTE (2023)
Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto
Behavioural Types for Local-First Software. ECOOP (2023)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
A Reversible Perspective on Petri Nets and Event Structures. CoRR (2023)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
A Truly Concurrent Semantics for Reversible CCS. CoRR (2023)
Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto
Behavioural Types for Local-First Software (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino
Categorical specification and implementation of Replicated Data Types. Theor. Comput. Sci. 903 (2022)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
A Petri net view of covalent bonds. Theor. Comput. Sci. 908 (2022)
Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto
Towards refinable choreographies. J. Log. Algebraic Methods Program. 127 (2022)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
A distributed operational view of Reversible Prime Event Structures. LICS (2021)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
Towards a Truly Concurrent Semantics for Reversible CCS. RC (2021)
Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
Probabilistic Analysis of Binary Sessions. CoRR (2020)
Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto
On Resolving Non-determinism in Choreographies. Log. Methods Comput. Sci. 16 (3) (2020)
Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski
Reversing Place Transition Nets. Log. Methods Comput. Sci. 16 (4) (2020)
Leonardo Frittelli, Facundo Maldonado, Hernán C. Melgratti, Emilio Tuosto
A Choreography-Driven Approach to APIs: The OpenDXL Case Study. COORDINATION (2020)
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino
Implementation Correctness for Replicated Data Types, Categorically. ICTAC (2020)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Bayesian network semantics for Petri nets. Theor. Comput. Sci. 807 (2020)
Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
Probabilistic Analysis of Binary Sessions. CONCUR (2020)
Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski
Reversible Occurrence Nets and Causal Reversible Prime Event Structures. RC (2020)
Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto
Towards Refinable Choreographies. ICE (2020)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto
Data-Driven Choreographies à la Klaim. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Hernán C. Melgratti, Claudio Antares Mezzina, Iain C. C. Phillips, G. Michele Pinna, Irek Ulidowski
Reversible Causal Nets and Reversible Event Structures. CoRR (2019)
Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski
Reversing Place Transition Nets. CoRR (2019)
Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto
On Resolving Non-determinism in Choreographies. CoRR (2019)
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino
A Categorical Account of Replicated Data Types. FSTTCS (2019)
Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski
Reversing P/T Nets. COORDINATION (2019)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Concurrency and Probability: Removing Confusion, Compositionally. Log. Methods Comput. Sci. 15 (4) (2019)
Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
Event Structures for Petri nets with Persistence. Log. Methods Comput. Sci. 14 (3) (2018)
Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
Event Structures for Petri nets with Persistence. CoRR (2018)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Unifying Inference for Bayesian and Petri Nets. CoRR (2018)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Concurrency and Probability: Removing Confusion, Compositionally. LICS (2018)
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán
On the semantics and implementation of replicated data types. Sci. Comput. Program. 167 (2018)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Concurrency and Probability: Removing Confusion, Compositionally. CoRR (2017)
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán
A Denotational View of Replicated Data Types. COORDINATION (2017)
Hernán C. Melgratti, Luca Padovani
Chaperone contracts for higher-order sessions. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Stefania Gnesi, Nico Plat, Hernán C. Melgratti
5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017). FormaliSE@ICSE (2017)
Hernán C. Melgratti, Christian Roldán
A Formal Analysis of the Global Sequence Protocol. COORDINATION (2016)
Rocco De Nicola, Hernán C. Melgratti
Multiparty testing preorders. CoRR (2016)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
A Normal Form for Stateful Connectors. Logic, Rewriting, and Concurrency (2015)
Laura Bocchi, Hernán C. Melgratti
On the behaviour of general purpose applications on cloud storages. Serv. Oriented Comput. Appl. 9 (3-4) (2015)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
cJoin: Join with communicating transactions. Math. Struct. Comput. Sci. 25 (3) (2015)
Rocco De Nicola, Hernán C. Melgratti
Multiparty Testing Preorders. TGC (2015)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Behaviour, Interaction and Dynamics. Specification, Algebra, and Software (2014)
Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto
Resolving Non-determinism in Choreographies. ESOP (2014)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
From Hierarchical BIP to Petri Calculus. FPS@ETAPS (2014)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Pawel Sobocinski
Connector algebras for C/E and P/T nets' interactions. Log. Methods Comput. Sci. 9 (3) (2013)
Laura Bocchi, Hernán C. Melgratti
On the Behaviour of General-Purpose Applications on Cloud Storages. WS-FM (2013)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
A Survey on Basic Connectors and Buffers. FMCO (2011)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Connector Algebras, Petri Nets, and BIP. Ershov Memorial Conference (2011)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
A Connector Algebra for P/T Nets Interactions. CONCUR (2011)
Hernán C. Melgratti, Christian Roldán
On Correlation Sets and Correlation Exceptions in ActiveBPEL. TGC (2011)
Maria Grazia Buscemi, Hernán C. Melgratti
Contracts for Abstract Processes in Service Composition FIT (2010)
Maria Grazia Buscemi, Hernán C. Melgratti
Abstract Processes in Orchestration Languages. ESOP (2009)
Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto
Multiparty Sessions in SOC. COORDINATION (2008)
Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán C. Melgratti
Modelling Dynamic Software Architectures using Typed Graph Grammars. Electron. Notes Theor. Comput. Sci. 213 (1) (2008)
Ivan Lanese, Hernán C. Melgratti
Synchronous Multiparty Synchronizations and Transactions. Concurrency, Graphs and Models (2008)
Maria Grazia Buscemi, Hernán C. Melgratti
Transactional Service Level Agreement. TGC (2007)
Alberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo
Prototype Platforms for Distributed Agreements. Electron. Notes Theor. Comput. Sci. 180 (2) (2007)
Roberto Bruni, Hernán C. Melgratti
Non-sequential Behaviour of Dynamic Nets. ICATPN (2006)
Roberto Bruni, Hernán C. Melgratti
Dynamic Graph Transformation Systems. ICGT (2006)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Event Structure Semantics for Nominal Calculi. CONCUR (2006)
Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto
Translating Orc Features into Petri Nets and the Join Calculus. WS-FM (2006)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Event Structure Semantics for Dynamic Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2 (2006)
Davide Bacciu, Alessio Botta, Hernán C. Melgratti
A Fuzzy Approach for Negotiating Quality of Services. TGC (2006)
Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari
Comparing Two Approaches to Compensable Flow Composition. CONCUR (2005)
Roberto Bruni, Gian Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto
From Theory to Practice in Transactional Composition of Web Services. EPEW/WS-FM (2005)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Theoretical foundations for compensations in flow composition languages. POPL (2005)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Flat Committed Join in Join. Electron. Notes Theor. Comput. Sci. 104 (2004)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Nested Commits for Mobile Calculi: Extending Join. IFIP TCS (2004)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets. Lectures on Concurrency and Petri Nets (2003)