| Publication | Date of Publication | Type |
|---|
| Closure properties of context-free hyperedge replacement systems | 2024-06-05 | Paper |
| Multilevel graph grammars | 2024-01-05 | Paper |
| A Formal Model for Role-Based Access Control Using Graph Transformation | 2022-03-07 | Paper |
| Decidability of Safety in Graph-Based Models for Access Control | 2022-02-16 | Paper |
| Transformations of graph grammars | 2019-01-10 | Paper |
| Higher-order nets for mobile policies | 2013-09-25 | Paper |
| On Modifying High Level Replacement Systems1 1Partially supported by the European Community under TMR GETGRATS and Esprit WG APPLIGRAPH | 2013-05-24 | Paper |
| Graph Transformations for the Specification of Access Control Policies | 2013-05-24 | Paper |
| A formal framework for Petri net class transformations | 2011-04-08 | Paper |
| A model for distribution and revocation of certificates | 2010-10-04 | Paper |
| Graph-based specification of access control policies | 2005-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738228 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474005 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471716 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438781 | 2003-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4435867 | 2003-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417838 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4409819 | 2003-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4547843 | 2002-08-21 | Paper |
| Formal software specification with refinements and modules of typed graph transformation systems | 2002-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769436 | 2002-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2728864 | 2001-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2736348 | 2001-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4502818 | 2000-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941931 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251106 | 2000-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281650 | 1999-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218129 | 1998-11-11 | Paper |
| On the complexity of specification morphisms | 1998-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037314 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037315 | 1993-05-18 | Paper |
| Parallelism and concurrency in high-level replacement systems | 1992-09-26 | Paper |
| Foundations of rule-based design of modular systems | 1992-06-25 | Paper |
| Combining data type and recursive process specifications using projection algebras | 1990-01-01 | Paper |
| Compatibility problems in the development of algebraic module specifications | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4205088 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4732088 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3792213 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3785985 | 1987-01-01 | Paper |
| Union and actualization of module specifications: Some compatibility results | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4721637 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3718136 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677150 | 1985-01-01 | Paper |
| Iterative factor algebras and induced metrics | 1984-01-01 | Paper |
| Extensions of iterative congruences of free iterative algebras | 1983-01-01 | Paper |
| Implementation of data types by algebraic methods | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3317088 | 1983-01-01 | Paper |
