Edit Profile (opens in new tab) Bruni, Roberto Co-Author Distance Author ID: bruni.roberto Published as: Bruni, Roberto; Bruni, R. Documents Indexed: 91 Publications since 1997, including 1 Book 7 Contributions as Editor Co-Authors: 59 Co-Authors with 96 Joint Publications 1,248 Co-Co-Authors all top 5 Co-Authors 1 single-authored 53 Montanari, Ugo G. 20 Melgratti, Hernán 10 Sassone, Vladimiro 9 Brodo, Linda 9 Meseguer Guaita, José 8 Gadducci, Fabio 8 Lluch Lafuente, Alberto 7 Lanese, Ivan 6 Baldan, Paolo 5 Bodei, Chiara 5 Bracciali, Andrea Clark 5 Gori, Roberta 4 Corradini, Andrea 4 Sammartino, Matteo 3 Bliudze, Simon 3 Falaschi, Moreno 2 Bucchiarone, Antonio 2 Giacobazzi, Roberto 2 Gnesi, Stefania 2 Honsell, Furio 2 Lenisa, Marina 2 Miculan, Marino 2 Silva, Alexandra 2 Sobociński, Paweł 2 Vandin, Andrea 1 Arbab, Farhad 1 Ascari, Flavio 1 Ben Mokhtar, Sonia 1 Boreale, Michele 1 Bruni, Carlo 1 Carbone, Marco 1 Chiarugi, Davide 1 Clarke, Dave 1 de Frutos-Escrig, David 1 De Nicola, Rocco 1 De Santis, Alberto 1 Dingel, Juergen 1 Ferreira, Carla 1 Fiadeiro, José Luiz 1 Grohmann, Davide 1 Hirsch, Dan 1 Hoare, C. A. R. Tony 1 Iacoviello, Daniela 1 Kersten, Anne 1 Koch, Giorgio 1 Laneve, Cosimo 1 Levi, Francesca 1 Lopes, Antónia 1 Loreti, Michele 1 Manini, Nicolas 1 Martí-Oliet, Narciso 1 Mezzina, Leonardo Gaetano 1 Milazzo, Paolo 1 Plotkin, Gordon D. 1 Rossi, Francesca 1 Sannella, Donald T. 1 Silva, Alexandru 1 Spagnolo, Giorgio 1 Terreni, Daniele 1 Troina, Angelo 1 Tuosto, Emilio 1 Varró, Dániel 1 Wolf, Karsten all top 5 Serials 11 Theoretical Computer Science 4 MSCS. Mathematical Structures in Computer Science 4 Lecture Notes in Computer Science 4 Scientific Annals of Computer Science 3 Information and Computation 3 Logical Methods in Computer Science 1 Acta Informatica 1 Journal of Optimization Theory and Applications 1 Formal Aspects of Computing 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Fundamenta Informaticae 1 Theory and Practice of Logic Programming 1 Electronic Notes in Theoretical Computer Science 1 Journal of Logical and Algebraic Methods in Programming 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) 1 Texts in Theoretical Computer Science. An EATCS Series all top 5 Fields 98 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 8 Category theory; homological algebra (18-XX) 7 General and overarching topics; collections (00-XX) 3 Combinatorics (05-XX) 1 History and biography (01-XX) 1 Statistics (62-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 70 Publications have been cited 437 times in 244 Documents Cited by ▼ Year ▼ Semantic foundations for generalized rewrite theories. Zbl 1097.68051 Bruni, Roberto; Meseguer, José 45 2006 Normal forms for algebras of connections. Zbl 1061.68110 Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo 22 2002 A basic algebra of stateless connectors. Zbl 1153.68331 Bruni, Roberto; Lanese, Ivan; Montanari, Ugo 21 2006 Connector algebras for C/E and P/T nets’ interactions. Zbl 1274.68224 Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel 18 2013 Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Zbl 0993.68058 Bruni, Roberto; Meseguer, José; Montanari, Ugo 17 2002 Theoretical foundations for compensations in flow composition languages. Zbl 1369.68070 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 16 2005 Generalized rewrite theories. Zbl 1039.03020 Bruni, Roberto; Meseguer, José 15 2003 Zero-safe nets: Comparing the collective and individual token approaches. Zbl 1046.68615 Bruni, Roberto; Montanari, Ugo 15 2000 An interactive semantics of logic programming. Zbl 1066.68512 Bruni, Roberto; Montanari, Ugo; Rossi, Francesca 14 2001 Event structure semantics for nominal calculi. Zbl 1151.68512 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 13 2006 A connector algebra for P/T nets interactions. Zbl 1344.68161 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 12 2011 Functorial models for Petri nets. Zbl 1005.68102 Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 12 2001 Internal strategies in a rewriting implementation of tile systems. Zbl 0917.68104 Bruni, R.; Meseguer, J.; Montanari, U. 11 1998 Bisimulation by unification. Zbl 1275.68100 Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto 10 2002 Bisimilarity congruences for open terms and term graphs via tile logic. Zbl 0999.68142 Bruni, Roberto; de Frutos-Escrig, David; Martí-Oliet, Narciso; Montanari, Ugo 10 2000 Comparing two approaches to compensable flow composition. Zbl 1134.68316 Bruni, Roberto; Butler, Michael; Ferreira, Carla; Hoare, Tony; Melgratti, Hernán; Montanari, Ugo 8 2005 On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. Zbl 1320.68125 Bruni, Roberto; Montanari, Ugo; Plotkin, Gordon; Terreni, Daniele 8 2014 Tiles for Reo. Zbl 1253.68090 Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; Montanari, Ugo 7 2009 Types and deadlock freedom in a calculus of services, sessions and pipelines. Zbl 1170.68428 Bruni, Roberto; Mezzina, Leonardo Gaetano 7 2008 Connector algebras, Petri nets, and BIP. Zbl 1336.68006 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 7 2012 A flat process calculus for nested membrane interactions. Zbl 1424.68101 Bodei, Chiara; Brodo, Linda; Bruni, Roberto; Chiarugi, Davide 7 2014 Open multiparty interaction. Zbl 1394.68244 Bodei, Chiara; Brodo, Linda; Bruni, Roberto 7 2013 Dynamic connectors for concurrency. Zbl 0996.68073 Bruni, Roberto; Montanari, Ugo 6 2002 Zero-safe nets, or transition synchronization made simple. Zbl 0911.68149 Bruni, Roberto; Montanari, Ugo 6 1997 Style-based architectural reconfigurations. Zbl 1169.68306 Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio 6 2008 Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428 Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł 6 2005 Normal forms for partitions and relations. Zbl 0955.68081 Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo 5 1999 Functorial semantics for Petri nets under the individual token philosophy. Zbl 0966.68108 Bruni, R.; Meseguer, J.; Montanari, U.; Sassone, V. 5 1999 Open ended systems, dynamic bisimulation and tile logic. Zbl 0998.68087 Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro 5 2000 A comparison of Petri net semantics under the collective token philosophy. Zbl 0932.68062 Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 5 1998 Nested commits for mobile calculi: extending join. Zbl 1088.68507 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 5 2004 A semantic framework for open processes. Zbl 1132.68042 Baldan, P.; Bracciali, A.; Bruni, R. 5 2007 Transactions and zero-safe nets. Zbl 1017.68074 Bruni, Roberto; Montanari, Ugo 5 2001 Algebraic models for contextual nets. Zbl 0973.68161 Bruni, Roberto; Sassone, Vladimiro 4 2000 Orchestrating transactions in join calculus. Zbl 1012.68524 Bruni, Roberto; Laneve, Cosimo; Montanari, Ugo 4 2002 A formal approach to open multiparty interactions. Zbl 1411.68074 Bodei, Chiara; Brodo, Linda; Bruni, Roberto 4 2019 Behaviour, interaction and dynamics. Zbl 1407.68098 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 4 2014 A logic modular descriptions of asynchronous and synchronized concurrent systems. Zbl 0917.68099 Bruni, Roberto 3 1998 Pre-nets, read ARCS and unfolding: A functorial presentation. Zbl 1278.68210 Baldan, Paolo; Bruni, Roberto; Montanari, Ugo 3 2003 Concurrent models for Linda with transactions. Zbl 1085.68027 Bruni, Roberto; Montanari, Ugo 3 2004 A coalgebraic semantics for causality in Petri nets. Zbl 1330.68196 Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo 3 2015 Revisiting causality, coalgebraically. Zbl 1307.68053 Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo 3 2015 Hierarchical design rewriting with Maude. Zbl 1347.68072 Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo 3 2009 Global optimal image reconstruction from blurred noisy data by a Bayesian approach. Zbl 1053.68112 Bruni, C.; Bruni, R.; De Santis, A.; Iacoviello, D.; Koch, G. 3 2002 Parametric synchronizations in mobile nominal calculi. Zbl 1146.68051 Bruni, Roberto; Lanese, Ivan 3 2008 Tiling transactions in rewriting logic. Zbl 1272.68291 Bruni, Roberto; Meseguer, José; Montanari, Ugo 3 2004 Executing transactions in zero-safe nets. Zbl 0986.68081 Bruni, Roberto; Montanari, Ugo 2 2000 Static detection of logic flaws in service-oriented applications. Zbl 1252.68106 Bodei, Chiara; Brodo, Linda; Bruni, Roberto 2 2009 Extending the zero-safe approach to coloured, reconfigurable and dynamic nets. Zbl 1088.68120 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 2 2004 Non-sequential behaviour of dynamic nets. Zbl 1234.68289 Bruni, Roberto; Melgratti, Hernán 2 2006 Observational congruences for dynamically reconfigurable tile systems. Zbl 1080.68075 Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro 2 2005 Symbolic equivalences for open systems. Zbl 1111.68530 Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto 2 2005 CaSPiS: a calculus of sessions, pipelines and services. Zbl 1361.68161 Boreale, Michele; Bruni, Roberto; De Nicola, Rocco; Loreti, Michele 2 2015 Concurrency and probability: removing confusion, compositionally. Zbl 1427.68186 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 2 2019 The link-calculus for open multiparty interactions. Zbl 1496.68218 Bodei, Chiara; Brodo, Linda; Bruni, Roberto 2 2020 Concurrency and probability: removing confusion, compositionally. Zbl 1497.68329 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 2 2018 Flat committed join in join. Zbl 1271.68170 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 2 2004 Event structures for Petri nets with persistence. Zbl 1417.68113 Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo 2 2018 Algebraic theories for contextual pre-nets. Zbl 1257.68107 Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 1 2003 Complete axioms for stateless connectors. Zbl 1151.68511 Bruni, Roberto; Lanese, Ivan; Montanari, Ugo 1 2005 PRISMA: a mobile calculus with parametric synchronization. Zbl 1211.68025 Bruni, Roberto; Lanese, Ivan 1 2007 New insights of architectural connectors. Zbl 1094.68009 Bruni, Roberto; Fiadeiro, José Luiz; Lanese, Ivan; Lopes, Antónia; Montanari, Ugo 1 2004 A new strategy for distributed compensations with interruption in long-running transactions. Zbl 1312.68126 Bruni, Roberto; Kersten, Anne; Lanese, Ivan; Spagnolo, Giorgio 1 2012 Trustworthy global computing. 6th international symposium, TGC 2011, Aachen, Germany, June 9–10, 2011. Revised selected papers. Zbl 1245.68002 1 2012 cJoin: Join with communicating transactions. Zbl 1361.68060 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 1 2015 Two algebraic process semantics for contextual nets. Zbl 1017.68075 Bruni, Roberto; Sassone, Vladimiro 1 2001 Bayesian network semantics for Petri nets. Zbl 1436.68207 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 1 2020 Adaptable transition systems. Zbl 1394.68206 Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea 1 2013 A logical and graphical framework for reaction systems. Zbl 1504.68065 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno 1 2021 Models of computation. Zbl 1480.68001 Bruni, Roberto; Montanari, Ugo 1 2017 A logical and graphical framework for reaction systems. Zbl 1504.68065 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno 1 2021 The link-calculus for open multiparty interactions. Zbl 1496.68218 Bodei, Chiara; Brodo, Linda; Bruni, Roberto 2 2020 Bayesian network semantics for Petri nets. Zbl 1436.68207 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 1 2020 A formal approach to open multiparty interactions. Zbl 1411.68074 Bodei, Chiara; Brodo, Linda; Bruni, Roberto 4 2019 Concurrency and probability: removing confusion, compositionally. Zbl 1427.68186 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 2 2019 Concurrency and probability: removing confusion, compositionally. Zbl 1497.68329 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 2 2018 Event structures for Petri nets with persistence. Zbl 1417.68113 Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo 2 2018 Models of computation. Zbl 1480.68001 Bruni, Roberto; Montanari, Ugo 1 2017 A coalgebraic semantics for causality in Petri nets. Zbl 1330.68196 Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo 3 2015 Revisiting causality, coalgebraically. Zbl 1307.68053 Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo 3 2015 CaSPiS: a calculus of sessions, pipelines and services. Zbl 1361.68161 Boreale, Michele; Bruni, Roberto; De Nicola, Rocco; Loreti, Michele 2 2015 cJoin: Join with communicating transactions. Zbl 1361.68060 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 1 2015 On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. Zbl 1320.68125 Bruni, Roberto; Montanari, Ugo; Plotkin, Gordon; Terreni, Daniele 8 2014 A flat process calculus for nested membrane interactions. Zbl 1424.68101 Bodei, Chiara; Brodo, Linda; Bruni, Roberto; Chiarugi, Davide 7 2014 Behaviour, interaction and dynamics. Zbl 1407.68098 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 4 2014 Connector algebras for C/E and P/T nets’ interactions. Zbl 1274.68224 Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel 18 2013 Open multiparty interaction. Zbl 1394.68244 Bodei, Chiara; Brodo, Linda; Bruni, Roberto 7 2013 Adaptable transition systems. Zbl 1394.68206 Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea 1 2013 Connector algebras, Petri nets, and BIP. Zbl 1336.68006 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 7 2012 A new strategy for distributed compensations with interruption in long-running transactions. Zbl 1312.68126 Bruni, Roberto; Kersten, Anne; Lanese, Ivan; Spagnolo, Giorgio 1 2012 Trustworthy global computing. 6th international symposium, TGC 2011, Aachen, Germany, June 9–10, 2011. Revised selected papers. Zbl 1245.68002 1 2012 A connector algebra for P/T nets interactions. Zbl 1344.68161 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 12 2011 Tiles for Reo. Zbl 1253.68090 Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; Montanari, Ugo 7 2009 Hierarchical design rewriting with Maude. Zbl 1347.68072 Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo 3 2009 Static detection of logic flaws in service-oriented applications. Zbl 1252.68106 Bodei, Chiara; Brodo, Linda; Bruni, Roberto 2 2009 Types and deadlock freedom in a calculus of services, sessions and pipelines. Zbl 1170.68428 Bruni, Roberto; Mezzina, Leonardo Gaetano 7 2008 Style-based architectural reconfigurations. Zbl 1169.68306 Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio 6 2008 Parametric synchronizations in mobile nominal calculi. Zbl 1146.68051 Bruni, Roberto; Lanese, Ivan 3 2008 A semantic framework for open processes. Zbl 1132.68042 Baldan, P.; Bracciali, A.; Bruni, R. 5 2007 PRISMA: a mobile calculus with parametric synchronization. Zbl 1211.68025 Bruni, Roberto; Lanese, Ivan 1 2007 Semantic foundations for generalized rewrite theories. Zbl 1097.68051 Bruni, Roberto; Meseguer, José 45 2006 A basic algebra of stateless connectors. Zbl 1153.68331 Bruni, Roberto; Lanese, Ivan; Montanari, Ugo 21 2006 Event structure semantics for nominal calculi. Zbl 1151.68512 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 13 2006 Non-sequential behaviour of dynamic nets. Zbl 1234.68289 Bruni, Roberto; Melgratti, Hernán 2 2006 Theoretical foundations for compensations in flow composition languages. Zbl 1369.68070 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 16 2005 Comparing two approaches to compensable flow composition. Zbl 1134.68316 Bruni, Roberto; Butler, Michael; Ferreira, Carla; Hoare, Tony; Melgratti, Hernán; Montanari, Ugo 8 2005 Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428 Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł 6 2005 Observational congruences for dynamically reconfigurable tile systems. Zbl 1080.68075 Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro 2 2005 Symbolic equivalences for open systems. Zbl 1111.68530 Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto 2 2005 Complete axioms for stateless connectors. Zbl 1151.68511 Bruni, Roberto; Lanese, Ivan; Montanari, Ugo 1 2005 Nested commits for mobile calculi: extending join. Zbl 1088.68507 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 5 2004 Concurrent models for Linda with transactions. Zbl 1085.68027 Bruni, Roberto; Montanari, Ugo 3 2004 Tiling transactions in rewriting logic. Zbl 1272.68291 Bruni, Roberto; Meseguer, José; Montanari, Ugo 3 2004 Extending the zero-safe approach to coloured, reconfigurable and dynamic nets. Zbl 1088.68120 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 2 2004 Flat committed join in join. Zbl 1271.68170 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 2 2004 New insights of architectural connectors. Zbl 1094.68009 Bruni, Roberto; Fiadeiro, José Luiz; Lanese, Ivan; Lopes, Antónia; Montanari, Ugo 1 2004 Generalized rewrite theories. Zbl 1039.03020 Bruni, Roberto; Meseguer, José 15 2003 Pre-nets, read ARCS and unfolding: A functorial presentation. Zbl 1278.68210 Baldan, Paolo; Bruni, Roberto; Montanari, Ugo 3 2003 Algebraic theories for contextual pre-nets. Zbl 1257.68107 Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 1 2003 Normal forms for algebras of connections. Zbl 1061.68110 Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo 22 2002 Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Zbl 0993.68058 Bruni, Roberto; Meseguer, José; Montanari, Ugo 17 2002 Bisimulation by unification. Zbl 1275.68100 Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto 10 2002 Dynamic connectors for concurrency. Zbl 0996.68073 Bruni, Roberto; Montanari, Ugo 6 2002 Orchestrating transactions in join calculus. Zbl 1012.68524 Bruni, Roberto; Laneve, Cosimo; Montanari, Ugo 4 2002 Global optimal image reconstruction from blurred noisy data by a Bayesian approach. Zbl 1053.68112 Bruni, C.; Bruni, R.; De Santis, A.; Iacoviello, D.; Koch, G. 3 2002 An interactive semantics of logic programming. Zbl 1066.68512 Bruni, Roberto; Montanari, Ugo; Rossi, Francesca 14 2001 Functorial models for Petri nets. Zbl 1005.68102 Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 12 2001 Transactions and zero-safe nets. Zbl 1017.68074 Bruni, Roberto; Montanari, Ugo 5 2001 Two algebraic process semantics for contextual nets. Zbl 1017.68075 Bruni, Roberto; Sassone, Vladimiro 1 2001 Zero-safe nets: Comparing the collective and individual token approaches. Zbl 1046.68615 Bruni, Roberto; Montanari, Ugo 15 2000 Bisimilarity congruences for open terms and term graphs via tile logic. Zbl 0999.68142 Bruni, Roberto; de Frutos-Escrig, David; Martí-Oliet, Narciso; Montanari, Ugo 10 2000 Open ended systems, dynamic bisimulation and tile logic. Zbl 0998.68087 Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro 5 2000 Algebraic models for contextual nets. Zbl 0973.68161 Bruni, Roberto; Sassone, Vladimiro 4 2000 Executing transactions in zero-safe nets. Zbl 0986.68081 Bruni, Roberto; Montanari, Ugo 2 2000 Normal forms for partitions and relations. Zbl 0955.68081 Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo 5 1999 Functorial semantics for Petri nets under the individual token philosophy. Zbl 0966.68108 Bruni, R.; Meseguer, J.; Montanari, U.; Sassone, V. 5 1999 Internal strategies in a rewriting implementation of tile systems. Zbl 0917.68104 Bruni, R.; Meseguer, J.; Montanari, U. 11 1998 A comparison of Petri net semantics under the collective token philosophy. Zbl 0932.68062 Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 5 1998 A logic modular descriptions of asynchronous and synchronized concurrent systems. Zbl 0917.68099 Bruni, Roberto 3 1998 Zero-safe nets, or transition synchronization made simple. Zbl 0911.68149 Bruni, Roberto; Montanari, Ugo 6 1997 all cited Publications top 5 cited Publications all top 5 Cited by 303 Authors 35 Bruni, Roberto 33 Meseguer Guaita, José 29 Montanari, Ugo G. 19 Gadducci, Fabio 14 Bonchi, Filippo 14 Martí-Oliet, Narciso 12 Baldan, Paolo 12 Sobociński, Paweł 10 Bliudze, Simon 10 Corradini, Andrea 10 Lucas, Salvador 10 Zanasi, Fabio 9 Brodo, Linda 8 Melgratti, Hernán 8 Olveczky, Peter Csaba 7 Durán, Francisco 6 König, Barbara 6 Lanese, Ivan 6 Lluch Lafuente, Alberto 6 Palomino, Miguel 6 Rocha, Camilo 6 Sifakis, Joseph 6 Verdejo, Alberto 4 Alpuente, María 4 Arbab, Farhad 4 Ballis, Demis 4 Baranov, Eduard 4 Clarke, Dave 4 Falaschi, Moreno 4 Frechina, Francisco 4 Komendantskaya, Ekaterina 4 Monreale, Giacoma Valentina 4 Piedeleu, Robin 4 Roşu, Grigore 4 Sapiña, Julia 4 Sassone, Vladimiro 3 Aguirre, Luis Antonio 3 Bracciali, Andrea Clark 3 Dezani-Ciancaglini, Mariangiola 3 Kleijn, Jetty 3 Koutny, Maciej 3 Lucanu, Dorel 3 Olarte, Carlos 3 Pietkiewicz-Koutny, Marta 3 Pinna, G. Michele 3 Pita, Isabel 3 Power, John 3 Ribeiro, Leila 3 Sabadini, Nicoletta 3 Sammartino, Matteo 3 Walters, Robert F. C. 3 Yoshida, Nobuko 2 Autili, Marco 2 Bae, Kyungmin 2 Baez, John C. 2 Bodei, Chiara 2 Böhm, Gabriella 2 Caballero, Rafael E. 2 Capra, Lorenzo 2 Castellani, Ilaria 2 Chatain, Thomas 2 Clavel, Manuel 2 Danos, Vincent 2 De Nicola, Rocco 2 Dotti, Fernando Luís 2 Eker, Steven 2 Ferrari, Gian Luigi 2 Foss, Luciana 2 Gorrieri, Roberto 2 Haar, Stefan 2 Heckel, Reiko 2 Inverardi, Paola 2 Kissinger, Aleks 2 Köhler-Bußmeier, Michael 2 Lazovik, Alexander 2 Loreti, Michele 2 Madelaine, Eric 2 Marché, Claude 2 Martín, Óscar 2 Master, Jade 2 Mignosi, Filippo 2 Muñoz, César A. 2 Pace, Gordon J. 2 Padovani, Luca 2 Pavlović, Duško 2 Riesco, Adrián 2 Rozenberg, Grzegorz 2 Spalazzese, Romina 2 Stehr, Mark-Oliver 2 Talcott, Carolyn L. 2 Tivoli, Massimo 2 Tuosto, Emilio 2 van Glabbeek, Robert Jan 2 Varacca, Daniele 2 Vieira, Hugo Torres 1 Abela, Patrick 1 Abeti, Luca 1 Abreu Júnior, João Carlos 1 Adriansyah, Arya 1 Alarcón, Beatriz ...and 203 more Authors all top 5 Cited in 29 Serials 35 Theoretical Computer Science 20 Journal of Logical and Algebraic Methods in Programming 15 Information and Computation 11 The Journal of Logic and Algebraic Programming 7 Acta Informatica 7 MSCS. Mathematical Structures in Computer Science 6 Science of Computer Programming 5 Logical Methods in Computer Science 4 Formal Aspects of Computing 4 Formal Methods in System Design 2 Journal of Computer and System Sciences 2 Applied Categorical Structures 2 Theory and Applications of Categories 1 Artificial Intelligence 1 Discrete Applied Mathematics 1 Information Processing Letters 1 Reviews in Mathematical Physics 1 Journal of Geometry and Physics 1 Journal of Pure and Applied Algebra 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Discrete Event Dynamic Systems 1 Distributed Computing 1 Higher-Order and Symbolic Computation 1 Theory and Practice of Logic Programming 1 Natural Computing 1 Computer Languages, Systems & Structures 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 ACM Transactions on Computational Logic all top 5 Cited in 16 Fields 233 Computer science (68-XX) 42 Mathematical logic and foundations (03-XX) 35 Category theory; homological algebra (18-XX) 5 Biology and other natural sciences (92-XX) 3 History and biography (01-XX) 3 Combinatorics (05-XX) 3 Associative rings and algebras (16-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Probability theory and stochastic processes (60-XX) 2 Statistics (62-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year