×
Compute Distance To:
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
52 Bruni, Roberto
29 Corradini, Andrea
23 Rossi, Francesca
20 Gadducci, Fabio
17 Ferrari, Gian Luigi
17 Melgratti, Hernán
14 Meseguer Guaita, José
13 Sassone, Vladimiro
12 Baldan, Paolo
11 Degano, Pierpaolo
9 Bonchi, Filippo
9 Buscemi, Maria Grazia
9 Lanese, Ivan
8 De Nicola, Rocco
8 Ehrig, Hartmut
8 Tuosto, Emilio
7 Bistarelli, Stefano
7 Sammartino, Matteo
6 Lluch Lafuente, Alberto
6 Martelli, Alberto
5 Gorrieri, Roberto
5 Hirsch, Dan
5 Pistore, Marco
4 Heckel, Reiko
4 Levi, Giorgio
4 Ribeiro, Leila
4 Rozenberg, Grzegorz
4 Yankelevich, Daniel
3 Ciancia, Vincenzo
3 Fratta, Luigi
3 Kreowski, Hans-Jörg
3 Lowe, Michael J. S.
2 Boreale, Michele
2 Bueno, Francisco
2 Castellani, Ilaria
2 Gnesi, Stefania
2 Hermenegildo, Manuel V.
2 Kowalski, Robert A.
2 Laneve, Cosimo
2 Marchetti, Sergio
2 Miculan, Marino
2 Monreale, Giacoma Valentina
2 Mowbray, Miranda
2 Orejas, Fernando
2 Pugliese, Rosario
2 Sannella, Donald T.
2 Santini, Francesco
2 Sobociński, Paweł
1 Arbab, Farhad
1 Ayala-Rincón, Mauricio
1 Catalano, Alfonso
1 Clarke, Dave
1 Coccia, Matteo
1 De Francesco, Nicoletta
1 de Frutos-Escrig, David
1 Fargier, Hélène
1 Ferreira, Carla
1 Fiadeiro, José Luiz
1 Franceschi, Paola
1 Galimberti, R.
1 Giarratana, V.
1 Gimona, F.
1 Habermann, A. Nico
1 Haveraaen, Magne
1 Hoare, C. A. R. Tony
1 Katis, Piergiulio
1 König, Barbara
1 Kurz, Alexander
1 Lenisa, Marina
1 Lopes, Antónia
1 Loreti, Michele
1 Mackie, Ian
1 Martí-Oliet, Narciso
1 Mossakowski, Till
1 Padberg, Julia
1 Parisi-Presicce, Francesco
1 Plotkin, Gordon D.
1 Quaglia, Paola
1 Ristori, Gioia
1 Rolim, José D. P.
1 Sabadini, Nicoletta
1 Schiex, Thomas
1 Taentzer, Gabriele
1 Talcott, Carolyn L.
1 Tcheukam, Alain
1 Terreni, Daniele
1 Tiezzi, Francesco
1 Verfaillie, Gérard
1 Victor, Björn
1 Walters, Robert F. C.
1 Yemane, Kidane

Publications by Year

Citations contained in zbMATH Open

191 Publications have been cited 1,677 times in 1,006 Documents Cited by Year
An efficient unification algorithm. Zbl 0478.68093
Martelli, Alberto; Montanari, Ugo
143
1982
Networks of constraints: Fundamental properties and applications to picture processing. Zbl 0284.68074
Montanari, Ugo
142
1974
Semiring-based constraint satisfaction and optimization. Zbl 0890.68032
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca
89
1997
Petri nets are monoids. Zbl 0711.68077
Meseguer, José; Montanari, Ugo
61
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.
59
1999
Contextual nets. Zbl 0835.68084
Montanari, Ugo; Rossi, Francesca
40
1995
Graph processes. Zbl 0854.68054
Corradini, A.; Montanari, U.; Rossi, F.
32
1996
A distributed operational semantics of CCS based on condition/event systems. Zbl 0656.68061
Degano, Pierpaolo; Di Nicola, Rocco; Montanari, Ugo
32
1988
Contextual Petri nets, asymmetric event structures, and processes. Zbl 1005.68103
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
28
2001
cc-pi: a constraint-based language for specifying service level agreements. Zbl 1187.68063
Buscemi, Maria Grazia; Montanari, Ugo
26
2007
Optimizing decision trees through heuristically guided search. Zbl 0395.90079
Martelli, Alberto; Montanari, Ugo
24
1978
An introduction to history dependent automata. Zbl 0925.68289
Montanari, Ugo; Pistore, Marco
23
1997
Dynamic congruence VS. Progressing bisimulation for CCS. Zbl 0762.68044
Montanari, Ugo; Sassone, Vladimiro
21
1992
On the semantics of place/transition Petri nets. Zbl 0876.68072
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
20
1997
Observability concepts in abstract data type specification. Zbl 0338.68023
Giarratana, V.; Gimona, F.; Montanari, U.
19
1976
Normal forms for algebras of connections. Zbl 1061.68110
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo
18
2002
A partial ordering semantics for CCS. Zbl 0701.68073
Degano, P.; De Nicola, R.; Montanari, U.
18
1990
Compositional SOS and beyond: A coalgebraic view of open systems. Zbl 1014.68107
Corradini, Andrea; Heckel, Reiko; Montanari, Ugo
18
2002
Concurrent histories: a basis for observing distributed systems. Zbl 0619.68017
Degano, Pierpaolo; Montanari, Ugo
17
1987
About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083
Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
16
2006
A basic algebra of stateless connectors. Zbl 1153.68331
Bruni, Roberto; Lanese, Ivan; Montanari, Ugo
16
2006
Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus. Zbl 1077.68065
Montanari, Ugo; Pistore, Marco
15
2005
Constraint relaxation may be perfect. Zbl 1117.68495
Montanari, Ugo; Rossi, Francesca
15
1991
Handbook of graph grammars and computing by graph transformation. Vol. 3: Concurrency, parallelism, and distribution. Zbl 0951.68049
15
1999
Connector algebras for C/E and P/T nets’ interactions. Zbl 1274.68224
Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel
13
2013
An algebraic semantics for structured transition systems and its application to logic programs. Zbl 0756.68075
Corradini, Andrea; Montanari, Ugo
13
1992
Soft concurrent constraint programming. Zbl 1367.68315
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca
13
2006
Separable graphs, planar graphs and Web grammars. Zbl 0215.56103
Montanari, U. G.
13
1970
An interactive semantics of logic programming. Zbl 1066.68512
Bruni, Roberto; Montanari, Ugo; Rossi, Francesca
13
2001
Zero-safe nets: Comparing the collective and individual token approaches. Zbl 1046.68615
Bruni, Roberto; Montanari, Ugo
12
2000
Dynamic programming as graph searching: An algebraic approach. Zbl 0471.90092
Gnesi, Stefania; Montanari, Ugo; Martelli, Alberto
12
1981
Theoretical foundations for compensations in flow composition languages. Zbl 1369.68070
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
12
2005
Mapping tile logic into rewriting logic. Zbl 0903.08010
Meseguer, José; Montanari, Ugo
12
1998
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Zbl 0993.68058
Bruni, Roberto; Meseguer, José; Montanari, Ugo
12
2002
\(\pi\)-calculus, structured coalgebras, and minimal HD-automata. Zbl 0996.68125
Montanari, Ugo; Pistore, Marco
12
2000
A note on minimal length polygonal approximation to a digitized contour. Zbl 0185.43803
Montanari, U.
12
1970
A connector algebra for P/T nets interactions. Zbl 1344.68161
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
11
2011
Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types. Zbl 1070.68102
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio
11
2005
From SOS specifications to structured coalgebras: How to make bisimulation a congruence. Zbl 0918.68065
Corradini, Andrea; Heckel, Reiko; Montanari, Ugo
11
1999
Minimizing transition systems for name passing calculi: A co-algebraic formulation. Zbl 1077.68716
Ferrari, Gianluigi; Montanari, Ugo; Pistore, Marco
11
2002
Unfolding semantics of graph transformation. Zbl 1115.68093
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila
10
2007
Universal axioms for bisimulations. Zbl 0782.68044
Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo
10
1993
Functorial models for Petri nets. Zbl 1005.68102
Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
10
2001
Axiomatizing net computations and processes. Zbl 0722.68085
Degano, Pierpaolo; Meseguer, José; Montanari, Ugo
10
1989
Symmetries, local names and dynamic (de)-allocation of names. Zbl 1207.68223
Ciancia, Vincenzo; Montanari, Ugo
10
2010
Process versus unfolding semantics for Place/Transition Petri nets. Zbl 0872.68130
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
10
1996
Comparing logics for rewriting: Rewriting logic, action calculi and tile logic. Zbl 1001.68056
Gadducci, Fabio; Montanari, Ugo
10
2002
Internal strategies in a rewriting implementation of tile systems. Zbl 0917.68104
Bruni, R.; Meseguer, J.; Montanari, U.
9
1998
Continuous skeletons from digitized images. Zbl 0191.17802
Montanari, U.
9
1969
Families of symmetries as efficient models of resource binding. Zbl 1247.68172
Ciancia, Vincenzo; Kurz, Alexander; Montanari, Ugo
8
2010
Tile formats for located and mobile systems. Zbl 1046.68619
Ferrari, GianLuigi; Montanari, Ugo
8
2000
A first order coalgebraic model of \(\pi\)-calculus early observational equivalence. Zbl 1012.68120
Buscemi, Maria Grazia; Montanari, Ugo
8
2002
Quantitative \(\mu\)-calculus and CTL defined over constraint semirings. Zbl 1080.68065
Lluch-Lafuente, Alberto; Montanari, Ugo
8
2005
An event structure semantics for P/T contextual nets: Asymmetric event structures. Zbl 0902.68140
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
8
1998
CCS is an (augmented) contact free C/E system. Zbl 0635.68058
Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo
8
1987
Comparing two approaches to compensable flow composition. Zbl 1134.68316
Bruni, Roberto; Butler, Michael; Ferreira, Carla; Hoare, Tony; Melgratti, Hernán; Montanari, Ugo
7
2005
Tiles for Reo. Zbl 1253.68090
Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; Montanari, Ugo
7
2009
Unfolding of double-pushout graph grammars is a coreflection. Zbl 0958.68081
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
7
2000
Synchronized hyperedge replacement with name mobility. A graphical calculus for mobile systems. Zbl 1006.68538
Hirsch, Dan; Montanari, Ugo
7
2001
Representation theorems for Petri nets. Zbl 0885.68115
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
7
1997
Network conscious \(\pi\)-calculus: a concurrent semantics. Zbl 1342.68235
Montanari, Ugo; Sammartino, Matteo
7
2012
Partial ordering derivations for CCS. Zbl 0571.68016
Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo
7
1985
Towards the unification of models for concurrency. Zbl 0758.68027
Ferrari, Gian Luigi; Montanari, Ugo
7
1990
Connector algebras, Petri nets, and BIP. Zbl 1336.68006
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
7
2012
Soft constraint logic programming and generalized shortest path problems. Zbl 1073.90563
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca
7
2002
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Zbl 1186.68315
Bonchi, Filippo; Montanari, Ugo
7
2009
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
7
2000
A grey-weighted skeleton. Zbl 0205.17903
Levi, G.; Montanari, U.
7
1970
A concurrent graph semantics for mobile ambients. Zbl 1260.68094
Gadducci, Fabio; Montanari, Ugo
6
2001
Synchronised hyperedge replacement as a model for service oriented computing. Zbl 1196.68025
Ferrari, Gian Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, Emilio
6
2006
Open bisimulation for the concurrent constraint pi-calculus. Zbl 1133.68384
Buscemi, Maria Grazia; Montanari, Ugo
6
2008
D-fusion: A distinctive fusion calculus. Zbl 1116.68540
Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo
6
2004
Axiomatizing the algebra of net computations and processes. Zbl 0849.68087
Degano, Pierpaolo; Meseguer, José; Montanari, Ugo
6
1996
Axioms for contextual net processes. Zbl 0912.68142
Gadducci, F.; Montanari, U.
6
1998
Unfolding and event structure semantics for graph grammars. Zbl 0946.68087
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
6
1999
Coalgebraic models for reactive systems. Zbl 1151.68507
Bonchi, Filippo; Montanari, Ugo
6
2007
An extended expansion theorem. Zbl 0967.68513
Ferrari, Gian Luigi; Gorrieri, Roberto; Montanari, Ugo
6
1991
Tile transition systems as structured coalgebras. Zbl 0944.18006
Corradini, Andrea; Heckel, Reiko; Montanari, Ugo
6
1999
Synchronization algebras with mobility for graph transformations. Zbl 1272.68310
Lanese, Ivan; Montanari, Ugo
5
2005
Event structure semantics for nominal calculi. Zbl 1151.68512
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
5
2006
A general name binding mechanism. Zbl 1151.68508
Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo
5
2005
Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł
5
2005
Normal forms for partitions and relations. Zbl 0955.68081
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo
5
1999
Functorial semantics for Petri nets under the individual token philosophy. Zbl 0966.68108
Bruni, R.; Meseguer, J.; Montanari, U.; Sassone, V.
5
1999
Axiomatizing permutation equivalence. Zbl 0884.68070
Laneve, Cosimo; Montanari, Ugo
5
1996
Tiles, rewriting rules and CCS. Zbl 0917.68115
Gadducci, Fabio; Montanari, Ugo
5
1996
A comparison of Petri net semantics under the collective token philosophy. Zbl 0932.68062
Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
5
1998
History dependent verification for partial order systems. Zbl 0883.68099
Montanari, Ugo; Pistore, Marco
5
1997
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. Zbl 1320.68125
Bruni, Roberto; Montanari, Ugo; Plotkin, Gordon; Terreni, Daniele
5
2014
On the implementation of concurrent calculi in net calculi: two case studies. Zbl 0873.68144
Gorrieri, Roberto; Montanari, Ugo
5
1995
Open ended systems, dynamic bisimulation and tile logic. Zbl 0998.68087
Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro
5
2000
A LTS semantics of ambients via graph synchronization with mobility. Zbl 1042.68615
Ferrari, GianLuigi; Montanari, Ugo; Tuosto, Emilio
5
2001
Soft concurrent constraint programming. Zbl 1077.68570
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca
5
2002
Some characterization results for permutation algebras. Zbl 1271.68148
Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
4
2004
Observing reductions in nominal calculi via a graphical encoding of processes. Zbl 1171.68572
Gadducci, Fabio; Montanari, Ugo
4
2005
A name abstraction functor for named sets. Zbl 1279.68052
Ciancia, Vincenzo; Montanari, Ugo
4
2008
Behaviour, interaction and dynamics. Zbl 1407.68098
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
4
2014
Symbolic semantics revisited. Zbl 1139.68039
Bonchi, Filippo; Montanari, Ugo
4
2008
Nested commits for mobile calculi: extending join. Zbl 1088.68507
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
4
2004
Graph rewriting, constraint solving and tiles for coordinating distributed systems. Zbl 0949.68083
Montanari, Ugo; Rossi, Francesca
4
1999
Bayesian network semantics for Petri nets. Zbl 1436.68207
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
1
2020
Event structures for Petri nets with persistence. Zbl 1417.68113
Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo
2
2018
Concurrency and probability: removing confusion, compositionally. Zbl 07298744
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
1
2018
Asynchronous distributed execution of fixpoint-based computational fields. Zbl 1398.68369
Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo
3
2017
Programming autonomic systems with multiple constraint stores. Zbl 1454.68126
Montanari, Ugo; Pugliese, Rosario; Tiezzi, Francesco
2
2015
A coalgebraic semantics for causality in Petri nets. Zbl 1330.68196
Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo
2
2015
Revisiting causality, coalgebraically. Zbl 1307.68053
Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo
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
5
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
2
2014
Connector algebras for C/E and P/T nets’ interactions. Zbl 1274.68224
Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel
13
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
11
2011
QoS negotiation in service composition. Zbl 1207.68220
Buscemi, Maria Grazia; Montanari, Ugo
4
2011
Symmetries, local names and dynamic (de)-allocation of names. Zbl 1207.68223
Ciancia, Vincenzo; Montanari, Ugo
10
2010
Families of symmetries as efficient models of resource binding. Zbl 1247.68172
Ciancia, Vincenzo; Kurz, Alexander; Montanari, Ugo
8
2010
Unicast and multicast QoS routing with soft-constraint logic programming. Zbl 1351.68031
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca; Santini, Francesco
3
2010
Tiles for Reo. Zbl 1253.68090
Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; Montanari, Ugo
7
2009
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Zbl 1186.68315
Bonchi, Filippo; Montanari, Ugo
7
2009
Coalgebraic symbolic semantics. Zbl 1239.68049
Bonchi, Filippo; Montanari, Ugo
2
2009
Hierarchical design rewriting with Maude. Zbl 1347.68072
Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo
1
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
6
2008
A name abstraction functor for named sets. Zbl 1279.68052
Ciancia, Vincenzo; Montanari, Ugo
4
2008
Symbolic semantics revisited. Zbl 1139.68039
Bonchi, Filippo; Montanari, Ugo
4
2008
Style-based architectural reconfigurations. Zbl 1169.68306
Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio
4
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
26
2007
Unfolding semantics of graph transformation. Zbl 1115.68093
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila
10
2007
Coalgebraic models for reactive systems. Zbl 1151.68507
Bonchi, Filippo; Montanari, Ugo
6
2007
Modelling multicast QoS routing by using best-tree search in and-or graphs and soft constraint logic programming. Zbl 1279.68021
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca; Santini, Francesco
3
2007
A compositional coalgebraic model of fusion calculus. Zbl 1121.68078
Buscemi, Maria Grazia; Montanari, Ugo
1
2007
Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Zbl 1123.68007
1
2007
About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083
Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
16
2006
A basic algebra of stateless connectors. Zbl 1153.68331
Bruni, Roberto; Lanese, Ivan; Montanari, Ugo
16
2006
Soft concurrent constraint programming. Zbl 1367.68315
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca
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
6
2006
Event structure semantics for nominal calculi. Zbl 1151.68512
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
5
2006
A compositional coalgebraic model of a fragment of fusion calculus. Zbl 1316.68090
Buscemi, Maria Grazia; Montanari, Ugo
3
2006
Hoare vs Milner: comparing synchronizations in a graphical framework with mobility. Zbl 1273.68193
Lanese, Ivan; Montanari, Ugo
2
2006
Concurrent rewriting for graphs with equivalences. Zbl 1151.68503
Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo
1
2006
Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Zbl 1147.68003
1
2006
Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus. Zbl 1077.68065
Montanari, Ugo; Pistore, Marco
15
2005
Theoretical foundations for compensations in flow composition languages. Zbl 1369.68070
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
12
2005
Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types. Zbl 1070.68102
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio
11
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
7
2005
Synchronization algebras with mobility for graph transformations. Zbl 1272.68310
Lanese, Ivan; Montanari, Ugo
5
2005
A general name binding mechanism. Zbl 1151.68508
Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo
5
2005
Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł
5
2005
Observing reductions in nominal calculi via a graphical encoding of processes. Zbl 1171.68572
Gadducci, Fabio; Montanari, Ugo
4
2005
Quantitative \(\mu\)-calculus and CTL based on constraint semirings. Zbl 1272.68269
Lluch-Lafuente, Alberto; Montanari, Ugo
3
2005
Modelling fusion calculus using HD-automata. Zbl 1151.68527
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio; Victor, Björn; Yemane, Kidane
3
2005
Model checking for nominal calculi. Zbl 1119.68115
Ferrari, Gian Luigi; Montanari, Ugo; Tuosto, Emilio
2
2005
Graph processes with fusions: Concurrency by colimits, again. Zbl 1075.68058
Gadducci, Fabio; Montanari, Ugo
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
6
2004
Some characterization results for permutation algebras. Zbl 1271.68148
Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
4
2004
Nested commits for mobile calculi: extending join. Zbl 1088.68507
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
4
2004
Tiling transactions in rewriting logic. Zbl 1272.68291
Bruni, Roberto; Meseguer, José; Montanari, Ugo
3
2004
Concurrent models for Linda with transactions. Zbl 1085.68027
Bruni, Roberto; Montanari, Ugo
2
2004
Flat committed join in join. Zbl 1271.68170
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
1
2004
Shaped hierarchical architectural design. Zbl 1271.68120
Hirsch, Dan; Montanari, Ugo
1
2004
New insights of architectural connectors. Zbl 1094.68009
Bruni, Roberto; Fiadeiro, José Luiz; Lanese, Ivan; Lopes, Antónia; Montanari, Ugo
1
2004
Extending the zero-safe approach to coloured, reconfigurable and dynamic nets. Zbl 1088.68120
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
1
2004
A formal basis for reasoning on programmable QoS. Zbl 1274.68022
De Nicola, Rocco; Ferrari, Gianluigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, Emilio
2
2003
Pre-nets, read ARCS and unfolding: A functorial presentation. Zbl 1278.68210
Baldan, Paolo; Bruni, Roberto; Montanari, Ugo
2
2003
GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs. Zbl 1270.68123
Coccia, Matteo; Gadducci, Fabio; Montanari, Ugo
1
2003
Coreflective concurrent semantics for single-pushout graph grammars. Zbl 1278.68117
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila
1
2003
Normal forms for algebras of connections. Zbl 1061.68110
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo
18
2002
Compositional SOS and beyond: A coalgebraic view of open systems. Zbl 1014.68107
Corradini, Andrea; Heckel, Reiko; Montanari, Ugo
18
2002
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Zbl 0993.68058
Bruni, Roberto; Meseguer, José; Montanari, Ugo
12
2002
Minimizing transition systems for name passing calculi: A co-algebraic formulation. Zbl 1077.68716
Ferrari, Gianluigi; Montanari, Ugo; Pistore, Marco
11
2002
Comparing logics for rewriting: Rewriting logic, action calculi and tile logic. Zbl 1001.68056
Gadducci, Fabio; Montanari, Ugo
10
2002
A first order coalgebraic model of \(\pi\)-calculus early observational equivalence. Zbl 1012.68120
Buscemi, Maria Grazia; Montanari, Ugo
8
2002
Soft constraint logic programming and generalized shortest path problems. Zbl 1073.90563
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca
7
2002
Soft concurrent constraint programming. Zbl 1077.68570
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca
5
2002
Orchestrating transactions in join calculus. Zbl 1012.68524
Bruni, Roberto; Laneve, Cosimo; Montanari, Ugo
4
2002
Dynamic connectors for concurrency. Zbl 0996.68073
Bruni, Roberto; Montanari, Ugo
4
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
Bisimulation equivalences for graph grammars. Zbl 1060.68050
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
2
2002
Two graph-based techniques for software architecture reconfiguration. Zbl 1263.68079
Hirsch, Dan; Montanari, Ugo
1
2002
Linear ordered graph grammars and their algebraic foundations. Zbl 1028.68074
Montanari, Ugo; Ribeiro, Leila
1
2002
Contextual Petri nets, asymmetric event structures, and processes. Zbl 1005.68103
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
28
2001
An interactive semantics of logic programming. Zbl 1066.68512
Bruni, Roberto; Montanari, Ugo; Rossi, Francesca
13
2001
Functorial models for Petri nets. Zbl 1005.68102
Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
10
2001
Synchronized hyperedge replacement with name mobility. A graphical calculus for mobile systems. Zbl 1006.68538
Hirsch, Dan; Montanari, Ugo
7
2001
A concurrent graph semantics for mobile ambients. Zbl 1260.68094
Gadducci, Fabio; Montanari, Ugo
6
2001
A LTS semantics of ambients via graph synchronization with mobility. Zbl 1042.68615
Ferrari, GianLuigi; Montanari, Ugo; Tuosto, Emilio
5
2001
Transactions and zero-safe nets. Zbl 1017.68074
Bruni, Roberto; Montanari, Ugo
3
2001
CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Zbl 1260.68011
1
2001
Observational equivalence for synchronized graph rewriting with mobility. Zbl 1087.68606
König, Barbara; Montanari, Ugo
1
2001
Zero-safe nets: Comparing the collective and individual token approaches. Zbl 1046.68615
Bruni, Roberto; Montanari, Ugo
12
2000
\(\pi\)-calculus, structured coalgebras, and minimal HD-automata. Zbl 0996.68125
Montanari, Ugo; Pistore, Marco
12
2000
Tile formats for located and mobile systems. Zbl 1046.68619
Ferrari, GianLuigi; Montanari, Ugo
8
2000
...and 91 more Documents
all top 5

Cited by 1,327 Authors

71 Montanari, Ugo G.
32 Corradini, Andrea
31 Gadducci, Fabio
29 Bruni, Roberto
22 Baldan, Paolo
20 Meseguer Guaita, José
18 Bonchi, Filippo
16 Sobociński, Paweł
15 Rossi, Francesca
14 Santini, Francesco
13 Bistarelli, Stefano
13 Cooper, Martin C.
13 König, Barbara
12 Dechter, Rina
12 Ribeiro, Leila
11 Degano, Pierpaolo
11 Ehrig, Hartmut
11 Heckel, Reiko
11 Jeavons, Peter G.
10 Bliudze, Simon
10 Ferrari, Gian Luigi
10 Melgratti, Hernán
10 Pinna, G. Michele
9 Priami, Corrado
9 Živný, Stanislav
8 Cohen, David A.
8 De Nicola, Rocco
8 Gorrieri, Roberto
8 Koutny, Maciej
8 Martí-Oliet, Narciso
8 Schmidt-Schauß, Manfred
7 Ciancia, Vincenzo
7 Olarte, Carlos
7 Venable, Kristen Brent
7 Zanasi, Fabio
6 Busi, Nadia
6 Dubois, Didier
6 Lluch Lafuente, Alberto
6 Sammartino, Matteo
6 Sifakis, Joseph
6 Talcott, Carolyn L.
6 Vogler, Walter
6 Walsh, Toby
6 Wilson, Nic
6 Wirsing, Martin
5 Apt, Krzysztof Rafal
5 Buscemi, Maria Grazia
5 Iranzo, Pascual Julián
5 Janicki, Ryszard
5 Kleijn, Jetty H. C. M.
5 Krokhin, Andrei A.
5 Lachaud, Jacques-Olivier
5 Lanese, Ivan
5 Li, Sanjiang
5 Li, Yongming
5 Loreti, Michele
5 Monreale, Giacoma Valentina
5 Parrow, Joachim
5 Power, John
5 Prade, Henri M.
5 Sannella, Donald T.
5 Subrahmanian, V. S.
5 van Glabbeek, Robert Jan
5 Van Hentenryck, Pascal
5 Virbitskaite, Irina B.
4 Arbab, Farhad
4 Baranov, Eduard
4 Boy de la Tour, Thierry
4 Brodo, Linda
4 Castellani, Ilaria
4 Chakrabarti, Partha Pratim
4 Clarke, Dave
4 Devillers, Raymond
4 Faltings, Boi Volkert
4 Fargier, Hélène
4 Foss, Luciana
4 Heindel, Tobias
4 Hirschkoff, Daniel
4 Jégou, Philippe
4 Komendantskaya, Ekaterina
4 Kurz, Alexander
4 Larrosa, Javier
4 Lenisa, Marina
4 Madiot, Jean-Marie
4 Nešetřil, Jaroslav
4 Nigam, Vivek
4 Olveczky, Peter Csaba
4 Parisi-Presicce, Francesco
4 Pearl, Judea
4 Pesch, Erwin
4 Pichler, Reinhard
4 Pimentel, Elaine
4 Pini, Maria Silvia
4 Pugliese, Rosario
4 Roşu, Grigore
4 Rozenberg, Grzegorz
4 Sangiorgi, Davide
4 Sassone, Vladimiro
4 Tarlecki, Andrzej
4 Tiezzi, Francesco
...and 1,227 more Authors
all top 5

Cited in 116 Serials

167 Theoretical Computer Science
82 Artificial Intelligence
56 Information and Computation
29 Acta Informatica
28 Journal of Logical and Algebraic Methods in Programming
24 Constraints
22 Journal of Symbolic Computation
21 MSCS. Mathematical Structures in Computer Science
19 The Journal of Logic and Algebraic Programming
18 Journal of Computer and System Sciences
18 Formal Aspects of Computing
15 Theory and Practice of Logic Programming
14 Information Sciences
14 Annals of Mathematics and Artificial Intelligence
13 Journal of Automated Reasoning
11 Fuzzy Sets and Systems
11 Logical Methods in Computer Science
10 Information Processing Letters
10 European Journal of Operational Research
9 Discrete Applied Mathematics
8 Formal Methods in System Design
7 Science of Computer Programming
7 Annals of Pure and Applied Logic
6 Journal of Heuristics
6 RAIRO. Theoretical Informatics and Applications
5 Journal of Computer Science and Technology
5 Pattern Recognition
5 Distributed Computing
5 Applied Categorical Structures
4 Computers & Mathematics with Applications
4 Cybernetics and Systems Analysis
4 Journal of Discrete Algorithms
4 Computer Science Review
3 Computing
3 Programming and Computer Software
3 SIAM Journal on Computing
3 International Journal of Approximate Reasoning
3 Annals of Operations Research
3 RAIRO. Informatique Théorique et Applications
3 Journal of Mathematical Imaging and Vision
3 Journal of Functional Programming
3 Theory and Applications of Categories
3 Higher-Order and Symbolic Computation
3 Fundamenta Informaticae
2 Discrete Mathematics
2 International Journal of General Systems
2 International Journal of Computer & Information Sciences
2 Journal of Pure and Applied Algebra
2 Mathematical Social Sciences
2 Circuits, Systems, and Signal Processing
2 International Journal of Parallel Programming
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 International Journal of Computational Geometry & Applications
2 Discrete Event Dynamic Systems
2 Artificial Intelligence Review
2 International Journal of Computer Mathematics
2 Applicable Algebra in Engineering, Communication and Computing
2 Soft Computing
2 RAIRO. Operations Research
2 Natural Computing
2 Computer Languages, Systems & Structures
2 Asian-European Journal of Mathematics
1 International Journal of Control
1 Journal of Mathematical Analysis and Applications
1 Reviews in Mathematical Physics
1 Journal of Geometry and Physics
1 BIT
1 Journal of Algebra
1 Journal of Computational and Applied Mathematics
1 Journal of Philosophical Logic
1 Journal of Soviet Mathematics
1 Kybernetika
1 Studia Logica
1 Cybernetics
1 European Journal of Combinatorics
1 OR Spektrum
1 SIAM Journal on Algebraic and Discrete Methods
1 Computer Aided Geometric Design
1 Order
1 New Generation Computing
1 Algorithmica
1 Computers & Operations Research
1 International Journal of Intelligent Systems
1 Applied Mathematics Letters
1 SIAM Journal on Discrete Mathematics
1 Engineering with Computers
1 Discrete Mathematics and Applications
1 Journal of Global Optimization
1 SIAM Review
1 Zeitschrift für Operations Research. Serie A: Theorie
1 Mathematical Programming. Series A. Series B
1 Journal of Mathematical Sciences (New York)
1 Mathematical Logic Quarterly (MLQ)
1 Top
1 The Journal of Artificial Intelligence Research (JAIR)
1 INFORMS Journal on Computing
1 Mathematical Problems in Engineering
1 Computing and Visualization in Science
1 Journal of Scheduling
1 Journal of the ACM
...and 16 more Serials

Citations by Year