Ivan Lanese

	2008
27		Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro: On the interplay between fault handling and request-response service invocations. ACSD 2008: 190-198
26		Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto: Multiparty Sessions in SOC. COORDINATION 2008: 67-82
25		Ivan Lanese, Hernán C. Melgratti: Synchronous Multiparty Synchronizations and Transactions. Concurrency, Graphs and Models 2008: 76-95
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	Michele Boreale	[12]
3	Mario Bravetti	[21]
4	Roberto Bruni	[2] [3] [9] [10] [12] [14] [18] [20] [26]
5	Luís Caires	[12]
6	Dave Clarke	[20]
7	Luís Cruz-Filipe	[24]
8	Gian Luigi Ferrari (GianLuigi Ferrari)	[7]
9	José Luiz Fiadeiro	[2]
10	Claudio Guidi	[22] [27]
11	Dan Hirsch	[7]
12	Antónia Lopes	[2]
13	Michele Loreti	[12]
14	Francisco Martins	[12] [17] [24]
15	Manuel Mazzara	[13]
16	Hernán C. Melgratti	[25] [26]
17	Ugo Montanari	[1] [2] [4] [5] [6] [7] [9] [10] [11] [12] [15] [20]
18	Fabrizio Montesi	[22] [27]
19	Rocco De Nicola	[12]
20	Jorge A. Pérez (Jorge Andrés Pérez)	[23]
21	António Ravara	[12] [17] [24]
22	Davide Sangiorgi	[12] [23]
23	Alan Schmitt	[23]
24	Emilio Tuosto	[7] [8] [26]
25	Vasco Thudichum Vasconcelos	[12] [17] [24]
26	Gianluigi Zavattaro	[12] [21] [22] [27]