A Graphical Fusion Calculus. - Ivan Lanese; Ugo Montanari (COMETA, 2003)

Summary 3: On Graph(ic) Encodings. - Roberto Bruni 001; Ivan Lanese (Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004)

New Insights on Architectural Connectors. - Roberto Bruni 001; José Luiz Fiadeiro; Ivan Lanese; Antónia Lopes; Ugo Montanari (IFIP TCS, 2004)

Synchronization Algebras with Mobility for Graph Transformations. - Ivan Lanese; Ugo Montanari (FGUC, 2004)

Complete Axioms for Stateless Connectors. - Roberto Bruni 001; Ivan Lanese; Ugo Montanari (CALCO, 2005)

Synchronized Hyperedge Replacement for Heterogeneous Systems. - Ivan Lanese; Emilio Tuosto (COORDINATION, 2005)

Insights emerged while comparing three models for global computing. - Ivan Lanese; Ugo Montanari (Foundations of Global Computing, 2005)

Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. - Gian-Luigi Ferrari 002; Dan Hirsch; Ivan Lanese; Ugo Montanari; Emilio Tuosto (FMCO, 2005)

Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility. - Ivan Lanese; Ugo Montanari (GT-VC@CONCUR, 2005)

PRISMA: A Mobile Calculus with Parametric Synchronization. - Roberto Bruni 001; Ivan Lanese (TGC, 2006)

SCC: A Service Centered Calculus. - Michele Boreale; Roberto Bruni 001; Luís Caires; Rocco De Nicola; Ivan Lanese; Michele Loreti; Francisco Martins; Ugo Montanari; António Ravara; Davide Sangiorgi; Vasco Thudichum Vasconcelos; Gianluigi Zavattaro (WS-FM, 2006)

Towards a Unifying Theory for Web Services Composition. - Manuel Mazzara; Ivan Lanese (WS-FM, 2006)

Exploiting User-definable Synchronizations in Graph Transformation. - Ivan Lanese (GT-VMT@ETAPS, 2006)

A basic algebra of stateless connectors. - Roberto Bruni 001; Ivan Lanese; Ugo Montanari (Theor. Comput. Sci., 2006)

Synchronization Strategies for Global Computing Models. - Ivan Lanese (2006)

Disciplining Orchestration and Conversation in Service-Oriented Computing. - Ivan Lanese; Francisco Martins; Vasco Thudichum Vasconcelos; António Ravara (SEFM, 2007)

Concurrent and Located Synchronizations in pi-Calculus. - Ivan Lanese (SOFSEM (1), 2007)

Mapping Fusion and Synchronized Hyperedge Replacement into logic programming. - Ivan Lanese; Ugo Montanari (Theory Pract. Log. Program., 2007)

On the interplay between fault handling and request-response service invocations. - Claudio Guidi; Ivan Lanese; Fabrizio Montesi; Gianluigi Zavattaro (ACSD, 2008)

Synchronous Multiparty Synchronizations and Transactions. - Ivan Lanese; Hernán C. Melgratti (Concurrency, Graphs and Models, 2008)

Multiparty Sessions in SOC. - Roberto Bruni 001; Ivan Lanese; Hernán C. Melgratti; Emilio Tuosto (COORDINATION, 2008)

Dynamic Fault Handling Mechanisms for Service-Oriented Applications. - Fabrizio Montesi; Claudio Guidi; Ivan Lanese; Gianluigi Zavattaro (ECOWS, 2008)

Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. - Luís Cruz-Filipe; Ivan Lanese; Francisco Martins; António Ravara; Vasco Thudichum Vasconcelos (FMOODS, 2008)

Bridging the Gap between Interaction- and Process-Oriented Choreographies. - Ivan Lanese; Claudio Guidi; Fabrizio Montesi; Gianluigi Zavattaro (SEFM, 2008)

Contract-Driven Implementation of Choreographies. - Mario Bravetti; Ivan Lanese; Gianluigi Zavattaro (TGC, 2008)

Tiles for Reo. - Farhad Arbab; Roberto Bruni 001; Dave Clarke 001; Ivan Lanese; Ugo Montanari (WADT, 2008)

Parametric synchronizations in mobile nominal calculi. - Roberto Bruni 001; Ivan Lanese (Theor. Comput. Sci., 2008)

On the Expressiveness of Polyadicity in Higher-Order Process Calculi. - Ivan Lanese; Jorge A. Pérez 001; Davide Sangiorgi; Alan Schmitt (ICTCS, 2009)

Programming Sagas in SOCK. - Ivan Lanese; Gianluigi Zavattaro (SEFM, 2009)

Dynamic Error Handling in Service Oriented Applications. - Claudio Guidi; Ivan Lanese; Fabrizio Montesi; Gianluigi Zavattaro (Fundam. Informaticae, 2009)

Reversing Higher-Order Pi. - Ivan Lanese; Claudio Antares Mezzina; Jean-Bernard Stefani (CONCUR, 2010)

On the Expressive Power of Primitives for Compensation Handling. - Ivan Lanese; Cátia Vaz; Carla Ferreira 001 (ESOP, 2010)

A Component Model for the ABS Language. - Michael Lienhardt; Ivan Lanese; Mario Bravetti; Davide Sangiorgi; Gianluigi Zavattaro; Yannick Welsch; Jan Schäfer 002; Arnd Poetzsch-Heffter (FMCO, 2010)

On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. - Ivan Lanese; Jorge A. Pérez 001; Davide Sangiorgi; Alan Schmitt (ICALP (2), 2010)

Error Handling: From Theory to Practice. - Ivan Lanese; Fabrizio Montesi (ISoLA (2), 2010)

A Framework for Rule-Based Dynamic Adaptation. - Ivan Lanese; Antonio Bucchiarone; Fabrizio Montesi (TGC, 2010)

A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions. - Roberto Bruni 001; Anne Kersten; Ivan Lanese; Giorgio Spagnolo (WADT, 2010)

Static vs Dynamic SAGAs - Ivan Lanese (ICE, 2010)

An operational semantics for a calculus for wireless systems. - Ivan Lanese; Davide Sangiorgi (Theor. Comput. Sci., 2010)

Tools and Verification. - Massimo Bartoletti; Luís Caires; Ivan Lanese; Franco Mazzanti; Davide Sangiorgi; Hugo Torres Vieira; Roberto Zunino (Results of the SENSORIA Project, 2011)

Advanced Mechanisms for Service Combination and Transactions. - Carla Ferreira 001; Ivan Lanese; António Ravara; Hugo Torres Vieira; Gianluigi Zavattaro (Results of the SENSORIA Project, 2011)

Behavioral Theory for Session-Oriented Calculi. - Ivan Lanese; António Ravara; Hugo Torres Vieira (Results of the SENSORIA Project, 2011)

Controlling Reversibility in Higher-Order Pi. - Ivan Lanese; Claudio Antares Mezzina; Alan Schmitt; Jean-Bernard Stefani (CONCUR, 2011)

Fault in the Future. - Einar Broch Johnsen; Ivan Lanese; Gianluigi Zavattaro (COORDINATION, 2011)

Graceful Interruption of Request-Response Service Interactions. - Mila Dalla Preda; Maurizio Gabbrielli; Ivan Lanese; Jacopo Mauro; Gianluigi Zavattaro (ICSOC, 2011)

On the expressiveness and decidability of higher-order process calculi. - Ivan Lanese; Jorge A. Pérez 001; Davide Sangiorgi; Alan Schmitt (Inf. Comput., 2011)

A Reversible Abstract Machine and Its Space Overhead. - Michael Lienhardt; Ivan Lanese; Claudio Antares Mezzina; Jean-Bernard Stefani (FMOODS/FORTE, 2012)

Controlled Reversibility and Compensations. - Ivan Lanese; Claudio Antares Mezzina; Jean-Bernard Stefani (RC, 2012)

Decidability Results for Dynamic Installation of Compensation Handlers. - Ivan Lanese; Gianluigi Zavattaro (COORDINATION, 2013)

Concurrent Flexible Reversibility. - Ivan Lanese; Michael Lienhardt; Claudio Antares Mezzina; Alan Schmitt; Jean-Bernard Stefani (ESOP, 2013)

Internet of things: a process calculus approach. - Ivan Lanese; Luca Bedogni; Marco Di Felice (SAC, 2013)

Towards Global and Local Types for Adaptation. - Mario Bravetti; Marco Carbone; Thomas T. Hildebrandt; Ivan Lanese; Jacopo Mauro; Jorge A. Pérez 001; Gianluigi Zavattaro (SEFM Workshops, 2013)

Amending Choreographies. - Ivan Lanese; Fabrizio Montesi; Gianluigi Zavattaro (WWV, 2013)

Causal-Consistent Reversible Debugging. - Elena Giachino; Ivan Lanese; Claudio Antares Mezzina (FASE, 2014)

Fault Model Design Space for Cooperative Concurrency. - Ivan Lanese; Michael Lienhardt; Mario Bravetti; Einar Broch Johnsen; Rudolf Schlatte; Volker Stolz; Gianluigi Zavattaro (ISoLA (2), 2014)

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. - Mila Dalla Preda; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro; Maurizio Gabbrielli (SLE, 2014)

Deadlock Freedom by Construction for Distributed Adaptive Applications. - Mila Dalla Preda; Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro (CoRR, 2014)

Causal-Consistent Reversibility. - Ivan Lanese; Claudio Antares Mezzina; Francesco Tiezzi 001 (Bull. EATCS, 2014)

The stream-based service-centred calculus: a foundation for service-oriented programming. - Luís Cruz-Filipe; Ivan Lanese; Francisco Martins; António Ravara; Vasco Thudichum Vasconcelos (Formal Aspects Comput., 2014)

The Evolution of Jolie - From Orchestrations to Adaptable Choreographies. - Ivan Lanese; Fabrizio Montesi; Gianluigi Zavattaro (Software, Services, and Systems, 2015)

Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. - Mila Dalla Preda; Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro (COORDINATION, 2015)

Causal-Consistent Reversibility in a Tuple-Based Language. - Elena Giachino; Ivan Lanese; Claudio Antares Mezzina; Francesco Tiezzi 001 (PDP, 2015)

Retractable Contracts. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ivan Lanese; Ugo de'Liguoro (PLACES, 2015)

Preface: Special issue on objects and services. - Ivan Lanese; Davide Sangiorgi (Math. Struct. Comput. Sci., 2015)

Preface for the special issue on Interaction and Concurrency Experience 2012. - Marco Carbone; Ivan Lanese; Alexandra Silva 001; Ana Sokolova (Sci. Comput. Program., 2015)

Preface for the special issue of Interaction and Concurrency Experience 2013. - Marco Carbone; Ivan Lanese; Alberto Lluch-Lafuente; Ana Sokolova (Sci. Comput. Program., 2015)

Special issue on Service-Oriented Architecture and Programming (SOAP 2013). - Ivan Lanese; Manuel Mazzara; Fabrizio Montesi (Sci. Comput. Program., 2015)

Developing correct, distributed, adaptive software. - Mila Dalla Preda; Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro (Sci. Comput. Program., 2015)

A Modular Formalization of Reversibility for Concurrent Models and Languages. - Alexis Bernadet; Ivan Lanese (ICE, 2016)

Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing. - Manuel Mazzara; Ruslan Mustafin; Larisa Safina; Ivan Lanese (CoRR, 2016)

Foundations of Session Types and Behavioural Contracts. - Hans Hüttel; Ivan Lanese; Vasco T. Vasconcelos; Luís Caires; Marco Carbone; Pierre-Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro (ACM Comput. Surv., 2016)

Preface for the special issue on Interaction and Concurrency Experience 2014. - Ivan Lanese; Alberto Lluch-Lafuente; Ana Sokolova; Hugo Torres Vieira (J. Log. Algebraic Methods Program., 2016)

Preface for the special issue of the 11th International Symposium on Formal Aspects of Component Software. - Ivan Lanese; Eric Madelaine (Sci. Comput. Program., 2016)

Reversibility in the higher-order π-calculus. - Ivan Lanese; Claudio Antares Mezzina; Jean-Bernard Stefani (Theor. Comput. Sci., 2016)

Microservices: A Language-Based Approach. - Claudio Guidi; Ivan Lanese; Manuel Mazzara; Fabrizio Montesi (Present and Ulterior Software Engineering, 2017)

Retractable and Speculative Contracts. - Franco Barbanera; Ivan Lanese; Ugo de'Liguoro (COORDINATION, 2017)

Microservices: How To Make Your Application Scale. - Nicola Dragoni; Ivan Lanese; Stephan Thordal Larsen; Manuel Mazzara; Ruslan Mustafin; Larisa Safina (Ershov Informatics Conference, 2017)

Most General Property-Preserving Updates. - Davide Bresolin; Ivan Lanese (LATA, 2017)

Microservices: a Language-based Approach. - Claudio Guidi; Ivan Lanese; Manuel Mazzara; Fabrizio Montesi (CoRR, 2017)

Dynamic Choreographies: Theory And Implementation. - Mila Dalla Preda; Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro (Log. Methods Comput. Sci., 2017)

Causal-consistent rollback in a tuple-based language. - Elena Giachino; Ivan Lanese; Claudio Antares Mezzina; Francesco Tiezzi 001 (J. Log. Algebraic Methods Program., 2017)

Preface for the special issue on Interaction and Concurrency Experience 2015. - Ivan Lanese; Alberto Lluch-Lafuente; Sophia Knight; Hugo Torres Vieira (J. Log. Algebraic Methods Program., 2017)

CauDEr: A Causal-Consistent Reversible Debugger for Erlang. - Ivan Lanese; Naoki Nishida 001; Adrián Palacios; Germán Vidal (FLOPS, 2018)

A Language-based Approach for Interoperability of IoT Platforms. - Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Stefano Pio Zingaro (HICSS, 2018)

ChIP: A Choreographic Integration Process. - Saverio Giallorenzo; Ivan Lanese; Daniel Russo 002 (OTM Conferences (2), 2018)

From Reversible Semantics to Reversible Debugging. - Ivan Lanese (RC, 2018)

A theory of reversibility for Erlang. - Ivan Lanese; Naoki Nishida 001; Adrián Palacios; Germán Vidal (J. Log. Algebraic Methods Program., 2018)

A theory of retractable and speculative contracts. - Franco Barbanera; Ivan Lanese; Ugo de'Liguoro (Sci. Comput. Program., 2018)

Preface for the special issue of the 8th Conference on Reversible Computation (RC 2016). - Ivan Lanese; Simon J. Devitt (Sci. Comput. Program., 2018)

Reversing Unbounded Petri Nets. - Lukasz Mikulski; Ivan Lanese (Petri Nets, 2019)

Guess Who's Coming: Runtime Inclusion of Participants in Choreographies. - Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro (The Art of Modelling Computational Systems, 2019)

Playing with Bisimulation in Erlang. - Ivan Lanese; Davide Sangiorgi; Gianluigi Zavattaro (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

No More, No Less - A Formal Model for Serverless Computing. - Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Fabrizio Montesi; Marco Peressotti; Stefano Pio Zingaro (COORDINATION, 2019)

Causal-Consistent Replay Debugging for Message Passing Programs. - Ivan Lanese; Adrián Palacios; Germán Vidal (FORTE, 2019)

The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service. - Saverio Giallorenzo; Ivan Lanese; Fabrizio Montesi; Davide Sangiorgi; Stefano Pio Zingaro (Gabbrielli's Festschrift, 2020)

A General Approach to Derive Uncontrolled Reversible Semantics. - Ivan Lanese; Doriana Medic (CONCUR, 2020)

Choreography Automata. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (COORDINATION, 2020)

An Axiomatic Approach to Reversible Computation. - Ivan Lanese; Iain C. C. Phillips; Irek Ulidowski (FoSSaCS, 2020)

Composing Communicating Systems, Synchronously. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (ISoLA (1), 2020)

Foundations of Reversible Computation. - Bogdan Aman; Gabriel Ciobanu; Robert Glück; Robin Kaarsgaard; Jarkko Kari; Martin Kutrib; Ivan Lanese; Claudio Antares Mezzina; Lukasz Mikulski; Rajagopal Nagarajan; Iain C. C. Phillips; G. Michele Pinna; et al. (Selected Results of the COST Action IC1405, 2020)

A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs. - James Hoey; Ivan Lanese; Naoki Nishida 001; Irek Ulidowski; Germán Vidal (Selected Results of the COST Action IC1405, 2020)

Software and Reversible Systems: A Survey of Recent Activities. - Claudio Antares Mezzina; Rudolf Schlatte; Robert Glück; Tue Haulund; James Hoey; Martin Holm Cservenka; Ivan Lanese; Torben Æ. Mogensen; Harun Siljak; Ulrik Pagh Schultz; Irek Ulidowski (Selected Results of the COST Action IC1405, 2020)

Corinne, a Tool for Choreography Automata. - Simone Orlando; Vairo Di Pasquale; Franco Barbanera; Ivan Lanese; Emilio Tuosto (FACS, 2021)

Causal-Consistent Debugging of Distributed Erlang Programs. - Giovanni Fabbretti; Ivan Lanese; Jean-Bernard Stefani (RC, 2021)

Forward-Reverse Observational Equivalences in CCSK. - Ivan Lanese; Iain Phillips 001 (RC, 2021)

Static versus dynamic reversibility in CCS. - Ivan Lanese; Doriana Medic; Claudio Antares Mezzina (Acta Informatica, 2021)

Composition of choreography automata. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (CoRR, 2021)

Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs. - Ivan Lanese; Adrián Palacios; Germán Vidal (Fundam. Informaticae, 2021)

Static and dynamic property-preserving updates. - Davide Bresolin; Ivan Lanese (Inf. Comput., 2021)

Reversible Execution for Robustness in Embodied AI and Industrial Robots. - Ivan Lanese; Ulrik Pagh Schultz; Irek Ulidowski (IT Prof., 2021)

Composition and decomposition of multiparty sessions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ivan Lanese; Emilio Tuosto (J. Log. Algebraic Methods Program., 2021)

Formal Choreographic Languages. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (COORDINATION, 2022)

Design-By-Contract for Flexible Multiparty Session Protocols. - Lorenzo Gheri; Ivan Lanese; Neil Sayers; Emilio Tuosto; Nobuko Yoshida (ECOOP, 2022)

The Reversible Temporal Process Language. - Laura Bocchi; Ivan Lanese; Claudio Antares Mezzina; Shoji Yuen (FORTE, 2022)

Generation of a Reversible Semantics for Erlang in Maude. - Giovanni Fabbretti; Ivan Lanese; Jean-Bernard Stefani (ICFEM, 2022)

A MAPE-K Approach to Autonomic Microservices. - Antonio Bucchiarone; Claudio Guidi; Ivan Lanese; Nelly Bencomo; Josef Spillner (ICSA Companion, 2022)

On Formal Choreographic Modelling: A Case Study in EU Business Processes. - Alex Coto; Franco Barbanera; Ivan Lanese; Davide Rossi; Emilio Tuosto (ISoLA (1), 2022)

Reversibility in Erlang: Imperative Constructs. - Pietro Lami; Ivan Lanese; Jean-Bernard Stefani; Claudio Sacerdoti Coen; Giovanni Fabbretti (RC, 2022)

Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version. - Lorenzo Gheri; Ivan Lanese; Neil Sayers; Emilio Tuosto; Nobuko Yoshida (CoRR, 2022)

On Composing Communicating Systems. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (ICE, 2022)

Design-by-Contract for Flexible Multiparty Session Protocols (Artifact). - Lorenzo Gheri; Ivan Lanese; Neil Sayers; Emilio Tuosto; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2022)

Reversible Computing in Debugging of Erlang Programs. - Ivan Lanese; Ulrik Pagh Schultz; Irek Ulidowski (IT Prof., 2022)

Preface for the Special Issue of the 12th Conference on Reversible Computation (RC 2020). - Ivan Lanese; Mariusz Rawski (Sci. Comput. Program., 2022)

Causal Reversibility Implies Time Reversibility. - Marco Bernardo 001; Ivan Lanese; Andrea Marin; Claudio Antares Mezzina; Sabina Rossi; Claudio Sacerdoti Coen (QEST, 2023)

Towards a Taxonomy for Reversible Computation Approaches. - Robert Glück; Ivan Lanese; Claudio Antares Mezzina; Jaroslaw Adam Miszczak; Iain C. C. Phillips; Irek Ulidowski; Germán Vidal (RC, 2023)

AI Techniques in the Microservices Life-Cycle: A Survey. - Sergio Moreschini; Shahrzad Pour; Ivan Lanese; Daniel Balouek-Thomert; Justus Bogner; Xiaozhou Li 002; Fabiano Pecorelli; Jacopo Soldani; Eddy Truyen; Davide Taibi 001 (CoRR, 2023)

A Theory of Formal Choreographic Languages. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (Log. Methods Comput. Sci., 2023)

Composition of synchronous communicating systems. - Franco Barbanera; Ivan Lanese; Emilio Tuosto (J. Log. Algebraic Methods Program., 2023)

Choreographic Automata: A Case Study in Healthcare Management. - Sourabh Pal; Ivan Lanese; Massimo Clo (COORDINATION, 2024)

Reversible Debugging of Erlang Programs in CauDEr. - Ivan Lanese; Germán Vidal (DEBT@ISSTA, 2024)

Reversibility with Holes - (Work in Progress). - Giovanni Fabbretti; Ivan Lanese; Jean-Bernard Stefani (RC, 2024)

A Small-Step Semantics for Janus. - Pietro Lami; Ivan Lanese; Jean-Bernard Stefani (RC, 2024)

Causal Debugging for Concurrent Systems. - Ivan Lanese; Gregor Gössler (RC, 2024)

Towards Quantum Multiparty Session Types. - Ivan Lanese; Ugo Dal Lago; Vikraman Choudhury (SEFM, 2024)

Adaptable TeaStore. - Simon Bliudze; Giuseppe De Palma; Saverio Giallorenzo; Ivan Lanese; Gianluigi Zavattaro; Brice Arleon Zemtsop Ndadji (CoRR, 2024)

Reversible debugging of concurrent Erlang programs: Supporting imperative primitives. - Pietro Lami; Ivan Lanese; Jean-Bernard Stefani; Claudio Sacerdoti Coen; Giovanni Fabbretti (J. Log. Algebraic Methods Program., 2024)

revTPL: The Reversible Temporal Process Language. - Laura Bocchi; Ivan Lanese; Claudio Antares Mezzina; Shoji Yuen (Log. Methods Comput. Sci., 2024)

An Axiomatic Theory for Reversible Computation. - Ivan Lanese; Iain C. C. Phillips; Irek Ulidowski (ACM Trans. Comput. Log., 2024)

Choreographies for Program Understanding. - Gabriele Genovese; Ivan Lanese; Cinzia Di Giusto; Emilio Tuosto; Germán Vidal (FORTE, 2025)

Tallulah, a Tool to Support the Axiomatic Approach to Causal-Consistent Reversibility. - William Arnone; Ivan Lanese (RC, 2025)

A Behavioral Theory for Distributed Systems with Weak Recovery. - Giovanni Fabbretti; Ivan Lanese; Jean-Bernard Stefani (Log. Methods Comput. Sci., 2025)

AI Techniques in the Microservices Life-Cycle: a Systematic Mapping Study. - Sergio Moreschini; Shahrzad Pour; Ivan Lanese; Daniel Balouek; Justus Bogner; Xiaozhou Li 002; Fabiano Pecorelli; Jacopo Soldani; Eddy Truyen; Davide Taibi 001 (Computing, 2025)

Decidable Reversible Equivalences for Finite Petri Nets. - Roberto Gorrieri; Ivan Lanese (CoRR, 2025)