Andrea Corradini
Identifiers
- name variant Andrea Corradini 0.60 · backfill
Papers (3)
- Rewriting Abstract Structures: Materialization Explained Categorically cs.LO · 2019 · author #1
- Specifying Graph Languages with Type Graphs cs.FL · 2017 · author #1
- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets cs.LO · 2008 · author #2
Mentions
- 0809.4115 #2 · backfill · confidence 0.70 Andrea Corradini
Frequent Coauthors
- Barbara K\"onig 3 shared papers
- Dennis Nolte 2 shared papers
- Arend Rensink 1 shared papers
- Hartmut Ehrig 1 shared papers
- Paolo Baldan 1 shared papers
- Reiko Heckel 1 shared papers
- Tobias Heindel 1 shared papers