BRUNI, ROBERTO Statistiche
BRUNI, ROBERTO
DIPARTIMENTO DI INFORMATICA
3rd Interaction and Concurrency Experience, ICE 2010, Amsterdam, The Netherlands, June 10, 2010
2010-01-01 Bliudze, S; Bruni, Roberto; Grohmann, D; Silva, A.
4th Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, June 9, 2011
2011-01-01 Silva, A; Bliudze, S; Bruni, Roberto; Carbone, M.
A basic algebra of stateless connectors
2006-01-01 Bruni, Roberto; Lanese, I; Montanari, UGO GIOVANNI ERASMO
A Comparison of Petri Net Semantics under the Collective Token Philosophy
1998-01-01 Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO; Sassone, V.
A Conceptual Framework for Adaptation
2012-01-01 Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; LLUCH LAFUENTE, A; Vandin, A.
A Connector Algebra for P/T Nets Interactions
2011-01-01 Bruni, Roberto; Melgratti, H; Montanari, UGO GIOVANNI ERASMO
A formal support to business and architectural design for service-oriented systems
2011-01-01 Bruni, Roberto; Foster, H; LLUCH LAFUENTE, A; Montanari, UGO GIOVANNI ERASMO; Tuosto, E.
A logic for modular descriptions of asynchronous and synchronized concurrent systems
1998-01-01 Bruni, Roberto
A new strategy for distributed compensations with interruption in long-running transactions
2012-01-01 Bruni, Roberto; KERSTEN KAUER, A; Lanese, I; Spagnolo, G.
A semantic framework for open processes
2007-01-01 Baldan, P; Bracciali, A; Bruni, Roberto
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.
Abstract extensionality: on the properties of incomplete abstract interpretations
2020-01-01 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Garcia-Contreras, Isabel; Pavlovic, Dusko
Adaptable Transition Systems
2013-01-01 Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Alberto, Lafuente; Andrea, Vandin
Adaptation is a game
2013-01-01 Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; LLUCH LAFUENTE, A; Vandin, A.
AGILE: Software architecture for mobility
2002-01-01 Andrade, L. F.; Baldan, P.; Baumeister, H.; Bruni, Roberto; Corradini, Andrea; De Nicola, R.; Fiadeiro, J. L.; Gadducci, Fabio; Gnesi, S.; Hoffman, P.; Koch, N.; Kosiuczenko, P.; Lapadula, A.; Latella, D.; Lopes, A.; Loreti, M.; Massink, M.; Mazzanti, F.; Montanari, UGO GIOVANNI ERASMO; Oliveira, C.; Pugliese, R.; Tarlecki, A.; Wermelinger, M.; Wirsing, M.; Zawlocki, A.
Algebraic Models for Contextual Nets
2000-01-01 Bruni, Roberto; Sassone, V.
Algebraic Theories for Contextual Pre-nets
2003-01-01 Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO; Sassone, V.
Algebras for Tree Decomposable Graphs
2020-01-01 Bruni, R.; Montanari, U.; Sammartino, M.
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 |
|---|---|---|---|
| 3rd Interaction and Concurrency Experience, ICE 2010, Amsterdam, The Netherlands, June 10, 2010 | 1-gen-2010 | Bliudze, S; Bruni, Roberto; Grohmann, D; Silva, A. | |
| 4th Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, June 9, 2011 | 1-gen-2011 | Silva, A; Bliudze, S; Bruni, Roberto; Carbone, M. | |
| A basic algebra of stateless connectors | 1-gen-2006 | Bruni, Roberto; Lanese, I; Montanari, UGO GIOVANNI ERASMO | |
| A Comparison of Petri Net Semantics under the Collective Token Philosophy | 1-gen-1998 | Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO; Sassone, V. | |
| A Conceptual Framework for Adaptation | 1-gen-2012 | Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; LLUCH LAFUENTE, A; Vandin, A. | |
| A Connector Algebra for P/T Nets Interactions | 1-gen-2011 | Bruni, Roberto; Melgratti, H; Montanari, UGO GIOVANNI ERASMO | |
| A formal support to business and architectural design for service-oriented systems | 1-gen-2011 | Bruni, Roberto; Foster, H; LLUCH LAFUENTE, A; Montanari, UGO GIOVANNI ERASMO; Tuosto, E. | |
| A logic for modular descriptions of asynchronous and synchronized concurrent systems | 1-gen-1998 | Bruni, Roberto | |
| A new strategy for distributed compensations with interruption in long-running transactions | 1-gen-2012 | Bruni, Roberto; KERSTEN KAUER, A; Lanese, I; Spagnolo, G. | |
| A semantic framework for open processes | 1-gen-2007 | Baldan, P; Bracciali, A; Bruni, Roberto | |
| 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. | |
| Abstract extensionality: on the properties of incomplete abstract interpretations | 1-gen-2020 | Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Garcia-Contreras, Isabel; Pavlovic, Dusko | |
| Adaptable Transition Systems | 1-gen-2013 | Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Alberto, Lafuente; Andrea, Vandin | |
| Adaptation is a game | 1-gen-2013 | Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; LLUCH LAFUENTE, A; Vandin, A. | |
| AGILE: Software architecture for mobility | 1-gen-2002 | Andrade, L. F.; Baldan, P.; Baumeister, H.; Bruni, Roberto; Corradini, Andrea; De Nicola, R.; Fiadeiro, J. L.; Gadducci, Fabio; Gnesi, S.; Hoffman, P.; Koch, N.; Kosiuczenko, P.; Lapadula, A.; Latella, D.; Lopes, A.; Loreti, M.; Massink, M.; Mazzanti, F.; Montanari, UGO GIOVANNI ERASMO; Oliveira, C.; Pugliese, R.; Tarlecki, A.; Wermelinger, M.; Wirsing, M.; Zawlocki, A. | |
| Algebraic Models for Contextual Nets | 1-gen-2000 | Bruni, Roberto; Sassone, V. | |
| Algebraic Theories for Contextual Pre-nets | 1-gen-2003 | Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO; Sassone, V. | |
| Algebras for Tree Decomposable Graphs | 1-gen-2020 | Bruni, R.; Montanari, U.; Sammartino, M. | |
| 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. |