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 |