Ivan Lanese - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Ivan Lanese' as author, editor, or advisor:

Reversing Unbounded Petri NetsLukasz Mikulski, Ivan Lanese. apn 2019: 213-233 [doi]
Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, ProceedingsIvan Lanese, Mariusz Rawski, editors, Volume 12227 of Lecture Notes in Computer Science, Springer, 2020. [doi]
Preface for the special issue of the 11th International Symposium on Formal Aspects of Component SoftwareIvan Lanese, Eric Madelaine. SCP, 127:1, 2016. [doi]
Synchronised Hyperedge Replacement as a Model for Service Oriented ComputingGian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto. FMCO 2006: 22-43 [doi]
From Reversible Semantics to Reversible DebuggingIvan Lanese. RC 2018: 34-46 [doi]
A Reversible Abstract Machine and Its Space OverheadMichael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani. forte 2012: 1-17 [doi]
A MAPE-K Approach to Autonomic MicroservicesAntonio Bucchiarone, Claudio Guidi, Ivan Lanese, Nelly Bencomo, Josef Spillner. icsa 2022: 100-103 [doi]
Tools and VerificationMassimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino. In Martin Wirsing, Matthias M. Hölzl, editors, Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Volume 6582 of Lecture Notes in Computer Science, pages 408-427, Springer, 2011. [doi]
A Case Study for Reversible Computing: Reversible Debugging of Concurrent ProgramsJames Hoey, Ivan Lanese, Naoki Nishida 0001, Irek Ulidowski, Germán Vidal. In Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira 0001, editors, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Volume 12070 of Lecture Notes in Computer Science, pages 108-127, Springer, 2020. [doi]
On the interplay between fault handling and request-response service invocationsClaudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro. acsd 2008: 190-198 [doi]
Causal-Consistent Replay Debugging for Message Passing ProgramsIvan Lanese, Adrián Palacios, Germán Vidal. forte 2019: 167-184 [doi]
Static versus dynamic reversibility in CCSIvan Lanese, Doriana Medic, Claudio Antares Mezzina. ACTA, 58(1):1-34, 2021. [doi]
Synchronization Strategies for Global Computing ModelsIvan Lanese. PhD thesis, University of Pisa, Italy, 2006. [doi]
A General Approach to Derive Uncontrolled Reversible SemanticsIvan Lanese, Doriana Medic. concur 2020: [doi]
An operational semantics for a calculus for wireless systemsIvan Lanese, Davide Sangiorgi. TCS, 411(19):1928-1948, 2010. [doi]
Most General Property-Preserving UpdatesDavide Bresolin, Ivan Lanese. LATA 2017: 367-379 [doi]
Error Handling: From Theory to PracticeIvan Lanese, Fabrizio Montesi. ISoLA 2010: 66-81 [doi]
On the Expressive Power of Primitives for Compensation HandlingIvan Lanese, CÃ¡tia Vaz, Carla Ferreira. ESOP 2010: 366-386 [doi]
Causal Reversibility Implies Time ReversibilityMarco Bernardo 0001, Ivan Lanese, Andrea Marin, Claudio Antares Mezzina, Sabina Rossi, Claudio Sacerdoti Coen. qest 2023: 270-287 [doi]
Concurrent Flexible ReversibilityIvan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani. ESOP 2013: 370-390 [doi]
ChIP: A Choreographic Integration ProcessSaverio Giallorenzo, Ivan Lanese, Daniel Russo 0002. otm 2018: 22-40 [doi]
Causal-consistent rollback in a tuple-based languageElena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi. jlp, 88:99-120, 2017. [doi]
Foundations of Reversible ComputationBogdan 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. In Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira 0001, editors, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Volume 12070 of Lecture Notes in Computer Science, pages 1-40, Springer, 2020. [doi]
Foundations of Session Types and Behavioural ContractsHans 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., 49(1):3, 2016. [doi]
Retractable and Speculative ContractsFranco Barbanera, Ivan Lanese, Ugo de'Liguoro. coordination 2017: 119-137 [doi]
The stream-based service-centred calculus: a foundation for service-oriented programmingLuís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos. fac, 26(5):865-918, 2014. [doi]
Corinne, a Tool for Choreography AutomataSimone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese, Emilio Tuosto. facs2 2021: 82-92 [doi]
Behavioral Theory for Session-Oriented CalculiIvan Lanese, António Ravara, Hugo Torres Vieira. In Martin Wirsing, Matthias M. Hölzl, editors, Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Volume 6582 of Lecture Notes in Computer Science, pages 189-213, Springer, 2011. [doi]
Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira 0001, editors, Volume 12070 of Lecture Notes in Computer Science, Springer, 2020. [doi]
Reversibility in Erlang: Imperative ConstructsPietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti. RC 2022: 187-203 [doi]
Behavioural Theory at Work: Program Transformations in a Service-Centred CalculusLuís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos. fmoods 2008: 59-77 [doi]
Synchronized Hyperedge Replacement for Heterogeneous SystemsIvan Lanese, Emilio Tuosto. coordination 2005: 220-235 [doi]
A New Strategy for Distributed Compensations with Interruption in Long-Running TransactionsRoberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo. WADT 2012: 42-60 [doi]
Complete Axioms for Stateless ConnectorsRoberto Bruni, Ivan Lanese, Ugo Montanari. calco 2005: 98-113 [doi]
Preface: Special issue on objects and servicesIvan Lanese, Davide Sangiorgi. mscs, 25(3):480-481, 2015. [doi]
A Framework for Rule-Based Dynamic AdaptationIvan Lanese, Antonio Bucchiarone, Fabrizio Montesi. tgc 2010: 284-300 [doi]
Controlled Reversibility and CompensationsIvan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani. RC 2013: 233-240 [doi]
Reversible Computing in Debugging of Erlang ProgramsIvan Lanese, Ulrik Pagh Schultz, Irek Ulidowski, Markus Schordan. itpro, 24(1):74-80, 2022. [doi]
Causal-Consistent Reversible DebuggingElena Giachino, Ivan Lanese, Claudio Antares Mezzina. FASE 2014: 370-384 [doi]
PRISMA: A Mobile Calculus with Parametric SynchronizationRoberto Bruni, Ivan Lanese. tgc 2007: 132-149 [doi]
Forward-Reverse Observational Equivalences in CCSKIvan Lanese, Iain Phillips 0001. RC 2021: 126-143 [doi]
Reversibility in the higher-order π-calculusIvan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani. TCS, 625:25-84, 2016. [doi]
Contract-Driven Implementation of ChoreographiesMario Bravetti, Ivan Lanese, Gianluigi Zavattaro. tgc 2009: 1-18 [doi]
Bridging the Gap between Interaction- and Process-Oriented ChoreographiesIvan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro. SEFM 2008: 323-332 [doi]
The Evolution of Jolie - From Orchestrations to Adaptable ChoreographiesIvan Lanese, Fabrizio Montesi, Gianluigi Zavattaro. BIRTHDAY 2015: 506-521 [doi]
Preface for the special issue on Interaction and Concurrency Experience 2015Ivan Lanese, Alberto Lluch-Lafuente, Sophia Knight, Hugo Torres Vieira. jlp, 86(1):1, 2017. [doi]
Reversing Higher-Order PiIvan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani. concur 2010: 478-493 [doi]
Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected PapersIvan Lanese, Eric Madelaine, editors, Volume 8997 of Lecture Notes in Computer Science, Springer, 2015. [doi]
Composition of synchronous communicating systemsFranco Barbanera, Ivan Lanese, Emilio Tuosto. jlap, 135:100890, October 2023. [doi]
A Graphical Fusion CalculusIvan Lanese, Ugo Montanari. ENTCS, 104:199-215, 2004. [doi]
Concurrent and Located Synchronizations in ::::pi::::-CalculusIvan Lanese. sofsem 2007: 388-399 [doi]
Fault in the FutureEinar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro. coordination 2011: 1-15 [doi]
Choreography AutomataFranco Barbanera, Ivan Lanese, Emilio Tuosto. coordination 2020: 86-106 [doi]
On the Expressiveness of Polyadicity in Higher-Order Process CalculiIvan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt. ictcs 2009: 143-149
Causal-Consistent ReversibilityIvan Lanese. eatcs, 114, 2014. [doi]
A theory of reversibility for ErlangIvan Lanese, Naoki Nishida 0001, Adrián Palacios, Germán Vidal. jlp, 100:71-97, 2018. [doi]
Decidability Results for Dynamic Installation of Compensation HandlersIvan Lanese, Gianluigi Zavattaro. coordination 2013: 136-150 [doi]
Summary 3: On Graph(ic) EncodingsRoberto Bruni, Ivan Lanese. Dagstuhl 2005: [doi]
SCC: A Service Centered CalculusMichele 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. wsfm 2006: 38-57 [doi]
Microservices: How To Make Your Application ScaleNicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, Larisa Safina. ershov 2018: 95-104 [doi]
Reversible Computation - 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, ProceedingsSimon J. Devitt, Ivan Lanese, editors, Volume 9720 of Lecture Notes in Computer Science, Springer, 2016. [doi]
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact)Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida. darts, 8(2), 2022. [doi]
Generation of a Reversible Semantics for Erlang in MaudeGiovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani. icfem 2022: 106-122 [doi]
A basic algebra of stateless connectorsRoberto Bruni, Ivan Lanese, Ugo Montanari. TCS, 366(1-2):98-120, 2006. [doi]
Causal-Consistent Reversibility in a Tuple-Based LanguageElena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi. pdp 2015: 467-475 [doi]
Preface for the Special Issue of the 12th Conference on Reversible Computation (RC 2020)Ivan Lanese, Mariusz Rawski. SCP, 218:102808, 2022. [doi]
Fault Model Design Space for Cooperative ConcurrencyIvan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro. ISoLA 2014: 22-36 [doi]
Towards Global and Local Types for AdaptationMario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro. SEFM 2014: 3-14 [doi]
Towards a Unifying Theory for Web Services CompositionManuel Mazzara, Ivan Lanese. wsfm 2006: 257-272 [doi]
The Servers of Serverless Computing: A Formal Revisitation of Functions as a ServiceSaverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro. BIRTHDAY 2020: [doi]
Reversible Execution for Robustness in Embodied AI and Industrial RobotsIvan Lanese, Ulrik Pagh Schultz, Irek Ulidowski, Markus Schordan. itpro, 23(3):12-17, 2021. [doi]
Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. ProceedingsJosep Diaz, Ivan Lanese, Davide Sangiorgi, editors, Volume 8705 of Lecture Notes in Computer Science, Springer, 2014. [doi]
Composing Communicating Systems, SynchronouslyFranco Barbanera, Ivan Lanese, Emilio Tuosto. ISoLA 2020: 39-59 [doi]
Synchronization Algebras with Mobility for Graph TransformationsIvan Lanese, Ugo Montanari. ENTCS, 138(1):43-60, 2005. [doi]
Playing with Bisimulation in ErlangIvan Lanese, Davide Sangiorgi, Gianluigi Zavattaro. BIRTHDAY 2019: 71-91 [doi]
Dynamic Error Handling in Service Oriented ApplicationsClaudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro. FUIN, 95(1):73-102, 2009. [doi]
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed ApplicationsMila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli. SLE 2014: 161-170 [doi]
Programming Sagas in SOCKIvan Lanese, Gianluigi Zavattaro. SEFM 2009: 189-198 [doi]
Disciplining Orchestration and Conversation in Service-Oriented ComputingIvan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara. SEFM 2007: 305-314 [doi]
Graceful Interruption of Request-Response Service InteractionsMila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro. icsoc 2011: 590-600 [doi]
On the expressiveness and decidability of higher-order process calculiIvan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt. iandc, 209(2):198-226, 2011. [doi]
Preface for the special issue on Interaction and Concurrency Experience 2012Marco Carbone, Ivan Lanese, Alexandra Silva 0001, Ana Sokolova. SCP, 100:1, 2015. [doi]
An Axiomatic Approach to Reversible ComputationIvan Lanese, Iain C. C. Phillips, Irek Ulidowski. fossacs 2020: 442-461 [doi]
Guess Who's Coming: Runtime Inclusion of Participants in ChoreographiesMaurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro. BIRTHDAY 2019: 118-138 [doi]
No More, No Less - A Formal Model for Serverless ComputingMaurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro. coordination 2019: 148-157 [doi]
Multiparty Sessions in SOCRoberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto. coordination 2008: 67-82 [doi]
On Formal Choreographic Modelling: A Case Study in EU Business ProcessesAlex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto. ISoLA 2022: 205-219 [doi]
Developing correct, distributed, adaptive softwareMila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro. SCP, 97:41-46, 2015. [doi]
Design-By-Contract for Flexible Multiparty Session ProtocolsLorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida. ECOOP 2022: [doi]
Formal Choreographic LanguagesFranco Barbanera, Ivan Lanese, Emilio Tuosto. coordination 2022: 121-139 [doi]
Static and dynamic property-preserving updatesDavide Bresolin, Ivan Lanese. iandc, 279:104611, 2021. [doi]
New Insights on Architectural ConnectorsRoberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari. ifipTCS 2004: 367-380
Mapping Fusion and Synchronized Hyperedge Replacement into logic programmingIvan Lanese, Ugo Montanari. tplp, 7(1-2):123-151, 2007. [doi]
Advanced Mechanisms for Service Combination and TransactionsCarla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira, Gianluigi Zavattaro. In Martin Wirsing, Matthias M. Hölzl, editors, Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Volume 6582 of Lecture Notes in Computer Science, pages 302-325, Springer, 2011. [doi]
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, ProceedingsElvira Albert, Ivan Lanese, editors, Volume 9688 of Lecture Notes in Computer Science, Springer, 2016. [doi]
Synchronous Multiparty Synchronizations and TransactionsIvan Lanese, Hernán C. Melgratti. birthday 2008: 76-95 [doi]
Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent ProgramsIvan Lanese, Adrián Palacios, Germán Vidal. FUIN, 178(3):229-266, 2021. [doi]
Preface for the special issue on Interaction and Concurrency Experience 2014Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira. jlp, 85(3):367, 2016. [doi]
Towards a Taxonomy for Reversible Computation ApproachesRobert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain C. C. Phillips, Irek Ulidowski, Germán Vidal. RC 2023: 24-39 [doi]
CauDEr: A Causal-Consistent Reversible Debugger for ErlangIvan Lanese, Naoki Nishida 0001, Adrián Palacios, Germán Vidal. FLOPS 2018: 247-263 [doi]
Internet of things: a process calculus approachIvan Lanese, Luca Bedogni, Marco Di Felice. SAC 2013: 1339-1346 [doi]
Dynamic Choreographies - Safe Runtime Updates of Distributed ApplicationsMila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro. coordination 2015: 67-82 [doi]
Composition and decomposition of multiparty sessionsFranco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto. jlap, 119:100620, 2021. [doi]
Controlling Reversibility in Higher-Order PiIvan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani. concur 2011: 297-311 [doi]
A Language-based Approach for Interoperability of IoT PlatformsMaurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Stefano Pio Zingaro. hicss 2018: 1-10 [doi]
The Reversible Temporal Process LanguageLaura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen. forte 2022: 31-49 [doi]
A Component Model for the ABS LanguageMichael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter. FMCO 2012: 165-183 [doi]
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With MobilityIvan Lanese, Ugo Montanari. ENTCS, 154(2):55-72, 2006. [doi]
Parametric synchronizations in mobile nominal calculiRoberto Bruni, Ivan Lanese. TCS, 402(2-3):102-119, 2008. [doi]
Causal-Consistent Debugging of Distributed Erlang ProgramsGiovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani. RC 2021: 79-95 [doi]
Software and Reversible Systems: A Survey of Recent ActivitiesClaudio 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. In Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira 0001, editors, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Volume 12070 of Lecture Notes in Computer Science, pages 41-59, Springer, 2020. [doi]
Insights emerged while comparing three models for global computingIvan Lanese, Ugo Montanari. Dagstuhl 2006: [doi]
revTPL: The Reversible Temporal Process LanguageLaura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen. lmcs, 20(1), 2024. [doi]
Special issue on Service-Oriented Architecture and Programming (SOAP 2013)Ivan Lanese, Manuel Mazzara, Fabrizio Montesi. SCP, 97:181-182, 2015. [doi]
Preface for the special issue of the 8th Conference on Reversible Computation (RC 2016)Ivan Lanese, Simon J. Devitt. SCP, 151:1, 2018. [doi]
Microservices: A Language-Based ApproachClaudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi. In Manuel Mazzara, Bertrand Meyer 0001, editors, Present and Ulterior Software Engineering. pages 217-225, Springer, 2017. [doi]
A theory of retractable and speculative contractsFranco Barbanera, Ivan Lanese, Ugo de'Liguoro. SCP, 167:25-50, 2018. [doi]
A Theory of Formal Choreographic LanguagesFranco Barbanera, Ivan Lanese, Emilio Tuosto. lmcs, 19(3), 2023. [doi]
On the Expressiveness and Decidability of Higher-Order Process CalculiIvan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt. lics 2008: 145-155 [doi]
Exploiting User-definable Synchronizations in Graph TransformationIvan Lanese. ENTCS, 211:27-38, 2008. [doi]
Tiles for ReoFarhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari. WADT 2009: 37-55 [doi]
Preface for the special issue of Interaction and Concurrency Experience 2013Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova. SCP, 109:1, 2015. [doi]
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process CalculiIvan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt. icalp 2010: 442-453 [doi]
Dynamic Fault Handling Mechanisms for Service-Oriented ApplicationsFabrizio Montesi, Claudio Guidi, Ivan Lanese, Gianluigi Zavattaro. ecows 2008: 225-234 [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Ivan Lanese's Profile

Unidentified Publications