CORRADINI, ANDREA Statistiche
CORRADINI, ANDREA
DIPARTIMENTO DI INFORMATICA
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
2024-01-01 Stoltenow, Lara; König, Barbara; Schneider, Sven; Corradini, Andrea; Lambers, Leen; Orejas, Fernando
Left-Linear Rewriting in Adhesive Categories
2024-01-01 Baldan, Paolo; Castelnovo, Davide; Corradini, Andrea; Gadducci, Fabio
From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness
2023-01-01 Fritz, Tobias; Gadducci, Fabio; Trotta, Davide; Corradini, Andrea
Graph Rewriting Components
2022-01-01 Heckel, R.; Corradini, A.; Gadducci, F.
Concurrent semantics for fusions: Weak prime domains and connected event structures
2021-01-01 Baldan, P.; Corradini, A.; Gadducci, F.
A calculus of concurrent graph-rewriting processes
2020-01-01 Kulcsar, G.; Corradini, A.; Lochau, M.
Algebraic graph rewriting with controlled embedding
2020-01-01 Corradini, A.; Duval, D.; Echahed, R.; Prost, F.; Ribeiro, L.
Encoding Incremental NACs in Safe Graph Grammars using Complementation
2020-01-01 Corradini, Andrea; Ghaffari Saadat, Maryam; Heckel, Reiko
Data-Driven Choreographies à la Klaim
2019-01-01 Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernán C.; Montanari, UGO GIOVANNI ERASMO; Tuosto, Emilio
Estimating costs of multi-component enterprise applications
2019-01-01 Brogi, A.; Corradini, A.; Soldani, J.
On the essence and initiality of conflicts inM-adhesive transformation systems
2019-01-01 Grochau Azzi, Guilherme; Corradini, Andrea; Ribeiro, Leila
Rewriting Abstract Structures: Materialization Explained Categorically
2019-01-01 Corradini, A.; Heindel, T.; Konig, B.; Nolte, D.; Rensink, A.
Specifying graph languages with type graphs
2019-01-01 Corradini, Andrea; König, Barbara; Nolte, Dennis
The PBPO graph transformation approach
2019-01-01 Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila
Unfolding graph grammars with negative application conditions
2019-01-01 Corradini, A.; Saadat, M. G.; Heckel, R.
Equivalence and independence in controlled graph-rewriting processes
2018-01-01 Kulcsár, Géza; Corradini, Andrea; Lochau, Malte
Event structures for Petri nets with persistence
2018-01-01 Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo
On the essence and initiality of conflicts
2018-01-01 Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila
On the essence of parallel independence for the double-pushout and sesqui-pushout approaches
2018-01-01 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
2017-01-01 Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions | 1-gen-2024 | Stoltenow, Lara; König, Barbara; Schneider, Sven; Corradini, Andrea; Lambers, Leen; Orejas, Fernando | |
| Left-Linear Rewriting in Adhesive Categories | 1-gen-2024 | Baldan, Paolo; Castelnovo, Davide; Corradini, Andrea; Gadducci, Fabio | |
| 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 |