Edit Profile (opens in new tab) Montanari, Ugo G. Co-Author Distance Author ID: montanari.ugo-g Published as: Montanari, Ugo; Montanari, U.; Montanari, Ugo G.; Montanari, U. G. more...less Homepage: http://pages.di.unipi.it/montanari/ugo.html External Links: MGP · ORCID · ResearchGate · dblp · GND Documents Indexed: 227 Publications since 1969, including 1 Book 24 Contributions as Editor · 1 Further Contribution Biographic References: 14 Publications Co-Authors: 91 Co-Authors with 239 Joint Publications 1,995 Co-Co-Authors all top 5 Co-Authors 12 single-authored 53 Bruni, Roberto 32 Corradini, Andrea 26 Rossi, Francesca 21 Gadducci, Fabio 19 Ferrari, Gian Luigi 17 Melgratti, Hernán 14 Meseguer Guaita, José 13 Sassone, Vladimiro 12 Baldan, Paolo 11 Degano, Pierpaolo 10 Ehrig, Hartmut 9 Bonchi, Filippo 9 Buscemi, Maria Grazia 9 Lanese, Ivan 8 De Nicola, Rocco 8 Sammartino, Matteo 8 Tuosto, Emilio 7 Bistarelli, Stefano 6 Lluch Lafuente, Alberto 6 Martelli, Alberto 6 Pistore, Marco 5 Gorrieri, Roberto 5 Hirsch, Dan 5 Lowe, Michael J. S. 5 Yankelevich, Daniel N. 4 Heckel, Reiko 4 Levi, Giorgio 4 Ribeiro, Leila 4 Rozenberg, Grzegorz 3 Ciancia, Vincenzo 3 Fratta, Luigi 3 Kreowski, Hans-Jörg 3 Laneve, Cosimo 2 Boreale, Michele 2 Bueno, Francisco 2 Castellani, Ilaria 2 Gnesi, Stefania 2 Hermenegildo, Manuel V. 2 Kowalski, Robert A. 2 Marchetti, Sergio 2 Miculan, Marino 2 Monreale, Giacoma Valentina 2 Mowbray, Miranda 2 Orejas, Fernando 2 Pugliese, Rosario 2 Quaglia, Paola 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 Dezani-Ciancaglini, Mariangiola 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 Ristori, Gioia 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 244 Computer science (68-XX) 24 Category theory; homological algebra (18-XX) 23 General and overarching topics; collections (00-XX) 10 Mathematical logic and foundations (03-XX) 10 Operations research, mathematical programming (90-XX) 8 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 217 Publications have been cited 2,267 times in 1,239 Documents Cited by ▼ Year ▼ An efficient unification algorithm. Zbl 0478.68093 Martelli, Alberto; Montanari, Ugo 169 1982 Networks of constraints: Fundamental properties and applications to picture processing. Zbl 0284.68074 Montanari, Ugo 159 1974 Semiring-based constraint satisfaction and optimization. Zbl 0890.68032 Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 103 1997 Petri nets are monoids. Zbl 0711.68077 Meseguer, José; Montanari, Ugo 84 1990 Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison. Zbl 0946.68143 Bistarelli, S.; Montanari, U.; Rossi, F.; Schiex, T.; Verfaillie, G.; Fargier, H. 70 1999 Handbook of graph grammars and computing by graph transformation. Vol. 3: Concurrency, parallelism, and distribution. Zbl 0951.68049 53 1999 Contextual nets. Zbl 0835.68084 Montanari, Ugo; Rossi, Francesca 51 1995 A distributed operational semantics of CCS based on condition/event systems. Zbl 0656.68061 Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo 42 1988 Graph processes. Zbl 0854.68054 Corradini, A.; Montanari, U.; Rossi, F. 42 1996 Contextual Petri nets, asymmetric event structures, and processes. Zbl 1005.68103 Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 41 2001 cc-pi: a constraint-based language for specifying service level agreements. Zbl 1187.68063 Buscemi, Maria Grazia; Montanari, Ugo 33 2007 An introduction to history dependent automata. Zbl 0925.68289 Montanari, Ugo; Pistore, Marco 32 1997 A partial ordering semantics for CCS. Zbl 0701.68073 Degano, P.; De Nicola, R.; Montanari, U. 27 1990 On the semantics of place/transition Petri nets. Zbl 0876.68072 Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 25 1997 Optimizing decision trees through heuristically guided search. Zbl 0395.90079 Martelli, Alberto; Montanari, Ugo 25 1978 Concurrent histories: a basis for observing distributed systems. Zbl 0619.68017 Degano, Pierpaolo; Montanari, Ugo 24 1987 Axiomatizing net computations and processes. Zbl 0722.68085 Degano, Pierpaolo; Meseguer, José; Montanari, Ugo 24 1989 Dynamic congruence VS. Progressing bisimulation for CCS. Zbl 0762.68044 Montanari, Ugo; Sassone, Vladimiro 24 1992 Observability concepts in abstract data type specification. Zbl 0338.68023 Giarratana, V.; Gimona, F.; Montanari, U. 23 1976 About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083 Gadducci, Fabio; Miculan, Marino; Montanari, Ugo 22 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 Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus. Zbl 1077.68065 Montanari, Ugo; Pistore, Marco 20 2005 Compositional SOS and beyond: A coalgebraic view of open systems. Zbl 1014.68107 Corradini, Andrea; Heckel, Reiko; Montanari, Ugo 20 2002 Connector algebras for C/E and P/T nets’ interactions. Zbl 1274.68224 Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel 18 2013 Constraint relaxation may be perfect. Zbl 1117.68495 Montanari, Ugo; Rossi, Francesca 17 1991 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 Unfolding semantics of graph transformation. Zbl 1115.68093 Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila 15 2007 Synchronized hyperedge replacement with name mobility. A graphical calculus for mobile systems. Zbl 1006.68538 Hirsch, Dan; Montanari, Ugo 15 2001 Separable graphs, planar graphs and Web grammars. Zbl 0215.56103 Montanari, U. G. 15 1970 Soft concurrent constraint programming. Zbl 1367.68315 Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 15 2006 Comparing logics for rewriting: Rewriting logic, action calculi and tile logic. Zbl 1001.68056 Gadducci, Fabio; Montanari, Ugo 15 2002 Zero-safe nets: Comparing the collective and individual token approaches. Zbl 1046.68615 Bruni, Roberto; Montanari, Ugo 15 2000 Mapping tile logic into rewriting logic. Zbl 0903.08010 Meseguer, José; Montanari, Ugo 14 1998 \(\pi\)-calculus, structured coalgebras, and minimal HD-automata. Zbl 0996.68125 Montanari, Ugo; Pistore, Marco 14 2000 An interactive semantics of logic programming. Zbl 1066.68512 Bruni, Roberto; Montanari, Ugo; Rossi, Francesca 14 2001 Minimizing transition systems for name passing calculi: A co-algebraic formulation. Zbl 1077.68716 Ferrari, Gianluigi; Montanari, Ugo; Pistore, Marco 14 2002 A note on minimal length polygonal approximation to a digitized contour. Zbl 0185.43803 Montanari, U. 14 1970 Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types. Zbl 1070.68102 Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio 14 2005 An algebraic semantics for structured transition systems and its application to logic programs. Zbl 0756.68075 Corradini, Andrea; Montanari, Ugo 14 1992 Process versus unfolding semantics for Place/Transition Petri nets. Zbl 0872.68130 Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 14 1996 Universal axioms for bisimulations. Zbl 0782.68044 Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo 14 1993 CCS is an (augmented) contact free C/E system. Zbl 0635.68058 Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo 13 1987 Event structure semantics for nominal calculi. Zbl 1151.68512 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 13 2006 Synchronised hyperedge replacement as a model for service oriented computing. Zbl 1196.68025 Ferrari, Gian Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, Emilio 13 2006 Dynamic programming as graph searching: An algebraic approach. Zbl 0471.90092 Gnesi, Stefania; Montanari, Ugo; Martelli, Alberto 13 1981 A connector algebra for P/T nets interactions. Zbl 1344.68161 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 12 2011 Symmetries, local names and dynamic (de)-allocation of names. Zbl 1207.68223 Ciancia, Vincenzo; Montanari, Ugo 12 2010 From SOS specifications to structured coalgebras: How to make bisimulation a congruence. Zbl 0918.68065 Corradini, Andrea; Heckel, Reiko; Montanari, Ugo 12 1999 Continuous skeletons from digitized images. Zbl 0191.17802 Montanari, U. 12 1969 A first order coalgebraic model of \(\pi\)-calculus early observational equivalence. Zbl 1012.68120 Buscemi, Maria Grazia; Montanari, Ugo 12 2002 Functorial models for Petri nets. Zbl 1005.68102 Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 12 2001 Families of symmetries as efficient models of resource binding. Zbl 1247.68172 Ciancia, Vincenzo; Kurz, Alexander; Montanari, Ugo 11 2010 Axiomatizing the algebra of net computations and processes. Zbl 0849.68087 Degano, Pierpaolo; Meseguer, José; Montanari, Ugo 11 1996 Internal strategies in a rewriting implementation of tile systems. Zbl 0917.68104 Bruni, R.; Meseguer, J.; Montanari, U. 11 1998 An extended expansion theorem. Zbl 0967.68513 Ferrari, Gian Luigi; Gorrieri, Roberto; Montanari, Ugo 10 1991 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 Towards the unification of models for concurrency. Zbl 0758.68027 Ferrari, Gian Luigi; Montanari, Ugo 10 1990 Tile formats for located and mobile systems. Zbl 1046.68619 Ferrari, GianLuigi; Montanari, Ugo 10 2000 Graph rewriting with unification and composition. Zbl 0643.68103 Parisi-Presicce, Francesco; Ehrig, Hartmut; Montanari, Ugo 9 1987 Partial orderings descriptions and observations of nondeterministic concurrent processes. (Technical contribution). Zbl 0683.68067 Degano, P.; DeNicola, R.; Montanari, U. 9 1989 Unfolding of double-pushout graph grammars is a coreflection. Zbl 0958.68081 Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 9 2000 Unfolding and event structure semantics for graph grammars. Zbl 0946.68087 Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 9 1999 Partial ordering derivations for CCS. Zbl 0571.68016 Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo 9 1985 D-fusion: A distinctive fusion calculus. Zbl 1116.68540 Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo 9 2004 An event structure semantics for P/T contextual nets: Asymmetric event structures. Zbl 0902.68140 Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 8 1998 Soft constraint logic programming and generalized shortest path problems. Zbl 1073.90563 Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 8 2002 A LTS semantics of ambients via graph synchronization with mobility. Zbl 1042.68615 Ferrari, GianLuigi; Montanari, Ugo; Tuosto, Emilio 8 2001 Quantitative \(\mu\)-calculus and CTL defined over constraint semirings. Zbl 1080.68065 Lluch-Lafuente, Alberto; Montanari, Ugo 8 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 A \(\pi\)-calculus with explicit substitutions. Zbl 0874.68197 Ferrari, Gian-Luigi; Montanari, Ugo; Quaglia, Paola 8 1996 Representation theorems for Petri nets. Zbl 0885.68115 Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 8 1997 A grey-weighted skeleton. Zbl 0205.17903 Levi, G.; Montanari, U. 8 1970 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 parametric approach to localities. Zbl 1427.68207 Montanari, Ugo; Yankelevich, Daniel 8 1992 A concurrent graph semantics for mobile ambients. Zbl 1260.68094 Gadducci, Fabio; Montanari, Ugo 8 2001 Graph grammars and logic programming. Zbl 0765.68083 Corradini, Andrea; Montanari, Ugo; Rossi, Francesca; Ehrig, Hartmut; Löwe, Michael 7 1991 Open bisimulation for the concurrent constraint pi-calculus. Zbl 1133.68384 Buscemi, Maria Grazia; Montanari, Ugo 7 2008 Tile transition systems as structured coalgebras. Zbl 0944.18006 Corradini, Andrea; Heckel, Reiko; Montanari, Ugo 7 1999 Axioms for contextual net processes. Zbl 0912.68142 Gadducci, F.; Montanari, U. 7 1998 Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Zbl 1186.68315 Bonchi, Filippo; Montanari, Ugo 7 2009 Tiles for Reo. Zbl 1253.68090 Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; Montanari, Ugo 7 2009 Soft concurrent constraint programming. Zbl 1077.68570 Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 7 2002 A\(^ 2\)CCS: Atomic actions for CCS. Zbl 0698.68029 Gorrieri, Roberto; Marchetti, Sergio; Montanari, Ugo 7 1990 Towards hierarchical description of systems: A proof system for strong prefixing. Zbl 0732.68074 Gorrieri, Roberto; Montanari, Ugo 7 1990 On the implementation of concurrent calculi in net calculi: two case studies. Zbl 0873.68144 Gorrieri, Roberto; Montanari, Ugo 7 1995 Network conscious \(\pi\)-calculus: a concurrent semantics. Zbl 1342.68235 Montanari, Ugo; Sammartino, Matteo 7 2012 Coalgebraic models for reactive systems. Zbl 1151.68507 Bonchi, Filippo; Montanari, Ugo 7 2007 Connector algebras, Petri nets, and BIP. Zbl 1336.68006 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 7 2012 Synchronization algebras with mobility for graph transformations. Zbl 1272.68310 Lanese, Ivan; Montanari, Ugo 7 2005 Relating two categorical models of term rewriting. Zbl 1508.68146 Corradini, A.; Gadducci, F.; Montanari, U. 7 1995 A name abstraction functor for named sets. Zbl 1279.68052 Ciancia, Vincenzo; Montanari, Ugo 7 2008 Minimal transition systems for history-preserving bisimulation. Zbl 1498.68190 Montanari, Ugo; Pistore, Marco 7 1997 Symbolic semantics revisited. Zbl 1139.68039 Bonchi, Filippo; Montanari, Ugo 6 2008 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 Observing reductions in nominal calculi via a graphical encoding of processes. Zbl 1171.68572 Gadducci, Fabio; Montanari, Ugo 6 2005 Bayesian network semantics for Petri nets. Zbl 1436.68207 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 1 2020 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 Decomposition structures for soft constraint evaluation problems: an algebraic approach. Zbl 1383.68085 Montanari, Ugo; Sammartino, Matteo; Tcheukam, Alain 1 2018 Asynchronous distributed execution of fixpoint-based computational fields. Zbl 1398.68369 Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo 4 2017 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 Programming autonomic systems with multiple constraint stores. Zbl 1454.68126 Montanari, Ugo; Pugliese, Rosario; Tiezzi, Francesco 2 2015 cJoin: Join with communicating transactions. Zbl 1361.68060 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 1 2015 Network-conscious \(\pi\)-calculus – a model of Pastry. Zbl 1342.68236 Montanari, Ugo; Sammartino, Matteo 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 Behaviour, interaction and dynamics. Zbl 1407.68098 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 4 2014 A network-conscious \(\pi\)-calculus and its coalgebraic semantics. Zbl 1342.68234 Montanari, Ugo; Sammartino, Matteo 3 2014 Connector algebras for C/E and P/T nets’ interactions. Zbl 1274.68224 Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel 18 2013 Network conscious \(\pi\)-calculus: a concurrent semantics. Zbl 1342.68235 Montanari, Ugo; Sammartino, Matteo 7 2012 Connector algebras, Petri nets, and BIP. Zbl 1336.68006 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 7 2012 A connector algebra for P/T nets interactions. Zbl 1344.68161 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 12 2011 QoS negotiation in service composition. Zbl 1207.68220 Buscemi, Maria Grazia; Montanari, Ugo 6 2011 Symmetries, local names and dynamic (de)-allocation of names. Zbl 1207.68223 Ciancia, Vincenzo; Montanari, Ugo 12 2010 Families of symmetries as efficient models of resource binding. Zbl 1247.68172 Ciancia, Vincenzo; Kurz, Alexander; Montanari, Ugo 11 2010 Unicast and multicast QoS routing with soft-constraint logic programming. Zbl 1351.68031 Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca; Santini, Francesco 3 2010 Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Zbl 1186.68315 Bonchi, Filippo; Montanari, Ugo 7 2009 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 Coalgebraic symbolic semantics. Zbl 1239.68049 Bonchi, Filippo; Montanari, Ugo 2 2009 Minimization algorithm for symbolic bisimilarity. Zbl 1234.68288 Bonchi, Filippo; Montanari, Ugo 1 2009 Open bisimulation for the concurrent constraint pi-calculus. Zbl 1133.68384 Buscemi, Maria Grazia; Montanari, Ugo 7 2008 A name abstraction functor for named sets. Zbl 1279.68052 Ciancia, Vincenzo; Montanari, Ugo 7 2008 Symbolic semantics revisited. Zbl 1139.68039 Bonchi, Filippo; Montanari, Ugo 6 2008 Style-based architectural reconfigurations. Zbl 1169.68306 Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio 6 2008 A survey of constraint-based programming paradigms. Zbl 1302.68249 Buscemi, Maria Grazia; Montanari, Ugo 3 2008 A coalgebraic theory of reactive systems. Zbl 1279.68249 Bonchi, Filippo; Montanari, Ugo 2 2008 G-reactive systems as coalgebras. Zbl 1277.68163 Bonchi, Filippo; Montanari, Ugo 1 2008 cc-pi: a constraint-based language for specifying service level agreements. Zbl 1187.68063 Buscemi, Maria Grazia; Montanari, Ugo 33 2007 Unfolding semantics of graph transformation. Zbl 1115.68093 Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila 15 2007 Coalgebraic models for reactive systems. Zbl 1151.68507 Bonchi, 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.68021 Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca; Santini, Francesco 4 2007 A compositional coalgebraic model of fusion calculus. Zbl 1121.68078 Buscemi, Maria Grazia; Montanari, Ugo 3 2007 Modelling calculi with name mobility using graphs with equivalences. Zbl 1278.68211 Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo 2 2007 Mapping fusion and synchronized hyperedge replacement into logic programming. Zbl 1112.68022 Lanese, Ivan; 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.68083 Gadducci, Fabio; Miculan, Marino; Montanari, Ugo 22 2006 A basic algebra of stateless connectors. Zbl 1153.68331 Bruni, Roberto; Lanese, Ivan; Montanari, Ugo 21 2006 Soft concurrent constraint programming. Zbl 1367.68315 Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 15 2006 Event structure semantics for nominal calculi. Zbl 1151.68512 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 13 2006 Synchronised hyperedge replacement as a model for service oriented computing. Zbl 1196.68025 Ferrari, Gian Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, Emilio 13 2006 Hoare vs Milner: comparing synchronizations in a graphical framework with mobility. Zbl 1273.68193 Lanese, Ivan; Montanari, Ugo 5 2006 A compositional coalgebraic model of a fragment of fusion calculus. Zbl 1316.68090 Buscemi, Maria Grazia; Montanari, Ugo 3 2006 Concurrent rewriting for graphs with equivalences. Zbl 1151.68503 Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo 2 2006 Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Zbl 1147.68003 2 2006 Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus. Zbl 1077.68065 Montanari, Ugo; Pistore, Marco 20 2005 Theoretical foundations for compensations in flow composition languages. Zbl 1369.68070 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 16 2005 Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types. Zbl 1070.68102 Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio 14 2005 Quantitative \(\mu\)-calculus and CTL defined over constraint semirings. Zbl 1080.68065 Lluch-Lafuente, Alberto; Montanari, Ugo 8 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 Synchronization algebras with mobility for graph transformations. Zbl 1272.68310 Lanese, Ivan; Montanari, Ugo 7 2005 Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428 Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł 6 2005 Observing reductions in nominal calculi via a graphical encoding of processes. Zbl 1171.68572 Gadducci, Fabio; Montanari, Ugo 6 2005 Modelling fusion calculus using HD-automata. Zbl 1151.68527 Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio; Victor, Björn; Yemane, Kidane 5 2005 A general name binding mechanism. Zbl 1151.68508 Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo 5 2005 Model checking for nominal calculi. Zbl 1119.68115 Ferrari, Gian Luigi; Montanari, Ugo; Tuosto, Emilio 4 2005 Graph processes with fusions: Concurrency by colimits, again. Zbl 1075.68058 Gadducci, Fabio; Montanari, Ugo 3 2005 Quantitative \(\mu\)-calculus and CTL based on constraint semirings. Zbl 1272.68269 Lluch-Lafuente, Alberto; Montanari, Ugo 3 2005 Observational congruences for dynamically reconfigurable tile systems. Zbl 1080.68075 Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro 2 2005 Complete axioms for stateless connectors. Zbl 1151.68511 Bruni, Roberto; Lanese, Ivan; Montanari, Ugo 1 2005 D-fusion: A distinctive fusion calculus. Zbl 1116.68540 Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo 9 2004 Nested commits for mobile calculi: extending join. Zbl 1088.68507 Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo 5 2004 Some characterization results for permutation algebras. Zbl 1271.68148 Gadducci, Fabio; Miculan, Marino; Montanari, Ugo 4 2004 Concurrent models for Linda with transactions. Zbl 1085.68027 Bruni, Roberto; Montanari, Ugo 3 2004 Shaped hierarchical architectural design. Zbl 1271.68120 Hirsch, Dan; 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 A graphical fusion calculus. Zbl 1271.68188 Lanese, Ivan; 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 Web services and models of computation. Zbl 1271.68068 Montanari, Ugo 1 2004 WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Zbl 1271.68038 1 2004 Pre-nets, read ARCS and unfolding: A functorial presentation. Zbl 1278.68210 Baldan, Paolo; Bruni, Roberto; Montanari, Ugo 3 2003 Coreflective concurrent semantics for single-pushout graph grammars. Zbl 1278.68117 Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila 3 2003 GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs. Zbl 1270.68123 Coccia, Matteo; Gadducci, Fabio; Montanari, Ugo 3 2003 A formal basis for reasoning on programmable QoS. Zbl 1274.68022 De Nicola, Rocco; Ferrari, Gianluigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, Emilio 2 2003 Algebraic theories for contextual pre-nets. Zbl 1257.68107 Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 1 2003 Graph-based models of internetworking systems. Zbl 1274.68011 Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio 1 2003 Normal forms for algebras of connections. Zbl 1061.68110 Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo 22 2002 Compositional SOS and beyond: A coalgebraic view of open systems. Zbl 1014.68107 Corradini, Andrea; Heckel, Reiko; Montanari, Ugo 20 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 Comparing logics for rewriting: Rewriting logic, action calculi and tile logic. Zbl 1001.68056 Gadducci, Fabio; Montanari, Ugo 15 2002 Minimizing transition systems for name passing calculi: A co-algebraic formulation. Zbl 1077.68716 Ferrari, Gianluigi; Montanari, Ugo; Pistore, Marco 14 2002 A first order coalgebraic model of \(\pi\)-calculus early observational equivalence. Zbl 1012.68120 Buscemi, Maria Grazia; Montanari, Ugo 12 2002 Soft constraint logic programming and generalized shortest path problems. Zbl 1073.90563 Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 8 2002 Soft concurrent constraint programming. Zbl 1077.68570 Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 7 2002 Dynamic connectors for concurrency. Zbl 0996.68073 Bruni, Roberto; Montanari, Ugo 6 2002 Bisimulation equivalences for graph grammars. Zbl 1060.68050 Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 4 2002 Orchestrating transactions in join calculus. Zbl 1012.68524 Bruni, Roberto; Laneve, Cosimo; Montanari, Ugo 4 2002 Linear ordered graph grammars and their algebraic foundations. Zbl 1028.68074 Montanari, Ugo; Ribeiro, Leila 3 2002 Comparing cospan-spans and tiles via a Hoare-style process calculus. Zbl 1268.68126 Gadducci, Fabio; Katis, Piergiulio; Montanari, Ugo; Sabadini, Nicoletta; Walters, Robert F. C. 2 2002 Two graph-based techniques for software architecture reconfiguration. Zbl 1263.68079 Hirsch, Dan; Montanari, Ugo 2 2002 Contextual Petri nets, asymmetric event structures, and processes. Zbl 1005.68103 Baldan, Paolo; Corradini, Andrea; Montanari, Ugo 41 2001 ...and 117 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,511 Authors 79 Montanari, Ugo G. 42 Corradini, Andrea 40 Gadducci, Fabio 33 Bruni, Roberto 30 Baldan, Paolo 23 Bonchi, Filippo 23 Meseguer Guaita, José 20 Rossi, Francesca 20 Sobociński, Paweł 18 König, Barbara 17 Ehrig, Hartmut 16 Ferrari, Gian Luigi 15 Bistarelli, Stefano 15 Ribeiro, Leila 15 Santini, Francesco 14 Cooper, Martin C. 14 Degano, Pierpaolo 14 Jeavons, Peter G. 13 Dechter, Rina 13 Heckel, Reiko 12 Pinna, G. Michele 11 Gorrieri, Roberto 11 Martí-Oliet, Narciso 11 Melgratti, Hernán 11 Zanasi, Fabio 10 Bliudze, Simon 10 Cohen, David A. 10 Priami, Corrado 10 Živný, Stanislav 9 Ciancia, Vincenzo 9 Koutny, Maciej 9 van Glabbeek, Robert Jan 8 Busi, Nadia 8 De Nicola, Rocco 8 Sammartino, Matteo 8 Schmidt-Schauß, Manfred 8 Venable, Kristen Brent 7 Buscemi, Maria Grazia 7 Castellani, Ilaria 7 Corradini, Flavio 7 Haar, Stefan 7 Janicki, Ryszard 7 Kleijn, Jetty 7 Lanese, Ivan 7 Lluch Lafuente, Alberto 7 Olarte, Carlos 7 Sassone, Vladimiro 7 Talcott, Carolyn L. 7 Vogler, Walter 7 Yankelevich, Daniel N. 6 Apt, Krzysztof Rafal 6 Chatain, Thomas 6 Dotti, Fernando Luís 6 Dubois, Didier 6 Echahed, Rachid 6 Iranzo, Pascual Julián 6 Kreowski, Hans-Jörg 6 Kurz, Alexander 6 Li, Sanjiang 6 Li, Yongming 6 Monreale, Giacoma Valentina 6 Parisi-Presicce, Francesco 6 Power, John 6 Sangiorgi, Davide 6 Sifakis, Joseph 6 Tuosto, Emilio 6 Walsh, Toby 6 Wilson, Nic 6 Wirsing, Martin 5 Brodo, Linda 5 Devillers, Raymond 5 Heindel, Tobias 5 Inverardi, Paola 5 Jégou, Philippe 5 Krokhin, Andrei A. 5 Kuske, Sabine 5 Lachaud, Jacques-Olivier 5 Lenisa, Marina 5 Loreti, Michele 5 Lowe, Michael J. S. 5 Nigam, Vivek 5 Orejas, Fernando 5 Parrow, Joachim 5 Pearl, Judea 5 Pini, Maria Silvia 5 Prade, Henri M. 5 Rozenberg, Grzegorz 5 Sannella, Donald T. 5 Snyder, Wayne 5 Subrahmanian, V. S. 5 Tarlecki, Andrzej 5 Van Hentenryck, Pascal 5 Virbitskaite, Irina B. 4 Arbab, Farhad 4 Baranov, Eduard 4 Best, Eike 4 Boudol, Gérard 4 Boy de la Tour, Thierry 4 Chakrabarti, Partha Pratim 4 Clarke, Dave ...and 1,411 more Authors all top 5 Cited in 125 Serials 183 Theoretical Computer Science 88 Artificial Intelligence 62 Information and Computation 37 Journal of Logical and Algebraic Methods in Programming 29 Acta Informatica 25 Constraints 24 MSCS. Mathematical Structures in Computer Science 22 Journal of Symbolic Computation 20 The Journal of Logic and Algebraic Programming 19 Journal of Computer and System Sciences 18 Formal Aspects of Computing 17 Logical Methods in Computer Science 15 Information Sciences 15 Theory and Practice of Logic Programming 14 Journal of Automated Reasoning 14 Annals of Mathematics and Artificial Intelligence 12 Information Processing Letters 11 Fuzzy Sets and Systems 10 Discrete Applied Mathematics 10 European Journal of Operational Research 8 Formal Methods in System Design 7 Science of Computer Programming 7 Annals of Pure and Applied Logic 6 Applied Categorical Structures 6 Journal of Heuristics 6 RAIRO. Theoretical Informatics and Applications 5 Journal of Computer Science and Technology 5 Pattern Recognition 5 Distributed Computing 4 Computers & Mathematics with Applications 4 International Journal of Approximate Reasoning 4 Journal of Mathematical Imaging and Vision 4 Cybernetics and Systems Analysis 4 Fundamenta Informaticae 4 Natural Computing 4 Journal of Discrete Algorithms 4 Computer Science Review 3 Computing 3 Programming and Computer Software 3 SIAM Journal on Computing 3 Annals of Operations Research 3 RAIRO. Informatique Théorique et Applications 3 Journal of Functional Programming 3 Theory and Applications of Categories 3 Higher-Order and Symbolic Computation 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 Algorithmica 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 Computer Languages, Systems & Structures 2 Asian-European Journal of Mathematics 1 International Journal of Control 1 Journal of Mathematical Analysis and Applications 1 Physica A 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 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 Algebraic Combinatorics 1 Journal of Applied Non-Classical Logics 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 ...and 25 more Serials all top 5 Cited in 29 Fields 1,133 Computer science (68-XX) 168 Mathematical logic and foundations (03-XX) 95 Category theory; homological algebra (18-XX) 74 Operations research, mathematical programming (90-XX) 35 Combinatorics (05-XX) 24 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 21 General algebraic systems (08-XX) 14 Order, lattices, ordered algebraic structures (06-XX) 14 Biology and other natural sciences (92-XX) 13 Information and communication theory, circuits (94-XX) 10 History and biography (01-XX) 9 Associative rings and algebras (16-XX) 9 Numerical analysis (65-XX) 8 Systems theory; control (93-XX) 6 Quantum theory (81-XX) 5 Dynamical systems and ergodic theory (37-XX) 5 Statistics (62-XX) 4 Convex and discrete geometry (52-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) 2 Statistical mechanics, structure of matter (82-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 Ordinary differential equations (34-XX) 1 Probability theory and stochastic processes (60-XX) Citations by Year