Emilio Tuosto

2008
32	EE	Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto: Multiparty Sessions in SOC. COORDINATION 2008: 67-82
31	EE	Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: Event-Based Service Coordination. Concurrency, Graphs and Models 2008: 312-329
30	EE	Vincenzo Ciancia, Gian Luigi Ferrari, Marco Pistore, Emilio Tuosto: History Dependent Automata for Service Compatibility. Concurrency, Graphs and Models 2008: 625-641
29	EE	Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto: Network Applications of Graph Bisimulation. ICGT 2008: 131-146
28	EE	Andrea Corradini, Emilio Tuosto: ICGT 2008 Doctoral Symposium. ICGT 2008: 473-474
27	EE	Andrea Bracciali, GianLuigi Ferrari, Emilio Tuosto: A symbolic framework for multi-faceted security protocol analysis. Int. J. Inf. Sec. 7(1): 55-84 (2008)
2007
26	EE	GianLuigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: Coordination Via Types in an Event-Based Framework. FORTE 2007: 66-80
25	EE	Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto: Service Oriented Architectural Design. TGC 2007: 186-203
2006
24	EE	Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto: Translating Orc Features into Petri Nets and the Join Calculus. WS-FM 2006: 123-137
23	EE	Emilio Tuosto, Hugo Torres Vieira: An Observational Model for Spatial Logics. Electr. Notes Theor. Comput. Sci. 142: 229-254 (2006)
22	EE	Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto: A Logic for Application Level QoS. Electr. Notes Theor. Comput. Sci. 153(2): 135-159 (2006)
2005
21	EE	Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane: Modelling Fusion Calculus using HD-Automata. CALCO 2005: 142-156
20	EE	Ivan Lanese, Emilio Tuosto: Synchronized Hyperedge Replacement for Heterogeneous Systems. COORDINATION 2005: 220-235
19	EE	Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto: A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48
18	EE	Roberto 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
17	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
16	EE	Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: Model Checking for Nominal Calculi. FoSSaCS 2005: 1-24
15	EE	Dan Hirsch, Emilio Tuosto: SHReQ: Coordinating Application Level QoS. SEFM 2005: 425-434
14	EE	Emilio Tuosto: Tarzan: Communicating and Moving in Wireless Jungles. Electr. Notes Theor. Comput. Sci. 112: 77-94 (2005)
13	EE	Giacomo 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)
12	EE	Gian 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
10	EE	Lorenzo 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
9	EE	Rocco 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
8	EE	Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: Graph-Based Models of Internetworking Systems. 10th Anniversary Colloquium of UNU/IIST 2002: 242-266
7	EE	Gian 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
5	EE	Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: A LTS Semantics of Ambients via Graph Synchronization with Mobility. ICTCS 2001: 1-16
4	EE	Gian Luigi Ferrari, Emilio Tuosto: A debugging calculus for mobile ambients. SAC 2001
3	EE	Andrea 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
1	EE	Emilio Tuosto: An Ada95 Implementation of a Network Coordination Language with Code Mobility. Ada-Europe 1999: 199-210

Coauthor Index

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

Colors in the list of coauthors