![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Andrea Corradini 0001
Person information
- affiliation: University of Pisa, Italy
Other persons with the same name
- Andrea Corradini 0002 — Copenhagen School of Design and Technology, Copenhagen, Denmark
- Andrea Corradini 0003 — University of Potsdam, Computational Linguistics Department, Germany
- Andrea Corradini 0004 — Animal Ecology Unit, San Michele a/A (TN) Italy
- Andrea Corradini 0005 — MCI, Innsbruck, Austria
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c104]Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci:
Left-Linear Rewriting in Adhesive Categories. CONCUR 2024: 11:1-11:24 - [c103]Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas:
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CONCUR 2024: 39:1-39:20 - [i10]Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci:
Left-Linear Rewriting in Adhesive Categories. CoRR abs/2407.06181 (2024) - [i9]Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas:
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CoRR abs/2407.06864 (2024) - 2023
- [j45]Tobias Fritz, Fabio Gadducci, Davide Trotta, Andrea Corradini:
From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness. Appl. Categorical Struct. 31(5): 42 (2023) - 2022
- [c102]Reiko Heckel
, Andrea Corradini
, Fabio Gadducci
:
Graph Rewriting Components. ICGT 2022: 20-37 - [i8]Andrea Corradini, Fabio Gadducci, Davide Trotta:
Completeness and expressiveness for gs-monoidal categories. CoRR abs/2205.06892 (2022) - 2021
- [j44]Paolo Baldan
, Andrea Corradini, Fabio Gadducci
:
Concurrent semantics for fusions: Weak prime domains and connected event structures. Inf. Comput. 281: 104770 (2021) - 2020
- [j43]Géza Kulcsár
, Andrea Corradini, Malte Lochau:
A calculus of concurrent graph-rewriting processes. J. Log. Algebraic Methods Program. 110 (2020) - [j42]Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
Algebraic graph rewriting with controlled embedding. Theor. Comput. Sci. 802: 19-37 (2020) - [c101]Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel:
Encoding Incremental NACs in Safe Graph Grammars using Complementation. GCM@STAF 2020: 88-107
2010 – 2019
- 2019
- [j41]Antonio Brogi
, Andrea Corradini, Jacopo Soldani
:
Estimating costs of multi-component enterprise applications. Formal Aspects Comput. 31(4): 421-451 (2019) - [j40]Guilherme Grochau Azzi
, Andrea Corradini
, Leila Ribeiro:
On the essence and initiality of conflicts in M-adhesive transformation systems. J. Log. Algebraic Methods Program. 109 (2019) - [j39]Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
The PBPO graph transformation approach. J. Log. Algebraic Methods Program. 103: 213-231 (2019) - [j38]Andrea Corradini, Barbara König, Dennis Nolte:
Specifying graph languages with type graphs. J. Log. Algebraic Methods Program. 104: 176-200 (2019) - [c100]Roberto Bruni, Andrea Corradini, Fabio Gadducci
, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto:
Data-Driven Choreographies à la Klaim. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 170-190 - [c99]Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink:
Rewriting Abstract Structures: Materialization Explained Categorically. FoSSaCS 2019: 169-188 - [c98]Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel:
Unfolding Graph Grammars with Negative Application Conditions. ICGT 2019: 93-110 - [i7]Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink:
Rewriting Abstract Structures: Materialization Explained Categorically. CoRR abs/1902.04809 (2019) - 2018
- [j37]Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci
, Hernán C. Melgratti, Ugo Montanari:
Event Structures for Petri nets with Persistence. Log. Methods Comput. Sci. 14(3) (2018) - [c97]Andrea Corradini
, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi
, Jonas Santos Bezerra
, Leonardo Marques Rodrigues
:
On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. Graph Transformation, Specifications, and Nets 2018: 1-18 - [c96]Guilherme Grochau Azzi
, Andrea Corradini
, Leila Ribeiro:
On the Essence and Initiality of Conflicts. ICGT 2018: 99-117 - [c95]Géza Kulcsár
, Andrea Corradini
, Malte Lochau
:
Equivalence and Independence in Controlled Graph-Rewriting Processes. ICGT 2018: 134-151 - [i6]Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari:
Event Structures for Petri nets with Persistence. CoRR abs/1802.03726 (2018) - 2017
- [c94]Andrea Corradini
, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
The Pullback-Pushout Approach to Algebraic Graph Transformation. ICGT 2017: 3-19 - [c93]Andrea Corradini
, Barbara König, Dennis Nolte:
Specifying Graph Languages with Type Graphs. ICGT 2017: 73-89 - [c92]Paolo Baldan, Andrea Corradini
, Fabio Gadducci
:
Domains and event structures for fusions. LICS 2017: 1-12 - [i5]Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Domains and Event Structures for Fusions. CoRR abs/1701.02394 (2017) - [i4]Andrea Corradini, Barbara König, Dennis Nolte:
Specifying Graph Languages with Type Graphs. CoRR abs/1704.05263 (2017) - 2016
- [j36]Reiko Heckel, Andrea Corradini, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg:
Hartmut Ehrig (1944-2016). Bull. EATCS 119 (2016) - [c91]Andrea Corradini
, Dominique Duval, Frédéric Prost, Leila Ribeiro:
Parallelism in AGREE Transformations. ICGT 2016: 37-53 - [c90]Andrea Corradini
:
On the Definition of Parallel Independence in the Algebraic Approaches to Graph Transformation. STAF Workshops 2016: 101-111 - [e10]Andrea Corradini
, Hans Zantema:
Proceedings 9th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2016, Eindhoven, The Netherlands, April 8, 2016. EPTCS 225, 2016 [contents] - 2015
- [j35]Roberto Bruni
, Andrea Corradini
, Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. 99: 75-94 (2015) - [c89]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets 2015: 19-21 - [c88]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente
, Andrea Vandin
:
A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems 2015: 552-581 - [c87]Andrea Corradini
, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
AGREE - Algebraic Graph Rewriting with Controlled Embedding. ICGT 2015: 35-51 - [p5]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente
, Andrea Vandin
, Martin Wirsing:
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach 2015: 163-184 - 2014
- [j34]Frank Hermann, Andrea Corradini
, Hartmut Ehrig:
Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions. Math. Struct. Comput. Sci. 24(4) (2014) - [j33]Paolo Baldan, Andrea Corradini
, Tobias Heindel, Barbara König, Pawel Sobocinski
:
Processes and unfoldings: concurrent computations in adhesive categories. Math. Struct. Comput. Sci. 24(4) (2014) - [c86]Andrea Corradini
, Reiko Heckel:
Canonical Derivations with Negative Application Conditions. ICGT 2014: 207-221 - [i3]Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
AGREE - Algebraic Graph Rewriting with Controlled Embedding. CoRR abs/1411.4597 (2014) - 2013
- [j32]Andrea Corradini:
Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013) - [c85]Hind Chfouka, Andrea Corradini, Roberto Guanciale:
Classification Techniques for Conformance and Performance Checking in Process Analysis. AIBP@AI*IA 2013: 21-30 - [c84]Andrea Corradini
, Leila Ribeiro, Fernando Luís Dotti
, Odorico Machado Mendizabal
:
A Formal Model for the Deferred Update Replication Technique. TGC 2013: 235-253 - [i2]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Adaptation is a Game. Tiny Trans. Comput. Sci. 2 (2013) - 2012
- [j31]Paolo Baldan, Alessandro Bruni, Andrea Corradini
, Barbara König, César Rodríguez, Stefan Schwoon:
Efficient unfolding of contextual Petri nets. Theor. Comput. Sci. 449: 2-22 (2012) - [c83]Roberto Bruni
, Andrea Corradini
, Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
A Conceptual Framework for Adaptation. FASE 2012: 240-254 - [c82]Andrea Corradini
, Gabriele Taentzer:
ICGT 2012 Doctoral Symposium. ICGT 2012: 416 - [c81]Roberto Bruni, Andrea Corradini
, Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
Adaptable Transition Systems. WADT 2012: 95-110 - [c80]Andrea Corradini
, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall:
Transformation Systems with Incremental Negative Application Conditions. WADT 2012: 127-142 - [c79]Roberto Bruni
, Andrea Corradini
, Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. WRLA 2012: 118-138 - 2011
- [j30]Andrea Corradini:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 38 (2011) - [j29]Paolo Baldan, Filippo Bonchi
, Andrea Corradini
, Tobias Heindel, Barbara König:
A lattice-theoretical perspective on adhesive categories. J. Symb. Comput. 46(3): 222-245 (2011) - [c78]Roberto Bruni
, Andrea Corradini
, Gian-Luigi Ferrari
, Tito Flagella, Roberto Guanciale
, Giorgio Spagnolo:
Applying Process Analysis to the Italian eGovernment Enterprise Architecture. WS-FM 2011: 111-127 - [c77]Andrea Corradini, Frank Drewes:
Term Graph Rewriting and Parallel Term Rewriting. TERMGRAPH 2011: 3-18 - [p4]Roberto Bruni
, Andrea Corradini
, Fabio Gadducci
, Alberto Lluch-Lafuente
, Ugo Montanari:
Hierarchical Models for Service-Oriented Systems. Results of the SENSORIA Project 2011: 349-368 - [e9]Andrea Corradini
, Bartek Klin
, Corina Cîrstea:
Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings. Lecture Notes in Computer Science 6859, Springer 2011, ISBN 978-3-642-22943-5 [contents] - 2010
- [j28]Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari:
From Petri Nets to Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010) - [j27]Frank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König:
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010) - [j26]Roberto Bruni, Andrea Corradini, Ugo Montanari:
Modeling a Service and Session Calculus with Hierarchical Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010) - [c76]Roberto Bruni
, Andrea Corradini
, Fabio Gadducci
, Alberto Lluch-Lafuente
, Ugo Montanari:
On GS-Monoidal Theories for Graphs with Nesting. Graph Transformations and Model-Driven Engineering 2010: 59-86 - [c75]Paolo Baldan, Alessandro Bruni, Andrea Corradini
, Barbara König, Stefan Schwoon:
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. ICGT 2010: 91-106 - [c74]Andrea Corradini, Maarten de Mol:
ICGT 2010 Doctoral Symposium. ICGT 2010: 379-380 - [c73]Andrea Corradini
, Fabio Gadducci
, Leila Ribeiro:
An Institution for Graph Transformation. WADT 2010: 160-174
2000 – 2009
- 2009
- [c72]Paolo Baldan, Andrea Corradini
, Tobias Heindel, Barbara König, Pawel Sobocinski
:
Unfolding Grammars in Adhesive Categories. CALCO 2009: 350-366 - [c71]Andrea Corradini:
Preface. TERMGRAPH@ETAPS 2009: 1-2 - [e8]Andrea Corradini:
Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, TERMGRAPH@ETAPS 2009, York, UK, March 22, 2009. Electronic Notes in Theoretical Computer Science 253(4), Elsevier 2009 [contents] - [e7]Andrea Corradini, Ugo Montanari:
Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5486, Springer 2009, ISBN 978-3-642-03428-2 [contents] - 2008
- [j25]Andrea Corradini
, Frank Hermann, Pawel Sobocinski
:
Subobject Transformation Systems. Appl. Categorical Struct. 16(3): 389-419 (2008) - [j24]Andrea Corradini, Emilio Tuosto:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 16 (2008) - [j23]Paolo Baldan, Andrea Corradini
, Barbara König:
A framework for the verification of infinite-state graph transformation systems. Inf. Comput. 206(7): 869-907 (2008) - [j22]Paolo Baldan, Andrea Corradini
, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. Log. Methods Comput. Sci. 4(4) (2008) - [j21]Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon:
McMillan's Complete Prefix for Contextual Nets. Trans. Petri Nets Other Model. Concurr. 1: 199-220 (2008) - [c70]Andrea Corradini
:
Ugo Montanari and Graph Transformation. Concurrency, Graphs and Models 2008: 9-15 - [c69]Paolo Baldan, Andrea Corradini
, Barbara König:
Unfolding Graph Transformation Systems: Theory and Applications to Verification. Concurrency, Graphs and Models 2008: 16-36 - [c68]Paolo Baldan, Andrea Corradini
, Hartmut Ehrig, Barbara König:
Open Petri Nets: Non-deterministic Processes and Compositionality. ICGT 2008: 257-273 - [c67]Andrea Corradini, Emilio Tuosto:
ICGT 2008 Doctoral Symposium. ICGT 2008: 473-474 - [c66]Andrea Corradini
, Luciana Foss, Leila Ribeiro:
Graph Transformation with Dependencies for the Specification of Interactive Systems. WADT 2008: 102-118 - [i1]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CoRR abs/0809.4115 (2008) - 2007
- [j20]Paolo Baldan, Andrea Corradini
, Ugo Montanari, Leila Ribeiro:
Unfolding semantics of graph transformation. Inf. Comput. 205(5): 733-782 (2007) - [c65]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO 2007: 126-142 - 2006
- [c64]Paolo Baldan, Andrea Corradini
, Tobias Heindel, Barbara König, Pawel Sobocinski
:
Processes for Adhesive Rewriting Systems. FoSSaCS 2006: 202-216 - [c63]Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König:
Sesqui-Pushout Rewriting. ICGT 2006: 30-45 - [c62]Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci:
Graph Transactions as Processes. ICGT 2006: 199-214 - [c61]Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente
:
A Temporal Graph Logic for Verification of Graph Transformation Systems. WADT 2006: 1-20 - [c60]Paolo Baldan, Andrea Corradini
, Fernando Luís Dotti
, Luciana Foss, Fabio Gadducci
, Leila Ribeiro:
Towards a Notion of Transaction in Graph Rewriting. GT-VMT@ETAPS 2006: 39-50 - [e6]Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg:
Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings. Lecture Notes in Computer Science 4178, Springer 2006, ISBN 3-540-38870-2 [contents] - 2005
- [j19]Paolo Baldan, Andrea Corradini
, Hartmut Ehrig, Reiko Heckel:
Compositional semantics for open Petri nets based on deterministic processe. Math. Struct. Comput. Sci. 15(1): 1-35 (2005) - [c59]Paolo Baldan, Andrea Corradini:
On the Concurrent Semantics of Algebraic Graph Grammars. Formal Methods in Software and Systems Modeling 2005: 3-23 - 2004
- [j18]Paolo Baldan, Nadia Busi, Andrea Corradini
, G. Michele Pinna
:
Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theor. Comput. Sci. 323(1-3): 129-189 (2004) - [c58]Paolo Baldan, Andrea Corradini, Barbara König:
Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. CONCUR 2004: 83-98 - [c57]Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Specifying and Verifying UML Activity Diagrams Via Graph Transformation. Global Computing 2004: 18-33 - [c56]Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro:
Translating Java Code to Graph Transformation Systems. ICGT 2004: 383-398 - [c55]Paolo Baldan, Andrea Corradini
, Ugo Montanari:
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. PNGT@ICGT 2004: 5-28 - [c54]Andrea Corradini
, Fabio Gadducci
:
On Term Graphs as an Adhesive Category. TERMGRAPH 2004: 43-56 - [c53]Andrea Corradini
, Dan Hirsch:
An Operational Semantics of COMMUNITY Based on Graph Transformation Systems. GT-VMT@ETAPS 2004: 111-124 - 2003
- [j17]Andrea Corradini, Hans-Jörg Kreowski:
Preface. Fundam. Informaticae 58(1) (2003) - [c52]Paolo Baldan, Andrea Corradini
, Barbara König, Bernhard König:
Verifying a Behavioural Logic for Graph Transformation Systems. COMETA 2003: 5-24 - 2002
- [j16]Andrea Corradini
, Reiko Heckel, Ugo Montanari:
Compositional SOS and beyond: a coalgebraic view of open systems. Theor. Comput. Sci. 280(1-2): 163-192 (2002) - [j15]Andrea Corradini
, Fabio Gadducci
:
A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Theor. Comput. Sci. 286(2): 293-322 (2002) - [c51]Paolo Baldan, Andrea Corradini, Ugo Montanari:
Bisimulation Equivalences for Graph Grammars. Formal and Natural Computing 2002: 158-190 - [c50]Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola
, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch
, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink
, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki:
AGILE: Software Architecture for Mobility. WADT 2002: 1-33 - [c49]Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro:
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. WADT 2002: 165-184 - [c48]Andrea Corradini
, Fabio Gadducci
, Wolfram Kahl, Barbara König:
Inequational Deduction as Term Graph Rewriting. TERMGRAPH 2002: 31-44 - [e5]Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg:
Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings. Lecture Notes in Computer Science 2505, Springer 2002, ISBN 3-540-44310-X [contents] - 2001
- [j14]Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
:
Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. Appl. Categorical Struct. 9(1): 83-110 (2001) - [j13]Paolo Baldan, Andrea Corradini
, Ugo Montanari:
Contextual Petri Nets, Asymmetric Event Structures, and Processes. Inf. Comput. 171(1): 1-49 (2001) - [j12]Andrea Corradini
, Martin Große-Rhode, Reiko Heckel:
A Coalgebraic presentation of structured transition systems. Theor. Comput. Sci. 260(1-2): 27-55 (2001) - [c47]Paolo Baldan, Andrea Corradini, Barbara König:
A Static Analysis Technique for Graph Transformation Systems. CONCUR 2001: 381-395 - [c46]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel:
Compositional Modeling of Reactive Systems Using Open Nets. CONCUR 2001: 502-518 - [c45]Andrea Corradini
:
GETGRATS: A summary of scientific results (with annotated bibliography). GETGRATS Closing Workshop 2001: 1-64 - [c44]Andrea Corradini
, Fabio Gadducci
:
Categorical rewriting of term-like structures. GETGRATS Closing Workshop 2001: 108-121 - [c43]Andrea Corradini
, Fernando Luís Dotti
, Leila Ribeiro:
A Graph Transformation View on the Specification of Applications using Mobile Code. GT-VMT@ICALP 2001: 238-246 - [c42]Andrea Corradini
, Marina Lenisa, Ugo Montanari:
Preface. CMCS 2001: 308-309 - [c41]Michel Bauderon, Andrea Corradini
:
Preface. GETGRATS Closing Workshop 2001: 319 - [p3]Andrea Corradini, Hans-Jörg Kreowski:
GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation. Current Trends in Theoretical Computer Science 2001: 164-170 - [e4]Andrea Corradini, Marina Lenisa, Ugo Montanari:
Coalgebraic Methods in Computer Science, CMCS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 6-7, 2001. Electronic Notes in Theoretical Computer Science 44(1), Elsevier 2001 [contents] - [e3]Michel Bauderon, Andrea Corradini:
GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001. Electronic Notes in Theoretical Computer Science 51, Elsevier 2001 [contents] - 2000
- [j11]Andrea Corradini, Reiko Heckel:
Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. Bull. EATCS 72: 69-76 (2000) - [c40]Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna:
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. CONCUR 2000: 442-457 - [c39]Andrea Corradini, Reiko Heckel:
Introduction: Graph Transformation and Visual Modeling Techniques. ICALP Satellite Workshops 2000: 357-358 - [c38]Andrea Corradini, Reiko Heckel, Ugo Montanari:
Graphical Operational Semantics. ICALP Satellite Workshops 2000: 411-418 - [e2]José D. P. Rolim, Andrei Z. Broder, Andrea Corradini, Roberto Gorrieri, Reiko Heckel, Juraj Hromkovic, Ugo Vaccaro, J. B. Wells:
ICALP Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming, Geneva, Switzerland, July 9-15, 2000. Carleton Scientific, Waterloo, Ontario, Canada 2000, ISBN 1-894145-07-0 [contents]
1990 – 1999
- 1999
- [j10]Andrea Corradini, Fabio Gadducci
:
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories. Appl. Categorical Struct. 7(4): 299-331 (1999) - [j9]Andrea Corradini
, Fabio Gadducci
:
Rewriting on cyclic structures: Equivalence between the operational and the categorical description. RAIRO Theor. Informatics Appl. 33(4/5): 467-493 (1999) - [c37]Andrea Corradini, Reiko Heckel, Ugo Montanari:
Tile Transition Systems as Structured Coalgebras. FCT 1999: 13-38 - [c36]Paolo Baldan, Andrea Corradini, Ugo Montanari:
Unfolding and Event Structure Semantics for Graph Grammars. FoSSaCS 1999: 73-89 - [c35]Paolo Baldan, Andrea Corradini, Ugo Montanari:
History Preserving Bisimulation for Contextual Nets. WADT 1999: 291-310 - [c34]Andrea Corradini
, Reiko Heckel, Ugo Montanari:
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. CMCS 1999: 118-141 - 1998
- [c33]Paolo Baldan, Andrea Corradini, Ugo Montanari:
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. FoSSaCS 1998: 63-80 - [c32]Andrea Corradini, Fabio Gadducci:
Rational Term Rewriting. FoSSaCS 1998: 156-171 - [c31]Paolo Baldan, Andrea Corradini, Ugo Montanari:
Concatenable Graph Processes: Relating Processes and Derivation Traces. ICALP 1998: 283-295 - [c30]Paolo Baldan, Andrea Corradini, Ugo Montanari:
Unfolding of Double-Pushout Graph Grammars is a Coreflection. TAGT 1998: 145-163 - [c29]Andrea Corradini
, Fabio Gadducci
:
Functorial Semantics for Multi-algebras. WADT 1998: 79-91 - [c28]Andrea Corradini
, Martin Große-Rhode, Reiko Heckel:
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories. WADT 1998: 92-106 - [c27]Andrea Corradini
, Martin Große-Rhode, Reiko Heckel:
Structured Transition Systems as Lax Coalgebras. CMCS 1998: 22-41 - 1997
- [j8]Andrea Corradini, Hans-Jörg Kreowski:
GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation. Bull. EATCS 63 (1997) - [c26]Andrea Corradini, Fabio Gadducci:
A 2-Categorical Presentation of Term Graph Rewriting. Category Theory and Computer Science 1997: 87-105 - [c25]Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini:
Integrating the Specification Techniques of Graph Transformation and Temporal Logic. MFCS 1997: 219-228 - [c24]Andrea Corradini
:
A Completeness result for equational deduction in coalgebraic specification. WADT 1997: 190-205 - [p2]Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, Michael Löwe:
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach. Handbook of Graph Grammars 1997: 163-246 - [p1]Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, Andrea Corradini:
Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. Handbook of Graph Grammars 1997: 247-312 - 1996
- [j7]Andrea Corradini, Ugo Montanari, Francesca Rossi:
Graph Processes. Fundam. Informaticae 26(3/4): 241-265 (1996) - [j6]Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe:
Horizontal and Vertical Structuring of Typed Graph Transformation Systems. Math. Struct. Comput. Sci. 6(6): 613-648 (1996) - [c23]Andrea Corradini:
Concurrent Graph and Term Graph Rewriting. CONCUR 1996: 438-464 - 1995
- [j5]Vincenzo Ambriola, Paolo Ciancarini
, Andrea Corradini
:
Declarative Specification of the Architecture of a Software Development Environment. Softw. Pract. Exp. 25(2): 143-174 (1995) - [c22]Andrea Corradini
, Fabio Gadducci
:
CPO Models for Infinite Term Rewriting. AMAST 1995: 368-384 - [c21]Andrea Corradini, Fabio Gadducci, Ugo Montanari:
Relating Two Categorial Models of Term Rewriting. RTA 1995: 225-240 - [c20]Andrea Corradini
, Ugo Montanari:
Preface. SEGRAGRA 1995: 1-2 - [c19]Andrea Corradini
, Reiko Heckel:
A compositional approach to structuring and refinement of typed graph grammars. SEGRAGRA 1995: 46-55 - [c18]Andrea Corradini
:
Concurrent computing: from Petri nets to graph grammars. SEGRAGRA 1995: 56-70 - [e1]Andrea Corradini, Ugo Montanari:
Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995. Electronic Notes in Theoretical Computer Science 2, Elsevier 1995 [contents] - 1994
- [j4]Andrea Corradini
, Ugo Montanari, Francesca Rossi:
An Abstract Machine for Concurrent Modular Systems: CHARM. Theor. Comput. Sci. 122(1&2): 165-200 (1994) - [c17]Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi:
An Event Structure Semantics for Safe Graph Grammars. PROCOMET 1994: 423-444 - [c16]Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg:
The Category of Typed Graph Grammars and its Adjunctions with Categories. TAGT 1994: 56-74 - [c15]Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi:
An Event Structure Semantics for Graph Grammars with Parallel Productions. TAGT 1994: 240-256 - [c14]Andrea Corradini, Francesca Rossi:
Synchronized Composition of Graph Grammar Productions. TAGT 1994: 257-270 - 1993
- [j3]Andrea Corradini
, Francesca Rossi:
Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming. Theor. Comput. Sci. 109(1&2): 7-48 (1993) - [c13]Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi:
Abstract Graph Derivations in the Double Pushout Approach. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 86-103 - [c12]Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi:
Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 119-137 - [c11]Andrea Corradini:
Term Rewriting in CT-Sigma. TAPSOFT 1993: 468-484 - 1992
- [j2]Andrea Corradini
, Ugo Montanari:
An Algebraic Semantics for Structured Transition Systems and its Applications to Logic Programs. Theor. Comput. Sci. 103(1): 51-106 (1992) - [c10]Andrea Corradini, Ugo Montanari, Francesca Rossi:
SHARM: Concurrency and Hiding in an Abstract Rewriting Machine. FGCS 1992: 887-896 - [c9]Andrea Corradini, Andrea Asperti
:
A Categorial Model for Logic Programs: Indexed Monoidal Categories. REX Workshop 1992: 110-137 - 1991
- [j1]Vincenzo Ambriola, Paolo Ciancarini
, Andrea Corradini
, Nicoletta De Francesco:
Towards innovative software engineering environments. J. Syst. Softw. 14(1): 17-29 (1991) - [c8]Andrea Corradini, Ugo Montanari:
An Algebraic Representation of Logic-Program Computations. Computational Logic - Essays in Honor of Alan Robinson 1991: 584-612 - [c7]Andrea Corradini
, Ugo Montanari:
An Algebra of Graphs and Graph Rewriting. Category Theory and Computer Science 1991: 236-260 - [c6]Andrea Corradini, Francesca Rossi, Francesco Parisi-Presicce:
Logic Programming as Hypergraph Rewriting. TAPSOFT, Vol.1 1991: 275-295 - 1990
- [c5]Andrea Corradini
, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Michael Löwe:
Graph Grammars and Logic Programming. Graph-Grammars and Their Application to Computer Science 1990: 221-237 - [c4]Andrea Corradini
, Gian-Luigi Ferrari
, Ugo Montanari:
Transition Systems with Algebraic Structure as Models of Computations. Semantics of Systems of Concurrent Processes 1990: 185-222 - [c3]Andrea Corradini, Ugo Montanari:
An Algebraic Semantics of Logic Programs as Structured Transition Systems. NACLP 1990: 788-812 - [c2]Andrea Corradini
, Ugo Montanari:
Towards a Process Semantics in the Logic Programming Style. STACS 1990: 95-108
1980 – 1989
- 1986
- [c1]Giuseppe Attardi, Andrea Corradini, S. Diomedi, Maria Simi:
Taxonomic Reasoning. ECAI 1986: 277-286
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-30 20:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint