×
Author ID: tuosto.emilio Recent zbMATH articles by "Tuosto, Emilio"
Published as: Tuosto, Emilio; Tuosto, E.
External Links: ORCID

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 214 times in 134 Documents Cited by Year
From communicating machines to graphical choreographies. Zbl 1346.68136
Lange, Julien; Tuosto, Emilio; Yoshida, Nobuko
28
2015
A theory of design-by-contract for distributed multiparty interactions. Zbl 1287.68121
Bocchi, Laura; Honda, Kohei; Tuosto, Emilio; Yoshida, Nobuko
25
2010
Synthesising choreographies from local session types. Zbl 1364.68291
Lange, Julien; Tuosto, Emilio
17
2012
Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types. Zbl 1070.68102
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio
14
2005
Synchronised hyperedge replacement as a model for service oriented computing. Zbl 1196.68025
Ferrari, Gian Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, Emilio
13
2006
The Klaim project: Theory and practice. Zbl 1179.68027
Bettini, Lorenzo; Bono, Viviana; De Nicola, Rocco; Ferrari, Gianluigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, Emilio; Venneri, Betti
13
2003
An abstract semantics of the global view of choreographies. Zbl 1433.68203
Guanciale, Roberto; Tuosto, Emilio
13
2016
A LTS semantics of ambients via graph synchronization with mobility. Zbl 1042.68615
Ferrari, GianLuigi; Montanari, Ugo; Tuosto, Emilio
8
2001
On nominal regular languages with binders. Zbl 1352.68133
Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, Emilio
8
2012
Realisability of pomsets. Zbl 1435.68213
Guanciale, Roberto; Tuosto, Emilio
7
2019
On the realizability of contracts in dishonest systems. Zbl 1366.68198
Bartoletti, Massimo; Tuosto, Emilio; Zunino, Roberto
6
2012
Style-based architectural reconfigurations. Zbl 1169.68306
Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio
6
2008
Coordination via types in an event-based framework. Zbl 1215.68148
Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, Emilio
6
2007
Resolving non-determinism in choreographies. Zbl 1405.68071
Bocchi, Laura; Melgratti, Hernán; Tuosto, Emilio
6
2014
Modelling fusion calculus using HD-automata. Zbl 1151.68527
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio; Victor, Björn; Yemane, Kidane
5
2005
Contract-oriented computing in CO\(_2\). Zbl 1424.68097
Bartoletti, Massimo; Tuosto, Emilio; Zunino, Roberto
5
2012
Composition and decomposition of multiparty sessions. Zbl 1462.68120
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Lanese, Ivan; Tuosto, Emilio
5
2021
Model checking for nominal calculi. Zbl 1119.68115
Ferrari, Gian Luigi; Montanari, Ugo; Tuosto, Emilio
4
2005
A characterisation of languages on infinite alphabets with nominal regular expressions. Zbl 1362.68148
Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, Emilio
3
2012
Relating two automata-based models of orchestration and choreography. Zbl 1352.68125
Basile, D.; Degano, P.; Ferrari, G. L.; Tuosto, E.
3
2016
Honesty by typing. Zbl 1448.68327
Bartoletti, Massimo; Scalas, Alceste; Tuosto, Emilio; Zunino, Roberto
3
2016
From orchestration to choreography through contract automata. Zbl 1433.68236
Basile, Davide; Degano, Pierpaolo; Ferrari, Gian-Luigi; Tuosto, Emilio
3
2014
A formal basis for reasoning on programmable QoS. Zbl 1274.68022
De Nicola, Rocco; Ferrari, Gianluigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, Emilio
2
2003
On sessions and infinite data. Zbl 1448.68211
Severi, Paula; Padovani, Luca; Tuosto, Emilio; Dezani-Ciancaglini, Mariangiola
2
2017
On resolving non-determinism in choreographies. Zbl 07269246
Bocchi, Laura; Melgratti, Hernan; Tuosto, Emilio
2
2020
Event-based service coordination. Zbl 1143.68375
Ferrari, Gian-Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, Emilio
1
2008
Graph-based models of internetworking systems. Zbl 1274.68011
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio
1
2003
Network applications of graph bisimulation. Zbl 1175.68272
Cenciarelli, Pietro; Gorla, Daniele; Tuosto, Emilio
1
2008
Towards refinable choreographies. Zbl 1477.68178
de’Liguoro, Ugo; Melgratti, Hernán; Tuosto, Emilio
1
2020
A theory of formal choreographic languages. Zbl 07731937
Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio
1
2023
A coordination-based methodology for security protocol verification. Zbl 1272.68048
Baldi, Giacomo; Bracciali, Andrea; Ferrari, Gianluigi; Tuosto, Emilio
1
2005
Probabilistic analysis of binary sessions. Zbl 07559470
Inverso, Omar; Melgratti, Hernán; Padovani, Luca; Trubiani, Catia; Tuosto, Emilio
1
2020
A theory of formal choreographic languages. Zbl 07731937
Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio
1
2023
Composition and decomposition of multiparty sessions. Zbl 1462.68120
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Lanese, Ivan; Tuosto, Emilio
5
2021
On resolving non-determinism in choreographies. Zbl 07269246
Bocchi, Laura; Melgratti, Hernan; Tuosto, Emilio
2
2020
Towards refinable choreographies. Zbl 1477.68178
de’Liguoro, Ugo; Melgratti, Hernán; Tuosto, Emilio
1
2020
Probabilistic analysis of binary sessions. Zbl 07559470
Inverso, Omar; Melgratti, Hernán; Padovani, Luca; Trubiani, Catia; Tuosto, Emilio
1
2020
Realisability of pomsets. Zbl 1435.68213
Guanciale, Roberto; Tuosto, Emilio
7
2019
On sessions and infinite data. Zbl 1448.68211
Severi, Paula; Padovani, Luca; Tuosto, Emilio; Dezani-Ciancaglini, Mariangiola
2
2017
An abstract semantics of the global view of choreographies. Zbl 1433.68203
Guanciale, Roberto; Tuosto, Emilio
13
2016
Relating two automata-based models of orchestration and choreography. Zbl 1352.68125
Basile, D.; Degano, P.; Ferrari, G. L.; Tuosto, E.
3
2016
Honesty by typing. Zbl 1448.68327
Bartoletti, Massimo; Scalas, Alceste; Tuosto, Emilio; Zunino, Roberto
3
2016
From communicating machines to graphical choreographies. Zbl 1346.68136
Lange, Julien; Tuosto, Emilio; Yoshida, Nobuko
28
2015
Resolving non-determinism in choreographies. Zbl 1405.68071
Bocchi, Laura; Melgratti, Hernán; Tuosto, Emilio
6
2014
From orchestration to choreography through contract automata. Zbl 1433.68236
Basile, Davide; Degano, Pierpaolo; Ferrari, Gian-Luigi; Tuosto, Emilio
3
2014
Synthesising choreographies from local session types. Zbl 1364.68291
Lange, Julien; Tuosto, Emilio
17
2012
On nominal regular languages with binders. Zbl 1352.68133
Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, Emilio
8
2012
On the realizability of contracts in dishonest systems. Zbl 1366.68198
Bartoletti, Massimo; Tuosto, Emilio; Zunino, Roberto
6
2012
Contract-oriented computing in CO\(_2\). Zbl 1424.68097
Bartoletti, Massimo; Tuosto, Emilio; Zunino, Roberto
5
2012
A characterisation of languages on infinite alphabets with nominal regular expressions. Zbl 1362.68148
Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, Emilio
3
2012
A theory of design-by-contract for distributed multiparty interactions. Zbl 1287.68121
Bocchi, Laura; Honda, Kohei; Tuosto, Emilio; Yoshida, Nobuko
25
2010
Style-based architectural reconfigurations. Zbl 1169.68306
Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio
6
2008
Event-based service coordination. Zbl 1143.68375
Ferrari, Gian-Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, Emilio
1
2008
Network applications of graph bisimulation. Zbl 1175.68272
Cenciarelli, Pietro; Gorla, Daniele; Tuosto, Emilio
1
2008
Coordination via types in an event-based framework. Zbl 1215.68148
Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, Emilio
6
2007
Synchronised hyperedge replacement as a model for service oriented computing. Zbl 1196.68025
Ferrari, Gian Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, Emilio
13
2006
Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types. Zbl 1070.68102
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio
14
2005
Modelling fusion calculus using HD-automata. Zbl 1151.68527
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio; Victor, Björn; Yemane, Kidane
5
2005
Model checking for nominal calculi. Zbl 1119.68115
Ferrari, Gian Luigi; Montanari, Ugo; Tuosto, Emilio
4
2005
A coordination-based methodology for security protocol verification. Zbl 1272.68048
Baldi, Giacomo; Bracciali, Andrea; Ferrari, Gianluigi; Tuosto, Emilio
1
2005
The Klaim project: Theory and practice. Zbl 1179.68027
Bettini, Lorenzo; Bono, Viviana; De Nicola, Rocco; Ferrari, Gianluigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, Emilio; Venneri, Betti
13
2003
A formal basis for reasoning on programmable QoS. Zbl 1274.68022
De Nicola, Rocco; Ferrari, Gianluigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, Emilio
2
2003
Graph-based models of internetworking systems. Zbl 1274.68011
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio
1
2003
A LTS semantics of ambients via graph synchronization with mobility. Zbl 1042.68615
Ferrari, GianLuigi; Montanari, Ugo; Tuosto, Emilio
8
2001
all top 5

Cited by 198 Authors

15 Tuosto, Emilio
12 Montanari, Ugo G.
12 Yoshida, Nobuko
10 Bruni, Roberto
8 Lanese, Ivan
7 Dezani-Ciancaglini, Mariangiola
7 Ferrari, Gian Luigi
7 Sammartino, Matteo
6 Barbanera, Franco
6 Ciancia, Vincenzo
6 Gadducci, Fabio
6 Lluch Lafuente, Alberto
6 Nielson, Flemming
5 Bartoletti, Massimo
5 Guanciale, Roberto
5 Riis Nielson, Hanne
4 Castellani, Ilaria
4 Corradini, Andrea
4 de’Liguoro, Ugo
4 Jongmans, Sung-Shik T. Q.
4 Montesi, Fabrizio
4 Pérez, Jorge A.
4 Zunino, Roberto
3 Basile, Davide
3 Bocchi, Laura
3 Carbone, Marco
3 Cruz-Filipe, Luís
3 De Nicola, Rocco
3 Degano, Pierpaolo
3 Melgratti, Hernán
3 Mezzina, Claudio Antares
3 Moerman, Joshua
3 Monreale, Giacoma Valentina
3 Murgia, Maurizio
3 Proença, José
3 Scalas, Alceste
3 Toninho, Bernardo
3 Vieira, Hugo Torres
2 Arbab, Farhad
2 Bettini, Lorenzo
2 Bonchi, Filippo
2 Bracciali, Andrea Clark
2 Cenciarelli, Pietro
2 Cho, Kenta
2 Cimoli, Tiziana
2 Ciobanu, Gabriel
2 Coppo, Mario
2 Coto, Alex
2 Edixhoven, Luc
2 Galletta, Letterio
2 Giachino, Elena
2 Giannini, Paola
2 Gorla, Daniele
2 Hasuo, Ichiro
2 Horne, Ross
2 Kataoka, Toshiki
2 Kozen, Dexter C.
2 Kurz, Alexander
2 Lange, Julien
2 Lazovik, Alexander
2 López, Hugo A.
2 Loreti, Michele
2 Nanz, Sebastian
2 Nestmann, Uwe
2 Padovani, Luca
2 Peters, Kirstin
2 Pfenning, Frank
2 Savanović, Zorica
2 Schürmann, Carsten
2 Silva, Alexandra
2 Strollo, Daniele
2 Venneri, Betti
2 Wagner, Christoph K. J.
1 Abeti, Luca
1 Aceto, Luca
1 Achilleos, Antonis
1 Aman, Bogdan
1 Anastasiadi, Elli
1 Andersen, Kristoffer Just Arndal
1 Arrighi, Pablo
1 Attie, Paul C.
1 Audrito, Giorgio
1 Bacci, Giorgio
1 Balco, Samuel
1 Baldan, Paolo
1 Baranov, Eduard
1 Barbosa, Luís Soares
1 Beal, Jacob
1 Bengtson, Jesper
1 Bistarelli, Stefano
1 Bliudze, Simon
1 Bono, Viviana
1 Boreale, Michele
1 Bravetti, Mario
1 Brunet, Paul
1 Bucchiarone, Antonio
1 Buscemi, Maria Grazia
1 Caires, Luís
1 Cano, Mauricio
1 Capecchi, Sara
...and 98 more Authors

Citations by Year