 | 2009 |
|---|
| 285 |       | Andrea Corradini,
Ugo Montanari:
Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
Springer 2009 |
| 284 | | Filippo Bonchi,
Ugo Montanari:
Coalgebraic Symbolic Semantics.
CALCO 2009: 173-190 |
| 283 | | Filippo Bonchi,
Ugo Montanari:
Minimization Algorithm for Symbolic Bisimilarity.
ESOP 2009: 267-284 |
| 282 | | Roberto Bruni,
Alberto Lluch-Lafuente,
Ugo Montanari:
Hierarchical Design Rewriting with Maude.
Electr. Notes Theor. Comput. Sci. 238(3): 45-62 (2009) |
| 281 | | Filippo Bonchi,
Ugo Montanari:
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves.
Theor. Comput. Sci. 410(41): 4044-4066 (2009) |
| 2008 |
|---|
| 280 | | Maria Grazia Buscemi,
Ugo Montanari:
Open Bisimulation for the Concurrent Constraint Pi-Calculus.
ESOP 2008: 254-268 |
| 279 | | Filippo Bonchi,
Ugo Montanari:
Symbolic Semantics Revisited.
FoSSaCS 2008: 395-412 |
| 278 | | Farhad Arbab,
Roberto Bruni,
Dave Clarke,
Ivan Lanese,
Ugo Montanari:
Tiles for Reo.
WADT 2008: 37-55 |
| 277 | | Maria Grazia Buscemi,
Ugo Montanari:
A survey of constraint-based programming paradigms.
Computer Science Review 2(3): 137-141 (2008) |
| 276 | | Vincenzo Ciancia,
Ugo Montanari:
A Name Abstraction Functor for Named Sets.
Electr. Notes Theor. Comput. Sci. 203(5): 49-70 (2008) |
| 275 | | Filippo Bonchi,
Ugo Montanari:
A Coalgebraic Theory of Reactive Systems.
Electr. Notes Theor. Comput. Sci. 209: 201-215 (2008) |
| 274 | | Ugo Montanari,
Donald Sannella:
Preface.
Theor. Comput. Sci. 402(2-3): 81 (2008) |
| 2007 |
|---|
| 273 |  | Till Mossakowski,
Ugo Montanari,
Magne Haveraaen:
Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Springer 2007 |
| 272 | | Ugo Montanari,
Donald Sannella,
Roberto Bruni:
Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
Springer 2007 |
| 271 | | Filippo Bonchi,
Ugo Montanari:
Coalgebraic Models for Reactive Systems.
CONCUR 2007: 364-379 |
| 270 | | Maria Grazia Buscemi,
Ugo Montanari:
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements.
ESOP 2007: 18-32 |
| 269 | | Maria Grazia Buscemi,
Laura Ferrari,
Corrado Moiso,
Ugo Montanari:
Constraint-Based Policy Negotiation and Enforcement for Telco Services.
TASE 2007: 463-472 |
| 268 | | Roberto Bruni,
Alberto Lluch-Lafuente,
Ugo Montanari,
Emilio Tuosto:
Service Oriented Architectural Design.
TGC 2007: 186-203 |
| 267 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi,
Francesco Santini:
Unicast and Multicast Qos Routing with Soft Constraint Logic Programming
CoRR abs/0704.1783: (2007) |
| 266 | | Paolo Baldan,
Fabio Gadducci,
Ugo Montanari:
Modelling Calculi with Name Mobility using Graphs with Equivalences.
Electr. Notes Theor. Comput. Sci. 176(1): 85-97 (2007) |
| 265 | | Alberto Baragatti,
Roberto Bruni,
Hernán C. Melgratti,
Ugo Montanari,
Giorgio Spagnolo:
Prototype Platforms for Distributed Agreements.
Electr. Notes Theor. Comput. Sci. 180(2): 21-40 (2007) |
| 264 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi,
Francesco Santini:
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming.
Electr. Notes Theor. Comput. Sci. 190(3): 111-127 (2007) |
| 263 | | Paolo Baldan,
Andrea Corradini,
Ugo Montanari,
Leila Ribeiro:
Unfolding semantics of graph transformation.
Inf. Comput. 205(5): 733-782 (2007) |
| 262 | | Maria Grazia Buscemi,
Ugo Montanari:
A compositional coalgebraic model of fusion calculus.
J. Log. Algebr. Program. 72(1): 78-97 (2007) |
| 261 | | Ivan Lanese,
Ugo Montanari:
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming.
TPLP 7(1-2): 123-151 (2007) |
| 2006 |
|---|
| 260 | | José Luiz Fiadeiro,
Ugo Montanari,
Martin Wirsing:
Foundations of Global Computing, 20.-25. February 2005
Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
| 259 | | Andrea Corradini,
Hartmut Ehrig,
Ugo Montanari,
Leila Ribeiro,
Grzegorz Rozenberg:
Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
Springer 2006 |
| 258 | | Paolo Baldan,
Fabio Gadducci,
Ugo Montanari:
Concurrent Rewriting for Graphs with Equivalences.
CONCUR 2006: 279-294 |
| 257 | | Roberto Bruni,
Hernán C. Melgratti,
Ugo Montanari:
Event Structure Semantics for Nominal Calculi.
CONCUR 2006: 295-309 |
| 256 | | Filippo Bonchi,
Barbara König,
Ugo Montanari:
Saturated Semantics for Reactive Systems.
LICS 2006: 69-80 |
| 255 | | Michele Boreale,
Roberto Bruni,
Luís Caires,
Rocco De Nicola,
Ivan Lanese,
Michele Loreti,
Francisco Martins,
Ugo Montanari,
António Ravara,
Davide Sangiorgi,
Vasco Thudichum Vasconcelos,
Gianluigi Zavattaro:
SCC: A Service Centered Calculus.
WS-FM 2006: 38-57 |
| 254 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Soft concurrent constraint programming.
ACM Trans. Comput. Log. 7(3): 563-589 (2006) |
| 253 | | Roberto Bruni,
Hernán C. Melgratti,
Ugo Montanari:
Event Structure Semantics for Dynamic Graph Grammars.
ECEASST 2: (2006) |
| 252 | | Ivan Lanese,
Ugo Montanari:
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility.
Electr. Notes Theor. Comput. Sci. 154(2): 55-72 (2006) |
| 251 | | Maria Grazia Buscemi,
Ugo Montanari:
A Compositional Coalgebraic Model of a Fragment of Fusion Calculus.
Electr. Notes Theor. Comput. Sci. 162: 135-139 (2006) |
| 250 | | Fabio Gadducci,
Marino Miculan,
Ugo Montanari:
About permutation algebras, (pre)sheaves and named sets.
Higher-Order and Symbolic Computation 19(2-3): 283-304 (2006) |
| 249 | | Roberto Bruni,
Ivan Lanese,
Ugo Montanari:
A basic algebra of stateless connectors.
Theor. Comput. Sci. 366(1-2): 98-120 (2006) |
| 2005 |
|---|
| 248 | | Barbara König,
Ugo Montanari,
Philippa Gardner:
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004
IBFI, Schloss Dagstuhl, Germany 2005 |
| 247 | | Hans-Jörg Kreowski,
Ugo Montanari,
Fernando Orejas,
Grzegorz Rozenberg,
Gabriele Taentzer:
Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday
Springer 2005 |
| 246 | | Gian Luigi Ferrari,
Ugo Montanari,
Emilio Tuosto,
Björn Victor,
Kidane Yemane:
Modelling Fusion Calculus using HD-Automata.
CALCO 2005: 142-156 |
| 245 | | Roberto Bruni,
Ivan Lanese,
Ugo Montanari:
Complete Axioms for Stateless Connectors.
CALCO 2005: 98-113 |
| 244 | | Roberto Bruni,
Fabio Gadducci,
Ugo Montanari,
Pawel Sobocinski:
Deriving Weak Bisimulation Congruences from Reduction Systems.
CONCUR 2005: 293-307 |
| 243 | | Roberto Bruni,
Michael J. Butler,
Carla Ferreira,
C. A. R. Hoare,
Hernán C. Melgratti,
Ugo Montanari:
Comparing Two Approaches to Compensable Flow Composition.
CONCUR 2005: 383-397 |
| 242 | | Rocco De Nicola,
Gian Luigi Ferrari,
Ugo Montanari,
Rosario Pugliese,
Emilio Tuosto:
A Process Calculus for QoS-Aware Applications.
COORDINATION 2005: 33-48 |
| 241 | | Roberto Bruni,
Gian Luigi Ferrari,
Hernán C. Melgratti,
Ugo Montanari,
Daniele Strollo,
Emilio Tuosto:
From Theory to Practice in Transactional Composition of Web Services.
EPEW/WS-FM 2005: 272-286 |
| 240 | | Gian Luigi Ferrari,
Dan Hirsch,
Ivan Lanese,
Ugo Montanari,
Emilio Tuosto:
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing.
FMCO 2005: 22-43 |
| 239 | | Gian Luigi Ferrari,
Ugo Montanari,
Emilio Tuosto:
Model Checking for Nominal Calculi.
FoSSaCS 2005: 1-24 |
| 238 | | Fabio Gadducci,
Ugo Montanari:
Graph Processes with Fusions: Concurrency by Colimits, Again.
Formal Methods in Software and Systems Modeling 2005: 84-100 |
| 237 | | José Luiz Fiadeiro,
Ugo Montanari,
Martin Wirsing:
05081 Abstracts Collection - Foundations of Global Computing.
Foundations of Global Computing 2005 |
| 236 | | Ivan Lanese,
Ugo Montanari:
Insights emerged while comparing three models for global computing.
Foundations of Global Computing 2005 |
| 235 | | Roberto Bruni,
Hernán C. Melgratti,
Ugo Montanari:
Theoretical foundations for compensations in flow composition languages.
POPL 2005: 209-220 |
| 234 | | Fabio Gadducci,
Ugo Montanari:
Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes.
Processes, Terms and Cycles 2005: 106-126 |
| 233 | | Ugo Montanari,
Marco Pistore:
History-Dependent Automata: An Introduction.
SFM 2005: 1-28 |
| 232 | | Michele Boreale,
Maria Grazia Buscemi,
Ugo Montanari:
A General Name Binding Mechanism.
TGC 2005: 61-74 |
| 231 | | Ivan Lanese,
Ugo Montanari:
Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming
CoRR abs/cs/0504050: (2005) |
| 230 | | Alberto Lluch-Lafuente,
Ugo Montanari:
Quantitative ?-calculus and CTL Based on Constraint Semirings.
Electr. Notes Theor. Comput. Sci. 112: 37-59 (2005) |
| 229 | | Paolo Baldan,
Andrea Corradini,
Ugo Montanari:
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs.
Electr. Notes Theor. Comput. Sci. 127(2): 5-28 (2005) |
| 228 | | Ivan Lanese,
Ugo Montanari:
Synchronization Algebras with Mobility for Graph Transformations.
Electr. Notes Theor. Comput. Sci. 138(1): 43-60 (2005) |
| 227 | | Gian Luigi Ferrari,
Ugo Montanari,
Emilio Tuosto:
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types.
Theor. Comput. Sci. 331(2-3): 325-365 (2005) |
| 226 | | Roberto Bruni,
Ugo Montanari,
Vladimiro Sassone:
Observational congruences for dynamically reconfigurable tile systems.
Theor. Comput. Sci. 335(2-3): 331-372 (2005) |
| 225 | | Ugo Montanari,
Marco Pistore:
Structured coalgebras and minimal HD-automata for the pi-calculus.
Theor. Comput. Sci. 340(3): 539-576 (2005) |
| 224 | | Alberto Lluch-Lafuente,
Ugo Montanari:
Quantitative mu-calculus and CTL defined over constraint semirings.
Theor. Comput. Sci. 346(1): 135-160 (2005) |
| 2004 |
|---|
| 223 | | Michele Boreale,
Maria Grazia Buscemi,
Ugo Montanari:
D-Fusion: A Distinctive Fusion Calculus.
APLAS 2004: 296-310 |
| 222 | | Barbara König,
Ugo Montanari,
Philippa Gardner:
04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems.
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems 2004 |
| 221 | | Roberto Bruni,
José Luiz Fiadeiro,
Ivan Lanese,
Antónia Lopes,
Ugo Montanari:
New Insights on Architectural Connectors.
IFIP TCS 2004: 367-380 |
| 220 | | Roberto Bruni,
Hernán C. Melgratti,
Ugo Montanari:
Nested Commits for Mobile Calculi: Extending Join.
IFIP TCS 2004: 563-576 |
| 219 | | Gian Luigi Ferrari,
Stefania Gnesi,
Ugo Montanari,
Roberto Raggi,
Gianluca Trentanni,
Emilio Tuosto:
Verication On The Web Of Mobile Systems.
VVEIS 2004: 72-74 |
| 218 | | Fabio Gadducci,
Marino Miculan,
Ugo Montanari:
Some Characterization Results for Permutation Algebras.
Electr. Notes Theor. Comput. Sci. 104: 129-147 (2004) |
| 217 | | Ivan Lanese,
Ugo Montanari:
A Graphical Fusion Calculus.
Electr. Notes Theor. Comput. Sci. 104: 199-215 (2004) |
| 216 | | Roberto Bruni,
Hernán C. Melgratti,
Ugo Montanari:
Flat Committed Join in Join.
Electr. Notes Theor. Comput. Sci. 104: 39-59 (2004) |
| 215 | | Ugo Montanari:
Web Services and Models of Computation.
Electr. Notes Theor. Comput. Sci. 105: 5-9 (2004) |
| 214 | | Dan Hirsch,
Ugo Montanari:
Shaped Hierarchical Architectural Design.
Electr. Notes Theor. Comput. Sci. 109: 97-109 (2004) |
| 213 | | Roberto Bruni,
Ugo Montanari:
Concurrent models for Linda with transactions.
Mathematical Structures in Computer Science 14(3): 421-468 (2004) |
| 2003 |
|---|
| 212 | | Roberto Bruni,
José Meseguer,
Ugo Montanari,
Vladimiro Sassone:
Algebraic Theories for Contextual Pre-nets.
ICTCS 2003: 256-270 |
| 211 | | Roberto Bruni,
Hernán C. Melgratti,
Ugo Montanari:
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets.
Lectures on Concurrency and Petri Nets 2003: 291-327 |
| 210 | | Rocco De Nicola,
Gian Luigi Ferrari,
Ugo Montanari,
Rosario Pugliese,
Emilio Tuosto:
A Formal Basis for Reasoning on Programmable QoS.
Verification: Theory and Practice 2003: 436-479 |
| 209 | | Gian Luigi Ferrari,
Stefania Gnesi,
Ugo Montanari,
Marco Pistore:
A model-checking verification environment for mobile processes.
ACM Trans. Softw. Eng. Methodol. 12(4): 440-473 (2003) |
| 2002 |
|---|
| 208 | | Ricardo A. Baeza-Yates,
Ugo Montanari,
Nicola Santoro:
Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), August 25-30, 2002, Montréal, Québec, Canada
Kluwer 2002 |
| 207 | | Gian Luigi Ferrari,
Ugo Montanari,
Emilio Tuosto:
Graph-Based Models of Internetworking Systems.
10th Anniversary Colloquium of UNU/IIST 2002: 242-266 |
| 206 | | Roberto Bruni,
Cosimo Laneve,
Ugo Montanari:
Orchestrating Transactions in Join Calculus.
CONCUR 2002: 321-337 |
| 205 | | Maria Grazia Buscemi,
Ugo Montanari:
A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence.
CONCUR 2002: 449-465 |
| 204 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Soft Concurrent Constraint Programming.
ESOP 2002: 53-67 |
| 203 | | Gian Luigi Ferrari,
Ugo Montanari,
Roberto Raggi,
Emilio Tuosto:
From Co-algebraic Specifications to Implementation: The Mihda Toolkit.
FMCO 2002: 319-338 |
| 202 | | Gian Luigi Ferrari,
Ugo Montanari,
Marco Pistore:
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation.
FoSSaCS 2002: 129-158 |
| 201 | | Paolo Baldan,
Andrea Corradini,
Ugo Montanari:
Bisimulation Equivalences for Graph Grammars.
Formal and Natural Computing 2002: 158-190 |
| 200 | | Ugo Montanari,
Leila Ribeiro:
Linear Ordered Graph Grammars and Their Algebraic Foundations.
ICGT 2002: 317-333 |
| 199 | | Luis Filipe Andrade,
Paolo Baldan,
Hubert Baumeister,
Roberto Bruni,
Andrea Corradini,
Rocco De Nicola,
José Luiz Fiadeiro,
Fabio Gadducci,
Stefania Gnesi,
Piotr Hoffman,
Nora Koch,
Piotr Kosiuczenko,
Alessandro Lapadula,
Diego Latella,
Antónia Lopes,
Michele Loreti,
Mieke Massink,
Franco Mazzanti,
Ugo Montanari,
Cristóvão Oliveira,
Rosario Pugliese,
Andrzej Tarlecki,
Michel Wermelinger,
Martin Wirsing,
Artur Zawlocki:
AGILE: Software Architecture for Mobility.
WADT 2002: 1-33 |
| 198 | | Paolo Baldan,
Roberto Bruni,
Ugo Montanari:
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation.
WADT 2002: 145-164 |
| 197 | | Paolo Baldan,
Andrea Corradini,
Ugo Montanari,
Leila Ribeiro:
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars.
WADT 2002: 165-184 |
| 196 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Soft Concurrent Constraint Programming
CoRR cs.PL/0208008: (2002) |
| 195 | | Matteo Coccia,
Fabio Gadducci,
Ugo Montanari:
GS.Lambda Theories: A Syntax for Higher-Order Graphs.
Electr. Notes Theor. Comput. Sci. 69: (2002) |
| 194 | | Fabio Gadducci,
Ugo Montanari:
Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002.
Electr. Notes Theor. Comput. Sci. 71: 1-2 (2002) |
| 193 | | Roberto Bruni,
José Meseguer,
Ugo Montanari:
Tiling Transactions in Rewriting Logic.
Electr. Notes Theor. Comput. Sci. 71: (2002) |
| 192 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Soft Constraint Logic Programming and Generalized Shortest Path Problems.
J. Heuristics 8(1): 25-41 (2002) |
| 191 | | Roberto Bruni,
José Meseguer,
Ugo Montanari:
Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic.
Mathematical Structures in Computer Science 12(1): 53-90 (2002) |
| 190 | | Andrea Corradini,
Reiko Heckel,
Ugo Montanari:
Compositional SOS and beyond: a coalgebraic view of open systems.
Theor. Comput. Sci. 280(1-2): 163-192 (2002) |
| 189 | | Roberto Bruni,
Ugo Montanari:
Dynamic connectors for concurrency.
Theor. Comput. Sci. 281(1-2): 131-176 (2002) |
| 188 | | Fabio Gadducci,
Ugo Montanari:
Comparing logics for rewriting: rewriting logic, action calculi and tile logic.
Theor. Comput. Sci. 285(2): 319-358 (2002) |
| 187 | | Roberto Bruni,
Fabio Gadducci,
Ugo Montanari:
Normal forms for algebras of connection.
Theor. Comput. Sci. 286(2): 247-292 (2002) |
| 2001 |
|---|
| 186 | | Dan Hirsch,
Ugo Montanari:
Synchronized Hyperedge Replacement with Name Mobility.
CONCUR 2001: 121-136 |
| 185 | | Gian Luigi Ferrari,
Ugo Montanari,
Emilio Tuosto:
A LTS Semantics of Ambients via Graph Synchronization with Mobility.
ICTCS 2001: 1-16 |
| 184 | | Barbara König,
Ugo Montanari:
Observational Equivalence for Synchronized Graph Rewriting with Mobility.
TACS 2001: 145-164 |
| 183 | | Roberto Bruni,
Ugo Montanari:
Transactions and Zero-Safe Nets.
Unifying Petri Nets 2001: 380-426 |
| 182 | | Roberto Bruni,
Ugo Montanari,
Francesca Rossi:
An interactive semantics of logic programming
CoRR cs.LO/0107022: (2001) |
| 181 | | Andrea Corradini,
Marina Lenisa,
Ugo Montanari:
Preface.
Electr. Notes Theor. Comput. Sci. 44(1): (2001) |
| 180 | | Fabio Gadducci,
Ugo Montanari:
A Concurrent Graph Semantics for Mobile Ambients.
Electr. Notes Theor. Comput. Sci. 45: (2001) |
| 179 | | Dan Hirsch,
Ugo Montanari:
Two Graph-Based Techniques for Software Architecture Reconfiguration.
Electr. Notes Theor. Comput. Sci. 51: (2001) |
| 178 | | Ugo Montanari,
Vladimiro Sassone:
Preface.
Electr. Notes Theor. Comput. Sci. 54: (2001) |
| 177 | | Roberto Bruni,
Ugo Montanari:
Zero-safe net models for transactions in Linda.
Electr. Notes Theor. Comput. Sci. 54: (2001) |
| 176 | | Fabio Gadducci,
Piergiulio Katis,
Ugo Montanari,
Nicoletta Sabadini,
Robert F. C. Walters:
Comparing cospan-spans and tiles via a Hoare-style process calculus.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 175 | | Roberto Bruni,
José Meseguer,
Ugo Montanari,
Vladimiro Sassone:
Functorial Models for Petri Nets.
Inf. Comput. 170(2): 207-236 (2001) |
| 174 | | Paolo Baldan,
Andrea Corradini,
Ugo Montanari:
Contextual Petri Nets, Asymmetric Event Structures, and Processes.
Inf. Comput. 171(1): 1-49 (2001) |
| 173 | | Roberto Bruni,
Ugo Montanari,
Francesca Rossi:
An interactive semantics of logic programming.
TPLP 1(6): 647-690 (2001) |
| 2000 |
|---|
| 172 | | Ugo Montanari,
José D. P. Rolim,
Emo Welzl:
Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings
Springer 2000 |
| 171 | | Roberto Bruni,
David de Frutos-Escrig,
Narciso Martí-Oliet,
Ugo Montanari:
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic.
CONCUR 2000: 259-274 |
| 170 | | Dan Hirsch,
Paola Inverardi,
Ugo Montanari:
Reconfiguration of Software Architecture Styles with Name Mobility.
COORDINATION 2000: 148-163 |
| 169 | | Andrea Corradini,
Reiko Heckel,
Ugo Montanari:
Graphical Operational Semantics.
ICALP Satellite Workshops 2000: 411-418 |
| 168 | | Roberto Bruni,
Ugo Montanari:
Executing Transactions in Zero-Safe Nets.
ICATPN 2000: 83-102 |
| 167 | | Roberto Bruni,
Ugo Montanari,
Vladimiro Sassone:
Open Ended Systems, Dynamic Bisimulation and Tile Logic.
IFIP TCS 2000: 440-456 |
| 166 | | Ugo Montanari:
Two Problems in Wide Area Network Programming.
IFIP TCS 2000: 609-611 |
| 165 | | Ugo Montanari,
Marco Pistore:
pi-Calculus, Structured Coalgebras, and Minimal HD-Automata.
MFCS 2000: 569-578 |
| 164 | | Fabio Gadducci,
Ugo Montanari:
The tile model.
Proof, Language, and Interaction 2000: 133-166 |
| 163 | | Gian Luigi Ferrari,
Ugo Montanari:
Tile Formats for Located and Mobile Systems.
Inf. Comput. 156(1-2): 173-235 (2000) |
| 162 | | Roberto Bruni,
Ugo Montanari:
Zero-Safe Nets: Comparing the Collective and Individual Token Approaches.
Inf. Comput. 156(1-2): 46-89 (2000) |
| 1999 |
|---|
| 161 | | Roberto Bruni,
José Meseguer,
Ugo Montanari:
Executable Tile Specifications for Process Calculi.
FASE 1999: 60-76 |
| 160 | | Andrea Corradini,
Reiko Heckel,
Ugo Montanari:
Tile Transition Systems as Structured Coalgebras.
FCT 1999: 13-38 |
| 159 | | Paolo Baldan,
Andrea Corradini,
Ugo Montanari:
Unfolding and Event Structure Semantics for Graph Grammars.
FoSSaCS 1999: 73-89 |
| 158 | | Roberto Bruni,
Ugo Montanari:
Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus.
LICS 1999: 246-265 |
| 157 | | Ugo Montanari,
Marco Pistore:
Finite State Verification for the Asynchronous pi-Calculus.
TACAS 1999: 255-269 |
| 156 | | Paolo Baldan,
Andrea Corradini,
Ugo Montanari:
History Preserving Bisimulation for Contextual Nets.
WADT 1999: 291-310 |
| 155 | | Dan Hirsch,
Paola Inverardi,
Ugo Montanari:
Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving.
WICSA 1999: 127-144 |
| 154 | | Ugo Montanari,
Francesca Rossi:
Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems.
Applied Categorical Structures 7(4): 333-370 (1999) |
| 153 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi,
Thomas Schiex,
Gérard Verfaillie,
Hélène Fargier:
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison.
Constraints 4(3): 199-240 (1999) |
| 152 | | Andrea Corradini,
Reiko Heckel,
Ugo Montanari:
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence.
Electr. Notes Theor. Comput. Sci. 19: (1999) |
| 151 | | Dan Hirsch,
Ugo Montanari:
Consistent transformations for software architecture styles of distributed systems.
Electr. Notes Theor. Comput. Sci. 28: (1999) |
| 150 | | Roberto Bruni,
José Meseguer,
Ugo Montanari,
Vladimiro Sassone:
Functorial semantics for Petri nets under the individual token philosophy.
Electr. Notes Theor. Comput. Sci. 29: (1999) |
| 1998 |
|---|
| 149 | | Roberto Bruni,
José Meseguer,
Ugo Montanari,
Vladimiro Sassone:
A Comparison of Petri Net Semantics under the Collective Token Philosophy.
ASIAN 1998: 225-244 |
| 148 | | Gian Luigi Ferrari,
Stefania Gnesi,
Ugo Montanari,
Marco Pistore,
Gioia Ristori:
Verifying Mobile Processes in the HAL Environment.
CAV 1998: 511-515 |
| 147 | | Paolo Baldan,
Andrea Corradini,
Ugo Montanari:
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures.
FoSSaCS 1998: 63-80 |
| 146 | | Paolo Baldan,
Andrea Corradini,
Ugo Montanari:
Concatenable Graph Processes: Relating Processes and Derivation Traces.
ICALP 1998: 283-295 |
| 145 | | Fabio Gadducci,
Ugo Montanari:
Axioms for Contextual Net Processes.
ICALP 1998: 296-308 |
| 144 | | Furio Honsell,
Marina Lenisa,
Ugo Montanari,
Marco Pistore:
Final semantics for the pi-calculus.
PROCOMET 1998: 225-243 |
| 143 | | Paolo Baldan,
Andrea Corradini,
Ugo Montanari:
Unfolding of Double-Pushout Graph Grammars is a Coreflection.
TAGT 1998: 145-163 |
| 142 | | Roberto Bruni,
Fabio Gadducci,
Ugo Montanari:
Normal Forms for Partitions and Relations.
WADT 1998: 31-47 |
| 141 | | Roberto Bruni,
José Meseguer,
Ugo Montanari:
Internal strategies in a rewriting implementation of tile systems.
Electr. Notes Theor. Comput. Sci. 15: (1998) |
| 140 | | Gian Luigi Ferrari,
Ugo Montanari:
Parameterized Structured Operational Semantics.
Fundam. Inform. 34(1-2): 1-31 (1998) |
| 139 | | Francisco Bueno,
Manuel V. Hermenegildo,
Ugo Montanari,
Francesca Rossi:
Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs.
Sci. Comput. Program. 30(1-2): 51-82 (1998) |
| 1997 |
|---|
| 138 | | José Meseguer,
Ugo Montanari,
Vladimiro Sassone:
Representation Theorems for Petri Nets.
Foundations of Computer Science: Potential - Theory - Cognition 1997: 239-249 |
| 137 | | Andrea Corradini,
Ugo Montanari,
Francesca Rossi,
Hartmut Ehrig,
Reiko Heckel,
Michael Löwe:
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach.
Handbook of Graph Grammars 1997: 163-246 |
| 136 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Semiring-based Constraint Logic Programming.
IJCAI (1) 1997: 352-357 |
| 135 | | Gian Luigi Ferrari,
Ugo Montanari:
A Tile-Based Coordination View of Asynchronous pi-Calculus.
MFCS 1997: 52-70 |
| 134 | | Ugo Montanari,
Marco Pistore:
Minimal Transition Systems for History-Preserving Bisimulation.
STACS 1997: 413-425 |
| 133 | | Gian Luigi Ferrari,
Gianluigi Ferro,
Stefania Gnesi,
Ugo Montanari,
Marco Pistore,
Gioia Ristori:
An Automated Based Verification Environment for Mobile Processes.
TACAS 1997: 275-289 |
| 132 | | Roberto Bruni,
Ugo Montanari:
Zero-safe nets: The individual token approach.
WADT 1997: 122-140 |
| 131 | | José Meseguer,
Ugo Montanari:
Mapping tile logic into rewriting logic.
WADT 1997: 62-91 |
| 130 | | Ugo Montanari,
Francesca Rossi:
Constraint Solving and Programming: What Next?
Constraints 2(1): 87-91 (1997) |
| 129 | | Ugo Montanari,
Marco Pistore:
An Introduction to History Dependent Automata.
Electr. Notes Theor. Comput. Sci. 10: (1997) |
| 128 | | Ugo Montanari,
Carolyn L. Talcott:
Can Actors and pi-Agents Live Together?
Electr. Notes Theor. Comput. Sci. 10: (1997) |
| 127 | | Gian Luigi Ferrari,
Ugo Montanari:
Tiles for concurrent and located calculi?
Electr. Notes Theor. Comput. Sci. 7: (1997) |
| 126 | | Roberto Bruni,
Ugo Montanari:
Zero-safe nets, or transition synchronization made simple.
Electr. Notes Theor. Comput. Sci. 7: (1997) |
| 125 | | Ugo Montanari,
Gioia Ristori:
A Concurrent Functional Semantics for a Process Algebra Based on Action Systems.
Fundam. Inform. 31(3/4): 357-377 (1997) |
| 124 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Semiring-based constraint satisfaction and optimization.
J. ACM 44(2): 201-236 (1997) |
| 123 | | Gian Luigi Ferrari,
Ugo Montanari,
Miranda Mowbray:
Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations.
Mathematical Structures in Computer Science 7(3): 241-282 (1997) |
| 122 | | José Meseguer,
Ugo Montanari,
Vladimiro Sassone:
On the Semantics of Place/Transition Petri Nets.
Mathematical Structures in Computer Science 7(4): 359-397 (1997) |
| 1996 |
|---|
| 121 | | Ugo Montanari,
Vladimiro Sassone:
CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings
Springer 1996 |
| 120 | | Ugo Montanari,
Francesca Rossi:
Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract).
COORDINATION 1996: 12-27 |
| 119 | | Ugo Montanari,
Marco Pistore,
Daniel Yankelevich:
Efficient Minimization up to Location Equivalence.
ESOP 1996: 265-279 |
| 118 | | Ugo Montanari:
Causal Computing.
ACM Comput. Surv. 28(4es): 51 (1996) |
| 117 | | Ugo Montanari,
Francesca Rossi:
Constraint Solving and Programming: What's Next?
ACM Comput. Surv. 28(4es): 70 (1996) |
| 116 | | Pierpaolo Degano,
José Meseguer,
Ugo Montanari:
Axiomatizing the Algebra of Net Computations and Processes.
Acta Inf. 33(7): 641-667 (1996) |
| 115 | | Fabio Gadducci,
Ugo Montanari:
Tiles, rewriting rules and CCS.
Electr. Notes Theor. Comput. Sci. 4: (1996) |
| 114 | | Andrea Corradini,
Ugo Montanari,
Francesca Rossi:
Graph Processes.
Fundam. Inform. 26(3/4): 241-265 (1996) |
| 113 | | Cosimo Laneve,
Ugo Montanari:
Axiomatizing Permutation Equivalence.
Mathematical Structures in Computer Science 6(3): 219-249 (1996) |
| 112 | | José Meseguer,
Ugo Montanari,
Vladimiro Sassone:
Process versus Unfolding Semantics for Place/Transition Petri Nets.
Theor. Comput. Sci. 153(1&2): 171-210 (1996) |
| 111 | | Gian Luigi Ferrari,
Ugo Montanari,
Paola Quaglia:
A Pi-Calculus with Explicit Substitutions.
Theor. Comput. Sci. 168(1): 53-103 (1996) |
| 1995 |
|---|
| 110 | | Ugo Montanari,
Francesca Rossi:
Principles and Practice of Constraint Programming - CP'95, First International Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings
Springer 1995 |
| 109 | | Gian Luigi Ferrari,
Ugo Montanari:
Dynamic Matrices and the Cost Analysis of Concurrent Programs.
AMAST 1995: 307-321 |
| 108 | | Ugo Montanari,
Marco Pistore:
Checking Bisimilarity for Finitary pi-Calculus.
CONCUR 1995: 42-56 |
| 107 | | Gian Luigi Ferrari,
Ugo Montanari,
Paola Quaglia:
The Weak Late pi-Calculus Semantics as Observation Equivalence.
CONCUR 1995: 57-71 |
| 106 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Constraint Solving over Semirings.
IJCAI (1) 1995: 624-630 |
| 105 | | Stefano Bistarelli,
Hélène Fargier,
Ugo Montanari,
Francesca Rossi,
Thomas Schiex,
Gérard Verfaillie:
Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison.
Over-Constrained Systems 1995: 111-150 |
| 104 | | Andrea Corradini,
Fabio Gadducci,
Ugo Montanari:
Relating Two Categorial Models of Term Rewriting.
RTA 1995: 225-240 |
| 103 | | Ugo Montanari,
Francesca Rossi:
Contextual Nets
Acta Inf. 32(6): 545-596 (1995) |
| 102 | | Ugo Montanari,
Marco Pistore:
Concurrent semantics for the pi-calculus.
Electr. Notes Theor. Comput. Sci. 1: (1995) |
| 101 | | Andrea Corradini,
Ugo Montanari:
Preface.
Electr. Notes Theor. Comput. Sci. 2: (1995) |
| 100 | | Roberto Gorrieri,
Ugo Montanari:
On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies.
Theor. Comput. Sci. 141(1&2): 195-252 (1995) |
| 99 | | Ugo Montanari,
Daniel Yankelevich:
Location Equivalence in Parametric Setting.
Theor. Comput. Sci. 149(2): 299-332 (1995) |
| 1994 |
|---|
| 98 | | Francisco Bueno,
Manuel V. Hermenegildo,
Ugo Montanari,
Francesca Rossi:
From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics.
ALP 1994: 114-132 |
| 97 | | José Meseguer,
Ugo Montanari,
Vladimiro Sassone:
On the Model of Computation of Place/Transition Petri Nets.
Application and Theory of Petri Nets 1994: 16-38 |
| 96 | | Ugo Montanari,
Francesca Rossi:
Concurrency and Concurrent Constraint Programming
Constraint Programming 1994: 171-192 |
| 95 | | Gian Luigi Ferrari,
Ugo Montanari,
Paola Quaglia:
A Pi-Calculus with Explicit Substitutions: the Late Semantics.
MFCS 1994: 342-351 |
| 94 | | Ugo Montanari,
Francesca Rossi,
Francisco Bueno,
Maria J. García de la Banda,
Manuel V. Hermenegildo:
Towards a Concurrent Semantics based Analysis of CC and CLP.
PPCP 1994: 151-161 |
| 93 | | Ugo Montanari,
Francesca Rossi,
Vijay A. Saraswat:
CC Programs with both In- and Non-determinism: A Concurrent Semantics.
PPCP 1994: 162-172 |
| 92 | | Nicoletta De Francesco,
Ugo Montanari,
Gioia Ristori:
Modelling Concurrent Accesses to Shared Data via Petri Nets.
PROCOMET 1994: 403-422 |
| 91 | | Andrea Corradini,
Hartmut Ehrig,
Michael Löwe,
Ugo Montanari,
Francesca Rossi:
An Event Structure Semantics for Safe Graph Grammars.
PROCOMET 1994: 423-444 |
| 90 | | Andrea Corradini,
Hartmut Ehrig,
Michael Löwe,
Ugo Montanari,
Francesca Rossi:
An Event Structure Semantics for Graph Grammars with Parallel Productions.
TAGT 1994: 240-256 |
| 89 | | Andrea Corradini,
Hartmut Ehrig,
Michael Löwe,
Ugo Montanari,
Julia Padberg:
The Category of Typed Graph Grammars and its Adjunctions with Categories.
TAGT 1994: 56-74 |
| 88 | | Ugo Montanari,
Daniel Yankelevich:
Combining CCS and Petri Nets Via Structural Axioms.
Fundam. Inform. 20(1/2/3): 193-229 (1994) |
| 87 | | Andrea Corradini,
Ugo Montanari,
Francesca Rossi:
An Abstract Machine for Concurrent Modular Systems: CHARM.
Theor. Comput. Sci. 122(1&2): 165-200 (1994) |
| 1993 |
|---|
| 86 | | Andrea Corradini,
Hartmut Ehrig,
Michael Löwe,
Ugo Montanari,
Francesca Rossi:
Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine.
Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 119-137 |
| 85 | | Ugo Montanari,
Francesca Rossi:
Contextual Occurence Nets and Concurrent Constraint Programming.
Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 280-295 |
| 84 | | Andrea Corradini,
Hartmut Ehrig,
Michael Löwe,
Ugo Montanari,
Francesca Rossi:
Abstract Graph Derivations in the Double Pushout Approach.
Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 86-103 |
| 83 | | Ugo Montanari,
Francesca Rossi:
Constraint Satisfaction, Constraint Programming, and Concurrency.
PPCP 1993: 219-227 |
| 82 | | Nicoletta De Francesco,
Ugo Montanari,
Daniel Yankelevich:
Axiomatizing CCS, Nets and Processes.
Sci. Comput. Program. 21(3): 225-261 (1993) |
| 81 | | Ugo Montanari,
Francesca Rossi:
Graph Rewriting for a Partial Ordering Semantics of Concurrent Constraint Programming.
Theor. Comput. Sci. 109(1&2): 225-256 (1993) |
| 80 | | Pierpaolo Degano,
Rocco De Nicola,
Ugo Montanari:
Universal Axioms for Bisimulations.
Theor. Comput. Sci. 114(1): 63-91 (1993) |
| 1992 |
|---|
| 79 | | Cosimo Laneve,
Ugo Montanari:
Axiomatizing Permutation Equivalence in the Lambda-Calculus.
ALP 1992: 350-363 |
| 78 | | Ugo Montanari,
Francesca Rossi:
Graph Grammars as Context-Dependent Rewriting Systems: A Partial Ordering Semantics.
CAAP 1992: 232-247 |
| 77 | | José Meseguer,
Ugo Montanari,
Vladimiro Sassone:
On the Semantics of Petri Nets.
CONCUR 1992: 286-301 |
| 76 | | Andrea Corradini,
Ugo Montanari,
Francesca Rossi:
SHARM: Concurrency and Hiding in an Abstract Rewriting Machine.
FGCS 1992: 887-896 |
| 75 | | Ugo Montanari,
Daniel Yankelevich:
A Parametric Approach to Localities.
ICALP 1992: 617-628 |
| 74 | | Cosimo Laneve,
Ugo Montanari:
Mobility in the CC-Paradigm.
MFCS 1992: 336-345 |
| 73 | | Ugo Montanari:
True Concurrency: Theory and Practice.
MPC 1992: 14-17 |
| 72 | | Pierpaolo Degano,
Rocco De Nicola,
Ugo Montanari:
Observation Trees.
NAPAW 1992: 103-118 |
| 71 | | Ugo Montanari,
Vladimiro Sassone:
Dynamic congruence vs. progressing bisimulation for CCS.
Fundam. Inform. 16(1): 171-199 (1992) |
| 70 | | Andrea Corradini,
Ugo Montanari:
An Algebraic Semantics for Structured Transition Systems and its Applications to Logic Programs.
Theor. Comput. Sci. 103(1): 51-106 (1992) |
| 1991 |
|---|
| 69 | | Roberto Gorrieri,
Ugo Montanari:
Distributed Implementation of CCS.
Applications and Theory of Petri Nets 1991: 244-266 |
| 68 | | Gian Luigi Ferrari,
Ugo Montanari:
The Observation Algebra of Spatial Pomsets.
CONCUR 1991: 188-202 |
| 67 | | Andrea Corradini,
Ugo Montanari:
An Algebra of Graphs and Graph Rewriting.
Category Theory and Computer Science 1991: 236-260 |
| 66 | | Andrea Corradini,
Ugo Montanari:
An Algebraic Representation of Logic-Program Computations.
Computational Logic - Essays in Honor of Alan Robinson 1991: 584-612 |
| 65 | | Ugo Montanari,
Francesca Rossi:
Perfect Relaxation in Constraint Logic Programming.
ICLP 1991: 223-237 |
| 64 | | Ugo Montanari,
Francesca Rossi:
True Concurrency in Concurrent Constraint Programming.
ISLP 1991: 694-713 |
| 63 | | Ugo Montanari,
Vladimiro Sassone:
CCS Dynamic Bisimulation is Progressing.
MFCS 1991: 346-356 |
| 62 | | Gian Luigi Ferrari,
Roberto Gorrieri,
Ugo Montanari:
An Extended Expansion Theorem.
TAPSOFT, Vol.2 1991: 29-48 |
| 61 | | Ugo Montanari,
Francesca Rossi:
Finite Domain Constraint Solving and Constraint Logic Programming.
WCLP 1991: 201-221 |
| 60 | | Ugo Montanari,
Francesca Rossi:
Constraint Relaxation may be Perfect.
Artif. Intell. 48(2): 143-170 (1991) |
| 1990 |
|---|
| 59 | | Gian Luigi Ferrari,
Ugo Montanari:
Towards the Unification of Models for Concurrency.
CAAP 1990: 162-176 |
| 58 | | Rocco De Nicola,
Ugo Montanari,
Frits W. Vaandrager:
Back and Forth Bisimulations.
CONCUR 1990: 152-165 |
| 57 | | Roberto Gorrieri,
Ugo Montanari:
SCONE: A Simple Calculus of Nets.
CONCUR 1990: 2-30 |
| 56 | | Andrea Corradini,
Ugo Montanari,
Francesca Rossi,
Hartmut Ehrig,
Michael Löwe:
Graph Grammars and Logic Programming.
Graph-Grammars and Their Application to Computer Science 1990: 221-237 |
| 55 | | Andrea Corradini,
Ugo Montanari:
An Algebraic Semantics of Logic Programs as Structured Transition Systems.
NACLP 1990: 788-812 |
| 54 | | Andrea Corradini,
Ugo Montanari:
Towards a Process Semantics in the Logic Programming Style.
STACS 1990: 95-108 |
| 53 | | Andrea Corradini,
Gian Luigi Ferrari,
Ugo Montanari:
Transition Systems with Algebraic Structure as Models of Computations.
Semantics of Systems of Concurrent Processes 1990: 185-222 |
| 52 | | José Meseguer,
Ugo Montanari:
Petri Nets Are Monoids
Inf. Comput. 88(2): 105-155 (1990) |
| 51 | | Roberto Gorrieri,
Ugo Montanari:
Towards Hierarchical Description of Systems: A Proof System for Strong Prefixing.
Int. J. Found. Comput. Sci. 1(3): 277-294 (1990) |
| 50 | | Roberto Gorrieri,
Sergio Marchetti,
Ugo Montanari:
A2CCKS: Atomic Actions for CCS.
Theor. Comput. Sci. 72(2&3): 203-223 (1990) |
| 49 | | Pierpaolo Degano,
Rocco De Nicola,
Ugo Montanari:
A Partial Ordering Semantics for CCS.
Theor. Comput. Sci. 75(3): 223-262 (1990) |
| 1989 |
|---|
| 48 | | Ugo Montanari,
Daniel Yankelevich:
An Algebraic View of Interleaving and Distributed Operational Semantics for CCS.
Category Theory and Computer Science 1989: 5-20 |
| 47 | | Francesca Rossi,
Ugo Montanari:
Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation.
KR 1989: 394-399 |
| 46 | | Pierpaolo Degano,
José Meseguer,
Ugo Montanari:
Axiomatizing Net Computations and Processes
LICS 1989: 175-185 |
| 1988 |
|---|
| 45 | | Roberto Gorrieri,
Sergio Marchetti,
Ugo Montanari:
A²CCS: A Simple Extension of CCS for Handling Atomic Actions.
CAAP 1988: 258-270 |
| 44 | | Ugo Montanari:
CEDISYS: Compositional Distributed Systems - State of the art, research goals, references.
European Workshop on Applications and Theory in Petri Nets 1988: 507-524 |
| 43 | | Pierpaolo Degano,
Rocco De Nicola,
Ugo Montanari:
On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract)
LICS 1988: 133-141 |
| 42 | | José Meseguer,
Ugo Montanari:
Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory
LICS 1988: 155-164 |
| 41 | | Francesca Rossi,
Ugo Montanari:
Hypergraph Grammars and Networks of Constraints versus Logic Programming and Metaprogramming.
META 1988: 531-544 |
| 40 | | Pierpaolo Degano,
Rocco De Nicola,
Ugo Montanari:
Partial orderings descriptions and observations of nondeterministic concurrent processes.
REX Workshop 1988: 438-466 |
| 39 | | Pierpaolo Degano,
Rocco De Nicola,
Ugo Montanari:
A Distributed Operational Semantics for CCS Based on Condition/Event Systems.
Acta Inf. 26(1/2): 59-91 (1988) |
| 1987 |
|---|
| 38 | | Hartmut Ehrig,
Robert A. Kowalski,
Giorgio Levi,
Ugo Montanari:
TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87)
Springer 1987 |
| 37 | | Hartmut Ehrig,
Robert A. Kowalski,
Giorgio Levi,
Ugo Montanari:
TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
Springer 1987 |
| 36 | | A. Nico Habermann,
Ugo Montanari:
Software Development and Ada, CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings
Springer 1987 |
| 35 | | Alessandro Fantechi,
Stefania Gnesi,
Paola Inverardi,
Ugo Montanari:
An Executon Environment for the Formal Definiton of Ada.
ESEC 1987: 327-335 |
| 34 | | Pierpaolo Degano,
Ugo Montanari:
A model for distributed systems based on graph rewriting.
J. ACM 34(2): 411-449 (1987) |
| 33 | | Pierpaolo Degano,
Ugo Montanari:
Concurrent Histories: A Basis for Observing Distributed Systems.
J. Comput. Syst. Sci. 34(2/3): 422-461 (1987) |
| 1986 |
|---|
| 32 | | Ugo Montanari,
Francesca Rossi:
An Efficient Algorithm for the Solution of Hierarchical Networks of Constraints.
Graph-Grammars and Their Application to Computer Science 1986: 440-457 |
| 31 | | Francesco Parisi-Presicce,
Hartmut Ehrig,
Ugo Montanari:
Graph rewriting with unification and composition.
Graph-Grammars and Their Application to Computer Science 1986: 496-514 |
| 30 | | Pierpaolo Degano,
Rocco De Nicola,
Ugo Montanari:
CCS is an (Augmented) Contact Free C/E System.
Mathematical Models for the Semantics of Parallelism 1986: 144-165 |
| 1985 |
|---|
| 29 | | Pierpaolo Degano,
Rocco De Nicola,
Ugo Montanari:
Partial ordering derivations for CCS.
FCT 1985: 520-533 |
| 28 | | Pierpaolo Degano,
Ugo Montanari:
Specification Languages for Distributed Systems.
TAPSOFT, Vol.1 1985: 29-51 |
| 1984 |
|---|
| 27 | | Pierpaolo Degano,
Ugo Montanari:
Liveness Properties as Convergence in Metric Spaces
STOC 1984: 31-38 |
| 1982 |
|---|
| 26 | | Mariangiola Dezani-Ciancaglini,
Ugo Montanari:
International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings
Springer 1982 |
| 25 | | Ilaria Castellani,
Ugo Montanari:
Graph Grammars for distributed systems.
Graph-Grammars and Their Application to Computer Science 1982: 20-38 |
| 24 | | Alberto Martelli,
Ugo Montanari:
An Efficient Unification Algorithm.
ACM Trans. Program. Lang. Syst. 4(2): 258-282 (1982) |
| 1981 |
|---|
| 23 | | Rocco De Nicola,
A. Matelli,
Ugo Montanari:
Communication Through Message Passing or Shared Memory: A Formal Comparison.
ICDCS 1981: 513-522 |
| 22 | | Stefania Gnesi,
Ugo Montanari,
Alberto Martelli:
Dynamic Programming as Graph Searching: An Algebraic Approach.
J. ACM 28(4): 737-751 (1981) |
| 1979 |
|---|
| 21 | | Patrizia Asirelli,
Pierpaolo Degano,
Giorgio Levi,
Alberto Martelli,
Ugo Montanari,
Giuliano Pacini,
Franco Sirovich,
Franco Turini:
A Flexible Environment for Program Development Based on a Symbolic Interpreter.
ICSE 1979: 251-264 |
| 1978 |
|---|
| 20 | | Alfonso Catalano,
Stefania Gnesi,
Ugo Montanari:
Shortest Path Problems and Tree Grammars: An Algebraic Framework.
Graph-Grammars and Their Application to Computer Science and Biology 1978: 167-179 |
| 19 | | Alberto Martelli,
Ugo Montanari:
Optimizing Decision Trees Through Heuristically Guided Search.
Commun. ACM 21(12): 1025-1039 (1978) |
| 1977 |
|---|
| 18 | | Alberto Martelli,
Ugo Montanari:
Theorem Proving with Structure Sharing and Efficient Unification.
IJCAI 1977: 543 |
| 1976 |
|---|
| 17 | | V. Giarratana,
F. Gimona,
Ugo Montanari:
Observability Concepts in Abstract Data Type Specifications.
MFCS 1976: 576-587 |
| 1975 |
|---|
| 16 | | Alberto Martelli,
Ugo Montanari:
Form Dynamic Programming To Search Algorithms With Functional Costs.
IJCAI 1975: 345-350 |
| 1974 |
|---|
| 15 | | Alberto Martelli,
Ugo Montanari:
Dynamic Programming Schemata.
ICALP 1974: 66-80 |
| 14 | | Ugo Montanari:
Optimization Methods in Image Processing.
IFIP Congress 1974: 727-732 |
| 13 | | Ugo Montanari:
Networks of constraints: Fundamental properties and applications to picture processing.
Inf. Sci. 7: 95-132 (1974) |
| 1973 |
|---|
| 12 | | Alberto Martelli,
Ugo Montanari:
Additive AND/OR Graphs.
IJCAI 1973: 1-11 |
| 11 | | Luigia Carlucci Aiello,
Ugo Montanari:
Towards a Formal Definition of the Control in Structured Programs.
MFCS 1973: 169-174 |
| 1971 |
|---|
| 10 | | Alberto Martelli,
Ugo Montanari:
Optimal Smoothing in Picture Processing: An Application to Fingerprints.
IFIP Congress (1) 1971: 173-178 |
| 9 | | Ugo Montanari:
On the Optimal Approximation of Discrete Functions with Low-dimensional Tables.
IFIP Congress (2) 1971: 1363-1368 |
| 8 | | Ugo Montanari:
On the Optimal Detection of Curves in Noisy Pictures.
Commun. ACM 14(5): 335-345 (1971) |
| 1970 |
|---|
| 7 | | Ugo Montanari:
Heuristically Guided Search and Chromosome Matching.
Artif. Intell. 1(4): 227-245 (1970) |
| 6 | | Ugo Montanari:
A Note on Minimal Length Polygongal Approximation to a Digitized Contour.
Commun. ACM 13(1): 41-47 (1970) |
| 5 | | Ugo Montanari:
Separable Graphs, Planar Graphs and Web Grammars
Information and Control 16(3): 243-267 (1970) |
| 4 | | Giorgio Levi,
Ugo Montanari:
A Grey-Weighted Skeleton
Information and Control 17(1): 62-91 (1970) |
| 3 | | Ugo Montanari:
On Limit Properties in Digitization Schemes.
J. ACM 17(2): 348-360 (1970) |
| 1969 |
|---|
| 2 | | Ugo Montanari:
Continuous Skeletons from Digitized Images.
J. ACM 16(1): 534-549 (1969) |
| 1968 |
|---|
| 1 | | Ugo Montanari:
A Method for Obtaining Skeletons Using a Quasi-Euclidean Distance.
J. ACM 15(4): 600-624 (1968) |
