Autore
ANDREA CORRADINI
Unimap Dati autore
- Professore Associato presso Dipartimento di Informatica
- Membro della Facolta' di Scienze Matematiche Fisiche e Naturali
- Settore scientifico disciplinare INF/01 INFORMATICA
- In servizio
Prodotti
- Articoli
- Graph Processes 1996
- Horizontal and Vertical Structuring of Graph Transformation Systems 1996
- Special Issue dedicated to the Joint COMPUGRAPH/SEMAGRAPH Workshop 1996
- An algebraic presentation of term graphs, via gs-monoidal categories 1999
- Rewriting on cyclic structures: Equivalence of operational and categorical descriptions 1999
- A Coalgebraic Representation of Structured Transition Systems 2001
- A Functorial Semantics for Multi-Algebras and Partial Algebras, with Applications to Syntax 2001
- Contextual Petri Nets, Asymmetric Event Structures and Processes 2001
- Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems 2001
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax 2002
- Compositional SOS and Beyond: A Coalgebraic view of Open Systems 2002
- Compositional Semantics for Open Petri Nets based on Deterministic Processes 2004
- Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs 2004
- Unfolding Semantics of Graph Transformation 2007
- A Framework for the Verification of Infinite-State Graph Transformation Systems 2008
- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets 2008
- Subobject transformation systems 2008
- A lattice-theoretical perspective on adhesive categories 2011
- Atti, Riassunti o Comunicazioni
- An Event Structure Semantics for Graph Grammars with Parallel Productions 1996
- Concurrent Graph and Term Graph Rewriting 1996
- Synchronized Composition of Graph Grammar Productions 1996
- The Category of Typed Graph Grammars and their Adjunction with Categories of Derivations 1996
- A 2-Categorical presentation of term Graph rewriting 1997
- Integrating the Specification Techniques of Graph Transformation and Temporal Logic 1997
- A completeness result for equational deduction in coalgebraic specification 1998
- An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures 1998
- Concatenable Graph Processes: Relating Processes and Derivation Traces 1998
- Functorial Semantics for Multi-algebras 1998
- Rational Term Rewriting 1998
- Structured transition systems as lax coalgebras 1998
- An algebra of graph derivations using finite (co-) limit double theories 1999
- From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence 1999
- History Preserving Bisimulation for Contextual Nets 1999
- Tile Transition Systems as Structured Coalgebras 1999
- Unfolding and Event Structure Semantics for Graph Grammars 1999
- Unfolding of Double-Pushout Graph Grammars is a Coreflection 1999
- Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs 2000
- Graphical Operational Semantics 2000
- A static analysis technique for graph transformation systems 2001
- Compositional modeling of reactive systems using open nets 2001
- Categorical rewriting of term-like structures 2002
- GETGRATS: A summary of scientific results (with annotated bibliography) 2002
- Static Analysis of Distributed Systems with Mobility Specified by Graph Grammars-A Case Study 2002
- AGILE: Software Architecture for Mobility 2003
- Coreflective Concurrent Semantics for Single-Pushout Graph Grammars 2003
- An Operational Semantics of CommUnity based on Graph Transformation Systems 2004
- Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs 2004
- Translating Java Code to Graph Transformation Systems 2004
- Verifying Finite-State Graph Grammars: an Unfolding-Based Approach 2004
- Verifying a Behavioural Logic for Graph Transformation Systems 2004
- On term graphs as an adhesive category 2005
- Specifying and Verifying UML Activity Diagrams via Graph Transofrmation 2005
- Verifying Red-Black Trees 2005
- Graph transactions as processes 2006
- OpenSPCoop: un'Implementazione della Specifica di Cooperazione Applicativa per la Pubblica Amministrazione Italiana 2006
- Processes for Adhesive Rewriting Systems 2006
- Sesqui-Pushout Rewriting 2006
- A Temporal Graph Logic for Verification of Graph Transformation Systems 2007
- Aspetti di Interoperabilita' della Specifica SPCoop nell'implementazione OpenSPCoop 1.0 2007
- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets 2007
- Inequational deduction as term graph rewriting 2007
- OpenSPCoop: un Progetto Open Source per la Cooperazione Applicativa nella Pubblica Amministrazione 2007
- Il paradigma open source nel contesto dell'attuale modello di riuso del software nella PA italiana 2008
- McMillan's Complete Prefix for Contextual Nets 2008
- Open Petri nets: Non-deterministic Processes and Compositionality 2008
- Towards a notion of transaction in graph rewriting 2008
- Unfolding Graph Transformation Systems: Theory and Applications to Verification 2008
- Graph Transformation with Dependencies for the Specification of Interactive Systems 2009
- Revised Papers WADT 2008 2009
- Unfolding Grammars in Adhesive Categories 2009
- An institution for graph transformation 2010
- Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets 2010
- Modeling a Service and Session Calculus with Hierarchical Graph Transformation 2010
- On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars 2010
- Rewriting nested graphs, through term graphs (abstract) 2010
- Applying Process Analysis to the Italian eGovernment Enterprise Architecture 2011
- Term Graph Rewriting and Parallel Term Rewriting 2011
- A conceptual framework for adaptation 2012
- Modelling and analyzing adaptive self-assembling strategies with Maude 2012
- Capitoli, Parte,Saggi, Studi, Articoli in libro
- Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach - Handbook of Graph Grammars and Computing by Graph Transformation 1997
- Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach - Handbook of Graph Grammars and Computing by Graph Transformation 1997
- Concurrent Semantics of Algebraic Graph Transformations - Handbook of Graph Grammars and Computing by Graph Transformation 1999
- Bisimulation Equivalences for Graph Grammars - Festschrift in Honor of Grzegorz Rozeberg 2002
- On the Concurrent Semantics of Algebraic Graph Grammars - Formal Methods in Software and Systems Modeling 2005
- Finalmente Libero: Software Libero e Standard Aperti per le PA - L'implementazione OpenSPCoop 1.0 della Specifica SPCoop 2007
- On gs-monoidal theories for graphs with nesting - Graph Transformations and Model-Driven Engineering, Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday 2010
- From Petri nets to graph transformation systems - Manipulation of Graphs, Algebras and Pictures, Essays Dedicated to Hans-Joerg Kreowski on the Occasion of His 60th Birthday 2010
- Hierarchical models for service-oriented systems - Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing 2011
- Libri, Manuali o Trattati
- ICALP Workshops 2000 2000
- Proceedings GETGRATS Final Workshop 2002
- Proceedings of First International Conference on Graph Transformation 2002
- Proceedings of the Third International Conference on Graph Transformation (ICGT'06) 2006
- Proceedings of the Doctoral Symposium of ICGT'08 2009
- Proceedings of the Fifth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009) 2009
- Programmazione in Java 2009
- Proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2011) 2011
- Proceedings of the Doctoral Symposium of ICGT 2010 2011
- Programmazione in Java (2 ed.) 2011
- Rapporti
- An Opfibration Account of Typed DPO and DPB Graph Transformation: General Productionss 1996
- (Cyclic) Term Graph Rewriting is adequate for Rational Parallel Term Rewriting 1997
- A completeness calculus for equational deduction in coalgebraic specification 1997
- Loose Semantics and Constraints for Graph Transformation Systems 1997
- Rewriting on cyclic structures 1998
- Term graph syntax for multi-algebras 2000
- Coreflective concurrent semantics for Single-Pushout graph grammars (extended abstract) 2002