dblp.uni-trier.dewww.uni-trier.de

Ivan Lanese Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)