Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID65. Birthday: Ugo Montanari , 2008
- Pierpaolo Degano, Rocco De Nicola, José Meseguer:
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 5065, Springer 2008, ISBN 978-3-540-68676-7 - Rocco De Nicola
, Pierpaolo Degano, José Meseguer:
Ugo Montanari in a Nutshell. 1-8
Graph Transformation
- Andrea Corradini:
Ugo Montanari and Graph Transformation. 9-15 - Paolo Baldan, Andrea Corradini, Barbara König:
Unfolding Graph Transformation Systems: Theory and Applications to Verification. 16-36 - Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente:
Graph-Based Design and Analysis of Dynamic Software Architectures. 37-56 - Hans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg:
Graph Transformation Units - An Overview. 57-75 - Ivan Lanese, Hernán C. Melgratti:
Synchronous Multiparty Synchronizations and Transactions. 76-95 - Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg:
Transformations in Reconfigurable Place/Transition Systems. 96-113 - Arend Rensink:
Explicit State Model Checking for Graph Grammars. 114-132 - Leila Ribeiro, Fernando Luís Dotti:
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. 133-150
Constraint and Logic Programming
- Francesca Rossi:
Constraint and Logic Programming: Ugo Montanari's Main Contributions and Introduction to the Volume Section. 151-154 - Stefano Bistarelli, Francesca Rossi:
Semiring-Based Soft Constraints. 155-173 - Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo:
Declarative Debugging of Membership Equational Logic Specifications. 174-193 - Nachum Dershowitz, Claude Kirchner:
SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets. 194-208 - Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla:
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. 209-237 - Robert Mateescu, Rina Dechter:
AND/OR Multi-valued Decision Diagrams for Constraint Networks. 238-257
Software Engineering
- Stefania Gnesi:
Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section. 258-260 - Egidio Astesiano, Gianna Reggio, Filippo Ricca:
Modeling Business within a UML-Based Rigorous Software Development Approach. 261-277 - Dines Bjørner:
From Domain to Requirements. 278-300 - Luca Abeti, Paolo Ciancarini, Rocco Moretti:
Business Process Modeling for Organizational Knowledge Management. 301-311 - Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Event-Based Service Coordination. 312-329 - Carlo Ghezzi, Paola Inverardi, Carlo Montangero:
Dynamically Evolvable Dependable Software: From Oxymoron to Reality. 330-353 - José Meseguer:
The Temporal Logic of Rewriting: A Gentle Introduction. 354-382 - María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing:
A Heterogeneous Approach to UML Semantics. 383-402
Concurrency Theory
- Roberto Gorrieri:
Ugo Montanari and Concurrency Theory. 403-408 - Philippe Darondeau:
On the Synthesis of Zero-Safe Nets. 409-426 - Eike Best:
A Note on Persistent Petri Nets. 427-438 - Doina Bucur, Mogens Nielsen:
Secure Data Flow in a Calculus for Context Awareness. 439-456 - Paola Quaglia:
On Beta-Binders Communications. 457-472 - Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia:
On the Asynchronous Nature of the Asynchronous pi-Calculus. 473-492 - Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka:
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. 493-502
Models of Computation
- Roberto Bruni, Vladimiro Sassone:
Models of Computation: A Tribute to Ugo Montanari's Vision. 503-509 - Martín Abadi:
Automatic Mutual Exclusion and Atomicity Checks. 510-526 - Samson Abramsky:
Petri Nets, Discrete Physics, and Distributed Quantum Computation. 527-543 - Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci:
A Category of Explicit Fusions. 544-562 - José Luiz Fiadeiro:
What Do Semantics Matter When the Meat Is Overcooked?. 563-580 - Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters:
Calculating Colimits Compositionally. 581-592 - Donald Sannella, Andrzej Tarlecki:
Observability Concepts in Abstract Data Type Specification, 30 Years Later. 593-617
Software Verification
- Gian-Luigi Ferrari:
Ugo Montanari and Software Verification. 618-624 - Vincenzo Ciancia, Gian-Luigi Ferrari, Marco Pistore, Emilio Tuosto:
History Dependent Automata for Service Compatibility. 625-641 - Lucia Acciai, Michele Boreale:
A Type System for Client Progress in a Service-Oriented Calculus. 642-658 - Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri:
Session and Union Types for Object Oriented Programming. 659-680 - Cosimo Laneve, Luca Padovani:
The Pairing of Contracts and Session Types. 681-700 - Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Specifying and Analysing SOC Applications with COWS. 701-720 - Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Approximating Behaviors in Embedded System Design. 721-742
Friends
- Fabio Gadducci:
Ugo Montanari and Friends. 743-746 - Jos C. M. Baeten:
Calculating with Automata. 747-756 - Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel:
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. 757-777 - Angelo Raffaele Meo:
Some Theorems Concerning the Core Function. 778-796 - Alberto Martelli:
The Seventies. 797-798 - Robin Milner:
Categories, Software and Meaning. 799-801 - Jan J. M. M. Rutten:
A Roman Senator. 802-803 - Franco Turini:
The Semantics of Ugo Montanari. 804-805 - Daniel Yankelevich:
Abstraction for a Career in Industry: A Praise for Ugo's 65 Years. 806-808
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
