Edit Profile (opens in new tab) Montanari, Ugo G. Compute Distance To: Compute Author ID: montanari.ugo-g Published as: Montanari, Ugo; Montanari, U.; Montanari, Ugo G.; Montanari, U. G. Homepage: http://pages.di.unipi.it/montanari/ugo.html External Links: MGP · ORCID · ResearchGate · dblp · GND Documents Indexed: 217 Publications since 1969, including 1 Book 24 Contributions as Editor · 1 Further Contribution Biographic References: 14 Publications Co-Authors: 91 Co-Authors with 229 Joint Publications 1,891 Co-Co-Authors all top 5 Co-Authors 12 single-authored 52 Bruni, Roberto 29 Corradini, Andrea 23 Rossi, Francesca 20 Gadducci, Fabio 17 Ferrari, Gian Luigi 17 Melgratti, Hernán 14 Meseguer Guaita, José 13 Sassone, Vladimiro 12 Baldan, Paolo 11 Degano, Pierpaolo 9 Bonchi, Filippo 9 Buscemi, Maria Grazia 9 Lanese, Ivan 8 De Nicola, Rocco 8 Ehrig, Hartmut 8 Tuosto, Emilio 7 Bistarelli, Stefano 7 Sammartino, Matteo 6 Lluch Lafuente, Alberto 6 Martelli, Alberto 5 Gorrieri, Roberto 5 Hirsch, Dan 5 Pistore, Marco 4 Heckel, Reiko 4 Levi, Giorgio 4 Ribeiro, Leila 4 Rozenberg, Grzegorz 4 Yankelevich, Daniel 3 Ciancia, Vincenzo 3 Fratta, Luigi 3 Kreowski, Hans-Jörg 3 Lowe, Michael J. S. 2 Boreale, Michele 2 Bueno, Francisco 2 Castellani, Ilaria 2 Gnesi, Stefania 2 Hermenegildo, Manuel V. 2 Kowalski, Robert A. 2 Laneve, Cosimo 2 Marchetti, Sergio 2 Miculan, Marino 2 Monreale, Giacoma Valentina 2 Mowbray, Miranda 2 Orejas, Fernando 2 Pugliese, Rosario 2 Sannella, Donald T. 2 Santini, Francesco 2 Sobociński, Paweł 1 Arbab, Farhad 1 Ayala-Rincón, Mauricio 1 Catalano, Alfonso 1 Clarke, Dave 1 Coccia, Matteo 1 De Francesco, Nicoletta 1 de Frutos-Escrig, David 1 Fargier, Hélène 1 Ferreira, Carla 1 Fiadeiro, José Luiz 1 Franceschi, Paola 1 Galimberti, R. 1 Giarratana, V. 1 Gimona, F. 1 Habermann, A. Nico 1 Haveraaen, Magne 1 Hoare, C. A. R. Tony 1 Katis, Piergiulio 1 König, Barbara 1 Kurz, Alexander 1 Lenisa, Marina 1 Lopes, Antónia 1 Loreti, Michele 1 Mackie, Ian 1 Martí-Oliet, Narciso 1 Mossakowski, Till 1 Padberg, Julia 1 Parisi-Presicce, Francesco 1 Plotkin, Gordon D. 1 Quaglia, Paola 1 Ristori, Gioia 1 Rolim, José D. P. 1 Sabadini, Nicoletta 1 Schiex, Thomas 1 Taentzer, Gabriele 1 Talcott, Carolyn L. 1 Tcheukam, Alain 1 Terreni, Daniele 1 Tiezzi, Francesco 1 Verfaillie, Gérard 1 Victor, Björn 1 Walters, Robert F. C. 1 Yemane, Kidane all top 5 Serials 26 Theoretical Computer Science 12 Lecture Notes in Computer Science 8 MSCS. Mathematical Structures in Computer Science 7 Information and Computation 5 Annales Societatis Mathematicae Polonae. Series IV 5 Logical Methods in Computer Science 4 Acta Informatica 4 Communications of the ACM 3 Electronic Notes in Theoretical Computer Science 2 Artificial Intelligence 2 Information and Control 2 Journal of the Association for Computing Machinery 2 Science of Computer Programming 2 Bulletin of the European Association for Theoretical Computer Science EATCS 2 The Journal of Logic and Algebraic Programming 2 Theory and Practice of Logic Programming 2 ACM Transactions on Computational Logic 1 IEEE Transactions on Reliability 1 Journal of Mathematical Analysis and Applications 1 IEEE Transactions on Communications 1 Information Sciences 1 Journal of Computer and System Sciences 1 Networks 1 ACM Transactions on Programming Languages and Systems 1 International Journal of Foundations of Computer Science 1 Applied Categorical Structures 1 Journal of Heuristics 1 Constraints 1 Journal of the ACM 1 Higher-Order and Symbolic Computation 1 Fundamenta Informaticae 1 Computer Science Review 1 Journal of Logical and Algebraic Methods in Programming 1 Texts in Theoretical Computer Science. An EATCS Series all top 5 Fields 234 Computer science (68-XX) 23 General and overarching topics; collections (00-XX) 21 Category theory; homological algebra (18-XX) 9 Mathematical logic and foundations (03-XX) 9 Operations research, mathematical programming (90-XX) 7 Combinatorics (05-XX) 4 Numerical analysis (65-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 3 Information and communication theory, circuits (94-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 General algebraic systems (08-XX) 2 Associative rings and algebras (16-XX) 1 History and biography (01-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Operator theory (47-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 191 Publications have been cited 1,677 times in 1,006 Documents Cited by ▼ Year ▼ An efficient unification algorithm. Zbl 0478.68093Martelli, Alberto; Montanari, Ugo 143 1982 Networks of constraints: Fundamental properties and applications to picture processing. Zbl 0284.68074Montanari, Ugo 142 1974 Semiring-based constraint satisfaction and optimization. Zbl 0890.68032Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 89 1997 Petri nets are monoids. Zbl 0711.68077Meseguer, José; Montanari, Ugo 61 1990 Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison. Zbl 0946.68143Bistarelli, S.; Montanari, U.; Rossi, F.; Schiex, T.; Verfaillie, G.; Fargier, H. 59 1999 Contextual nets. Zbl 0835.68084Montanari, Ugo; Rossi, Francesca 40 1995 Graph processes. Zbl 0854.68054Corradini, A.; Montanari, U.; Rossi, F. 32 1996 A distributed operational semantics of CCS based on condition/event systems. Zbl 0656.68061Degano, Pierpaolo; Di Nicola, Rocco; Montanari, Ugo 32 1988 Contextual Petri nets, asymmetric event structures, and processes. Zbl 1005.68103Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 28 2001 cc-pi: a constraint-based language for specifying service level agreements. Zbl 1187.68063Buscemi, Maria Grazia; Montanari, Ugo 26 2007 Optimizing decision trees through heuristically guided search. Zbl 0395.90079Martelli, Alberto; Montanari, Ugo 24 1978 An introduction to history dependent automata. Zbl 0925.68289Montanari, Ugo; Pistore, Marco 23 1997 Dynamic congruence VS. Progressing bisimulation for CCS. Zbl 0762.68044Montanari, Ugo; Sassone, Vladimiro 21 1992 On the semantics of place/transition Petri nets. Zbl 0876.68072Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 20 1997 Observability concepts in abstract data type specification. Zbl 0338.68023Giarratana, V.; Gimona, F.; Montanari, U. 19 1976 Normal forms for algebras of connections. Zbl 1061.68110Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo 18 2002 A partial ordering semantics for CCS. Zbl 0701.68073Degano, P.; De Nicola, R.; Montanari, U. 18 1990 Compositional SOS and beyond: A coalgebraic view of open systems. Zbl 1014.68107Corradini, Andrea; Heckel, Reiko; Montanari, Ugo 18 2002 Concurrent histories: a basis for observing distributed systems. Zbl 0619.68017Degano, Pierpaolo; Montanari, Ugo 17 1987 About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083Gadducci, Fabio; Miculan, Marino; Montanari, Ugo 16 2006 A basic algebra of stateless connectors. Zbl 1153.68331Bruni, Roberto; Lanese, Ivan; Montanari, Ugo 16 2006 Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus. Zbl 1077.68065Montanari, Ugo; Pistore, Marco 15 2005 Constraint relaxation may be perfect. Zbl 1117.68495Montanari, Ugo; Rossi, Francesca 15 1991 Handbook of graph grammars and computing by graph transformation. Vol. 3: Concurrency, parallelism, and distribution. Zbl 0951.68049 15 1999 Connector algebras for C/E and P/T nets’ interactions. Zbl 1274.68224Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel 13 2013 An algebraic semantics for structured transition systems and its application to logic programs. Zbl 0756.68075Corradini, Andrea; Montanari, Ugo 13 1992 Soft concurrent constraint programming. Zbl 1367.68315Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 13 2006 Separable graphs, planar graphs and Web grammars. Zbl 0215.56103Montanari, U. G. 13 1970 An interactive semantics of logic programming. Zbl 1066.68512Bruni, Roberto; Montanari, Ugo; Rossi, Francesca 13 2001 Zero-safe nets: Comparing the collective and individual token approaches. Zbl 1046.68615Bruni, Roberto; Montanari, Ugo 12 2000 Dynamic programming as graph searching: An algebraic approach. Zbl 0471.90092Gnesi, Stefania; Montanari, Ugo; Martelli, Alberto 12 1981 Theoretical foundations for compensations in flow composition languages. Zbl 1369.68070Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 12 2005 Mapping tile logic into rewriting logic. Zbl 0903.08010Meseguer, José; Montanari, Ugo 12 1998 Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Zbl 0993.68058Bruni, Roberto; Meseguer, José; Montanari, Ugo 12 2002 \(\pi\)-calculus, structured coalgebras, and minimal HD-automata. Zbl 0996.68125Montanari, Ugo; Pistore, Marco 12 2000 A note on minimal length polygonal approximation to a digitized contour. Zbl 0185.43803Montanari, U. 12 1970 A connector algebra for P/T nets interactions. Zbl 1344.68161Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 11 2011 Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types. Zbl 1070.68102Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio 11 2005 From SOS specifications to structured coalgebras: How to make bisimulation a congruence. Zbl 0918.68065Corradini, Andrea; Heckel, Reiko; Montanari, Ugo 11 1999 Minimizing transition systems for name passing calculi: A co-algebraic formulation. Zbl 1077.68716Ferrari, Gianluigi; Montanari, Ugo; Pistore, Marco 11 2002 Unfolding semantics of graph transformation. Zbl 1115.68093Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila 10 2007 Universal axioms for bisimulations. Zbl 0782.68044Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo 10 1993 Functorial models for Petri nets. Zbl 1005.68102Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 10 2001 Axiomatizing net computations and processes. Zbl 0722.68085Degano, Pierpaolo; Meseguer, José; Montanari, Ugo 10 1989 Symmetries, local names and dynamic (de)-allocation of names. Zbl 1207.68223Ciancia, Vincenzo; Montanari, Ugo 10 2010 Process versus unfolding semantics for Place/Transition Petri nets. Zbl 0872.68130Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 10 1996 Comparing logics for rewriting: Rewriting logic, action calculi and tile logic. Zbl 1001.68056Gadducci, Fabio; Montanari, Ugo 10 2002 Internal strategies in a rewriting implementation of tile systems. Zbl 0917.68104Bruni, R.; Meseguer, J.; Montanari, U. 9 1998 Continuous skeletons from digitized images. Zbl 0191.17802Montanari, U. 9 1969 Families of symmetries as efficient models of resource binding. Zbl 1247.68172Ciancia, Vincenzo; Kurz, Alexander; Montanari, Ugo 8 2010 Tile formats for located and mobile systems. Zbl 1046.68619Ferrari, GianLuigi; Montanari, Ugo 8 2000 A first order coalgebraic model of \(\pi\)-calculus early observational equivalence. Zbl 1012.68120Buscemi, Maria Grazia; Montanari, Ugo 8 2002 Quantitative \(\mu\)-calculus and CTL defined over constraint semirings. Zbl 1080.68065Lluch-Lafuente, Alberto; Montanari, Ugo 8 2005 An event structure semantics for P/T contextual nets: Asymmetric event structures. Zbl 0902.68140Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 8 1998 CCS is an (augmented) contact free C/E system. Zbl 0635.68058Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo 8 1987 Comparing two approaches to compensable flow composition. Zbl 1134.68316Bruni, Roberto; Butler, Michael; Ferreira, Carla; Hoare, Tony; Melgratti, Hernán; Montanari, Ugo 7 2005 Tiles for Reo. Zbl 1253.68090Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; Montanari, Ugo 7 2009 Unfolding of double-pushout graph grammars is a coreflection. Zbl 0958.68081Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 7 2000 Synchronized hyperedge replacement with name mobility. A graphical calculus for mobile systems. Zbl 1006.68538Hirsch, Dan; Montanari, Ugo 7 2001 Representation theorems for Petri nets. Zbl 0885.68115Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 7 1997 Network conscious \(\pi\)-calculus: a concurrent semantics. Zbl 1342.68235Montanari, Ugo; Sammartino, Matteo 7 2012 Partial ordering derivations for CCS. Zbl 0571.68016Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo 7 1985 Towards the unification of models for concurrency. Zbl 0758.68027Ferrari, Gian Luigi; Montanari, Ugo 7 1990 Connector algebras, Petri nets, and BIP. Zbl 1336.68006Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 7 2012 Soft constraint logic programming and generalized shortest path problems. Zbl 1073.90563Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 7 2002 Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Zbl 1186.68315Bonchi, Filippo; Montanari, Ugo 7 2009 Bisimilarity congruences for open terms and term graphs via tile logic. Zbl 0999.68142Bruni, Roberto; de Frutos-Escrig, David; Martí-Oliet, Narciso; Montanari, Ugo 7 2000 A grey-weighted skeleton. Zbl 0205.17903Levi, G.; Montanari, U. 7 1970 A concurrent graph semantics for mobile ambients. Zbl 1260.68094Gadducci, Fabio; Montanari, Ugo 6 2001 Synchronised hyperedge replacement as a model for service oriented computing. Zbl 1196.68025Ferrari, Gian Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, Emilio 6 2006 Open bisimulation for the concurrent constraint pi-calculus. Zbl 1133.68384Buscemi, Maria Grazia; Montanari, Ugo 6 2008 D-fusion: A distinctive fusion calculus. Zbl 1116.68540Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo 6 2004 Axiomatizing the algebra of net computations and processes. Zbl 0849.68087Degano, Pierpaolo; Meseguer, José; Montanari, Ugo 6 1996 Axioms for contextual net processes. Zbl 0912.68142Gadducci, F.; Montanari, U. 6 1998 Unfolding and event structure semantics for graph grammars. Zbl 0946.68087Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 6 1999 Coalgebraic models for reactive systems. Zbl 1151.68507Bonchi, Filippo; Montanari, Ugo 6 2007 An extended expansion theorem. Zbl 0967.68513Ferrari, Gian Luigi; Gorrieri, Roberto; Montanari, Ugo 6 1991 Tile transition systems as structured coalgebras. Zbl 0944.18006Corradini, Andrea; Heckel, Reiko; Montanari, Ugo 6 1999 Synchronization algebras with mobility for graph transformations. Zbl 1272.68310Lanese, Ivan; Montanari, Ugo 5 2005 Event structure semantics for nominal calculi. Zbl 1151.68512Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 5 2006 A general name binding mechanism. Zbl 1151.68508Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo 5 2005 Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł 5 2005 Normal forms for partitions and relations. Zbl 0955.68081Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo 5 1999 Functorial semantics for Petri nets under the individual token philosophy. Zbl 0966.68108Bruni, R.; Meseguer, J.; Montanari, U.; Sassone, V. 5 1999 Axiomatizing permutation equivalence. Zbl 0884.68070Laneve, Cosimo; Montanari, Ugo 5 1996 Tiles, rewriting rules and CCS. Zbl 0917.68115Gadducci, Fabio; Montanari, Ugo 5 1996 A comparison of Petri net semantics under the collective token philosophy. Zbl 0932.68062Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 5 1998 History dependent verification for partial order systems. Zbl 0883.68099Montanari, Ugo; Pistore, Marco 5 1997 On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. Zbl 1320.68125Bruni, Roberto; Montanari, Ugo; Plotkin, Gordon; Terreni, Daniele 5 2014 On the implementation of concurrent calculi in net calculi: two case studies. Zbl 0873.68144Gorrieri, Roberto; Montanari, Ugo 5 1995 Open ended systems, dynamic bisimulation and tile logic. Zbl 0998.68087Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro 5 2000 A LTS semantics of ambients via graph synchronization with mobility. Zbl 1042.68615Ferrari, GianLuigi; Montanari, Ugo; Tuosto, Emilio 5 2001 Soft concurrent constraint programming. Zbl 1077.68570Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 5 2002 Some characterization results for permutation algebras. Zbl 1271.68148Gadducci, Fabio; Miculan, Marino; Montanari, Ugo 4 2004 Observing reductions in nominal calculi via a graphical encoding of processes. Zbl 1171.68572Gadducci, Fabio; Montanari, Ugo 4 2005 A name abstraction functor for named sets. Zbl 1279.68052Ciancia, Vincenzo; Montanari, Ugo 4 2008 Behaviour, interaction and dynamics. Zbl 1407.68098Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 4 2014 Symbolic semantics revisited. Zbl 1139.68039Bonchi, Filippo; Montanari, Ugo 4 2008 Nested commits for mobile calculi: extending join. Zbl 1088.68507Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 4 2004 Graph rewriting, constraint solving and tiles for coordinating distributed systems. Zbl 0949.68083Montanari, Ugo; Rossi, Francesca 4 1999 Bayesian network semantics for Petri nets. Zbl 1436.68207Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 1 2020 Event structures for Petri nets with persistence. Zbl 1417.68113Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo 2 2018 Concurrency and probability: removing confusion, compositionally. Zbl 07298744Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 1 2018 Asynchronous distributed execution of fixpoint-based computational fields. Zbl 1398.68369Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo 3 2017 Programming autonomic systems with multiple constraint stores. Zbl 1454.68126Montanari, Ugo; Pugliese, Rosario; Tiezzi, Francesco 2 2015 A coalgebraic semantics for causality in Petri nets. Zbl 1330.68196Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo 2 2015 Revisiting causality, coalgebraically. Zbl 1307.68053Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo 2 2015 cJoin: Join with communicating transactions. Zbl 1361.68060Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 1 2015 Network-conscious \(\pi\)-calculus – a model of Pastry. Zbl 1342.68236Montanari, Ugo; Sammartino, Matteo 1 2015 On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. Zbl 1320.68125Bruni, Roberto; Montanari, Ugo; Plotkin, Gordon; Terreni, Daniele 5 2014 Behaviour, interaction and dynamics. Zbl 1407.68098Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 4 2014 A network-conscious \(\pi\)-calculus and its coalgebraic semantics. Zbl 1342.68234Montanari, Ugo; Sammartino, Matteo 2 2014 Connector algebras for C/E and P/T nets’ interactions. Zbl 1274.68224Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel 13 2013 Network conscious \(\pi\)-calculus: a concurrent semantics. Zbl 1342.68235Montanari, Ugo; Sammartino, Matteo 7 2012 Connector algebras, Petri nets, and BIP. Zbl 1336.68006Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 7 2012 A connector algebra for P/T nets interactions. Zbl 1344.68161Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 11 2011 QoS negotiation in service composition. Zbl 1207.68220Buscemi, Maria Grazia; Montanari, Ugo 4 2011 Symmetries, local names and dynamic (de)-allocation of names. Zbl 1207.68223Ciancia, Vincenzo; Montanari, Ugo 10 2010 Families of symmetries as efficient models of resource binding. Zbl 1247.68172Ciancia, Vincenzo; Kurz, Alexander; Montanari, Ugo 8 2010 Unicast and multicast QoS routing with soft-constraint logic programming. Zbl 1351.68031Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca; Santini, Francesco 3 2010 Tiles for Reo. Zbl 1253.68090Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; Montanari, Ugo 7 2009 Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Zbl 1186.68315Bonchi, Filippo; Montanari, Ugo 7 2009 Coalgebraic symbolic semantics. Zbl 1239.68049Bonchi, Filippo; Montanari, Ugo 2 2009 Hierarchical design rewriting with Maude. Zbl 1347.68072Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo 1 2009 Minimization algorithm for symbolic bisimilarity. Zbl 1234.68288Bonchi, Filippo; Montanari, Ugo 1 2009 Open bisimulation for the concurrent constraint pi-calculus. Zbl 1133.68384Buscemi, Maria Grazia; Montanari, Ugo 6 2008 A name abstraction functor for named sets. Zbl 1279.68052Ciancia, Vincenzo; Montanari, Ugo 4 2008 Symbolic semantics revisited. Zbl 1139.68039Bonchi, Filippo; Montanari, Ugo 4 2008 Style-based architectural reconfigurations. Zbl 1169.68306Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio 4 2008 A survey of constraint-based programming paradigms. Zbl 1302.68249Buscemi, Maria Grazia; Montanari, Ugo 3 2008 A coalgebraic theory of reactive systems. Zbl 1279.68249Bonchi, Filippo; Montanari, Ugo 2 2008 G-reactive systems as coalgebras. Zbl 1277.68163Bonchi, Filippo; Montanari, Ugo 1 2008 cc-pi: a constraint-based language for specifying service level agreements. Zbl 1187.68063Buscemi, Maria Grazia; Montanari, Ugo 26 2007 Unfolding semantics of graph transformation. Zbl 1115.68093Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila 10 2007 Coalgebraic models for reactive systems. Zbl 1151.68507Bonchi, Filippo; Montanari, Ugo 6 2007 Modelling multicast QoS routing by using best-tree search in and-or graphs and soft constraint logic programming. Zbl 1279.68021Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca; Santini, Francesco 3 2007 A compositional coalgebraic model of fusion calculus. Zbl 1121.68078Buscemi, Maria Grazia; Montanari, Ugo 1 2007 Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Zbl 1123.68007 1 2007 About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083Gadducci, Fabio; Miculan, Marino; Montanari, Ugo 16 2006 A basic algebra of stateless connectors. Zbl 1153.68331Bruni, Roberto; Lanese, Ivan; Montanari, Ugo 16 2006 Soft concurrent constraint programming. Zbl 1367.68315Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 13 2006 Synchronised hyperedge replacement as a model for service oriented computing. Zbl 1196.68025Ferrari, Gian Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, Emilio 6 2006 Event structure semantics for nominal calculi. Zbl 1151.68512Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 5 2006 A compositional coalgebraic model of a fragment of fusion calculus. Zbl 1316.68090Buscemi, Maria Grazia; Montanari, Ugo 3 2006 Hoare vs Milner: comparing synchronizations in a graphical framework with mobility. Zbl 1273.68193Lanese, Ivan; Montanari, Ugo 2 2006 Concurrent rewriting for graphs with equivalences. Zbl 1151.68503Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo 1 2006 Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Zbl 1147.68003 1 2006 Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus. Zbl 1077.68065Montanari, Ugo; Pistore, Marco 15 2005 Theoretical foundations for compensations in flow composition languages. Zbl 1369.68070Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 12 2005 Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types. Zbl 1070.68102Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio 11 2005 Quantitative \(\mu\)-calculus and CTL defined over constraint semirings. Zbl 1080.68065Lluch-Lafuente, Alberto; Montanari, Ugo 8 2005 Comparing two approaches to compensable flow composition. Zbl 1134.68316Bruni, Roberto; Butler, Michael; Ferreira, Carla; Hoare, Tony; Melgratti, Hernán; Montanari, Ugo 7 2005 Synchronization algebras with mobility for graph transformations. Zbl 1272.68310Lanese, Ivan; Montanari, Ugo 5 2005 A general name binding mechanism. Zbl 1151.68508Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo 5 2005 Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł 5 2005 Observing reductions in nominal calculi via a graphical encoding of processes. Zbl 1171.68572Gadducci, Fabio; Montanari, Ugo 4 2005 Quantitative \(\mu\)-calculus and CTL based on constraint semirings. Zbl 1272.68269Lluch-Lafuente, Alberto; Montanari, Ugo 3 2005 Modelling fusion calculus using HD-automata. Zbl 1151.68527Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio; Victor, Björn; Yemane, Kidane 3 2005 Model checking for nominal calculi. Zbl 1119.68115Ferrari, Gian Luigi; Montanari, Ugo; Tuosto, Emilio 2 2005 Graph processes with fusions: Concurrency by colimits, again. Zbl 1075.68058Gadducci, Fabio; Montanari, Ugo 2 2005 Complete axioms for stateless connectors. Zbl 1151.68511Bruni, Roberto; Lanese, Ivan; Montanari, Ugo 1 2005 D-fusion: A distinctive fusion calculus. Zbl 1116.68540Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo 6 2004 Some characterization results for permutation algebras. Zbl 1271.68148Gadducci, Fabio; Miculan, Marino; Montanari, Ugo 4 2004 Nested commits for mobile calculi: extending join. Zbl 1088.68507Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 4 2004 Tiling transactions in rewriting logic. Zbl 1272.68291Bruni, Roberto; Meseguer, José; Montanari, Ugo 3 2004 Concurrent models for Linda with transactions. Zbl 1085.68027Bruni, Roberto; Montanari, Ugo 2 2004 Flat committed join in join. Zbl 1271.68170Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 1 2004 Shaped hierarchical architectural design. Zbl 1271.68120Hirsch, Dan; Montanari, Ugo 1 2004 New insights of architectural connectors. Zbl 1094.68009Bruni, Roberto; Fiadeiro, José Luiz; Lanese, Ivan; Lopes, Antónia; Montanari, Ugo 1 2004 Extending the zero-safe approach to coloured, reconfigurable and dynamic nets. Zbl 1088.68120Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 1 2004 A formal basis for reasoning on programmable QoS. Zbl 1274.68022De Nicola, Rocco; Ferrari, Gianluigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, Emilio 2 2003 Pre-nets, read ARCS and unfolding: A functorial presentation. Zbl 1278.68210Baldan, Paolo; Bruni, Roberto; Montanari, Ugo 2 2003 GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs. Zbl 1270.68123Coccia, Matteo; Gadducci, Fabio; Montanari, Ugo 1 2003 Coreflective concurrent semantics for single-pushout graph grammars. Zbl 1278.68117Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila 1 2003 Normal forms for algebras of connections. Zbl 1061.68110Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo 18 2002 Compositional SOS and beyond: A coalgebraic view of open systems. Zbl 1014.68107Corradini, Andrea; Heckel, Reiko; Montanari, Ugo 18 2002 Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Zbl 0993.68058Bruni, Roberto; Meseguer, José; Montanari, Ugo 12 2002 Minimizing transition systems for name passing calculi: A co-algebraic formulation. Zbl 1077.68716Ferrari, Gianluigi; Montanari, Ugo; Pistore, Marco 11 2002 Comparing logics for rewriting: Rewriting logic, action calculi and tile logic. Zbl 1001.68056Gadducci, Fabio; Montanari, Ugo 10 2002 A first order coalgebraic model of \(\pi\)-calculus early observational equivalence. Zbl 1012.68120Buscemi, Maria Grazia; Montanari, Ugo 8 2002 Soft constraint logic programming and generalized shortest path problems. Zbl 1073.90563Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 7 2002 Soft concurrent constraint programming. Zbl 1077.68570Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 5 2002 Orchestrating transactions in join calculus. Zbl 1012.68524Bruni, Roberto; Laneve, Cosimo; Montanari, Ugo 4 2002 Dynamic connectors for concurrency. Zbl 0996.68073Bruni, Roberto; Montanari, Ugo 4 2002 Comparing cospan-spans and tiles via a Hoare-style process calculus. Zbl 1268.68126Gadducci, Fabio; Katis, Piergiulio; Montanari, Ugo; Sabadini, Nicoletta; Walters, Robert F. C. 2 2002 Bisimulation equivalences for graph grammars. Zbl 1060.68050Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 2 2002 Two graph-based techniques for software architecture reconfiguration. Zbl 1263.68079Hirsch, Dan; Montanari, Ugo 1 2002 Linear ordered graph grammars and their algebraic foundations. Zbl 1028.68074Montanari, Ugo; Ribeiro, Leila 1 2002 Contextual Petri nets, asymmetric event structures, and processes. Zbl 1005.68103Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 28 2001 An interactive semantics of logic programming. Zbl 1066.68512Bruni, Roberto; Montanari, Ugo; Rossi, Francesca 13 2001 Functorial models for Petri nets. Zbl 1005.68102Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 10 2001 Synchronized hyperedge replacement with name mobility. A graphical calculus for mobile systems. Zbl 1006.68538Hirsch, Dan; Montanari, Ugo 7 2001 A concurrent graph semantics for mobile ambients. Zbl 1260.68094Gadducci, Fabio; Montanari, Ugo 6 2001 A LTS semantics of ambients via graph synchronization with mobility. Zbl 1042.68615Ferrari, GianLuigi; Montanari, Ugo; Tuosto, Emilio 5 2001 Transactions and zero-safe nets. Zbl 1017.68074Bruni, Roberto; Montanari, Ugo 3 2001 CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Zbl 1260.68011 1 2001 Observational equivalence for synchronized graph rewriting with mobility. Zbl 1087.68606König, Barbara; Montanari, Ugo 1 2001 Zero-safe nets: Comparing the collective and individual token approaches. Zbl 1046.68615Bruni, Roberto; Montanari, Ugo 12 2000 \(\pi\)-calculus, structured coalgebras, and minimal HD-automata. Zbl 0996.68125Montanari, Ugo; Pistore, Marco 12 2000 Tile formats for located and mobile systems. Zbl 1046.68619Ferrari, GianLuigi; Montanari, Ugo 8 2000 ...and 91 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,327 Authors 71 Montanari, Ugo G. 32 Corradini, Andrea 31 Gadducci, Fabio 29 Bruni, Roberto 22 Baldan, Paolo 20 Meseguer Guaita, José 18 Bonchi, Filippo 16 Sobociński, Paweł 15 Rossi, Francesca 14 Santini, Francesco 13 Bistarelli, Stefano 13 Cooper, Martin C. 13 König, Barbara 12 Dechter, Rina 12 Ribeiro, Leila 11 Degano, Pierpaolo 11 Ehrig, Hartmut 11 Heckel, Reiko 11 Jeavons, Peter G. 10 Bliudze, Simon 10 Ferrari, Gian Luigi 10 Melgratti, Hernán 10 Pinna, G. Michele 9 Priami, Corrado 9 Živný, Stanislav 8 Cohen, David A. 8 De Nicola, Rocco 8 Gorrieri, Roberto 8 Koutny, Maciej 8 Martí-Oliet, Narciso 8 Schmidt-Schauß, Manfred 7 Ciancia, Vincenzo 7 Olarte, Carlos 7 Venable, Kristen Brent 7 Zanasi, Fabio 6 Busi, Nadia 6 Dubois, Didier 6 Lluch Lafuente, Alberto 6 Sammartino, Matteo 6 Sifakis, Joseph 6 Talcott, Carolyn L. 6 Vogler, Walter 6 Walsh, Toby 6 Wilson, Nic 6 Wirsing, Martin 5 Apt, Krzysztof Rafal 5 Buscemi, Maria Grazia 5 Iranzo, Pascual Julián 5 Janicki, Ryszard 5 Kleijn, Jetty H. C. M. 5 Krokhin, Andrei A. 5 Lachaud, Jacques-Olivier 5 Lanese, Ivan 5 Li, Sanjiang 5 Li, Yongming 5 Loreti, Michele 5 Monreale, Giacoma Valentina 5 Parrow, Joachim 5 Power, John 5 Prade, Henri M. 5 Sannella, Donald T. 5 Subrahmanian, V. S. 5 van Glabbeek, Robert Jan 5 Van Hentenryck, Pascal 5 Virbitskaite, Irina B. 4 Arbab, Farhad 4 Baranov, Eduard 4 Boy de la Tour, Thierry 4 Brodo, Linda 4 Castellani, Ilaria 4 Chakrabarti, Partha Pratim 4 Clarke, Dave 4 Devillers, Raymond 4 Faltings, Boi Volkert 4 Fargier, Hélène 4 Foss, Luciana 4 Heindel, Tobias 4 Hirschkoff, Daniel 4 Jégou, Philippe 4 Komendantskaya, Ekaterina 4 Kurz, Alexander 4 Larrosa, Javier 4 Lenisa, Marina 4 Madiot, Jean-Marie 4 Nešetřil, Jaroslav 4 Nigam, Vivek 4 Olveczky, Peter Csaba 4 Parisi-Presicce, Francesco 4 Pearl, Judea 4 Pesch, Erwin 4 Pichler, Reinhard 4 Pimentel, Elaine 4 Pini, Maria Silvia 4 Pugliese, Rosario 4 Roşu, Grigore 4 Rozenberg, Grzegorz 4 Sangiorgi, Davide 4 Sassone, Vladimiro 4 Tarlecki, Andrzej 4 Tiezzi, Francesco ...and 1,227 more Authors all top 5 Cited in 116 Serials 167 Theoretical Computer Science 82 Artificial Intelligence 56 Information and Computation 29 Acta Informatica 28 Journal of Logical and Algebraic Methods in Programming 24 Constraints 22 Journal of Symbolic Computation 21 MSCS. Mathematical Structures in Computer Science 19 The Journal of Logic and Algebraic Programming 18 Journal of Computer and System Sciences 18 Formal Aspects of Computing 15 Theory and Practice of Logic Programming 14 Information Sciences 14 Annals of Mathematics and Artificial Intelligence 13 Journal of Automated Reasoning 11 Fuzzy Sets and Systems 11 Logical Methods in Computer Science 10 Information Processing Letters 10 European Journal of Operational Research 9 Discrete Applied Mathematics 8 Formal Methods in System Design 7 Science of Computer Programming 7 Annals of Pure and Applied Logic 6 Journal of Heuristics 6 RAIRO. Theoretical Informatics and Applications 5 Journal of Computer Science and Technology 5 Pattern Recognition 5 Distributed Computing 5 Applied Categorical Structures 4 Computers & Mathematics with Applications 4 Cybernetics and Systems Analysis 4 Journal of Discrete Algorithms 4 Computer Science Review 3 Computing 3 Programming and Computer Software 3 SIAM Journal on Computing 3 International Journal of Approximate Reasoning 3 Annals of Operations Research 3 RAIRO. Informatique Théorique et Applications 3 Journal of Mathematical Imaging and Vision 3 Journal of Functional Programming 3 Theory and Applications of Categories 3 Higher-Order and Symbolic Computation 3 Fundamenta Informaticae 2 Discrete Mathematics 2 International Journal of General Systems 2 International Journal of Computer & Information Sciences 2 Journal of Pure and Applied Algebra 2 Mathematical Social Sciences 2 Circuits, Systems, and Signal Processing 2 International Journal of Parallel Programming 2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 2 International Journal of Computational Geometry & Applications 2 Discrete Event Dynamic Systems 2 Artificial Intelligence Review 2 International Journal of Computer Mathematics 2 Applicable Algebra in Engineering, Communication and Computing 2 Soft Computing 2 RAIRO. Operations Research 2 Natural Computing 2 Computer Languages, Systems & Structures 2 Asian-European Journal of Mathematics 1 International Journal of Control 1 Journal of Mathematical Analysis and Applications 1 Reviews in Mathematical Physics 1 Journal of Geometry and Physics 1 BIT 1 Journal of Algebra 1 Journal of Computational and Applied Mathematics 1 Journal of Philosophical Logic 1 Journal of Soviet Mathematics 1 Kybernetika 1 Studia Logica 1 Cybernetics 1 European Journal of Combinatorics 1 OR Spektrum 1 SIAM Journal on Algebraic and Discrete Methods 1 Computer Aided Geometric Design 1 Order 1 New Generation Computing 1 Algorithmica 1 Computers & Operations Research 1 International Journal of Intelligent Systems 1 Applied Mathematics Letters 1 SIAM Journal on Discrete Mathematics 1 Engineering with Computers 1 Discrete Mathematics and Applications 1 Journal of Global Optimization 1 SIAM Review 1 Zeitschrift für Operations Research. Serie A: Theorie 1 Mathematical Programming. Series A. Series B 1 Journal of Mathematical Sciences (New York) 1 Mathematical Logic Quarterly (MLQ) 1 Top 1 The Journal of Artificial Intelligence Research (JAIR) 1 INFORMS Journal on Computing 1 Mathematical Problems in Engineering 1 Computing and Visualization in Science 1 Journal of Scheduling 1 Journal of the ACM ...and 16 more Serials all top 5 Cited in 27 Fields 909 Computer science (68-XX) 137 Mathematical logic and foundations (03-XX) 69 Operations research, mathematical programming (90-XX) 67 Category theory; homological algebra (18-XX) 27 Combinatorics (05-XX) 22 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 18 General algebraic systems (08-XX) 13 Order, lattices, ordered algebraic structures (06-XX) 11 Information and communication theory, circuits (94-XX) 9 Numerical analysis (65-XX) 9 Biology and other natural sciences (92-XX) 8 Associative rings and algebras (16-XX) 6 Systems theory; control (93-XX) 4 Convex and discrete geometry (52-XX) 4 Quantum theory (81-XX) 3 History and biography (01-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Statistics (62-XX) 2 General and overarching topics; collections (00-XX) 2 Number theory (11-XX) 2 Partial differential equations (35-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Nonassociative rings and algebras (17-XX) 1 Group theory and generalizations (20-XX) 1 Probability theory and stochastic processes (60-XX) Citations by Year