Ivan Lanese

	2011
47		Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani: Controlling Reversibility in Higher-Order Pi. CONCUR 2011: 297-311
46		Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro: Fault in the Future. COORDINATION 2011: 1-15
45		Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro: Graceful Interruption of Request-Response Service Interactions. ICSOC 2011: 590-600
44		Ivan Lanese, António Ravara, Hugo Torres Vieira: Behavioral Theory for Session-Oriented Calculi. Results of the SENSORIA Project 2011: 189-213
43		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
42		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
41		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)
	2010
40		Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani: Reversing Higher-Order Pi. CONCUR 2010: 478-493
39		Ivan Lanese, Cátia Vaz, Carla Ferreira: On the Expressive Power of Primitives for Compensation Handling. ESOP 2010: 366-386
38		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
37		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
36		Ivan Lanese: Static vs Dynamic SAGAs ICE 2010: 51-65
35		Ivan Lanese, Fabrizio Montesi: Error Handling: From Theory to Practice. ISoLA (2) 2010: 66-81
34		Ivan Lanese, Antonio Bucchiarone, Fabrizio Montesi: A Framework for Rule-Based Dynamic Adaptation. TGC 2010: 284-300
33		Roberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo: A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions. WADT 2010: 42-60
32		Ivan Lanese, Davide Sangiorgi: An operational semantics for a calculus for wireless systems. Theor. Comput. Sci. 411(19): 1928-1948 (2010)
	2009
31		Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt: On the Expressiveness of Polyadicity in Higher-Order Process Calculi. ICTCS 2009: 143-149
30		Ivan Lanese, Gianluigi Zavattaro: Programming Sagas in SOCK. SEFM 2009: 189-198
29		Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro: Dynamic Error Handling in Service Oriented Applications. Fundam. Inform. 95(1): 73-102 (2009)
	2008
28		Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro: On the interplay between fault handling and request-response service invocations. ACSD 2008: 190-198
27		Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto: Multiparty Sessions in SOC. COORDINATION 2008: 67-82
26		Ivan Lanese, Hernán C. Melgratti: Synchronous Multiparty Synchronizations and Transactions. Concurrency, Graphs and Models 2008: 76-95
25		Fabrizio Montesi, Claudio Guidi, Ivan Lanese, Gianluigi Zavattaro: Dynamic Fault Handling Mechanisms for Service-Oriented Applications. ECOWS 2008: 225-234
24		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
23		Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt: On the Expressiveness and Decidability of Higher-Order Process Calculi. LICS 2008: 145-155
22		Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro: Bridging the Gap between Interaction- and Process-Oriented Choreographies. SEFM 2008: 323-332
21		Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro: Contract-Driven Implementation of Choreographies. TGC 2008: 1-18
20		Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari: Tiles for Reo. WADT 2008: 37-55
19		Ivan Lanese: Exploiting User-definable Synchronizations in Graph Transformation. Electr. Notes Theor. Comput. Sci. 211: 27-38 (2008)
18		Roberto Bruni, Ivan Lanese: Parametric synchronizations in mobile nominal calculi. Theor. Comput. Sci. 402(2-3): 102-119 (2008)
	2007
17		Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara: Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM 2007: 305-314
16		Ivan Lanese: Concurrent and Located Synchronizations in pi-Calculus. SOFSEM (1) 2007: 388-399
15		Ivan Lanese, Ugo Montanari: Mapping Fusion and Synchronized Hyperedge Replacement into logic programming. TPLP 7(1-2): 123-151 (2007)
	2006
14		Roberto Bruni, Ivan Lanese: PRISMA: A Mobile Calculus with Parametric Synchronization. TGC 2006: 132-149
13		Manuel Mazzara, Ivan Lanese: Towards a Unifying Theory for Web Services Composition. WS-FM 2006: 257-272
12		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
11		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)
10		Roberto Bruni, Ivan Lanese, Ugo Montanari: A basic algebra of stateless connectors. Theor. Comput. Sci. 366(1-2): 98-120 (2006)
	2005
9		Roberto Bruni, Ivan Lanese, Ugo Montanari: Complete Axioms for Stateless Connectors. CALCO 2005: 98-113
8		Ivan Lanese, Emilio Tuosto: Synchronized Hyperedge Replacement for Heterogeneous Systems. COORDINATION 2005: 220-235
7		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
6		Ivan Lanese, Ugo Montanari: Insights emerged while comparing three models for global computing. Foundations of Global Computing 2005
5		Ivan Lanese, Ugo Montanari: Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming CoRR abs/cs/0504050: (2005)
4		Ivan Lanese, Ugo Montanari: Synchronization Algebras with Mobility for Graph Transformations. Electr. Notes Theor. Comput. Sci. 138(1): 43-60 (2005)
	2004
3		Roberto Bruni, Ivan Lanese: Summary 3: On Graph(ic) Encodings. Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems 2004
2		Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari: New Insights on Architectural Connectors. IFIP TCS 2004: 367-380
1		Ivan Lanese, Ugo Montanari: A Graphical Fusion Calculus. Electr. Notes Theor. Comput. Sci. 104: 199-215 (2004)

Coauthor Index

1	Farhad Arbab	[20]
2	Massimo Bartoletti	[42]
3	Michele Boreale	[12]
4	Mario Bravetti	[21] [38]
5	Roberto Bruni	[2] [3] [9] [10] [12] [14] [18] [20] [27] [33]
6	Antonio Bucchiarone	[34]
7	Luís Caires	[12] [42]
8	Dave Clarke (David G. Clarke)	[20]
9	Luís Cruz-Filipe	[24]
10	Gian Luigi Ferrari (GianLuigi Ferrari)	[7]
11	Carla Ferreira	[39] [43]
12	José Luiz Fiadeiro	[2]
13	Maurizio Gabbrielli	[45]
14	Claudio Guidi	[22] [25] [28] [29]
15	Dan Hirsch	[7]
16	Einar Broch Johnsen	[46]
17	Anne Kersten	[33]
18	Michael Lienhardt	[38]
19	Antónia Lopes	[2]
20	Michele Loreti	[12]
21	Francisco Martins	[12] [17] [24]
22	Jacopo Mauro	[45]
23	Franco Mazzanti	[42]
24	Manuel Mazzara	[13]
25	Hernán C. Melgratti	[26] [27]
26	Claudio Antares Mezzina	[40] [47]
27	Ugo Montanari	[1] [2] [4] [5] [6] [7] [9] [10] [11] [12] [15] [20]
28	Fabrizio Montesi	[22] [25] [28] [29] [34] [35]
29	Rocco De Nicola	[12]
30	Jorge A. Pérez (Jorge Andrés Pérez)	[23] [31] [37] [41]
31	Arnd Poetzsch-Heffter	[38]
32	Mila Dalla Preda	[45]
33	António Ravara	[12] [17] [24] [43] [44]
34	Davide Sangiorgi	[12] [23] [31] [32] [37] [38] [41] [42]
35	Jan Schäfer (Jan Schaefer)	[38]
36	Alan Schmitt	[23] [31] [37] [41] [47]
37	Giorgio Spagnolo	[33]
38	Jean-Bernard Stefani	[40] [47]
39	Emilio Tuosto	[7] [8] [27]
40	Vasco Thudichum Vasconcelos	[12] [17] [24]
41	Cátia Vaz	[39]
42	Hugo Torres Vieira	[42] [43] [44]
43	Yannick Welsch	[38]
44	Gianluigi Zavattaro	[12] [21] [22] [25] [28] [29] [30] [38] [43] [45] [46]
45	Roberto Zunino	[42]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page