Sfoglia per Autore
A semantic framework for open processes
2007-01-01 Baldan, P; Bracciali, A; Bruni, Roberto
Deducing Interactions in Partially Unspecified Biological Systems
2007-01-01 Baldan, P; Bracciali, A; Brodo, L; Bruni, Roberto
Prototype Platforms for Distributed Agreements
2007-01-01 Baragatti, A; Bruni, Roberto; Melgratti, H; Montanari, UGO GIOVANNI ERASMO; Spagnolo, G.
Style-based architectural reconfigurations
2008-01-01 Bruni, Roberto; LLUCH LAFUENTE, A; Montanari, UGO GIOVANNI ERASMO; Tuosto, E.
Types and deadlock freedom in a calculus of services, sessions and pipelines
2008-01-01 Bruni, Roberto; Mezzina, L.
Models of Computation: A Tribute to Ugo Montanari's Vision
2008-01-01 Bruni, Roberto; Sassone, V.
Graph-based design and analysis of dynamic software architectures
2008-01-01 Bruni, Roberto; Bucchiarone, A; Gnesi, S; Hirsch, D; LLUCH LAFUENTE, A.
Graph Transformations and Visual Modeling Techniques, 5th International Workshop, GT-VMT 2006, Vienna, Austria, April 1-2, 2006
2008-01-01 Bruni, Roberto; Varro, D.
Modelling Dynamic Software Architectures using Typed Graph Grammars
2008-01-01 Bruni, Roberto; Bucchiarone, A; Gnesi, S; Melgratti, H.
Parametric synchronizations in mobile nominal calculi
2008-01-01 Bruni, Roberto; Lanese, I.
Multiparty sessions in SOC
2008-01-01 Bruni, Roberto; Lanese, I; Melgratti, H; Tuosto, E.
Service Oriented Architectural Design
2008-01-01 Bruni, Roberto; LLUCH LAFUENTE, A; Montanari, UGO GIOVANNI ERASMO; Tuosto, E.
Sessions and pipelines for structured service programming
2008-01-01 Boreale, M; Bruni, Roberto; DE NICOLA, R; Loreti, M.
Programmazione in Java
2009-01-01 Bruni, Roberto; Corradini, Andrea; Gervasi, Vincenzo
On symbolic semantics for name-decorated contexts
2009-01-01 Bracciali, A; Bruni, Roberto; LLUCH LAFUENTE, A.
A service-oriented UML profile with formal support
2009-01-01 Bruni, Roberto; Hoelzl, M; Koch, N; LLUCH LAFUENTE, A; Mayer, P; Montanari, UGO GIOVANNI ERASMO; Schroeder, A; Wirsing, M.
Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milano, Italia, September 4-5, 2008
2009-01-01 Bruni, Roberto; Wolf, K.
Static detection of logic flaws in service-oriented applications
2009-01-01 Bodei, Chiara; Brodo, L; Bruni, Roberto
Ten Virtues of Structured Graphs
2009-01-01 Bruni, Roberto; LLUCH LAFUENTE, A.
A graph syntax for processes and services
2009-01-01 Bruni, Roberto; Gadducci, Fabio; Lluch Lafuente, Alberto
Tiles for Reo
2009-01-01 Arbab, F; Bruni, Roberto; Clarke, D; Lanese, I; Montanari, UGO GIOVANNI ERASMO
Calculi for Service Oriented Computing
2009-01-01 Bruni, Roberto
Provably correct implementations of services
2009-01-01 Bruni, Roberto; DE NICOLA, R; Loreti, M; Mezzina, L.
Hierarchical design rewriting with Maude
2009-01-01 Bruni, Roberto; LLUCH LAFUENTE, A; Montanari, UGO GIOVANNI ERASMO
Costruzioni per la semantica operazionale della concorrenza
2010-01-01 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO
3rd Interaction and Concurrency Experience, ICE 2010, Amsterdam, The Netherlands, June 10, 2010
2010-01-01 Bliudze, S; Bruni, Roberto; Grohmann, D; Silva, A.
Formal Languages and Analysis of Contract-Oriented Software, 4th Workshop, FLACOS 2010, Pisa, Italia, Settembre 17-18, 2010
2010-01-01 Brogi, Antonio; Bruni, Roberto; Schneider, G.
Exploiting the hierarchical structure of rule-based specifications for decision planning
2010-01-01 Boronat, A; Bruni, Roberto; LLUCH LAFUENTE, A; Montanari, UGO GIOVANNI ERASMO; Paolillo, G.
An algebra of hierarchical graphs
2010-01-01 Bruni, Roberto; Gadducci, Fabio; Lluch Lafuente, A.
An Algebra of Hierarchical Graphs and its Application to Structural Encoding
2010-01-01 Bruni, Roberto; Gadducci, Fabio; LLUCH LAFUENTE, A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A semantic framework for open processes | 1-gen-2007 | Baldan, P; Bracciali, A; Bruni, Roberto | |
Deducing Interactions in Partially Unspecified Biological Systems | 1-gen-2007 | Baldan, P; Bracciali, A; Brodo, L; Bruni, Roberto | |
Prototype Platforms for Distributed Agreements | 1-gen-2007 | Baragatti, A; Bruni, Roberto; Melgratti, H; Montanari, UGO GIOVANNI ERASMO; Spagnolo, G. | |
Style-based architectural reconfigurations | 1-gen-2008 | Bruni, Roberto; LLUCH LAFUENTE, A; Montanari, UGO GIOVANNI ERASMO; Tuosto, E. | |
Types and deadlock freedom in a calculus of services, sessions and pipelines | 1-gen-2008 | Bruni, Roberto; Mezzina, L. | |
Models of Computation: A Tribute to Ugo Montanari's Vision | 1-gen-2008 | Bruni, Roberto; Sassone, V. | |
Graph-based design and analysis of dynamic software architectures | 1-gen-2008 | Bruni, Roberto; Bucchiarone, A; Gnesi, S; Hirsch, D; LLUCH LAFUENTE, A. | |
Graph Transformations and Visual Modeling Techniques, 5th International Workshop, GT-VMT 2006, Vienna, Austria, April 1-2, 2006 | 1-gen-2008 | Bruni, Roberto; Varro, D. | |
Modelling Dynamic Software Architectures using Typed Graph Grammars | 1-gen-2008 | Bruni, Roberto; Bucchiarone, A; Gnesi, S; Melgratti, H. | |
Parametric synchronizations in mobile nominal calculi | 1-gen-2008 | Bruni, Roberto; Lanese, I. | |
Multiparty sessions in SOC | 1-gen-2008 | Bruni, Roberto; Lanese, I; Melgratti, H; Tuosto, E. | |
Service Oriented Architectural Design | 1-gen-2008 | Bruni, Roberto; LLUCH LAFUENTE, A; Montanari, UGO GIOVANNI ERASMO; Tuosto, E. | |
Sessions and pipelines for structured service programming | 1-gen-2008 | Boreale, M; Bruni, Roberto; DE NICOLA, R; Loreti, M. | |
Programmazione in Java | 1-gen-2009 | Bruni, Roberto; Corradini, Andrea; Gervasi, Vincenzo | |
On symbolic semantics for name-decorated contexts | 1-gen-2009 | Bracciali, A; Bruni, Roberto; LLUCH LAFUENTE, A. | |
A service-oriented UML profile with formal support | 1-gen-2009 | Bruni, Roberto; Hoelzl, M; Koch, N; LLUCH LAFUENTE, A; Mayer, P; Montanari, UGO GIOVANNI ERASMO; Schroeder, A; Wirsing, M. | |
Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milano, Italia, September 4-5, 2008 | 1-gen-2009 | Bruni, Roberto; Wolf, K. | |
Static detection of logic flaws in service-oriented applications | 1-gen-2009 | Bodei, Chiara; Brodo, L; Bruni, Roberto | |
Ten Virtues of Structured Graphs | 1-gen-2009 | Bruni, Roberto; LLUCH LAFUENTE, A. | |
A graph syntax for processes and services | 1-gen-2009 | Bruni, Roberto; Gadducci, Fabio; Lluch Lafuente, Alberto | |
Tiles for Reo | 1-gen-2009 | Arbab, F; Bruni, Roberto; Clarke, D; Lanese, I; Montanari, UGO GIOVANNI ERASMO | |
Calculi for Service Oriented Computing | 1-gen-2009 | Bruni, Roberto | |
Provably correct implementations of services | 1-gen-2009 | Bruni, Roberto; DE NICOLA, R; Loreti, M; Mezzina, L. | |
Hierarchical design rewriting with Maude | 1-gen-2009 | Bruni, Roberto; LLUCH LAFUENTE, A; Montanari, UGO GIOVANNI ERASMO | |
Costruzioni per la semantica operazionale della concorrenza | 1-gen-2010 | Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO | |
3rd Interaction and Concurrency Experience, ICE 2010, Amsterdam, The Netherlands, June 10, 2010 | 1-gen-2010 | Bliudze, S; Bruni, Roberto; Grohmann, D; Silva, A. | |
Formal Languages and Analysis of Contract-Oriented Software, 4th Workshop, FLACOS 2010, Pisa, Italia, Settembre 17-18, 2010 | 1-gen-2010 | Brogi, Antonio; Bruni, Roberto; Schneider, G. | |
Exploiting the hierarchical structure of rule-based specifications for decision planning | 1-gen-2010 | Boronat, A; Bruni, Roberto; LLUCH LAFUENTE, A; Montanari, UGO GIOVANNI ERASMO; Paolillo, G. | |
An algebra of hierarchical graphs | 1-gen-2010 | Bruni, Roberto; Gadducci, Fabio; Lluch Lafuente, A. | |
An Algebra of Hierarchical Graphs and its Application to Structural Encoding | 1-gen-2010 | Bruni, Roberto; Gadducci, Fabio; LLUCH LAFUENTE, A. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile