Author of the publication

A Static Analysis Technique for Graph Transformation Systems.

, , and . CONCUR, volume 2154 of Lecture Notes in Computer Science, page 381-395. Springer, (2001)

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.

 

Other publications of authors with the same name

A lattice-theoretical perspective on adhesive categories., , , , and . J. Symb. Comput., 46 (3): 222-245 (2011)Augur - A Tool for the Analysis of Graph Transformation Systems., and . Bulletin of the EATCS, (2005)Graph transformation systems, Petri nets and Semilinear Sets: Checking for the Absence of Forbidden Paths in Graphs.. ECEASST, (2006)Bisimulation Verification for the DPO Approach with Borrowed., , and . ECEASST, (2007)Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories., , and . ECEASST, (2013)How Random Is Social Behaviour? Disentangling Social Complexity through the Study of a Wild House Mouse Population., , , and . PLoS Computational Biology, (2012)A Tutorial on Graph Transformation., , , and . Graph Transformation, Specifications, and Nets, volume 10800 of Lecture Notes in Computer Science, page 83-104. Springer, (2018)Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting., and . FoSSaCS, volume 2987 of Lecture Notes in Computer Science, page 151-166. Springer, (2004)A coalgebraic treatment of conditional transition systems with upgrades., , , and . CoRR, (2016)Fixpoint Games on Continuous Lattices., , , and . CoRR, (2018)