×
Author ID: montanari.ugo-g Recent zbMATH articles by "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
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

Publications by Year

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 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

Citations by Year