dblp.uni-trier.dewww.uni-trier.de

Ugo Montanari Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
283EEFilippo Bonchi, Ugo Montanari: Coalgebraic Symbolic Semantics. CALCO 2009: 173-190
282EEFilippo Bonchi, Ugo Montanari: Minimization Algorithm for Symbolic Bisimilarity. ESOP 2009: 267-284
281EERoberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari: Hierarchical Design Rewriting with Maude. Electr. Notes Theor. Comput. Sci. 238(3): 45-62 (2009)
280EEFilippo Bonchi, Ugo Montanari: Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Theor. Comput. Sci. 410(41): 4044-4066 (2009)
2008
279EEMaria Grazia Buscemi, Ugo Montanari: Open Bisimulation for the Concurrent Constraint Pi-Calculus. ESOP 2008: 254-268
278EEFilippo Bonchi, Ugo Montanari: Symbolic Semantics Revisited. FoSSaCS 2008: 395-412
277EEMaria Grazia Buscemi, Ugo Montanari: A survey of constraint-based programming paradigms. Computer Science Review 2(3): 137-141 (2008)
276EEVincenzo Ciancia, Ugo Montanari: A Name Abstraction Functor for Named Sets. Electr. Notes Theor. Comput. Sci. 203(5): 49-70 (2008)
275EEFilippo Bonchi, Ugo Montanari: A Coalgebraic Theory of Reactive Systems. Electr. Notes Theor. Comput. Sci. 209: 201-215 (2008)
274EEUgo 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
271EEFilippo Bonchi, Ugo Montanari: Coalgebraic Models for Reactive Systems. CONCUR 2007: 364-379
270EEMaria Grazia Buscemi, Ugo Montanari: CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. ESOP 2007: 18-32
269EEMaria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari: Constraint-Based Policy Negotiation and Enforcement for Telco Services. TASE 2007: 463-472
268EERoberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto: Service Oriented Architectural Design. TGC 2007: 186-203
267EEStefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini: Unicast and Multicast Qos Routing with Soft Constraint Logic Programming CoRR abs/0704.1783: (2007)
266EEPaolo Baldan, Fabio Gadducci, Ugo Montanari: Modelling Calculi with Name Mobility using Graphs with Equivalences. Electr. Notes Theor. Comput. Sci. 176(1): 85-97 (2007)
265EEAlberto 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)
264EEStefano 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)
263EEPaolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro: Unfolding semantics of graph transformation. Inf. Comput. 205(5): 733-782 (2007)
262EEMaria Grazia Buscemi, Ugo Montanari: A compositional coalgebraic model of fusion calculus. J. Log. Algebr. Program. 72(1): 78-97 (2007)
261EEIvan 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
258EEPaolo Baldan, Fabio Gadducci, Ugo Montanari: Concurrent Rewriting for Graphs with Equivalences. CONCUR 2006: 279-294
257EERoberto Bruni, Hernán C. Melgratti, Ugo Montanari: Event Structure Semantics for Nominal Calculi. CONCUR 2006: 295-309
256EEFilippo Bonchi, Barbara König, Ugo Montanari: Saturated Semantics for Reactive Systems. LICS 2006: 69-80
255EEMichele 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
254EEStefano Bistarelli, Ugo Montanari, Francesca Rossi: Soft concurrent constraint programming. ACM Trans. Comput. Log. 7(3): 563-589 (2006)
253EERoberto Bruni, Hernán C. Melgratti, Ugo Montanari: Event Structure Semantics for Dynamic Graph Grammars. ECEASST 2: (2006)
252EEIvan Lanese, Ugo Montanari: Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility. Electr. Notes Theor. Comput. Sci. 154(2): 55-72 (2006)
251EEMaria Grazia Buscemi, Ugo Montanari: A Compositional Coalgebraic Model of a Fragment of Fusion Calculus. Electr. Notes Theor. Comput. Sci. 162: 135-139 (2006)
250EEFabio Gadducci, Marino Miculan, Ugo Montanari: About permutation algebras, (pre)sheaves and named sets. Higher-Order and Symbolic Computation 19(2-3): 283-304 (2006)
249EERoberto 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
246EEGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane: Modelling Fusion Calculus using HD-Automata. CALCO 2005: 142-156
245EERoberto Bruni, Ivan Lanese, Ugo Montanari: Complete Axioms for Stateless Connectors. CALCO 2005: 98-113
244EERoberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski: Deriving Weak Bisimulation Congruences from Reduction Systems. CONCUR 2005: 293-307
243EERoberto 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
242EERocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto: A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48
241EERoberto 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
240EEGian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto: Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. FMCO 2005: 22-43
239EEGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: Model Checking for Nominal Calculi. FoSSaCS 2005: 1-24
238EEFabio Gadducci, Ugo Montanari: Graph Processes with Fusions: Concurrency by Colimits, Again. Formal Methods in Software and Systems Modeling 2005: 84-100
237EEJosé Luiz Fiadeiro, Ugo Montanari, Martin Wirsing: 05081 Abstracts Collection - Foundations of Global Computing. Foundations of Global Computing 2005
236EEIvan Lanese, Ugo Montanari: Insights emerged while comparing three models for global computing. Foundations of Global Computing 2005
235EERoberto Bruni, Hernán C. Melgratti, Ugo Montanari: Theoretical foundations for compensations in flow composition languages. POPL 2005: 209-220
234EEFabio Gadducci, Ugo Montanari: Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes. Processes, Terms and Cycles 2005: 106-126
233EEUgo Montanari, Marco Pistore: History-Dependent Automata: An Introduction. SFM 2005: 1-28
232EEMichele Boreale, Maria Grazia Buscemi, Ugo Montanari: A General Name Binding Mechanism. TGC 2005: 61-74
231EEIvan Lanese, Ugo Montanari: Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming CoRR abs/cs/0504050: (2005)
230EEAlberto Lluch-Lafuente, Ugo Montanari: Quantitative ?-calculus and CTL Based on Constraint Semirings. Electr. Notes Theor. Comput. Sci. 112: 37-59 (2005)
229EEPaolo 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)
228EEIvan Lanese, Ugo Montanari: Synchronization Algebras with Mobility for Graph Transformations. Electr. Notes Theor. Comput. Sci. 138(1): 43-60 (2005)
227EEGian 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)
226EERoberto Bruni, Ugo Montanari, Vladimiro Sassone: Observational congruences for dynamically reconfigurable tile systems. Theor. Comput. Sci. 335(2-3): 331-372 (2005)
225EEUgo Montanari, Marco Pistore: Structured coalgebras and minimal HD-automata for the pi-calculus. Theor. Comput. Sci. 340(3): 539-576 (2005)
224EEAlberto Lluch-Lafuente, Ugo Montanari: Quantitative mu-calculus and CTL defined over constraint semirings. Theor. Comput. Sci. 346(1): 135-160 (2005)
2004
223EEMichele Boreale, Maria Grazia Buscemi, Ugo Montanari: D-Fusion: A Distinctive Fusion Calculus. APLAS 2004: 296-310
222EEBarbara 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
218EEFabio Gadducci, Marino Miculan, Ugo Montanari: Some Characterization Results for Permutation Algebras. Electr. Notes Theor. Comput. Sci. 104: 129-147 (2004)
217EEIvan Lanese, Ugo Montanari: A Graphical Fusion Calculus. Electr. Notes Theor. Comput. Sci. 104: 199-215 (2004)
216EERoberto Bruni, Hernán C. Melgratti, Ugo Montanari: Flat Committed Join in Join. Electr. Notes Theor. Comput. Sci. 104: 39-59 (2004)
215EEUgo Montanari: Web Services and Models of Computation. Electr. Notes Theor. Comput. Sci. 105: 5-9 (2004)
214EEDan Hirsch, Ugo Montanari: Shaped Hierarchical Architectural Design. Electr. Notes Theor. Comput. Sci. 109: 97-109 (2004)
213EERoberto Bruni, Ugo Montanari: Concurrent models for Linda with transactions. Mathematical Structures in Computer Science 14(3): 421-468 (2004)
2003
212EERoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: Algebraic Theories for Contextual Pre-nets. ICTCS 2003: 256-270
211EERoberto 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
210EERocco 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
209EEGian 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
207EEGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: Graph-Based Models of Internetworking Systems. 10th Anniversary Colloquium of UNU/IIST 2002: 242-266
206EERoberto Bruni, Cosimo Laneve, Ugo Montanari: Orchestrating Transactions in Join Calculus. CONCUR 2002: 321-337
205EEMaria Grazia Buscemi, Ugo Montanari: A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence. CONCUR 2002: 449-465
204EEStefano Bistarelli, Ugo Montanari, Francesca Rossi: Soft Concurrent Constraint Programming. ESOP 2002: 53-67
203EEGian Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto: From Co-algebraic Specifications to Implementation: The Mihda Toolkit. FMCO 2002: 319-338
202EEGian Luigi Ferrari, Ugo Montanari, Marco Pistore: Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. FoSSaCS 2002: 129-158
201EEPaolo Baldan, Andrea Corradini, Ugo Montanari: Bisimulation Equivalences for Graph Grammars. Formal and Natural Computing 2002: 158-190
200EEUgo Montanari, Leila Ribeiro: Linear Ordered Graph Grammars and Their Algebraic Foundations. ICGT 2002: 317-333
199EELuis 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
198EEPaolo Baldan, Roberto Bruni, Ugo Montanari: Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. WADT 2002: 145-164
197EEPaolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro: Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. WADT 2002: 165-184
196EEStefano Bistarelli, Ugo Montanari, Francesca Rossi: Soft Concurrent Constraint Programming CoRR cs.PL/0208008: (2002)
195EEMatteo Coccia, Fabio Gadducci, Ugo Montanari: GS.Lambda Theories: A Syntax for Higher-Order Graphs. Electr. Notes Theor. Comput. Sci. 69: (2002)
194EEFabio 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)
193EERoberto 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)
190EEAndrea Corradini, Reiko Heckel, Ugo Montanari: Compositional SOS and beyond: a coalgebraic view of open systems. Theor. Comput. Sci. 280(1-2): 163-192 (2002)
189EERoberto Bruni, Ugo Montanari: Dynamic connectors for concurrency. Theor. Comput. Sci. 281(1-2): 131-176 (2002)
188EEFabio 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
186EEDan Hirsch, Ugo Montanari: Synchronized Hyperedge Replacement with Name Mobility. CONCUR 2001: 121-136
185EEGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: A LTS Semantics of Ambients via Graph Synchronization with Mobility. ICTCS 2001: 1-16
184EEBarbara König, Ugo Montanari: Observational Equivalence for Synchronized Graph Rewriting with Mobility. TACS 2001: 145-164
183EERoberto Bruni, Ugo Montanari: Transactions and Zero-Safe Nets. Unifying Petri Nets 2001: 380-426
182EERoberto Bruni, Ugo Montanari, Francesca Rossi: An interactive semantics of logic programming CoRR cs.LO/0107022: (2001)
181EEAndrea Corradini, Marina Lenisa, Ugo Montanari: Preface. Electr. Notes Theor. Comput. Sci. 44(1): (2001)
180EEFabio Gadducci, Ugo Montanari: A Concurrent Graph Semantics for Mobile Ambients. Electr. Notes Theor. Comput. Sci. 45: (2001)
179EEDan Hirsch, Ugo Montanari: Two Graph-Based Techniques for Software Architecture Reconfiguration. Electr. Notes Theor. Comput. Sci. 51: (2001)
178EEUgo Montanari, Vladimiro Sassone: Preface. Electr. Notes Theor. Comput. Sci. 54: (2001)
177EERoberto Bruni, Ugo Montanari: Zero-safe net models for transactions in Linda. Electr. Notes Theor. Comput. Sci. 54: (2001)
176EEFabio 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)
175EERoberto 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
171EERoberto 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
170EEDan 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
168EERoberto Bruni, Ugo Montanari: Executing Transactions in Zero-Safe Nets. ICATPN 2000: 83-102
167EERoberto Bruni, Ugo Montanari, Vladimiro Sassone: Open Ended Systems, Dynamic Bisimulation and Tile Logic. IFIP TCS 2000: 440-456
166EEUgo Montanari: Two Problems in Wide Area Network Programming. IFIP TCS 2000: 609-611
165EEUgo 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
160EEAndrea 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
158EERoberto Bruni, Ugo Montanari: Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus. LICS 1999: 246-265
157EEUgo 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
154EEUgo 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)
152EEAndrea Corradini, Reiko Heckel, Ugo Montanari: From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. Electr. Notes Theor. Comput. Sci. 19: (1999)
151EEDan Hirsch, Ugo Montanari: Consistent transformations for software architecture styles of distributed systems. Electr. Notes Theor. Comput. Sci. 28: (1999)
150EERoberto 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
149EERoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: A Comparison of Petri Net Semantics under the Collective Token Philosophy. ASIAN 1998: 225-244
148EEGian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori: Verifying Mobile Processes in the HAL Environment. CAV 1998: 511-515
147EEPaolo Baldan, Andrea Corradini, Ugo Montanari: An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. FoSSaCS 1998: 63-80
146EEPaolo Baldan, Andrea Corradini, Ugo Montanari: Concatenable Graph Processes: Relating Processes and Derivation Traces. ICALP 1998: 283-295
145EEFabio 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
142EERoberto Bruni, Fabio Gadducci, Ugo Montanari: Normal Forms for Partitions and Relations. WADT 1998: 31-47
141EERoberto 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
138EEJosé 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
135EEGian Luigi Ferrari, Ugo Montanari: A Tile-Based Coordination View of Asynchronous pi-Calculus. MFCS 1997: 52-70
134EEUgo 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)
129EEUgo Montanari, Marco Pistore: An Introduction to History Dependent Automata. Electr. Notes Theor. Comput. Sci. 10: (1997)
128EEUgo Montanari, Carolyn L. Talcott: Can Actors and pi-Agents Live Together? Electr. Notes Theor. Comput. Sci. 10: (1997)
127EEGian Luigi Ferrari, Ugo Montanari: Tiles for concurrent and located calculi? Electr. Notes Theor. Comput. Sci. 7: (1997)
126EERoberto 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)
124EEStefano 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
119EEUgo 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)
115EEFabio 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)
112EEJosé Meseguer, Ugo Montanari, Vladimiro Sassone: Process versus Unfolding Semantics for Place/Transition Petri Nets. Theor. Comput. Sci. 153(1&2): 171-210 (1996)
111EEGian 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
108EEUgo Montanari, Marco Pistore: Checking Bisimilarity for Finitary pi-Calculus. CONCUR 1995: 42-56
107EEGian 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
104EEAndrea 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)
102EEUgo Montanari, Marco Pistore: Concurrent semantics for the pi-calculus. Electr. Notes Theor. Comput. Sci. 1: (1995)
101EEAndrea Corradini, Ugo Montanari: Preface. Electr. Notes Theor. Comput. Sci. 2: (1995)
100EERoberto Gorrieri, Ugo Montanari: On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies. Theor. Comput. Sci. 141(1&2): 195-252 (1995)
99EEUgo Montanari, Daniel Yankelevich: Location Equivalence in Parametric Setting. Theor. Comput. Sci. 149(2): 299-332 (1995)
1994
98EEFrancisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi: From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. ALP 1994: 114-132
97EEJosé 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
95EEGian 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
79EECosimo Laneve, Ugo Montanari: Axiomatizing Permutation Equivalence in the Lambda-Calculus. ALP 1992: 350-363
78EEUgo Montanari, Francesca Rossi: Graph Grammars as Context-Dependent Rewriting Systems: A Partial Ordering Semantics. CAAP 1992: 232-247
77EEJosé 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
75EEUgo Montanari, Daniel Yankelevich: A Parametric Approach to Localities. ICALP 1992: 617-628
74EECosimo 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
69EERoberto Gorrieri, Ugo Montanari: Distributed Implementation of CCS. Applications and Theory of Petri Nets 1991: 244-266
68EEGian 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
63EEUgo Montanari, Vladimiro Sassone: CCS Dynamic Bisimulation is Progressing. MFCS 1991: 346-356
62EEGian 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
59EEGian Luigi Ferrari, Ugo Montanari: Towards the Unification of Models for Concurrency. CAAP 1990: 162-176
58EERocco De Nicola, Ugo Montanari, Frits W. Vaandrager: Back and Forth Bisimulations. CONCUR 1990: 152-165
57EERoberto 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
54EEAndrea Corradini, Ugo Montanari: Towards a Process Semantics in the Logic Programming Style. STACS 1990: 95-108
53EEAndrea 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
45EERoberto Gorrieri, Sergio Marchetti, Ugo Montanari: A²CCS: A Simple Extension of CCS for Handling Atomic Actions. CAAP 1988: 258-270
44EEUgo 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
40EEPierpaolo 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
34EEPierpaolo 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
28EEPierpaolo 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
24EEAlberto 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
22EEStefania 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
17EEV. 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
15EEAlberto Martelli, Ugo Montanari: Dynamic Programming Schemata. ICALP 1974: 66-80
14 Ugo Montanari: Optimization Methods in Image Processing. IFIP Congress 1974: 727-732
13EEUgo 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)
3EEUgo Montanari: On Limit Properties in Digitization Schemes. J. ACM 17(2): 348-360 (1970)
1969
2EEUgo Montanari: Continuous Skeletons from Digitized Images. J. ACM 16(1): 534-549 (1969)
1968
1EEUgo Montanari: A Method for Obtaining Skeletons Using a Quasi-Euclidean Distance. J. ACM 15(4): 600-624 (1968)

Coauthor Index

1Luigia Carlucci Aiello (Luigia Aiello) [11]
2Luis Filipe Andrade [199]
3Patrizia Asirelli [21]
4Ricardo A. Baeza-Yates [208]
5Paolo Baldan [143] [146] [147] [156] [159] [174] [197] [198] [199] [201] [229] [258] [263] [266]
6Maria Garcia de la Banda (Maria J. García de la Banda) [94]
7Alberto Baragatti [265]
8Hubert Baumeister [199]
9Stefano Bistarelli [105] [106] [124] [136] [153] [192] [196] [204] [254] [264] [267]
10Filippo Bonchi [256] [271] [275] [278] [280] [282] [283]
11Michele Boreale [223] [232] [255]
12Roberto Bruni [126] [132] [141] [142] [149] [150] [158] [161] [162] [167] [168] [171] [173] [175] [177] [182] [183] [187] [189] [191] [193] [198] [199] [206] [211] [212] [213] [216] [220] [221] [226] [235] [241] [243] [244] [245] [249] [253] [255] [257] [265] [268] [272] [281]
13Francisco Bueno [94] [98] [139]
14Maria Grazia Buscemi [205] [223] [232] [251] [262] [269] [270] [277] [279]
15Michael J. Butler [243]
16Luís Caires [255]
17Ilaria Castellani [25]
18Alfonso Catalano [20]
19Vincenzo Ciancia [276]
20Matteo Coccia [195]
21Andrea Corradini [53] [54] [55] [56] [66] [67] [70] [76] [84] [86] [87] [89] [90] [91] [101] [104] [114] [137] [143] [146] [147] [152] [156] [159] [160] [169] [174] [181] [190] [197] [199] [201] [229] [259] [263]
22Pierpaolo Degano [21] [27] [28] [29] [30] [33] [34] [39] [40] [43] [46] [49] [72] [80] [116]
23Mariangiola Dezani-Ciancaglini [26]
24Hartmut Ehrig [31] [37] [38] [56] [84] [86] [89] [90] [91] [137] [259]
25Alessandro Fantechi [35]
26Hélène Fargier [105] [153]
27Gian Luigi Ferrari (GianLuigi Ferrari) [53] [59] [62] [68] [95] [107] [109] [111] [123] [127] [133] [135] [140] [148] [163] [185] [202] [203] [207] [209] [210] [219] [227] [239] [240] [241] [242] [246]
28Laura Ferrari [269]
29Carla Ferreira [243]
30Gianluigi Ferro [133]
31José Luiz Fiadeiro [199] [221] [237] [260]
32Nicoletta De Francesco [82] [92]
33David de Frutos-Escrig [171]
34Fabio Gadducci [104] [115] [142] [145] [164] [176] [180] [187] [188] [194] [195] [199] [218] [234] [238] [244] [250] [258] [266]
35Philippa Gardner [222] [248]
36V. Giarratana [17]
37F. Gimona [17]
38Stefania Gnesi [20] [22] [35] [133] [148] [199] [209] [219]
39Roberto Gorrieri [45] [50] [51] [57] [62] [69] [100]
40A. Nico Habermann [36]
41Magne Haveraaen [273]
42Reiko Heckel [137] [152] [160] [169] [190]
43Manuel V. Hermenegildo [94] [98] [139]
44Dan Hirsch [151] [155] [170] [179] [186] [214] [240]
45C. A. R. Hoare (Tony Hoare) [243]
46Piotr Hoffman [199]
47Furio Honsell [144]
48Paola Inverardi [35] [155] [170]
49Piergiulio Katis [176]
50Nora Koch [199]
51Barbara König [184] [222] [248] [256]
52Piotr Kosiuczenko [199]
53Robert A. Kowalski [37] [38]
54Hans-Jörg Kreowski [247]
55Ivan Lanese [217] [221] [228] [231] [236] [240] [245] [249] [252] [255] [261]
56Cosimo Laneve [74] [79] [113] [206]
57Alessandro Lapadula [199]
58Diego Latella [199]
59Marina Lenisa [144] [181]
60Giorgio Levi [4] [21] [37] [38]
61Alberto Lluch-Lafuente [224] [230] [268] [281]
62Antónia Lopes [199] [221]
63Michele Loreti [199] [255]
64Michael Löwe [56] [84] [86] [89] [90] [91] [137]
65Sergio Marchetti [45] [50]
66Alberto Martelli [10] [12] [15] [16] [18] [19] [21] [22] [24]
67Narciso Martí-Oliet [171]
68Francisco Martins [255]
69Mieke Massink [199]
70A. Matelli [23]
71Franco Mazzanti [199]
72Hernán C. Melgratti [211] [216] [220] [235] [241] [243] [253] [257] [265]
73José Meseguer [42] [46] [52] [77] [97] [112] [116] [122] [131] [138] [141] [149] [150] [161] [175] [191] [193] [212]
74Marino Miculan [218] [250]
75Corrado Moiso [269]
76Till Mossakowski [273]
77Miranda Mowbray [123]
78Rocco De Nicola [23] [29] [30] [39] [40] [43] [49] [58] [72] [80] [199] [210] [242] [255]
79Cristóvão Oliveira [199]
80Fernando Orejas [247]
81Giuliano Pacini [21]
82Julia Padberg [89]
83Francesco Parisi-Presicce [31]
84Marco Pistore [102] [108] [119] [129] [133] [134] [144] [148] [157] [165] [202] [209] [225] [233]
85Rosario Pugliese [199] [210] [242]
86Paola Quaglia [95] [107] [111]
87Roberto Raggi [203] [219]
88António Ravara [255]
89Leila Ribeiro (Leila Ribeiro Korff) [197] [200] [259] [263]
90Gioia Ristori [92] [125] [133] [148]
91José D. P. Rolim [172]
92Francesca Rossi [32] [41] [47] [56] [60] [61] [64] [65] [76] [78] [81] [83] [84] [85] [86] [87] [90] [91] [93] [94] [96] [98] [103] [105] [106] [110] [114] [117] [120] [124] [130] [136] [137] [139] [153] [154] [173] [182] [192] [196] [204] [254] [264] [267]
93Grzegorz Rozenberg [247] [259]
94Nicoletta Sabadini [176]
95Davide Sangiorgi [255]
96Donald Sannella [272] [274]
97Francesco Santini [264] [267]
98Nicola Santoro [208]
99Vijay A. Saraswat [93]
100Vladimiro Sassone [63] [71] [77] [97] [112] [121] [122] [138] [149] [150] [167] [175] [178] [212] [226]
101Thomas Schiex [105] [153]
102Franco Sirovich [21]
103Pawel Sobocinski [244]
104Giorgio Spagnolo [265]
105Daniele Strollo [241]
106Gabriele Taentzer [247]
107Carolyn L. Talcott [128]
108Andrzej Tarlecki [199]
109Gianluca Trentanni [219]
110Emilio Tuosto [185] [203] [207] [210] [219] [227] [239] [240] [241] [242] [246] [268]
111Franco Turini [21]
112Frits W. Vaandrager [58]
113Vasco Thudichum Vasconcelos [255]
114Gérard Verfaillie [105] [153]
115Björn Victor [246]
116Robert F. C. Walters [176]
117Emo Welzl [172]
118Michel Wermelinger [199]
119Martin Wirsing [199] [237] [260]
120Daniel Yankelevich [48] [75] [82] [88] [99] [119]
121Kidane Yemane [246]
122Gianluigi Zavattaro [255]
123Artur Zawlocki [199]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)