Frank Hermann

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions Mathematical Structures in Computer Science	2016-07-26	Paper
Formal analysis of model transformations based on triple graph grammars Mathematical Structures in Computer Science	2016-07-26	Paper
Graph and model transformation. General framework and applications Monographs in Theoretical Computer Science. An EATCS Series	2016-02-09	Paper
A typed attributed graph grammar with inheritance for the abstract syntax of UML class and sequence diagrams Electronic Notes in Theoretical Computer Science	2014-03-21	Paper
Transformation systems with incremental negative application conditions Recent Trends in Algebraic Development Techniques	2013-09-13	Paper
Categorical frameworks for graph transformation and HLR systems based on the DPO approach	2013-01-28	Paper
Parallelism and concurrency of stochastic graph transformations Lecture Notes in Computer Science	2012-10-02	Paper
Formal analysis of functional behaviour for model transformations based on triple graph grammars Lecture Notes in Computer Science	2010-10-04	Paper
scientific article; zbMATH DE number 5606347 (Why is no real title available?)	2009-09-22	Paper
scientific article; zbMATH DE number 5605140 (Why is no real title available?)	2009-09-19	Paper
Sesqui-Pushout Rewriting Lecture Notes in Computer Science	2008-11-27	Paper
Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions Lecture Notes in Computer Science	2008-11-20	Paper
Subobject transformation systems Applied Categorical Structures	2008-07-30	Paper

Research outcomes over time

This page was built for person: Frank Hermann