Edit Profile (opens in new tab) Tuosto, Emilio Co-Author Distance Author ID: tuosto.emilio Published as: Tuosto, Emilio; Tuosto, E. External Links: ORCID Documents Indexed: 44 Publications since 2001 4 Contributions as Editor Co-Authors: 51 Co-Authors with 46 Joint Publications 698 Co-Co-Authors all top 5 Co-Authors 1 single-authored 14 Ferrari, Gian Luigi 8 Montanari, Ugo G. 6 Guanciale, Roberto 6 Melgratti, Hernán 5 Lanese, Ivan 4 Barbanera, Franco 4 Bocchi, Laura 3 Bartoletti, Massimo 3 de’Liguoro, Ugo 3 Zunino, Roberto 2 Basile, Davide 2 Bonchi, Filippo 2 Bracciali, Andrea Clark 2 Coto, Alex 2 De Nicola, Rocco 2 Degano, Pierpaolo 2 Dezani-Ciancaglini, Mariangiola 2 Gorla, Daniele 2 Grohmann, Davide 2 Kurz, Alexander 2 Lange, Julien 2 Padovani, Luca 2 Poyias, Kyriakos 2 Pugliese, Rosario 2 Spoletini, Paola 2 Strollo, Daniele 2 Suzuki, Tomoyuki 2 Yoshida, Nobuko 1 Baldi, Giacomo 1 Bettini, Lorenzo 1 Bigi, Giancarlo 1 Bono, Viviana 1 Bruni, Roberto 1 Cenciarelli, Pietro 1 Ciancia, Vincenzo 1 Hirsch, Dan 1 Honda, Kohei 1 Inverso, Omar 1 Lluch Lafuente, Alberto 1 Loreti, Michele 1 Meacci, Giovanni 1 Moggi, Eugenio 1 Ouyang, Chun 1 Pistore, Marco 1 Scalas, Alceste 1 Severi, Paula Gabriela 1 Troina, Angelo 1 Trubiani, Catia 1 Venneri, Betti 1 Victor, Björn 1 Yemane, Kidane all top 5 Serials 6 Journal of Logical and Algebraic Methods in Programming 4 Logical Methods in Computer Science 2 Lecture Notes in Computer Science 1 Theoretical Computer Science 1 MSCS. Mathematical Structures in Computer Science 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Electronic Notes in Theoretical Computer Science 1 Scientific Annals of Computer Science 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) Fields 48 Computer science (68-XX) 4 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 15 Serials 26 Journal of Logical and Algebraic Methods in Programming 11 Logical Methods in Computer Science 10 Theoretical Computer Science 6 Acta Informatica 4 Information and Computation 4 MSCS. Mathematical Structures in Computer Science 3 Science of Computer Programming 3 Formal Aspects of Computing 2 Computer Languages, Systems & Structures 1 Distributed Computing 1 Journal of Functional Programming 1 Soft Computing 1 The Journal of Logic and Algebraic Programming 1 ACM Transactions on Computational Logic 1 Asian-European Journal of Mathematics all top 5 Cited in 12 Fields 132 Computer science (68-XX) 20 Mathematical logic and foundations (03-XX) 7 Category theory; homological algebra (18-XX) 3 History and biography (01-XX) 3 Combinatorics (05-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Associative rings and algebras (16-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year