Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ivan Lanese
2010 – today
- 2013
[c38]Ivan Lanese, Gianluigi Zavattaro: Decidability Results for Dynamic Installation of Compensation Handlers. COORDINATION 2013: 136-150- [c37]Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani: Concurrent Flexible Reversibility. ESOP 2013: 370-390
- [c36]Ivan Lanese, Luca Bedogni, Marco Di Felice: Internet of things: a process calculus approach. SAC 2013: 1339-1346
- [i2]Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro: Amending Choreographies. CoRR abs/1308.0390 (2013)
- 2012
- [c35]Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani: A Reversible Abstract Machine and Its Space Overhead. FMOODS/FORTE 2012: 1-17
- [c34]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 (Eds.): Proceedings Fifth Interaction and Concurrency Experience. EPTCS 104, 2012
- 2011
- [j10]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)
- [c33]Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani: Controlling Reversibility in Higher-Order Pi. CONCUR 2011: 297-311
- [c32]
- [c31]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
- [j9]Ivan Lanese, Davide Sangiorgi: An operational semantics for a calculus for wireless systems. Theor. Comput. Sci. 411(19): 1928-1948 (2010)
- [c30]Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani: Reversing Higher-Order Pi. CONCUR 2010: 478-493
- [c29]Ivan Lanese, Cátia Vaz, Carla Ferreira: On the Expressive Power of Primitives for Compensation Handling. ESOP 2010: 366-386
- [c28]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
- [c27]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
- [c26]
- [c25]Ivan Lanese, Antonio Bucchiarone, Fabrizio Montesi: A Framework for Rule-Based Dynamic Adaptation. TGC 2010: 284-300
- [c24]Roberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo: A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions. WADT 2010: 42-60
- [c23]
2000 – 2009
- 2009
- [j8]Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro: Dynamic Error Handling in Service Oriented Applications. Fundam. Inform. 95(1): 73-102 (2009)
- [c22]Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt: On the Expressiveness of Polyadicity in Higher-Order Process Calculi. ICTCS 2009: 143-149
- [c21]
- 2008
- [j7]Ivan Lanese: Exploiting User-definable Synchronizations in Graph Transformation. Electr. Notes Theor. Comput. Sci. 211: 27-38 (2008)
- [j6]Roberto Bruni, Ivan Lanese: Parametric synchronizations in mobile nominal calculi. Theor. Comput. Sci. 402(2-3): 102-119 (2008)
- [c20]Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro: On the interplay between fault handling and request-response service invocations. ACSD 2008: 190-198
- [c19]Ivan Lanese, Hernán C. Melgratti: Synchronous Multiparty Synchronizations and Transactions. Concurrency, Graphs and Models 2008: 76-95
- [c18]Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto: Multiparty Sessions in SOC. COORDINATION 2008: 67-82
- [c17]Fabrizio Montesi, Claudio Guidi, Ivan Lanese, Gianluigi Zavattaro: Dynamic Fault Handling Mechanisms for Service-Oriented Applications. ECOWS 2008: 225-234
- [c16]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
- [c15]Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt: On the Expressiveness and Decidability of Higher-Order Process Calculi. LICS 2008: 145-155
- [c14]Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro: Bridging the Gap between Interaction- and Process-Oriented Choreographies. SEFM 2008: 323-332
- [c13]Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro: Contract-Driven Implementation of Choreographies. TGC 2008: 1-18
- [c12]Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari: Tiles for Reo. WADT 2008: 37-55
- 2007
- [j5]Ivan Lanese, Ugo Montanari: Mapping Fusion and Synchronized Hyperedge Replacement into logic programming. TPLP 7(1-2): 123-151 (2007)
- [c11]Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara: Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM 2007: 305-314
- [c10]
- 2006
- [j4]Ivan Lanese, Ugo Montanari: Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility. Electr. Notes Theor. Comput. Sci. 154(2): 55-72 (2006)
- [j3]Roberto Bruni, Ivan Lanese, Ugo Montanari: A basic algebra of stateless connectors. Theor. Comput. Sci. 366(1-2): 98-120 (2006)
- [c9]Roberto Bruni, Ivan Lanese: PRISMA: A Mobile Calculus with Parametric Synchronization. TGC 2006: 132-149
- [c8]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
- [c7]Manuel Mazzara, Ivan Lanese: Towards a Unifying Theory for Web Services Composition. WS-FM 2006: 257-272
- 2005
- [j2]Ivan Lanese, Ugo Montanari: Synchronization Algebras with Mobility for Graph Transformations. Electr. Notes Theor. Comput. Sci. 138(1): 43-60 (2005)
- [c6]Roberto Bruni, Ivan Lanese, Ugo Montanari: Complete Axioms for Stateless Connectors. CALCO 2005: 98-113
- [c5]Ivan Lanese, Emilio Tuosto: Synchronized Hyperedge Replacement for Heterogeneous Systems. COORDINATION 2005: 220-235
- [c4]Ivan Lanese, Ugo Montanari: Insights emerged while comparing three models for global computing. Foundations of Global Computing 2005
- [c3]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
- [i1]Ivan Lanese, Ugo Montanari: Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming. CoRR abs/cs/0504050 (2005)
- 2004
- [j1]Ivan Lanese, Ugo Montanari: A Graphical Fusion Calculus. Electr. Notes Theor. Comput. Sci. 104: 199-215 (2004)
- [c2]Roberto Bruni, Ivan Lanese: Summary 3: On Graph(ic) Encodings. Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems 2004
- [c1]Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari: New Insights on Architectural Connectors. IFIP TCS 2004: 367-380
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:18 CEST by the dblp team