Edit Profile Montanari, Ugo G. Compute Distance To: Compute Author ID: montanari.ugo-g Published as: Montanari, U.; Montanari, U. G.; Montanari, Ugo; Montanari, Ugo G. Homepage: http://pages.di.unipi.it/montanari/ugo.html External Links: MGP · Wikidata · ORCID · ResearchGate · dblp · GND Documents Indexed: 241 Publications since 1969, including 23 Books Biographic References: 14 Publications all top 5 Co-Authors 12 single-authored 52 Bruni, Roberto 28 Corradini, Andrea 23 Rossi, Francesca L. 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 Levi, Giorgio 4 Ribeiro, Leila 4 Yankelevich, Daniel 3 Ciancia, Vincenzo 3 Fratta, Luigi 3 Heckel, Reiko 3 Lowe, Michael J. S. 3 Rozenberg, Grzegorz 2 Boreale, Michele 2 Bueno, Francisco 2 Castellani, Ilaria 2 Gnesi, Stefania 2 Hermenegildo, Manuel V. 2 Kowalski, Robert A. 2 Kreowski, Hans-Jörg 2 Laneve, Cosimo 2 Marchetti, Sergio 2 Miculan, Marino 2 Monreale, Giacoma Valentina 2 Mowbray, Miranda 2 Pugliese, Rosario 2 Sannella, Donald T. 2 Santini, Francesco 2 Sobociński, Paweł 1 Arbab, Farhad 1 Ayala-Rincón, Mauricio 1 Butler, Michael C. R. 1 Catalano, Alfonso 1 Clarke, Dave 1 Coccia, Matteo 1 De Francesco, Nicoletta 1 de Frutos-Escrig, David 1 Dezani-Ciancaglini, Mariangola 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 Orejas, Fernando 1 Padberg, Julia 1 Parisi-Presicce, Francesco 1 Plotkin, Gordon D. 1 Quaglia, Paola 1 Ristori, Gioia 1 Rolim, José D. P. 1 Rossi, Fabio 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 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 Bulletin of the European Association for Theoretical Computer Science EATCS 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 233 Computer science (68-XX) 23 General and overarching topics; collections (00-XX) 21 Category theory; homological algebra (18-XX) 10 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 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 194 Publications have been cited 1,734 times in 1,000 Documents Cited by ▼ Year ▼ Networks of constraints: Fundamental properties and applications to picture processing. Zbl 0284.68074Montanari, Ugo 139 1974 An efficient unification algorithm. Zbl 0478.68093Martelli, Alberto; Montanari, Ugo 138 1982 Semiring-based constraint satisfaction and optimization. Zbl 0890.68032Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 91 1997 Petri nets are monoids. Zbl 0711.68077Meseguer, José; Montanari, Ugo 65 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. 60 1999 Contextual nets. Zbl 0835.68084Montanari, Ugo; Rossi, Francesca 34 1995 A distributed operational semantics of CCS based on condition/event systems. Zbl 0656.68061Degano, Pierpaolo; Di Nicola, Rocco; Montanari, Ugo 31 1988 Graph processes. Zbl 0854.68054Corradini, A.; Montanari, U.; Rossi, F. 30 1996 Handbook of graph grammars and computing by graph transformation. Vol. 3: Concurrency, parallelism, and distribution. Zbl 0951.68049Ehrig, Hartmut (ed.); Kreowski, Hans-Jörg (ed.); Montanari, Ugo (ed.); Rozenberg, Grzegorz (ed.) 27 1999 Contextual Petri nets, asymmetric event structures, and processes. Zbl 1005.68103Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 26 2001 cc-pi: a constraint-based language for specifying service level agreements. Zbl 1187.68063Buscemi, Maria Grazia; Montanari, Ugo 24 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 On the semantics of place/transition Petri nets. Zbl 0876.68072Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 21 1997 Dynamic congruence VS. Progressing bisimulation for CCS. Zbl 0762.68044Montanari, Ugo; Sassone, Vladimiro 20 1992 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 Compositional SOS and beyond: A coalgebraic view of open systems. Zbl 1014.68107Corradini, Andrea; Heckel, Reiko; Montanari, Ugo 18 2002 A partial ordering semantics for CCS. Zbl 0701.68073Degano, P.; De Nicola, R.; Montanari, U. 18 1990 Axiomatizing net computations and processes. Zbl 0722.68085Degano, Pierpaolo; Meseguer, José; Montanari, Ugo 18 1989 Concurrent histories: a basis for observing distributed systems. Zbl 0619.68017Degano, Pierpaolo; Montanari, Ugo 18 1987 About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083Gadducci, Fabio; Miculan, Marino; Montanari, Ugo 17 2006 Axiomatizing the algebra of net computations and processes. Zbl 0849.68087Degano, Pierpaolo; Meseguer, José; Montanari, Ugo 17 1996 Constraint relaxation may be perfect. Zbl 1117.68495Montanari, Ugo; Rossi, Francesca 17 1991 Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus. Zbl 1077.68065Montanari, Ugo; Pistore, Marco 16 2005 A basic algebra of stateless connectors. Zbl 1153.68331Bruni, Roberto; Lanese, Ivan; Montanari, Ugo 15 2006 Separable graphs, planar graphs and Web grammars. Zbl 0215.56103Montanari, U. G. 15 1970 Soft concurrent constraint programming. Zbl 1367.68315Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 14 2006 Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Zbl 0993.68058Bruni, Roberto; Meseguer, José; Montanari, Ugo 13 2002 An interactive semantics of logic programming. Zbl 1066.68512Bruni, Roberto; Montanari, Ugo; Rossi, Francesca 13 2001 \(\pi\)-calculus, structured coalgebras, and minimal HD-automata. Zbl 0996.68125Montanari, Ugo; Pistore, Marco 13 2000 An algebraic semantics for structured transition systems and its application to logic programs. Zbl 0756.68075Corradini, Andrea; Montanari, Ugo 13 1992 Theoretical foundations for compensations in flow composition languages. Zbl 1369.68070Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 12 2005 Minimizing transition systems for name passing calculi: A co-algebraic formulation. Zbl 1077.68716Ferrari, Gianluigi; Montanari, Ugo; Pistore, Marco 12 2002 Zero-safe nets: Comparing the collective and individual token approaches. Zbl 1046.68615Bruni, Roberto; Montanari, Ugo 12 2000 From SOS specifications to structured coalgebras: How to make bisimulation a congruence. Zbl 0918.68065Corradin, Andrea; Heckel, Reiko; Montanari, Ugo 12 1999 Mapping tile logic into rewriting logic. Zbl 0903.08010Meseguer, José; Montanari, Ugo 12 1998 Partial ordering derivations for CCS. Zbl 0571.68016Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo 12 1985 Connector algebras for C/E and P/T nets’ interactions. Zbl 1274.68224Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel 11 2013 Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types. Zbl 1070.68102Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio 11 2005 Comparing logics for rewriting: Rewriting logic, action calculi and tile logic. Zbl 1001.68056Gadducci, Fabio; Montanari, Ugo 11 2002 CCS is an (augmented) contact free C/E system. Zbl 0635.68058Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo 11 1987 A connector algebra for P/T nets interactions. Zbl 1344.68161Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 10 2011 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 Universal axioms for bisimulations. Zbl 0782.68044Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo 10 1993 Dynamic programming as graph searching: An algebraic approach. Zbl 0471.90092Gnesi, Stefania; Montanari, Ugo; Martelli, Alberto 10 1981 A note on minimal length polygonal approximation to a digitized contour. Zbl 0185.43803Montanari, U. 10 1970 Functorial models for Petri nets. Zbl 1005.68102Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 9 2001 Internal strategies in a rewriting implementation of tile systems. Zbl 0917.68104Bruni, R.; Meseguer, J.; Montanari, U. 9 1998 Towards the unification of models for concurrency. Zbl 0758.68027Ferrari, Gian Luigi; Montanari, Ugo 9 1990 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 Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Zbl 1186.68315Bonchi, Filippo; Montanari, Ugo 8 2009 Unfolding semantics of graph transformation. Zbl 1115.68093Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila 8 2007 Tile formats for located and mobile systems. Zbl 1046.68619Ferrari, GianLuigi; Montanari, Ugo 8 2000 An event structure semantics for P/T contextual nets: Asymmetric event structures. Zbl 0902.68140Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 8 1998 Network conscious \(\pi\)-calculus: a concurrent semantics. Zbl 1342.68235Montanari, Ugo; Sammartino, Matteo 7 2012 Tiles for Reo. Zbl 1253.68090Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; Montanari, Ugo 7 2009 Coalgebraic models for reactive systems. Zbl 1151.68507Bonchi, Filippo; Montanari, Ugo 7 2007 Comparing two approaches to compensable flow composition. Zbl 1134.68316Bruni, Roberto; Butler, Michael; Ferreira, Carla; Hoare, Tony; Melgratti, Hernán; Montanari, Ugo 7 2005 Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł 7 2005 Quantitative \(\mu\)-calculus and CTL defined over constraint semirings. Zbl 1080.68065Lluch-Lafuente, Alberto; Montanari, Ugo 7 2005 Soft concurrent constraint programming. Zbl 1077.68570Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 7 2002 A first order coalgebraic model of \(\pi\)-calculus early observational equivalence. Zbl 1012.68120Buscemi, Maria Grazia; Montanari, Ugo 7 2002 Soft constraint logic programming and generalized shortest path problems. Zbl 1073.90563Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 7 2002 Synchronized hyperedge replacement with name mobility. A graphical calculus for mobile systems. Zbl 1006.68538Hirsch, Dan; Montanari, Ugo 7 2001 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 Representation theorems for Petri nets. Zbl 0885.68115Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 7 1997 History dependent verification for partial order systems. Zbl 0883.68099Montanari, Ugo; Pistore, Marco 7 1997 Graph rewriting with unification and composition. Zbl 0643.68103Parisi-Presicce, Francesco; Ehrig, Hartmut; Montanari, Ugo 7 1987 A grey-weighted skeleton. Zbl 0205.17903Levi, G.; Montanari, U. 7 1970 Connector algebras, Petri nets, and BIP. Zbl 1336.68006Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 6 2012 D-fusion: A distinctive fusion calculus. Zbl 1116.68540Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo 6 2004 A concurrent graph semantics for mobile ambients. Zbl 1260.68094Gadducci, Fabio; Montanari, Ugo 6 2001 Normal forms for partitions and relations. Zbl 0955.68081Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo 6 1999 Tile transition systems as structured coalgebras. Zbl 0944.18006Corradini, Andrea; Heckel, Reiko; Montanari, Ugo 6 1999 Unfolding and event structure semantics for graph grammars. Zbl 0946.68087Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 6 1999 Axioms for contextual net processes. Zbl 0912.68142Gadducci, F.; Montanari, U. 6 1998 An extended expansion theorem. Zbl 0967.68513Ferrari, Gian Luigi; Gorrieri, Roberto; Montanari, Ugo 6 1991 Partial orderings descriptions and observations of nondeterministic concurrent processes. (Technical contribution). Zbl 0683.68067Degano, P.; DeNicola, R.; Montanari, U. 6 1989 Style-based architectural reconfigurations. Zbl 1169.68306Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio 5 2008 Synchronised hyperedge replacement as a model for service oriented computing. Zbl 1196.68025Ferrari, Gian Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, Emilio 5 2006 A general name binding mechanism. Zbl 1151.68508Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo 5 2005 A LTS semantics of ambients via graph synchronization with mobility. Zbl 1042.68615Ferrari, GianLuigi; Montanari, Ugo; Tuosto, Emilio 5 2001 Open ended systems, dynamic bisimulation and tile logic. Zbl 0998.68087Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro 5 2000 Unfolding of double-pushout graph grammars is a coreflection. Zbl 0958.68081Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 5 2000 Functorial semantics for Petri nets under the individual token philosophy. Zbl 0966.68108Bruni, R.; Meseguer, J.; Montanari, U.; Sassone, V. 5 1999 Graph rewriting, constraint solving and tiles for coordinating distributed systems. Zbl 0949.68083Montanari, Ugo; Rossi, Francesca 5 1999 A comparison of Petri net semantics under the collective token philosophy. Zbl 0932.68062Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 5 1998 Tiles, rewriting rules and CCS. Zbl 0917.68115Gadducci, Fabio; Montanari, Ugo 5 1996 A \(\pi\)-calculus with explicit substitutions. Zbl 0874.68197Ferrari, Gian-Luigi; Montanari, Ugo; Quaglia, Paola 5 1996 Axiomatizing permutation equivalence. Zbl 0884.68070Laneve, Cosimo; Montanari, Ugo 5 1996 On the implementation of concurrent calculi in net calculi: two case studies. Zbl 0873.68144Gorrieri, Roberto; Montanari, Ugo 5 1995 Towards hierarchical description of systems: A proof system for strong prefixing. Zbl 0732.68074Gorrieri, Roberto; Montanari, Ugo 5 1990 Specification languages for distributed systems. Zbl 0563.68019Degano, Pierpaolo; Montanari, Ugo 5 1985 On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. Zbl 1320.68125Bruni, Roberto; Montanari, Ugo; Plotkin, Gordon; Terreni, Daniele 4 2014 QoS negotiation in service composition. Zbl 1207.68220Buscemi, Maria Grazia; Montanari, Ugo 4 2011 A name abstraction functor for named sets. Zbl 1279.68052Ciancia, Vincenzo; Montanari, Ugo 4 2008 Open bisimulation for the concurrent constraint pi-calculus. Zbl 1133.68384Buscemi, Maria Grazia; Montanari, Ugo 4 2008 Event structures for Petri nets with persistence. Zbl 1417.68113Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo 2 2018 Asynchronous distributed execution of fixpoint-based computational fields. Zbl 1398.68369Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo 2 2017 Network-conscious \(\pi\)-calculus – a model of Pastry. Zbl 1342.68236Montanari, Ugo; Sammartino, Matteo 2 2015 A coalgebraic semantics for causality in Petri nets. Zbl 1330.68196Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo 2 2015 Programming autonomic systems with multiple constraint stores. Zbl 06448734Montanari, Ugo; Pugliese, Rosario; Tiezzi, Francesco 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 On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. Zbl 1320.68125Bruni, Roberto; Montanari, Ugo; Plotkin, Gordon; Terreni, Daniele 4 2014 Behaviour, interaction and dynamics. Zbl 1407.68098Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 3 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 11 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 6 2012 A connector algebra for P/T nets interactions. Zbl 1344.68161Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 10 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 2 2010 On GS-monoidal theories for graphs with nesting. Zbl 1309.68147Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Montanari, Ugo 1 2010 Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Zbl 1186.68315Bonchi, Filippo; Montanari, Ugo 8 2009 Tiles for Reo. Zbl 1253.68090Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; 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 Style-based architectural reconfigurations. Zbl 1169.68306Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio 5 2008 A name abstraction functor for named sets. Zbl 1279.68052Ciancia, Vincenzo; Montanari, Ugo 4 2008 Open bisimulation for the concurrent constraint pi-calculus. Zbl 1133.68384Buscemi, Maria Grazia; Montanari, Ugo 4 2008 Symbolic semantics revisited. Zbl 1139.68039Bonchi, Filippo; Montanari, Ugo 4 2008 A survey of constraint-based programming paradigms. Zbl 1302.68249Buscemi, Maria Grazia; Montanari, Ugo 2 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 24 2007 Unfolding semantics of graph transformation. Zbl 1115.68093Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila 8 2007 Coalgebraic models for reactive systems. Zbl 1151.68507Bonchi, Filippo; Montanari, Ugo 7 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 Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Zbl 1123.68007Mossakowski, Till (ed.); Montanari, Ugo (ed.); Haveraaen, Magne (ed.) 1 2007 A compositional coalgebraic model of fusion calculus. Zbl 1121.68078Buscemi, Maria Grazia; Montanari, Ugo 1 2007 About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083Gadducci, Fabio; Miculan, Marino; Montanari, Ugo 17 2006 A basic algebra of stateless connectors. Zbl 1153.68331Bruni, Roberto; Lanese, Ivan; Montanari, Ugo 15 2006 Soft concurrent constraint programming. Zbl 1367.68315Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 14 2006 Synchronised hyperedge replacement as a model for service oriented computing. Zbl 1196.68025Ferrari, Gian Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, Emilio 5 2006 Event structure semantics for nominal calculi. Zbl 1151.68512Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 4 2006 A compositional coalgebraic model of a fragment of fusion calculus. Zbl 1316.68090Buscemi, Maria Grazia; Montanari, Ugo 3 2006 Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Zbl 1147.68003Corradini, Andrea (ed.); Ehrig, Hartmut (ed.); Montanari, Ugo (ed.); Ribeiro, Leila (ed.); Rozenberg, Grzegorz (ed.) 1 2006 Concurrent rewriting for graphs with equivalences. Zbl 1151.68503Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo 1 2006 Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus. Zbl 1077.68065Montanari, Ugo; Pistore, Marco 16 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 Comparing two approaches to compensable flow composition. Zbl 1134.68316Bruni, Roberto; Butler, Michael; Ferreira, Carla; Hoare, Tony; Melgratti, Hernán; Montanari, Ugo 7 2005 Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł 7 2005 Quantitative \(\mu\)-calculus and CTL defined over constraint semirings. Zbl 1080.68065Lluch-Lafuente, Alberto; Montanari, Ugo 7 2005 A general name binding mechanism. Zbl 1151.68508Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo 5 2005 Observing reductions in nominal calculi via a graphical encoding of processes. Zbl 1171.68572Gadducci, Fabio; Montanari, Ugo 4 2005 Synchronization algebras with mobility for graph transformations. Zbl 1272.68310Lanese, Ivan; 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 Quantitative \(\mu\)-calculus and CTL based on constraint semirings. Zbl 1272.68269Lluch-Lafuente, Alberto; Montanari, Ugo 2 2005 Graph processes with fusions: Concurrency by colimits, again. Zbl 1075.68058Gadducci, Fabio; Montanari, Ugo 2 2005 Model checking for nominal calculi. Zbl 1119.68115Ferrari, Gian Luigi; Montanari, Ugo; Tuosto, Emilio 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 Shaped hierarchical architectural design. Zbl 1271.68120Hirsch, Dan; Montanari, Ugo 1 2004 Flat committed join in join. Zbl 1271.68170Bruni, Roberto; Melgratti, Hernán; 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 New insights of architectural connectors. Zbl 1094.68009Bruni, Roberto; Fiadeiro, José Luiz; Lanese, Ivan; Lopes, Antónia; 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 3 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 13 2002 Minimizing transition systems for name passing calculi: A co-algebraic formulation. Zbl 1077.68716Ferrari, Gianluigi; Montanari, Ugo; Pistore, Marco 12 2002 Comparing logics for rewriting: Rewriting logic, action calculi and tile logic. Zbl 1001.68056Gadducci, Fabio; Montanari, Ugo 11 2002 Soft concurrent constraint programming. Zbl 1077.68570Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 7 2002 A first order coalgebraic model of \(\pi\)-calculus early observational equivalence. Zbl 1012.68120Buscemi, Maria Grazia; Montanari, Ugo 7 2002 Soft constraint logic programming and generalized shortest path problems. Zbl 1073.90563Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 7 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 26 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 9 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 Observational equivalence for synchronized graph rewriting with mobility. Zbl 1087.68606König, Barbara; Montanari, Ugo 2 2001 CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Zbl 1260.68011Corradini, Andrea (ed.); Lenisa, Marina (ed.); Montanari, Ugo (ed.) 1 2001 \(\pi\)-calculus, structured coalgebras, and minimal HD-automata. Zbl 0996.68125Montanari, Ugo; Pistore, Marco 13 2000 Zero-safe nets: Comparing the collective and individual token approaches. Zbl 1046.68615Bruni, Roberto; Montanari, Ugo 12 2000 Tile formats for located and mobile systems. Zbl 1046.68619Ferrari, GianLuigi; Montanari, Ugo 8 2000 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 Open ended systems, dynamic bisimulation and tile logic. Zbl 0998.68087Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro 5 2000 ...and 94 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,317 Authors 71 Montanari, Ugo G. 30 Corradini, Andrea 29 Bruni, Roberto 29 Gadducci, Fabio 22 Meseguer Guaita, José 21 Baldan, Paolo 17 Bonchi, Filippo 15 Rossi, Francesca L. 14 Dechter, Rina 14 Sobociński, Paweł 13 Bistarelli, Stefano 13 Cooper, Martin C. 13 Ehrig, Hartmut 13 Santini, Francesco 12 König, Barbara 12 Ribeiro, Leila 11 Degano, Pierpaolo 11 Jeavons, Peter G. 10 Ferrari, Gian Luigi 9 Bliudze, Simon 9 Heckel, Reiko 9 Priami, Corrado 8 Cohen, David A. 8 De Nicola, Rocco 8 Gorrieri, Roberto 8 Martí-Oliet, Narciso 8 Melgratti, Hernán 8 Živný, Stanislav 7 Ciancia, Vincenzo 7 Dubois, Didier 7 Koutny, Maciej 7 Olarte, Carlos 7 Pinna, G. Michele 7 Venable, Kristen Brent 7 Vogler, Walter 6 Busi, Nadia 6 Lluch Lafuente, Alberto 6 Parisi-Presicce, Francesco 6 Prade, Henri M. 6 Sammartino, Matteo 6 Schmidt-Schauß, Manfred 6 Sifakis, Joseph 6 Talcott, Carolyn L. 6 Walsh, Toby 6 Wilson, Nic 6 Wirsing, Martin 5 Apt, Krzysztof Rafal 5 Buscemi, Maria Grazia 5 Krokhin, Andrei A. 5 Kurz, Alexander 5 Lachaud, Jacques-Olivier 5 Lanese, Ivan 5 Li, Sanjiang 5 Li, Yongming 5 Monreale, Giacoma Valentina 5 Power, John 5 Rozenberg, Grzegorz 5 Sannella, Donald T. 5 Subrahmanian, V. S. 5 van Glabbeek, Robert Jan 5 Van Hentenryck, Pascal 5 Virbitskaite, Irina B. 5 Zanasi, Fabio 4 Arbab, Farhad 4 Brodo, Linda 4 Castellani, Ilaria 4 Chakrabarti, Partha Pratim 4 Clarke, Dave 4 Devillers, Raymond 4 Engelfriet, Joost 4 Faltings, Boi Volkert 4 Fargier, Hélène 4 Foss, Luciana 4 Habel, Annegret 4 Hirschkoff, Daniel 4 Iranzo, Pascual Julián 4 Janicki, Ryszard 4 Jégou, Philippe 4 Kleijn, Jetty H. C. M. 4 Komendantskaya, Ekaterina 4 Larrosa, Javier 4 Lenisa, Marina 4 Loreti, Michele 4 Lowe, Michael J. S. 4 Madiot, Jean-Marie 4 Miculan, Marino 4 Nigam, Vivek 4 Olveczky, Peter Csaba 4 Orejas, Fernando 4 Parrow, Joachim 4 Pearl, Judea 4 Pesch, Erwin 4 Pichler, Reinhard 4 Pimentel, Elaine 4 Pini, Maria Silvia 4 Pugliese, Rosario 4 Rosenfeld, Azriel 4 Roşu, Grigore 4 Sabadini, Nicoletta 4 Sangiorgi, Davide ...and 1,217 more Authors all top 5 Cited in 114 Serials 179 Theoretical Computer Science 85 Artificial Intelligence 52 Information and Computation 30 Journal of Logical and Algebraic Methods in Programming 28 Acta Informatica 24 Constraints 22 Journal of Computer and System Sciences 22 Journal of Symbolic Computation 21 MSCS. Mathematical Structures in Computer Science 19 The Journal of Logic and Algebraic Programming 17 Formal Aspects of Computing 14 Information Sciences 14 Annals of Mathematics and Artificial Intelligence 13 Fuzzy Sets and Systems 13 Journal of Automated Reasoning 13 Theory and Practice of Logic Programming 11 Information Processing Letters 9 Discrete Applied Mathematics 9 European Journal of Operational Research 8 Annals of Pure and Applied Logic 8 Formal Methods in System Design 7 Science of Computer Programming 7 Logical Methods in Computer Science 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 Journal of Pure and Applied Algebra 4 International Journal of Approximate Reasoning 4 Cybernetics and Systems Analysis 4 Journal of Discrete Algorithms 3 Computing 3 Programming and Computer Software 3 Annals of Operations Research 3 RAIRO. Informatique Théorique et Applications 3 Theory and Applications of Categories 3 Higher-Order and Symbolic Computation 3 Computer Science Review 2 Discrete Mathematics 2 International Journal of General Systems 2 International Journal of Computer & Information Sciences 2 SIAM Journal on Computing 2 Mathematical Social Sciences 2 Circuits, Systems, and Signal Processing 2 International Journal of Parallel Programming 2 Computers & Operations Research 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 Journal of Mathematical Imaging and Vision 2 Journal of Functional Programming 2 Soft Computing 2 RAIRO. Operations Research 2 Natural Computing 2 Computer Languages, Systems & Structures 2 Journal of Applied Logic 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 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 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 1 New Journal of Physics 1 Journal of Software Maintenance and Evolution. Research and Practice ...and 14 more Serials all top 5 Cited in 27 Fields 906 Computer science (68-XX) 137 Mathematical logic and foundations (03-XX) 69 Category theory; homological algebra (18-XX) 69 Operations research, mathematical programming (90-XX) 27 Combinatorics (05-XX) 20 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 17 General algebraic systems (08-XX) 13 Order, lattices, ordered algebraic structures (06-XX) 9 Numerical analysis (65-XX) 9 Information and communication theory, circuits (94-XX) 7 Associative rings and algebras (16-XX) 7 Biology and other natural sciences (92-XX) 6 Systems theory; control (93-XX) 5 History and biography (01-XX) 4 Convex and discrete geometry (52-XX) 3 Quantum theory (81-XX) 2 Number theory (11-XX) 2 Partial differential equations (35-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Probability theory and stochastic processes (60-XX) 2 Statistics (62-XX) 1 General and overarching topics; collections (00-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) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.