×

zbMATH — the first resource for mathematics

Montanari, Ugo G.

Compute Distance To:
Author ID: montanari.ugo-g Recent zbMATH articles by "Montanari, Ugo G."
Published as: Montanari, U.; Montanari, U. G.; Montanari, Ugo; Montanari, Ugo G.
Homepage: http://pages.di.unipi.it/montanari/ugo.html
External Links: MGP · Wikidata · ORCID · ResearchGate · dblp · GND
Documents Indexed: 241 Publications since 1969, including 23 Books
Biographic References: 14 Publications
all top 5

Co-Authors

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

Publications by Year

Citations contained in zbMATH

194 Publications have been cited 1,734 times in 1,000 Documents Cited by Year
Networks of constraints: Fundamental properties and applications to picture processing. Zbl 0284.68074
Montanari, Ugo
139
1974
An efficient unification algorithm. Zbl 0478.68093
Martelli, Alberto; Montanari, Ugo
138
1982
Semiring-based constraint satisfaction and optimization. Zbl 0890.68032
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca
91
1997
Petri nets are monoids. Zbl 0711.68077
Meseguer, José; Montanari, Ugo
65
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.
60
1999
Contextual nets. Zbl 0835.68084
Montanari, Ugo; Rossi, Francesca
34
1995
A distributed operational semantics of CCS based on condition/event systems. Zbl 0656.68061
Degano, Pierpaolo; Di Nicola, Rocco; Montanari, Ugo
31
1988
Graph processes. Zbl 0854.68054
Corradini, A.; Montanari, U.; Rossi, F.
30
1996
Handbook of graph grammars and computing by graph transformation. Vol. 3: Concurrency, parallelism, and distribution. Zbl 0951.68049
Ehrig, Hartmut (ed.); Kreowski, Hans-Jörg (ed.); Montanari, Ugo (ed.); Rozenberg, Grzegorz (ed.)
27
1999
Contextual Petri nets, asymmetric event structures, and processes. Zbl 1005.68103
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
26
2001
cc-pi: a constraint-based language for specifying service level agreements. Zbl 1187.68063
Buscemi, Maria Grazia; Montanari, Ugo
24
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
On the semantics of place/transition Petri nets. Zbl 0876.68072
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
21
1997
Dynamic congruence VS. Progressing bisimulation for CCS. Zbl 0762.68044
Montanari, Ugo; Sassone, Vladimiro
20
1992
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
Compositional SOS and beyond: A coalgebraic view of open systems. Zbl 1014.68107
Corradini, Andrea; Heckel, Reiko; Montanari, Ugo
18
2002
A partial ordering semantics for CCS. Zbl 0701.68073
Degano, P.; De Nicola, R.; Montanari, U.
18
1990
Axiomatizing net computations and processes. Zbl 0722.68085
Degano, Pierpaolo; Meseguer, José; Montanari, Ugo
18
1989
Concurrent histories: a basis for observing distributed systems. Zbl 0619.68017
Degano, Pierpaolo; Montanari, Ugo
18
1987
About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083
Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
17
2006
Axiomatizing the algebra of net computations and processes. Zbl 0849.68087
Degano, Pierpaolo; Meseguer, José; Montanari, Ugo
17
1996
Constraint relaxation may be perfect. Zbl 1117.68495
Montanari, Ugo; Rossi, Francesca
17
1991
Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus. Zbl 1077.68065
Montanari, Ugo; Pistore, Marco
16
2005
A basic algebra of stateless connectors. Zbl 1153.68331
Bruni, Roberto; Lanese, Ivan; Montanari, Ugo
15
2006
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
14
2006
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Zbl 0993.68058
Bruni, Roberto; Meseguer, José; Montanari, Ugo
13
2002
An interactive semantics of logic programming. Zbl 1066.68512
Bruni, Roberto; Montanari, Ugo; Rossi, Francesca
13
2001
\(\pi\)-calculus, structured coalgebras, and minimal HD-automata. Zbl 0996.68125
Montanari, Ugo; Pistore, Marco
13
2000
An algebraic semantics for structured transition systems and its application to logic programs. Zbl 0756.68075
Corradini, Andrea; Montanari, Ugo
13
1992
Theoretical foundations for compensations in flow composition languages. Zbl 1369.68070
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
12
2005
Minimizing transition systems for name passing calculi: A co-algebraic formulation. Zbl 1077.68716
Ferrari, Gianluigi; Montanari, Ugo; Pistore, Marco
12
2002
Zero-safe nets: Comparing the collective and individual token approaches. Zbl 1046.68615
Bruni, Roberto; Montanari, Ugo
12
2000
From SOS specifications to structured coalgebras: How to make bisimulation a congruence. Zbl 0918.68065
Corradin, Andrea; Heckel, Reiko; Montanari, Ugo
12
1999
Mapping tile logic into rewriting logic. Zbl 0903.08010
Meseguer, José; Montanari, Ugo
12
1998
Partial ordering derivations for CCS. Zbl 0571.68016
Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo
12
1985
Connector algebras for C/E and P/T nets’ interactions. Zbl 1274.68224
Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel
11
2013
Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types. Zbl 1070.68102
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio
11
2005
Comparing logics for rewriting: Rewriting logic, action calculi and tile logic. Zbl 1001.68056
Gadducci, Fabio; Montanari, Ugo
11
2002
CCS is an (augmented) contact free C/E system. Zbl 0635.68058
Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo
11
1987
A connector algebra for P/T nets interactions. Zbl 1344.68161
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
10
2011
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
Universal axioms for bisimulations. Zbl 0782.68044
Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo
10
1993
Dynamic programming as graph searching: An algebraic approach. Zbl 0471.90092
Gnesi, Stefania; Montanari, Ugo; Martelli, Alberto
10
1981
A note on minimal length polygonal approximation to a digitized contour. Zbl 0185.43803
Montanari, U.
10
1970
Functorial models for Petri nets. Zbl 1005.68102
Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
9
2001
Internal strategies in a rewriting implementation of tile systems. Zbl 0917.68104
Bruni, R.; Meseguer, J.; Montanari, U.
9
1998
Towards the unification of models for concurrency. Zbl 0758.68027
Ferrari, Gian Luigi; Montanari, Ugo
9
1990
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
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Zbl 1186.68315
Bonchi, Filippo; Montanari, Ugo
8
2009
Unfolding semantics of graph transformation. Zbl 1115.68093
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila
8
2007
Tile formats for located and mobile systems. Zbl 1046.68619
Ferrari, GianLuigi; Montanari, Ugo
8
2000
An event structure semantics for P/T contextual nets: Asymmetric event structures. Zbl 0902.68140
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
8
1998
Network conscious \(\pi\)-calculus: a concurrent semantics. Zbl 1342.68235
Montanari, Ugo; Sammartino, Matteo
7
2012
Tiles for Reo. Zbl 1253.68090
Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; Montanari, Ugo
7
2009
Coalgebraic models for reactive systems. Zbl 1151.68507
Bonchi, Filippo; Montanari, Ugo
7
2007
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
Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł
7
2005
Quantitative \(\mu\)-calculus and CTL defined over constraint semirings. Zbl 1080.68065
Lluch-Lafuente, Alberto; Montanari, Ugo
7
2005
Soft concurrent constraint programming. Zbl 1077.68570
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca
7
2002
A first order coalgebraic model of \(\pi\)-calculus early observational equivalence. Zbl 1012.68120
Buscemi, Maria Grazia; Montanari, Ugo
7
2002
Soft constraint logic programming and generalized shortest path problems. Zbl 1073.90563
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca
7
2002
Synchronized hyperedge replacement with name mobility. A graphical calculus for mobile systems. Zbl 1006.68538
Hirsch, Dan; Montanari, Ugo
7
2001
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
Representation theorems for Petri nets. Zbl 0885.68115
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
7
1997
History dependent verification for partial order systems. Zbl 0883.68099
Montanari, Ugo; Pistore, Marco
7
1997
Graph rewriting with unification and composition. Zbl 0643.68103
Parisi-Presicce, Francesco; Ehrig, Hartmut; Montanari, Ugo
7
1987
A grey-weighted skeleton. Zbl 0205.17903
Levi, G.; Montanari, U.
7
1970
Connector algebras, Petri nets, and BIP. Zbl 1336.68006
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
6
2012
D-fusion: A distinctive fusion calculus. Zbl 1116.68540
Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo
6
2004
A concurrent graph semantics for mobile ambients. Zbl 1260.68094
Gadducci, Fabio; Montanari, Ugo
6
2001
Normal forms for partitions and relations. Zbl 0955.68081
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo
6
1999
Tile transition systems as structured coalgebras. Zbl 0944.18006
Corradini, Andrea; Heckel, Reiko; Montanari, Ugo
6
1999
Unfolding and event structure semantics for graph grammars. Zbl 0946.68087
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
6
1999
Axioms for contextual net processes. Zbl 0912.68142
Gadducci, F.; Montanari, U.
6
1998
An extended expansion theorem. Zbl 0967.68513
Ferrari, Gian Luigi; Gorrieri, Roberto; Montanari, Ugo
6
1991
Partial orderings descriptions and observations of nondeterministic concurrent processes. (Technical contribution). Zbl 0683.68067
Degano, P.; DeNicola, R.; Montanari, U.
6
1989
Style-based architectural reconfigurations. Zbl 1169.68306
Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio
5
2008
Synchronised hyperedge replacement as a model for service oriented computing. Zbl 1196.68025
Ferrari, Gian Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, Emilio
5
2006
A general name binding mechanism. Zbl 1151.68508
Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo
5
2005
A LTS semantics of ambients via graph synchronization with mobility. Zbl 1042.68615
Ferrari, GianLuigi; Montanari, Ugo; Tuosto, Emilio
5
2001
Open ended systems, dynamic bisimulation and tile logic. Zbl 0998.68087
Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro
5
2000
Unfolding of double-pushout graph grammars is a coreflection. Zbl 0958.68081
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
5
2000
Functorial semantics for Petri nets under the individual token philosophy. Zbl 0966.68108
Bruni, R.; Meseguer, J.; Montanari, U.; Sassone, V.
5
1999
Graph rewriting, constraint solving and tiles for coordinating distributed systems. Zbl 0949.68083
Montanari, Ugo; Rossi, Francesca
5
1999
A comparison of Petri net semantics under the collective token philosophy. Zbl 0932.68062
Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
5
1998
Tiles, rewriting rules and CCS. Zbl 0917.68115
Gadducci, Fabio; Montanari, Ugo
5
1996
A \(\pi\)-calculus with explicit substitutions. Zbl 0874.68197
Ferrari, Gian-Luigi; Montanari, Ugo; Quaglia, Paola
5
1996
Axiomatizing permutation equivalence. Zbl 0884.68070
Laneve, Cosimo; Montanari, Ugo
5
1996
On the implementation of concurrent calculi in net calculi: two case studies. Zbl 0873.68144
Gorrieri, Roberto; Montanari, Ugo
5
1995
Towards hierarchical description of systems: A proof system for strong prefixing. Zbl 0732.68074
Gorrieri, Roberto; Montanari, Ugo
5
1990
Specification languages for distributed systems. Zbl 0563.68019
Degano, Pierpaolo; Montanari, Ugo
5
1985
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. Zbl 1320.68125
Bruni, Roberto; Montanari, Ugo; Plotkin, Gordon; Terreni, Daniele
4
2014
QoS negotiation in service composition. Zbl 1207.68220
Buscemi, Maria Grazia; Montanari, Ugo
4
2011
A name abstraction functor for named sets. Zbl 1279.68052
Ciancia, Vincenzo; Montanari, Ugo
4
2008
Open bisimulation for the concurrent constraint pi-calculus. Zbl 1133.68384
Buscemi, Maria Grazia; Montanari, Ugo
4
2008
Event structures for Petri nets with persistence. Zbl 1417.68113
Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo
2
2018
Asynchronous distributed execution of fixpoint-based computational fields. Zbl 1398.68369
Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo
2
2017
Network-conscious \(\pi\)-calculus – a model of Pastry. Zbl 1342.68236
Montanari, Ugo; Sammartino, Matteo
2
2015
A coalgebraic semantics for causality in Petri nets. Zbl 1330.68196
Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo
2
2015
Programming autonomic systems with multiple constraint stores. Zbl 06448734
Montanari, Ugo; Pugliese, Rosario; Tiezzi, Francesco
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
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. Zbl 1320.68125
Bruni, Roberto; Montanari, Ugo; Plotkin, Gordon; Terreni, Daniele
4
2014
Behaviour, interaction and dynamics. Zbl 1407.68098
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
3
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
11
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
6
2012
A connector algebra for P/T nets interactions. Zbl 1344.68161
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
10
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
2
2010
On GS-monoidal theories for graphs with nesting. Zbl 1309.68147
Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Montanari, Ugo
1
2010
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Zbl 1186.68315
Bonchi, Filippo; Montanari, Ugo
8
2009
Tiles for Reo. Zbl 1253.68090
Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; 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
Style-based architectural reconfigurations. Zbl 1169.68306
Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio
5
2008
A name abstraction functor for named sets. Zbl 1279.68052
Ciancia, Vincenzo; Montanari, Ugo
4
2008
Open bisimulation for the concurrent constraint pi-calculus. Zbl 1133.68384
Buscemi, Maria Grazia; Montanari, Ugo
4
2008
Symbolic semantics revisited. Zbl 1139.68039
Bonchi, Filippo; Montanari, Ugo
4
2008
A survey of constraint-based programming paradigms. Zbl 1302.68249
Buscemi, Maria Grazia; Montanari, Ugo
2
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
24
2007
Unfolding semantics of graph transformation. Zbl 1115.68093
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila
8
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
3
2007
Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Zbl 1123.68007
Mossakowski, Till (ed.); Montanari, Ugo (ed.); Haveraaen, Magne (ed.)
1
2007
A compositional coalgebraic model of fusion calculus. Zbl 1121.68078
Buscemi, Maria Grazia; Montanari, Ugo
1
2007
About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083
Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
17
2006
A basic algebra of stateless connectors. Zbl 1153.68331
Bruni, Roberto; Lanese, Ivan; Montanari, Ugo
15
2006
Soft concurrent constraint programming. Zbl 1367.68315
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca
14
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
5
2006
Event structure semantics for nominal calculi. Zbl 1151.68512
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo
4
2006
A compositional coalgebraic model of a fragment of fusion calculus. Zbl 1316.68090
Buscemi, Maria Grazia; Montanari, Ugo
3
2006
Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Zbl 1147.68003
Corradini, Andrea (ed.); Ehrig, Hartmut (ed.); Montanari, Ugo (ed.); Ribeiro, Leila (ed.); Rozenberg, Grzegorz (ed.)
1
2006
Concurrent rewriting for graphs with equivalences. Zbl 1151.68503
Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo
1
2006
Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus. Zbl 1077.68065
Montanari, Ugo; Pistore, Marco
16
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
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
Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł
7
2005
Quantitative \(\mu\)-calculus and CTL defined over constraint semirings. Zbl 1080.68065
Lluch-Lafuente, Alberto; Montanari, Ugo
7
2005
A general name binding mechanism. Zbl 1151.68508
Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo
5
2005
Observing reductions in nominal calculi via a graphical encoding of processes. Zbl 1171.68572
Gadducci, Fabio; Montanari, Ugo
4
2005
Synchronization algebras with mobility for graph transformations. Zbl 1272.68310
Lanese, Ivan; 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
Quantitative \(\mu\)-calculus and CTL based on constraint semirings. Zbl 1272.68269
Lluch-Lafuente, Alberto; Montanari, Ugo
2
2005
Graph processes with fusions: Concurrency by colimits, again. Zbl 1075.68058
Gadducci, Fabio; Montanari, Ugo
2
2005
Model checking for nominal calculi. Zbl 1119.68115
Ferrari, Gian Luigi; Montanari, Ugo; Tuosto, Emilio
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
Shaped hierarchical architectural design. Zbl 1271.68120
Hirsch, Dan; Montanari, Ugo
1
2004
Flat committed join in join. Zbl 1271.68170
Bruni, Roberto; Melgratti, Hernán; 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
New insights of architectural connectors. Zbl 1094.68009
Bruni, Roberto; Fiadeiro, José Luiz; Lanese, Ivan; Lopes, Antónia; 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
3
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
13
2002
Minimizing transition systems for name passing calculi: A co-algebraic formulation. Zbl 1077.68716
Ferrari, Gianluigi; Montanari, Ugo; Pistore, Marco
12
2002
Comparing logics for rewriting: Rewriting logic, action calculi and tile logic. Zbl 1001.68056
Gadducci, Fabio; Montanari, Ugo
11
2002
Soft concurrent constraint programming. Zbl 1077.68570
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca
7
2002
A first order coalgebraic model of \(\pi\)-calculus early observational equivalence. Zbl 1012.68120
Buscemi, Maria Grazia; Montanari, Ugo
7
2002
Soft constraint logic programming and generalized shortest path problems. Zbl 1073.90563
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca
7
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
26
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
9
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
Observational equivalence for synchronized graph rewriting with mobility. Zbl 1087.68606
König, Barbara; Montanari, Ugo
2
2001
CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Zbl 1260.68011
Corradini, Andrea (ed.); Lenisa, Marina (ed.); Montanari, Ugo (ed.)
1
2001
\(\pi\)-calculus, structured coalgebras, and minimal HD-automata. Zbl 0996.68125
Montanari, Ugo; Pistore, Marco
13
2000
Zero-safe nets: Comparing the collective and individual token approaches. Zbl 1046.68615
Bruni, Roberto; Montanari, Ugo
12
2000
Tile formats for located and mobile systems. Zbl 1046.68619
Ferrari, GianLuigi; Montanari, Ugo
8
2000
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
Open ended systems, dynamic bisimulation and tile logic. Zbl 0998.68087
Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro
5
2000
...and 94 more Documents
all top 5

Cited by 1,317 Authors

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

Cited in 114 Serials

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

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.