| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Maria Grazia Buscemi, Ugo Montanari |
QoS negotiation in service composition.  |
J. Log. Algebr. Program.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari |
On Structured Model-Driven Transformations. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Filippo Bonchi, Ugo Montanari |
Symbolic and Asynchronous Semantics via Normalized Coalgebras |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari |
Hierarchical Models for Service-Oriented Systems. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Montanari |
A Unifying Formal Basis for the Sensoria Approach: A White Paper. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Grazia Buscemi, Ugo Montanari |
CC-Pi: A Constraint Language for Service Negotiation and Composition. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Howard Foster, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto |
A Formal Support to Business and Architectural Design for Service-Oriented Systems. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
A Connector Algebra for P/T Nets Interactions. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Connector Algebras, Petri Nets, and BIP. |
Ershov Memorial Conference |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Andrea Corradini, Ugo Montanari |
Modeling a Service and Session Calculus with Hierarchical Graph Transformation. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari |
From Petri Nets to Graph Transformation Systems. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Vincenzo Ciancia, Ugo Montanari |
Symmetries, local names and dynamic (de)-allocation of names. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Ciancia, Alexander Kurz, Ugo Montanari |
Families of Symmetries as Efficient Models of Resource Binding. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini |
Unicast and multicast QoS routing with soft-constraint logic programming. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo |
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari |
Saturated LTSs for Adhesive Rewriting Systems. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari |
On GS-Monoidal Theories for Graphs with Nesting. |
Graph Transformations and Model-Driven Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Grazia Buscemi, Ugo Montanari, Sonia Taneja |
Toward a Game-Theoretic Model of Grid Systems. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Ugo Montanari |
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari |
Hierarchical Design Rewriting with Maude. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing |
A Service-Oriented UML Profile with Formal Support. |
ICSOC/ServiceWave |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini, Ugo Montanari (eds.) |
Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers |
WADT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Ugo Montanari |
Coalgebraic Symbolic Semantics. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Ugo Montanari |
Minimization Algorithm for Symbolic Bisimilarity. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Grazia Buscemi, Ugo Montanari |
A survey of constraint-based programming paradigms. |
Computer Science Review |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Montanari, Donald Sannella |
Preface. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Ugo Montanari |
A Coalgebraic Theory of Reactive Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Ugo Montanari |
G-Reactive Systems as Coalgebras. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Ciancia, Ugo Montanari |
A Name Abstraction Functor for Named Sets. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari |
Style-Based Architectural Reconfigurations. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari |
Tiles for Reo. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Ugo Montanari |
Symbolic Semantics Revisited. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Grazia Buscemi, Ugo Montanari |
Open Bisimulation for the Concurrent Constraint Pi-Calculus. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Grazia Buscemi, Ugo Montanari |
A compositional coalgebraic model of fusion calculus. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro |
Unfolding semantics of graph transformation. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Fabio Gadducci, Ugo Montanari |
Modelling Calculi with Name Mobility using Graphs with Equivalences. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo |
Prototype Platforms for Distributed Agreements. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini |
Unicast and Multicast Qos Routing with Soft Constraint Logic Programming |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ivan Lanese, Ugo Montanari |
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Ugo Montanari |
Coalgebraic Models for Reactive Systems. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari |
Constraint-Based Policy Negotiation and Enforcement for Telco Services. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto |
Service Oriented Architectural Design. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Montanari, Donald Sannella, Roberto Bruni (eds.) |
Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers |
TGC |
2007 |
DBLP BibTeX RDF |
|
| 1 | Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.) |
Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings |
CALCO |
2007 |
DBLP BibTeX RDF |
|
| 1 | Maria Grazia Buscemi, Ugo Montanari |
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Event Structure Semantics for Dynamic Graph Grammars. |
ECEASST |
2006 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bruni, Ivan Lanese, Ugo Montanari |
A basic algebra of stateless connectors. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Ugo Montanari |
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Grazia Buscemi, Ugo Montanari |
A Compositional Coalgebraic Model of a Fragment of Fusion Calculus. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci, Marino Miculan, Ugo Montanari |
About permutation algebras, (pre)sheaves and named sets. |
Higher-Order and Symbolic Computation |
2006 |
DBLP DOI BibTeX RDF |
Nominal calculi, Permutation algebras, Presheaf categories, Named sets |
| 1 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi |
Soft concurrent constraint programming. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
Constraints, soft constraints, concurrent constraint programming |
| 1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Event Structure Semantics for Nominal Calculi. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Fabio Gadducci, Ugo Montanari |
Concurrent Rewriting for Graphs with Equivalences. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
Concurrent graph rewriting, dpo approach, graphical encoding of nominal calculi, graph process semantics |
| 1 | Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg (eds.) |
Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings |
ICGT |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing (eds.) |
Foundations of Global Computing, 20.-25. February 2005 |
Foundations of Global Computing |
2006 |
DBLP BibTeX RDF |
|
| 1 | Filippo Bonchi, Barbara König, Ugo Montanari |
Saturated Semantics for Reactive Systems. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Montanari, Marco Pistore |
Structured coalgebras and minimal HD-automata for the pi-calculus. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Ugo Montanari, Vladimiro Sassone |
Observational congruences for dynamically reconfigurable tile systems. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Lluch-Lafuente, Ugo Montanari |
Quantitative mu-calculus and CTL defined over constraint semirings. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto |
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Lluch-Lafuente, Ugo Montanari |
Quantitative ?-calculus and CTL Based on Constraint Semirings. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Ugo Montanari |
Synchronization Algebras with Mobility for Graph Transformations. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Ugo Montanari |
Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski |
Deriving Weak Bisimulation Congruences from Reduction Systems. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto |
A Process Calculus for QoS-Aware Applications. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Theoretical foundations for compensations in flow composition languages. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
process description languages, transactions, compensations |
| 1 | Barbara König, Ugo Montanari, Philippa Gardner (eds.) |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004 |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems |
2005 |
DBLP BibTeX RDF |
|
| 1 | José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing |
05081 Abstracts Collection - Foundations of Global Computing. |
Foundations of Global Computing |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ivan Lanese, Ugo Montanari |
Insights emerged while comparing three models for global computing. |
Foundations of Global Computing |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto |
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Montanari, Marco Pistore |
History-Dependent Automata: An Introduction. |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci, Ugo Montanari |
Graph Processes with Fusions: Concurrency by Colimits, Again. |
Formal Methods in Software and Systems Modeling |
2005 |
DBLP DOI BibTeX RDF |
dpo rewriting, concurrent semantics, process calculi |
| 1 | Fabio Gadducci, Ugo Montanari |
Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (eds.) |
Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday |
Formal Methods in Software and Systems Modeling |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michele Boreale, Maria Grazia Buscemi, Ugo Montanari |
A General Name Binding Mechanism. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane |
Modelling Fusion Calculus using HD-Automata. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Ivan Lanese, Ugo Montanari |
Complete Axioms for Stateless Connectors. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto |
Model Checking for Nominal Calculi. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Ugo Montanari |
Concurrent models for Linda with transactions. |
Mathematical Structures in Computer Science |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Ugo Montanari |
A Graphical Fusion Calculus. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Hirsch, Ugo Montanari |
Shaped Hierarchical Architectural Design. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Montanari |
Web Services and Models of Computation. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Flat Committed Join in Join. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci, Marino Miculan, Ugo Montanari |
Some Characterization Results for Permutation Algebras. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Nested Commits for Mobile Calculi: Extending Join. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari |
New Insights on Architectural Connectors. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto |
Verication On The Web Of Mobile Systems. |
VVEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Michele Boreale, Maria Grazia Buscemi, Ugo Montanari |
D-Fusion: A Distinctive Fusion Calculus. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore |
A model-checking verification environment for mobile processes. |
ACM Trans. Softw. Eng. Methodol. |
2003 |
DBLP DOI BibTeX RDF |
Name-passing process calculi, security, modal logics, transition systems, mobile processes |
| 1 | Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone |
Algebraic Theories for Contextual Pre-nets. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Fabio Gadducci, Ugo Montanari |
Normal forms for algebras of connection. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci, Ugo Montanari |
Comparing logics for rewriting: rewriting logic, action calculi and tile logic. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")