Emilio Tuosto

	2009
36		Qurat ul Ain Nizamani, Emilio Tuosto: Heuristic Methods for Security Protocols CoRR abs/0910.4053: (2009)
	2008
35		Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto: Multiparty Sessions in SOC. COORDINATION 2008: 67-82
34		Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: Event-Based Service Coordination. Concurrency, Graphs and Models 2008: 312-329
33		Vincenzo Ciancia, Gian Luigi Ferrari, Marco Pistore, Emilio Tuosto: History Dependent Automata for Service Compatibility. Concurrency, Graphs and Models 2008: 625-641
32		Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto: Network Applications of Graph Bisimulation. ICGT 2008: 131-146
31		Andrea Corradini, Emilio Tuosto: ICGT 2008 Doctoral Symposium. ICGT 2008: 473-474
30		Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: Refactoring Long Running Transactions. WS-FM 2008: 127-142
29		Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: Debugging Distributed Systems with Causal Nets. ECEASST 14: (2008)
28		Andrea Corradini, Emilio Tuosto: Preface. ECEASST 16: (2008)
27		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		GianLuigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: Coordination Via Types in an Event-Based Framework. FORTE 2007: 66-80
25		Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto: Service Oriented Architectural Design. TGC 2007: 186-203
	2006
24		Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto: Translating Orc Features into Petri Nets and the Join Calculus. WS-FM 2006: 123-137
23		Emilio Tuosto, Hugo Torres Vieira: An Observational Model for Spatial Logics. Electr. Notes Theor. Comput. Sci. 142: 229-254 (2006)
22		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		Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane: Modelling Fusion Calculus using HD-Automata. CALCO 2005: 142-156
20		Ivan Lanese, Emilio Tuosto: Synchronized Hyperedge Replacement for Heterogeneous Systems. COORDINATION 2005: 220-235
19		Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto: A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48
18		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		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		Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: Model Checking for Nominal Calculi. FoSSaCS 2005: 1-24
15		Dan Hirsch, Emilio Tuosto: SHReQ: Coordinating Application Level QoS. SEFM 2005: 425-434
14		Emilio Tuosto: Tarzan: Communicating and Moving in Wireless Jungles. Electr. Notes Theor. Comput. Sci. 112: 77-94 (2005)
13		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		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		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		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		Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: Graph-Based Models of Internetworking Systems. 10th Anniversary Colloquium of UNU/IIST 2002: 242-266
7		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		Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: A LTS Semantics of Ambients via Graph Synchronization with Mobility. ICTCS 2001: 1-16
4		Gian Luigi Ferrari, Emilio Tuosto: A debugging calculus for mobile ambients. SAC 2001
3		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		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] [35]
7	Pietro Cenciarelli	[32]
8	Vincenzo Ciancia	[33]
9	Andrea Corradini	[28] [31]
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] [29] [30] [33] [34]
11	Stefania Gnesi	[11]
12	Daniele Gorla	[10] [32]
13	Roberto Guanciale	[26] [29] [30] [34]
14	Dan Hirsch	[15] [17] [22]
15	Ivan Lanese	[17] [20] [35]
16	Alberto Lluch-Lafuente	[22] [25]
17	Michele Loreti	[10]
18	Hernán C. Melgratti	[18] [24] [35]
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	Qurat ul Ain Nizamani	[36]
23	Marco Pistore	[33]
24	Rosario Pugliese	[2] [9] [10] [19]
25	Roberto Raggi	[7] [11]
26	Daniele Strollo	[18] [26] [29] [30] [34]
27	Gianluca Trentanni	[11]
28	Betti Venneri	[10]
29	Björn Victor	[21]
30	Hugo Torres Vieira	[23]
31	Kidane Yemane	[21]

Colors in the list of coauthors