Ivan Lanese

2008
26	EE	Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro: On the interplay between fault handling and request-response service invocations. ACSD 2008: 190-198
25	EE	Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto: Multiparty Sessions in SOC. COORDINATION 2008: 67-82
24	EE	Ivan Lanese, Hernán C. Melgratti: Synchronous Multiparty Synchronizations and Transactions. Concurrency, Graphs and Models 2008: 76-95
23	EE	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
22	EE	Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt: On the Expressiveness and Decidability of Higher-Order Process Calculi. LICS 2008: 145-155
21	EE	Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro: Bridging the Gap between Interaction- and Process-Oriented Choreographies. SEFM 2008: 323-332
20	EE	Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro: Contract-Driven Implementation of Choreographies. TGC 2008: 1-18
19	EE	Ivan Lanese: Exploiting User-definable Synchronizations in Graph Transformation. Electr. Notes Theor. Comput. Sci. 211: 27-38 (2008)
18	EE	Roberto Bruni, Ivan Lanese: Parametric synchronizations in mobile nominal calculi. Theor. Comput. Sci. 402(2-3): 102-119 (2008)
2007
17	EE	Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara: Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM 2007: 305-314
16	EE	Ivan Lanese: Concurrent and Located Synchronizations in pi-Calculus. SOFSEM (1) 2007: 388-399
15	EE	Ivan Lanese, Ugo Montanari: Mapping Fusion and Synchronized Hyperedge Replacement into logic programming. TPLP 7(1-2): 123-151 (2007)
2006
14	EE	Roberto Bruni, Ivan Lanese: PRISMA: A Mobile Calculus with Parametric Synchronization. TGC 2006: 132-149
13	EE	Manuel Mazzara, Ivan Lanese: Towards a Unifying Theory for Web Services Composition. WS-FM 2006: 257-272
12	EE	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	EE	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	EE	Roberto Bruni, Ivan Lanese, Ugo Montanari: A basic algebra of stateless connectors. Theor. Comput. Sci. 366(1-2): 98-120 (2006)
2005
9	EE	Roberto Bruni, Ivan Lanese, Ugo Montanari: Complete Axioms for Stateless Connectors. CALCO 2005: 98-113
8	EE	Ivan Lanese, Emilio Tuosto: Synchronized Hyperedge Replacement for Heterogeneous Systems. COORDINATION 2005: 220-235
7	EE	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	EE	Ivan Lanese, Ugo Montanari: Insights emerged while comparing three models for global computing. Foundations of Global Computing 2005
5	EE	Ivan Lanese, Ugo Montanari: Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming CoRR abs/cs/0504050: (2005)
4	EE	Ivan Lanese, Ugo Montanari: Synchronization Algebras with Mobility for Graph Transformations. Electr. Notes Theor. Comput. Sci. 138(1): 43-60 (2005)
2004
3	EE	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	EE	Ivan Lanese, Ugo Montanari: A Graphical Fusion Calculus. Electr. Notes Theor. Comput. Sci. 104: 199-215 (2004)

Coauthor Index

1	Michele Boreale	[12]
2	Mario Bravetti	[20]
3	Roberto Bruni	[2] [3] [9] [10] [12] [14] [18] [25]
4	Luís Caires	[12]
5	Luís Cruz-Filipe	[23]
6	Gian Luigi Ferrari (GianLuigi Ferrari)	[7]
7	José Luiz Fiadeiro	[2]
8	Claudio Guidi	[21] [26]
9	Dan Hirsch	[7]
10	Antónia Lopes	[2]
11	Michele Loreti	[12]
12	Francisco Martins	[12] [17] [23]
13	Manuel Mazzara	[13]
14	Hernán C. Melgratti	[24] [25]
15	Ugo Montanari	[1] [2] [4] [5] [6] [7] [9] [10] [11] [12] [15]
16	Fabrizio Montesi	[21] [26]
17	Rocco De Nicola	[12]
18	Jorge A. Pérez (Jorge Andrés Pérez)	[22]
19	António Ravara	[12] [17] [23]
20	Davide Sangiorgi	[12] [22]
21	Alan Schmitt	[22]
22	Emilio Tuosto	[7] [8] [25]
23	Vasco Thudichum Vasconcelos	[12] [17] [23]
24	Gianluigi Zavattaro	[12] [20] [21] [26]