CORRADINI, ANDREA Statistiche
CORRADINI, ANDREA
DIPARTIMENTO DI INFORMATICA
A 2-Categorical Presentation of Term Graph Rewriting
1997-01-01 Corradini, Andrea; Gadducci, Fabio
A calculus of concurrent graph-rewriting processes
2020-01-01 Kulcsar, G.; Corradini, A.; Lochau, M.
A Categorial Model for Logic Programs: Indexed Monoidal Categories
1993-01-01 Asperti, A; Corradini, Andrea
A Coalgebraic presentation of structured transition systems
2001-01-01 Corradini, Andrea; Grosse Rhode, M; Heckel, R.
A Completeness result for equational deduction in coalgebraic specification
1998-01-01 Corradini, Andrea
A compositional approach to structuring and refinement of typed graph grammars
1995-01-01 Corradini, Andrea; Heckel, R.
A Conceptual Framework for Adaptation
2012-01-01 Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; LLUCH LAFUENTE, A; Vandin, A.
A Formal Model for the Deferred Update Replication Technique
2014-01-01 Corradini, Andrea; Ribeiro, L.; Dotti, F. L.; Machado Mendizabal, O.
A Framework for the Verification of Infinite-State Graph Transformation Systems
2008-01-01 Baldan, Paolo; Corradini, Andrea; Koenig, Barbara
A functorial semantics for multi-algebras and partial algebras, with applications to syntax
2002-01-01 Corradini, Andrea; Gadducci, Fabio
A Graph Transformation View on the Specification of Applications using Mobile Code
2001-01-01 Corradini, Andrea; Luis Dotti, F; Ribeiro, L.
A lattice-theoretical perspective on adhesive categories
2011-01-01 Baldan, P; Bonchi, F; Corradini, Andrea; Heindel, T; Koenig, B.
A Static Analysis Technique for Graph Transformation Systems
2001-01-01 Baldan, P; Corradini, Andrea; Koenig, B.
A Temporal Graph Logic for Verification of Graph Transformation Systems
2007-01-01 Baldan, P; Corradini, Andrea; Koenig, B; Lafuente, A.
A white-box perspective on behavioural adaptation
2015-01-01 Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea
Abstract Graph Derivations in the Double Pushout Approach
1994-01-01 Corradini, Andrea; Ehrig, H; Loewe, M; Montanari, UGO GIOVANNI ERASMO; Rossi, F.
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.
AGREE – algebraic graph rewriting with controlled embedding
2015-01-01 Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frederic; Ribeiro, Leila
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A 2-Categorical Presentation of Term Graph Rewriting | 1-gen-1997 | Corradini, Andrea; Gadducci, Fabio | |
| A calculus of concurrent graph-rewriting processes | 1-gen-2020 | Kulcsar, G.; Corradini, A.; Lochau, M. | |
| A Categorial Model for Logic Programs: Indexed Monoidal Categories | 1-gen-1993 | Asperti, A; Corradini, Andrea | |
| A Coalgebraic presentation of structured transition systems | 1-gen-2001 | Corradini, Andrea; Grosse Rhode, M; Heckel, R. | |
| A Completeness result for equational deduction in coalgebraic specification | 1-gen-1998 | Corradini, Andrea | |
| A compositional approach to structuring and refinement of typed graph grammars | 1-gen-1995 | Corradini, Andrea; Heckel, R. | |
| A Conceptual Framework for Adaptation | 1-gen-2012 | Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; LLUCH LAFUENTE, A; Vandin, A. | |
| A Formal Model for the Deferred Update Replication Technique | 1-gen-2014 | Corradini, Andrea; Ribeiro, L.; Dotti, F. L.; Machado Mendizabal, O. | |
| A Framework for the Verification of Infinite-State Graph Transformation Systems | 1-gen-2008 | Baldan, Paolo; Corradini, Andrea; Koenig, Barbara | |
| A functorial semantics for multi-algebras and partial algebras, with applications to syntax | 1-gen-2002 | Corradini, Andrea; Gadducci, Fabio | |
| A Graph Transformation View on the Specification of Applications using Mobile Code | 1-gen-2001 | Corradini, Andrea; Luis Dotti, F; Ribeiro, L. | |
| A lattice-theoretical perspective on adhesive categories | 1-gen-2011 | Baldan, P; Bonchi, F; Corradini, Andrea; Heindel, T; Koenig, B. | |
| A Static Analysis Technique for Graph Transformation Systems | 1-gen-2001 | Baldan, P; Corradini, Andrea; Koenig, B. | |
| A Temporal Graph Logic for Verification of Graph Transformation Systems | 1-gen-2007 | Baldan, P; Corradini, Andrea; Koenig, B; Lafuente, A. | |
| A white-box perspective on behavioural adaptation | 1-gen-2015 | Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea | |
| Abstract Graph Derivations in the Double Pushout Approach | 1-gen-1994 | Corradini, Andrea; Ehrig, H; Loewe, M; Montanari, UGO GIOVANNI ERASMO; Rossi, F. | |
| 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. | |
| AGREE – algebraic graph rewriting with controlled embedding | 1-gen-2015 | Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frederic; Ribeiro, Leila |