PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Corradini, Andrea"

Author of the publication

copydeleteadd this publication to your clipboard
Modelling and analyzing adaptive self-assembly strategies with Maude.

, , , , and . Sci. Comput. Program., (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Andrea Thom University of Stuttgart

Andrea Loi University of Stuttgart

Andrea Talmann University of Stuttgart

Jun. -Prof. Dr. Andrea Iannelli University of Stuttgart

Dr. Andrea Zappe University of Stuttgart

 

Other publications of authors with the same name

Compositional semantics for open Petri nets based on deterministic processe., , , and . Mathematical Structures in Computer Science, 15 (1): 1-35 (2005)Structured Transition Systems as Lax Coalgebras., , and . Electr. Notes Theor. Comput. Sci., (1998)From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence., , and . Electr. Notes Theor. Comput. Sci., (1999)A lattice-theoretical perspective on adhesive categories., , , , and . J. Symb. Comput., 46 (3): 222-245 (2011)Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems., , , and . Applied Categorical Structures, 9 (1): 83-110 (2001)Subobject Transformation Systems., , and . Applied Categorical Structures, 16 (3): 389-419 (2008)Adaptation is a Game., , , , and . TinyToCS, (2013)Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming., and . Theor. Comput. Sci., 109 (1&2): 7-48 (1993)A Map-Based System Using Speech and 3D Gestures for Pervasive Computing., , and . ICMI, page 191-196. IEEE Computer Society, (2002)Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach., , , , , and . Handbook of Graph Grammars, page 163-246. World Scientific, (1997)