CORRADINI, ANDREA Statistiche

CORRADINI, ANDREA  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 141 (tempo di esecuzione: 0.051 secondi).
Titolo Data di pubblicazione Autore(i) File
From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness 1-gen-2023 Fritz, Tobias; Gadducci, Fabio; Trotta, Davide; Corradini, Andrea
Graph Rewriting Components 1-gen-2022 Heckel, R.; Corradini, A.; Gadducci, F.
Concurrent semantics for fusions: Weak prime domains and connected event structures 1-gen-2021 Baldan, P.; Corradini, A.; Gadducci, F.
A calculus of concurrent graph-rewriting processes 1-gen-2020 Kulcsar, G.; Corradini, A.; Lochau, M.
Algebraic graph rewriting with controlled embedding 1-gen-2020 Corradini, A.; Duval, D.; Echahed, R.; Prost, F.; Ribeiro, L.
Encoding Incremental NACs in Safe Graph Grammars using Complementation 1-gen-2020 Corradini, Andrea; Ghaffari Saadat, Maryam; Heckel, Reiko
Data-Driven Choreographies à la Klaim 1-gen-2019 Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernán C.; Montanari, UGO GIOVANNI ERASMO; Tuosto, Emilio
Estimating costs of multi-component enterprise applications 1-gen-2019 Brogi, A.; Corradini, A.; Soldani, J.
On the essence and initiality of conflicts inM-adhesive transformation systems 1-gen-2019 Grochau Azzi, Guilherme; Corradini, Andrea; Ribeiro, Leila
Rewriting Abstract Structures: Materialization Explained Categorically 1-gen-2019 Corradini, A.; Heindel, T.; Konig, B.; Nolte, D.; Rensink, A.
Specifying graph languages with type graphs 1-gen-2019 Corradini, Andrea; König, Barbara; Nolte, Dennis
The PBPO graph transformation approach 1-gen-2019 Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila
Unfolding graph grammars with negative application conditions 1-gen-2019 Corradini, A.; Saadat, M. G.; Heckel, R.
Equivalence and independence in controlled graph-rewriting processes 1-gen-2018 Kulcsár, Géza; Corradini, Andrea; Lochau, Malte
Event structures for Petri nets with persistence 1-gen-2018 Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo
On the essence and initiality of conflicts 1-gen-2018 Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila
On the essence of parallel independence for the double-pushout and sesqui-pushout approaches 1-gen-2018 Corradini, Andrea; Duval, Dominique; Löwe, Michael; Ribeiro, Leila; Machado, Rodrigo; Costa, Andrei; Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Rodrigues, Leonardo Marques
Domains and event structures for fusions 1-gen-2017 Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
Specifying graph languages with type graphs 1-gen-2017 Corradini, Andrea; Koenig, Barbara; Nolte, Dennis
The Pullback-Pushout approach to algebraic graph transformation 1-gen-2017 Corradini, Andrea; Duval, Dominque; Echahed, Rachid; Prost, Frederic; Ribeiro, Leila