default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIvan Lanese
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j36]Pietro Lami
, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti:
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives. J. Log. Algebraic Methods Program. 138: 100944 (2024)- [j35]Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen:
revTPL: The Reversible Temporal Process Language. Log. Methods Comput. Sci. 20(1) (2024) - [j34]Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski:
An Axiomatic Theory for Reversible Computation. ACM Trans. Comput. Log. 25(2): 11:1-11:40 (2024) - [c86]Sourabh Pal, Ivan Lanese, Massimo Clo:
Choreographic Automata: A Case Study in Healthcare Management. COORDINATION 2024: 3-19 - [c85]Ivan Lanese, Germán Vidal:
Reversible Debugging of Erlang Programs in CauDEr. DEBT@ISSTA 2024: 30-31 - [c84]Ivan Lanese, Gregor Gössler:
Causal Debugging for Concurrent Systems. RC 2024: 3-9 - [c83]Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani:
Reversibility with Holes - (Work in Progress). RC 2024: 69-74 - [c82]Pietro Lami, Ivan Lanese, Jean-Bernard Stefani:
A Small-Step Semantics for Janus. RC 2024: 105-123 - [c81]Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury:
Towards Quantum Multiparty Session Types. SEFM 2024: 385-403 - [i19]Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani:
A Behavioral Theory for Distributed Systems with Weak Recovery. CoRR abs/2406.12574 (2024) - [i18]Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury:
Towards Quantum Multiparty Session Types. CoRR abs/2409.11133 (2024) - [i17]Simon Bliudze, Giuseppe De Palma, Saverio Giallorenzo, Ivan Lanese, Gianluigi Zavattaro, Brice Arleon Zemtsop Ndadji:
Adaptable TeaStore. CoRR abs/2412.16060 (2024) - 2023
- [j33]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Composition of synchronous communicating systems. J. Log. Algebraic Methods Program. 135: 100890 (2023) - [j32]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
A Theory of Formal Choreographic Languages. Log. Methods Comput. Sci. 19(3) (2023) - [c80]Marco Bernardo, Ivan Lanese, Andrea Marin, Claudio Antares Mezzina, Sabina Rossi, Claudio Sacerdoti Coen:
Causal Reversibility Implies Time Reversibility. QEST 2023: 270-287 - [c79]Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain C. C. Phillips, Irek Ulidowski, Germán Vidal:
Towards a Taxonomy for Reversible Computation Approaches. RC 2023: 24-39 - [i16]Sergio Moreschini, Shahrzad Pour, Ivan Lanese, Daniel Balouek-Thomert, Justus Bogner, Xiaozhou Li, Fabiano Pecorelli, Jacopo Soldani, Eddy Truyen, Davide Taibi:
AI Techniques in the Microservices Life-Cycle: A Survey. CoRR abs/2305.16092 (2023) - [i15]Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski:
An Axiomatic Theory for Reversible Computation. CoRR abs/2307.13360 (2023) - 2022
- [j31]Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida:
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact). Dagstuhl Artifacts Ser. 8(2): 21:1-21:5 (2022) - [j30]Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski:
Reversible Computing in Debugging of Erlang Programs. IT Prof. 24(1): 74-80 (2022) - [j29]Ivan Lanese, Mariusz Rawski:
Preface for the Special Issue of the 12th Conference on Reversible Computation (RC 2020). Sci. Comput. Program. 218: 102808 (2022) - [c78]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Formal Choreographic Languages. COORDINATION 2022: 121-139 - [c77]Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida:
Design-By-Contract for Flexible Multiparty Session Protocols. ECOOP 2022: 8:1-8:28 - [c76]Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen:
The Reversible Temporal Process Language. FORTE 2022: 31-49 - [c75]Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani:
Generation of a Reversible Semantics for Erlang in Maude. ICFEM 2022: 106-122 - [c74]Antonio Bucchiarone, Claudio Guidi, Ivan Lanese, Nelly Bencomo, Josef Spillner:
A MAPE-K Approach to Autonomic Microservices. ICSA Companion 2022: 100-103 - [c73]Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto:
On Formal Choreographic Modelling: A Case Study in EU Business Processes. ISoLA (1) 2022: 205-219 - [c72]Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti:
Reversibility in Erlang: Imperative Constructs. RC 2022: 187-203 - [c71]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
On Composing Communicating Systems. ICE 2022: 53-68 - [i14]Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida:
Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version. CoRR abs/2205.06535 (2022) - [i13]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
A Theory of Formal Choreographic Languages. CoRR abs/2210.08223 (2022) - [i12]Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen:
revTPL: The Reversible Temporal Process Language. CoRR abs/2212.03687 (2022) - 2021
- [j28]Ivan Lanese, Doriana Medic, Claudio Antares Mezzina:
Static versus dynamic reversibility in CCS. Acta Informatica 58(1-2): 1-34 (2021) - [j27]Ivan Lanese, Adrián Palacios, Germán Vidal:
Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs. Fundam. Informaticae 178(3): 229-266 (2021) - [j26]Davide Bresolin, Ivan Lanese:
Static and dynamic property-preserving updates. Inf. Comput. 279: 104611 (2021) - [j25]Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski:
Reversible Execution for Robustness in Embodied AI and Industrial Robots. IT Prof. 23(3): 12-17 (2021) - [j24]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto:
Composition and decomposition of multiparty sessions. J. Log. Algebraic Methods Program. 119: 100620 (2021) - [c70]Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Corinne, a Tool for Choreography Automata. FACS 2021: 82-92 - [c69]Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani:
Causal-Consistent Debugging of Distributed Erlang Programs. RC 2021: 79-95 - [c68]Ivan Lanese, Iain Phillips:
Forward-Reverse Observational Equivalences in CCSK. RC 2021: 126-143 - [i11]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Composition of choreography automata. CoRR abs/2107.06727 (2021) - 2020
- [c67]Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro:
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service. Gabbrielli's Festschrift 2020: 5:1-5:21 - [c66]Ivan Lanese, Doriana Medic:
A General Approach to Derive Uncontrolled Reversible Semantics. CONCUR 2020: 33:1-33:24 - [c65]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Choreography Automata. COORDINATION 2020: 86-106 - [c64]Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski:
An Axiomatic Approach to Reversible Computation. FoSSaCS 2020: 442-461 - [c63]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Composing Communicating Systems, Synchronously. ISoLA (1) 2020: 39-59 - [p7]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, Luca Prigioniero, Irek Ulidowski, Germán Vidal:
Foundations of Reversible Computation. Selected Results of the COST Action IC1405 2020: 1-40 - [p6]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:
Software and Reversible Systems: A Survey of Recent Activities. Selected Results of the COST Action IC1405 2020: 41-59 - [p5]James Hoey, Ivan Lanese, Naoki Nishida, Irek Ulidowski, Germán Vidal:
A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs. Selected Results of the COST Action IC1405 2020: 108-127 - [e10]Ivan Lanese, Mariusz Rawski:
Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings. Lecture Notes in Computer Science 12227, Springer 2020, ISBN 978-3-030-52481-4 [contents] - [e9]Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira:
Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Lecture Notes in Computer Science 12070, Springer 2020, ISBN 978-3-030-47360-0 [contents]
2010 – 2019
- 2019
- [c62]Lukasz Mikulski, Ivan Lanese:
Reversing Unbounded Petri Nets. Petri Nets 2019: 213-233 - [c61]Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro:
Playing with Bisimulation in Erlang. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 71-91 - [c60]Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro:
Guess Who's Coming: Runtime Inclusion of Participants in Choreographies. The Art of Modelling Computational Systems 2019: 118-138 - [c59]Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro:
No More, No Less - A Formal Model for Serverless Computing. COORDINATION 2019: 148-157 - [c58]Ivan Lanese, Adrián Palacios, Germán Vidal:
Causal-Consistent Replay Debugging for Message Passing Programs. FORTE 2019: 167-184 - [i10]Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro:
No more, no less - A formal model for serverless computing. CoRR abs/1903.07962 (2019) - 2018
- [j23]Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal:
A theory of reversibility for Erlang. J. Log. Algebraic Methods Program. 100: 71-97 (2018) - [j22]Ivan Lanese, Simon J. Devitt:
Preface for the special issue of the 8th Conference on Reversible Computation (RC 2016). Sci. Comput. Program. 151: 1 (2018) - [j21]Franco Barbanera, Ivan Lanese, Ugo de'Liguoro:
A theory of retractable and speculative contracts. Sci. Comput. Program. 167: 25-50 (2018) - [c57]Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal:
CauDEr: A Causal-Consistent Reversible Debugger for Erlang. FLOPS 2018: 247-263 - [c56]Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Stefano Pio Zingaro:
A Language-based Approach for Interoperability of IoT Platforms. HICSS 2018: 1-10 - [c55]Saverio Giallorenzo, Ivan Lanese, Daniel Russo:
ChIP: A Choreographic Integration Process. OTM Conferences (2) 2018: 22-40 - [c54]Ivan Lanese:
From Reversible Semantics to Reversible Debugging. RC 2018: 34-46 - [i9]Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal:
A Theory of Reversibility for Erlang. CoRR abs/1806.07100 (2018) - 2017
- [j20]Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro:
Dynamic Choreographies: Theory And Implementation. Log. Methods Comput. Sci. 13(2) (2017) - [j19]Ivan Lanese, Alberto Lluch-Lafuente, Sophia Knight, Hugo Torres Vieira:
Preface for the special issue on Interaction and Concurrency Experience 2015. J. Log. Algebraic Methods Program. 86(1): 1 (2017) - [j18]Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi:
Causal-consistent rollback in a tuple-based language. J. Log. Algebraic Methods Program. 88: 99-120 (2017) - [c53]Franco Barbanera, Ivan Lanese, Ugo de'Liguoro:
Retractable and Speculative Contracts. COORDINATION 2017: 119-137 - [c52]Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, Larisa Safina:
Microservices: How To Make Your Application Scale. Ershov Informatics Conference 2017: 95-104 - [c51]Davide Bresolin, Ivan Lanese:
Most General Property-Preserving Updates. LATA 2017: 367-379 - [p4]Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi:
Microservices: A Language-Based Approach. Present and Ulterior Software Engineering 2017: 217-225 - [i8]Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, Larisa Safina:
Microservices: How To Make Your Application Scale. CoRR abs/1702.07149 (2017) - [i7]Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi:
Microservices: a Language-based Approach. CoRR abs/1704.08073 (2017) - 2016
- [j17]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:
Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49(1): 3:1-3:36 (2016) - [j16]Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira:
Preface for the special issue on Interaction and Concurrency Experience 2014. J. Log. Algebraic Methods Program. 85(3): 367 (2016) - [j15]Ivan Lanese, Eric Madelaine:
Preface for the special issue of the 11th International Symposium on Formal Aspects of Component Software. Sci. Comput. Program. 127: 1 (2016) - [j14]Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
Reversibility in the higher-order π-calculus. Theor. Comput. Sci. 625: 25-84 (2016) - [c50]Alexis Bernadet, Ivan Lanese:
A Modular Formalization of Reversibility for Concurrent Models and Languages. ICE 2016: 98-112 - [e8]Elvira Albert, Ivan Lanese:
Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Lecture Notes in Computer Science 9688, Springer 2016, ISBN 978-3-319-39569-2 [contents] - [e7]Simon J. Devitt, Ivan Lanese:
Reversible Computation - 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Lecture Notes in Computer Science 9720, Springer 2016, ISBN 978-3-319-40577-3 [contents] - [i6]Manuel Mazzara, Ruslan Mustafin, Larisa Safina, Ivan Lanese:
Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing. CoRR abs/1610.01778 (2016) - 2015
- [j13]Ivan Lanese, Davide Sangiorgi:
Preface: Special issue on objects and services. Math. Struct. Comput. Sci. 25(3): 480-481 (2015) - [j12]Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro:
Developing correct, distributed, adaptive software. Sci. Comput. Program. 97: 41-46 (2015) - [j11]Ivan Lanese, Manuel Mazzara, Fabrizio Montesi:
Special issue on Service-Oriented Architecture and Programming (SOAP 2013). Sci. Comput. Program. 97: 181-182 (2015) - [j10]Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova:
Preface for the special issue on Interaction and Concurrency Experience 2012. Sci. Comput. Program. 100: 1 (2015) - [j9]Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova:
Preface for the special issue of Interaction and Concurrency Experience 2013. Sci. Comput. Program. 109: 1 (2015) - [c49]Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
The Evolution of Jolie - From Orchestrations to Adaptable Choreographies. Software, Services, and Systems 2015: 506-521 - [c48]Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro:
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. COORDINATION 2015: 67-82 - [c47]Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi:
Causal-Consistent Reversibility in a Tuple-Based Language. PDP 2015: 467-475 - [c46]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo de'Liguoro:
Retractable Contracts. PLACES 2015: 61-72 - [e6]Ivan Lanese, Eric Madelaine:
Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8997, Springer 2015, ISBN 978-3-319-15316-2 [contents] - [e5]Sophia Knight, Ivan Lanese, Alberto Lluch-Lafuente, Hugo Torres Vieira:
Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015. EPTCS 189, 2015 [contents] - 2014
- [j8]Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi:
Causal-Consistent Reversibility. Bull. EATCS 114 (2014) - [j7]Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos:
The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Aspects Comput. 26(5): 865-918 (2014) - [c45]Elena Giachino, Ivan Lanese, Claudio Antares Mezzina:
Causal-Consistent Reversible Debugging. FASE 2014: 370-384 - [c44]Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro:
Fault Model Design Space for Cooperative Concurrency. ISoLA (2) 2014: 22-36 - [c43]Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli:
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. SLE 2014: 161-170 - [e4]Josep Díaz, Ivan Lanese, Davide Sangiorgi:
Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings. Lecture Notes in Computer Science 8705, Springer 2014, ISBN 978-3-662-44601-0 [contents] - [e3]Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira:
Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014. EPTCS 166, 2014 [contents] - [i5]Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro:
Deadlock Freedom by Construction for Distributed Adaptive Applications. CoRR abs/1407.0970 (2014) - [i4]Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli:
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. CoRR abs/1407.0975 (2014) - 2013
- [c42]Ivan Lanese, Gianluigi Zavattaro:
Decidability Results for Dynamic Installation of Compensation Handlers. COORDINATION 2013: 136-150 - [c41]Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani:
Concurrent Flexible Reversibility. ESOP 2013: 370-390 - [c40]Ivan Lanese, Luca Bedogni, Marco Di Felice:
Internet of things: a process calculus approach. SAC 2013: 1339-1346 - [c39]Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro:
Towards Global and Local Types for Adaptation. SEFM Workshops 2013: 3-14 - [c38]Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
Amending Choreographies. WWV 2013: 34-48 - [e2]Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova:
Proceedings 6th Interaction and Concurrency Experience, ICE 2013, Florence, Italy, 6th June 2013. EPTCS 131, 2013 [contents] - 2012
- [c37]Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
A Reversible Abstract Machine and Its Space Overhead. FMOODS/FORTE 2012: 1-17 - [c36]Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
Controlled Reversibility and Compensations. RC 2012: 233-240 - [e1]Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova:
Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012. EPTCS 104, 2012 [contents] - 2011
- [j6]Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt:
On the expressiveness and decidability of higher-order process calculi. Inf. Comput. 209(2): 198-226 (2011) - [c35]Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani:
Controlling Reversibility in Higher-Order Pi. CONCUR 2011: 297-311 - [c34]Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro:
Fault in the Future. COORDINATION 2011: 1-15 - [c33]Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro:
Graceful Interruption of Request-Response Service Interactions. ICSOC 2011: 590-600 - [p3]Ivan Lanese, António Ravara, Hugo Torres Vieira:
Behavioral Theory for Session-Oriented Calculi. Results of the SENSORIA Project 2011: 189-213 - [p2]Carla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira, Gianluigi Zavattaro:
Advanced Mechanisms for Service Combination and Transactions. Results of the SENSORIA Project 2011: 302-325 - [p1]Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino:
Tools and Verification. Results of the SENSORIA Project 2011: 408-427 - 2010
- [j5]Ivan Lanese, Davide Sangiorgi:
An operational semantics for a calculus for wireless systems. Theor. Comput. Sci. 411(19): 1928-1948 (2010) - [c32]Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
Reversing Higher-Order Pi. CONCUR 2010: 478-493 - [c31]Ivan Lanese, Cátia Vaz, Carla Ferreira:
On the Expressive Power of Primitives for Compensation Handling. ESOP 2010: 366-386 - [c30]Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter:
A Component Model for the ABS Language. FMCO 2010: 165-183 - [c29]Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt:
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. ICALP (2) 2010: 442-453 - [c28]Ivan Lanese, Fabrizio Montesi:
Error Handling: From Theory to Practice. ISoLA (2) 2010: 66-81 - [c27]Ivan Lanese, Antonio Bucchiarone, Fabrizio Montesi:
A Framework for Rule-Based Dynamic Adaptation. TGC 2010: 284-300 - [c26]Roberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo:
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions. WADT 2010: 42-60 - [c25]Ivan Lanese:
Static vs Dynamic SAGAs. ICE 2010: 51-65
2000 – 2009
- 2009
- [j4]Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
Dynamic Error Handling in Service Oriented Applications. Fundam. Informaticae 95(1): 73-102 (2009) - [c24]Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt:
On the Expressiveness of Polyadicity in Higher-Order Process Calculi. ICTCS 2009: 143-149 - [c23]Ivan Lanese, Gianluigi Zavattaro:
Programming Sagas in SOCK. SEFM 2009: 189-198 - 2008
- [j3]Roberto Bruni, Ivan Lanese:
Parametric synchronizations in mobile nominal calculi. Theor. Comput. Sci. 402(2-3): 102-119 (2008) - [c22]Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
On the interplay between fault handling and request-response service invocations. ACSD 2008: 190-198 - [c21]Ivan Lanese, Hernán C. Melgratti:
Synchronous Multiparty Synchronizations and Transactions. Concurrency, Graphs and Models 2008: 76-95 - [c20]Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto:
Multiparty Sessions in SOC. COORDINATION 2008: 67-82 - [c19]Fabrizio Montesi, Claudio Guidi, Ivan Lanese, Gianluigi Zavattaro:
Dynamic Fault Handling Mechanisms for Service-Oriented Applications. ECOWS 2008: 225-234 - [c18]Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos:
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. FMOODS 2008: 59-77 - [c17]Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt:
On the Expressiveness and Decidability of Higher-Order Process Calculi. LICS 2008: 145-155 - [c16]Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro:
Bridging the Gap between Interaction- and Process-Oriented Choreographies. SEFM 2008: 323-332 - [c15]Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro:
Contract-Driven Implementation of Choreographies. TGC 2008: 1-18 - [c14]Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari:
Tiles for Reo. WADT 2008: 37-55 - 2007
- [j2]Ivan Lanese, Ugo Montanari:
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming. Theory Pract. Log. Program. 7(1-2): 123-151 (2007) - [c13]Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara:
Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM 2007: 305-314 - [c12]Ivan Lanese:
Concurrent and Located Synchronizations in pi-Calculus. SOFSEM (1) 2007: 388-399 - 2006
- [b1]Ivan Lanese:
Synchronization Strategies for Global Computing Models. University of Pisa, Italy, 2006 - [j1]Roberto Bruni, Ivan Lanese, Ugo Montanari:
A basic algebra of stateless connectors. Theor. Comput. Sci. 366(1-2): 98-120 (2006) - [c11]Roberto Bruni, Ivan Lanese:
PRISMA: A Mobile Calculus with Parametric Synchronization. TGC 2006: 132-149 - [c10]Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro:
SCC: A Service Centered Calculus. WS-FM 2006: 38-57 - [c9]Manuel Mazzara, Ivan Lanese:
Towards a Unifying Theory for Web Services Composition. WS-FM 2006: 257-272 - [c8]Ivan Lanese:
Exploiting User-definable Synchronizations in Graph Transformation. GT-VMT@ETAPS 2006: 27-38 - 2005
- [c7]Roberto Bruni, Ivan Lanese, Ugo Montanari:
Complete Axioms for Stateless Connectors. CALCO 2005: 98-113 - [c6]Ivan Lanese, Emilio Tuosto:
Synchronized Hyperedge Replacement for Heterogeneous Systems. COORDINATION 2005: 220-235 - [c5]Gian-Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto:
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. FMCO 2005: 22-43 - [c4]Ivan Lanese, Ugo Montanari:
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility. GT-VC@CONCUR 2005: 55-72 - [i3]Ivan Lanese, Ugo Montanari:
Insights emerged while comparing three models for global computing. Foundations of Global Computing 2005 - [i2]Ivan Lanese, Ugo Montanari:
Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming. CoRR abs/cs/0504050 (2005) - 2004
- [c3]Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari:
New Insights on Architectural Connectors. IFIP TCS 2004: 367-380 - [c2]Ivan Lanese, Ugo Montanari:
Synchronization Algebras with Mobility for Graph Transformations. FGUC 2004: 43-60 - [i1]Roberto Bruni, Ivan Lanese:
Summary 3: On Graph(ic) Encodings. Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems 2004 - 2003
- [c1]Ivan Lanese, Ugo Montanari:
A Graphical Fusion Calculus. COMETA 2003: 199-215
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 21:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
