CORRADINI, ANDREA Statistiche

CORRADINI, ANDREA  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 139 (tempo di esecuzione: 0.059 secondi).
Titolo Data di pubblicazione Autore(i) File
A 2-Categorical Presentation of Term Graph Rewriting 1-gen-1997 Corradini, Andrea; Gadducci, Fabio
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.
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
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach 1-gen-1997 Corradini, Andrea; Montanari, UGO GIOVANNI ERASMO; Rossi, F; Ehrig, H; Heckel, R; Loewe, M.
Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach 1-gen-1997 Ehrig, H; Heckel, R; Korff, M; Loewe, M; Ribeiro, L; Wagner, A; Corradini, Andrea