| Publication | Date of Publication | Type |
|---|
| Closure properties of context-free hyperedge replacement systems | 2024-06-05 | Paper |
Multilevel graph grammars
Graph-Theoretic Concepts in Computer Science | 2024-01-05 | Paper |
A formal model for role-based access control using graph transformation
Lecture Notes in Computer Science | 2022-03-07 | Paper |
Decidability of safety in graph-based models for access control
Computer Security — ESORICS 2002 | 2022-02-16 | Paper |
Transformations of graph grammars
Lecture Notes in Computer Science | 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
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Graph transformations for the specification of access control policies
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
A formal framework for Petri net class transformations
Petri Net Technology for Communication-Based Systems | 2011-04-08 | Paper |
A model for distribution and revocation of certificates
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Graph-based specification of access control policies
Journal of Computer and System Sciences | 2005-08-05 | Paper |
| scientific article; zbMATH DE number 2087433 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2080935 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2079669 (Why is no real title available?) | 2004-07-30 | Paper |
| scientific article; zbMATH DE number 2016078 (Why is no real title available?) | 2003-12-10 | Paper |
| scientific article; zbMATH DE number 2006493 (Why is no real title available?) | 2003-11-20 | Paper |
| scientific article; zbMATH DE number 1956494 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1943786 (Why is no real title available?) | 2003-07-01 | Paper |
| scientific article; zbMATH DE number 1786546 (Why is no real title available?) | 2002-08-21 | Paper |
Formal software specification with refinements and modules of typed graph transformation systems
Journal of Computer and System Sciences | 2002-08-04 | Paper |
| scientific article; zbMATH DE number 1701357 (Why is no real title available?) | 2002-02-05 | Paper |
| scientific article; zbMATH DE number 1629834 (Why is no real title available?) | 2001-11-06 | Paper |
| scientific article; zbMATH DE number 1638651 (Why is no real title available?) | 2001-08-29 | Paper |
| scientific article; zbMATH DE number 1504839 (Why is no real title available?) | 2000-11-07 | Paper |
| scientific article; zbMATH DE number 1418368 (Why is no real title available?) | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 1304371 (Why is no real title available?) | 2000-01-09 | Paper |
| scientific article; zbMATH DE number 512935 (Why is no real title available?) | 1999-06-09 | Paper |
| scientific article; zbMATH DE number 1222590 (Why is no real title available?) | 1998-11-11 | Paper |
On the complexity of specification morphisms
Theoretical Computer Science | 1998-06-30 | Paper |
| scientific article; zbMATH DE number 177439 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 177440 (Why is no real title available?) | 1993-05-18 | Paper |
Parallelism and concurrency in high-level replacement systems
Mathematical Structures in Computer Science | 1992-09-26 | Paper |
Foundations of rule-based design of modular systems
Theoretical Computer Science | 1992-06-25 | Paper |
Combining data type and recursive process specifications using projection algebras
Theoretical Computer Science | 1990-01-01 | Paper |
Compatibility problems in the development of algebraic module specifications
Theoretical Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4125035 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4117818 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4056967 (Why is no real title available?) | 1988-01-01 | Paper |
Union and actualization of module specifications: Some compatibility results
Journal of Computer and System Sciences | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4049096 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3995035 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3947607 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3898210 (Why is no real title available?) | 1985-01-01 | Paper |
Iterative factor algebras and induced metrics
Theoretical Computer Science | 1984-01-01 | Paper |
Extensions of iterative congruences of free iterative algebras
Journal of Computer and System Sciences | 1983-01-01 | Paper |
Implementation of data types by algebraic methods
Journal of Computer and System Sciences | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3847366 (Why is no real title available?) | 1983-01-01 | Paper |
