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

Emilio Tuosto

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

2008
32EERoberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto: Multiparty Sessions in SOC. COORDINATION 2008: 67-82
31EEGian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: Event-Based Service Coordination. Concurrency, Graphs and Models 2008: 312-329
30EEVincenzo Ciancia, Gian Luigi Ferrari, Marco Pistore, Emilio Tuosto: History Dependent Automata for Service Compatibility. Concurrency, Graphs and Models 2008: 625-641
29EEPietro Cenciarelli, Daniele Gorla, Emilio Tuosto: Network Applications of Graph Bisimulation. ICGT 2008: 131-146
28EEAndrea Corradini, Emilio Tuosto: ICGT 2008 Doctoral Symposium. ICGT 2008: 473-474
27EEAndrea Bracciali, GianLuigi Ferrari, Emilio Tuosto: A symbolic framework for multi-faceted security protocol analysis. Int. J. Inf. Sec. 7(1): 55-84 (2008)
2007
26EEGianLuigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: Coordination Via Types in an Event-Based Framework. FORTE 2007: 66-80
25EERoberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto: Service Oriented Architectural Design. TGC 2007: 186-203
2006
24EERoberto Bruni, Hernán C. Melgratti, Emilio Tuosto: Translating Orc Features into Petri Nets and the Join Calculus. WS-FM 2006: 123-137
23EEEmilio Tuosto, Hugo Torres Vieira: An Observational Model for Spatial Logics. Electr. Notes Theor. Comput. Sci. 142: 229-254 (2006)
22EEDan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto: A Logic for Application Level QoS. Electr. Notes Theor. Comput. Sci. 153(2): 135-159 (2006)
2005
21EEGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane: Modelling Fusion Calculus using HD-Automata. CALCO 2005: 142-156
20EEIvan Lanese, Emilio Tuosto: Synchronized Hyperedge Replacement for Heterogeneous Systems. COORDINATION 2005: 220-235
19EERocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto: A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48
18EERoberto Bruni, Gian Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto: From Theory to Practice in Transactional Composition of Web Services. EPEW/WS-FM 2005: 272-286
17EEGian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto: Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. FMCO 2005: 22-43
16EEGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: Model Checking for Nominal Calculi. FoSSaCS 2005: 1-24
15EEDan Hirsch, Emilio Tuosto: SHReQ: Coordinating Application Level QoS. SEFM 2005: 425-434
14EEEmilio Tuosto: Tarzan: Communicating and Moving in Wireless Jungles. Electr. Notes Theor. Comput. Sci. 112: 77-94 (2005)
13EEGiacomo Baldi, Andrea Bracciali, Gian Luigi Ferrari, Emilio Tuosto: A Coordination-based Methodology for Security Protocol Verification. Electr. Notes Theor. Comput. Sci. 121: 23-46 (2005)
12EEGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types. Theor. Comput. Sci. 331(2-3): 325-365 (2005)
2004
11 Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto: Verication On The Web Of Mobile Systems. VVEIS 2004: 72-74
2003
10EELorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri: The Klaim Project: Theory and Practice. Global Computing 2003: 88-150
9EERocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto: A Formal Basis for Reasoning on Programmable QoS. Verification: Theory and Practice 2003: 436-479
2002
8EEGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: Graph-Based Models of Internetworking Systems. 10th Anniversary Colloquium of UNU/IIST 2002: 242-266
7EEGian Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto: From Co-algebraic Specifications to Implementation: The Mihda Toolkit. FMCO 2002: 319-338
6 Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto: Security and Dynamic Compositions of Open Systems. PDPTA 2002: 1372-1377
2001
5EEGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: A LTS Semantics of Ambients via Graph Synchronization with Mobility. ICTCS 2001: 1-16
4EEGian Luigi Ferrari, Emilio Tuosto: A debugging calculus for mobile ambients. SAC 2001
3EEAndrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto: Security Issues in Component-based Design. Electr. Notes Theor. Comput. Sci. 54: (2001)
2000
2 Gian Luigi Ferrari, Rosario Pugliese, Emilio Tuosto: Calculi for Network Aware Programming. WOA 2000: 23-28
1999
1EEEmilio Tuosto: An Ada95 Implementation of a Network Coordination Language with Code Mobility. Ada-Europe 1999: 199-210

Coauthor Index

1Giacomo Baldi [13]
2Lorenzo Bettini [10]
3Viviana Bono [10]
4Andrea Bracciali [3] [6] [13] [27]
5Antonio Brogi [3] [6]
6Roberto Bruni [18] [24] [25] [32]
7Pietro Cenciarelli [29]
8Vincenzo Ciancia [30]
9Andrea Corradini [28]
10Gian Luigi Ferrari (GianLuigi Ferrari) [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [16] [17] [18] [19] [21] [26] [27] [30] [31]
11Stefania Gnesi [11]
12Daniele Gorla [10] [29]
13Roberto Guanciale [26] [31]
14Dan Hirsch [15] [17] [22]
15Ivan Lanese [17] [20] [32]
16Alberto Lluch-Lafuente [22] [25]
17Michele Loreti [10]
18Hernán C. Melgratti [18] [24] [32]
19Eugenio Moggi [10]
20Ugo Montanari [5] [7] [8] [9] [11] [12] [16] [17] [18] [19] [21] [25]
21Rocco De Nicola [9] [10] [19]
22Marco Pistore [30]
23Rosario Pugliese [2] [9] [10] [19]
24Roberto Raggi [7] [11]
25Daniele Strollo [18] [26] [31]
26Gianluca Trentanni [11]
27Betti Venneri [10]
28Björn Victor [21]
29Hugo Torres Vieira [23]
30Kidane Yemane [21]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)