| Publication | Date of Publication | Type |
|---|
| Uncertainty reasoning for probabilistic Petri nets via Bayesian networks (edit) | 2026-03-23 | Paper |
| Stochastic graph transformation for social network modeling | 2024-12-06 | Paper |
| Graph rewriting for graph neural networks | 2024-01-12 | Paper |
| Stochastic decision Petri nets | 2023-11-16 | Paper |
| Graph Rewriting Components | 2022-12-07 | Paper |
Unfolding Symbolic Attributed Graph Grammars
Graph Transformation | 2022-09-01 | Paper |
| scientific article; zbMATH DE number 7456052 (Why is no real title available?) | 2022-01-12 | Paper |
scientific article; zbMATH DE number 7456052 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-12 | Paper |
| scientific article; zbMATH DE number 7456054 (Why is no real title available?) | 2022-01-12 | Paper |
scientific article; zbMATH DE number 7456054 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-12 | Paper |
| Analysis of graph transformation systems: native vs translation-based techniques | 2022-01-06 | Paper |
Analysis of graph transformation systems: native vs translation-based techniques
(available as arXiv preprint) | 2022-01-06 | Paper |
Updating probabilistic knowledge on condition/event nets using Bayesian networks
(available as arXiv preprint) | 2021-08-04 | Paper |
| Towards an embedding of graph transformation in intuitionistic linear logic | 2021-02-09 | Paper |
| scientific article; zbMATH DE number 7308467 (Why is no real title available?) | 2021-02-09 | Paper |
| Unfolding graph grammars with negative application conditions | 2020-02-06 | Paper |
| scientific article; zbMATH DE number 7075907 (Why is no real title available?) | 2019-07-03 | Paper |
Combining termination proofs in model transformation systems
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
Characterizing conflicts between rule application and rule evolution in graph transformation systems
Graph Transformation | 2015-09-22 | Paper |
Rule-based transformation of graph rewriting rules: towards higher-order graph grammars
Theoretical Computer Science | 2015-07-24 | Paper |
Transformation and refinement of rigid structures
Graph Transformation | 2014-09-26 | Paper |
Canonical derivations with negative application conditions
Graph Transformation | 2014-09-26 | Paper |
Transformation systems with incremental negative application conditions
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
| A formal approach to service specification and matching based on graph transformation | 2013-09-11 | Paper |
How to specify a graph transformation approach: a meta model for \textsc{Fujaba}
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Towards a formal framework for inter-enterprise application integration
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Behavioral constraints for visual models
Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
DPO Transformation with Open Maps
Lecture Notes in Computer Science | 2012-10-02 | Paper |
Parallelism and concurrency of stochastic graph transformations
Lecture Notes in Computer Science | 2012-10-02 | Paper |
Open Petri nets as semantic model for workflow integration
Petri Net Technology for Communication-Based Systems | 2011-04-08 | Paper |
Graph transformation for domain-specific discrete event time simulation
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Combining termination criteria by isolating deletion
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
Logical Methods in Computer Science | 2009-04-29 | Paper |
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
Molecular Analysis of Metabolic Pathway with Graph Transformation
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Tutorial Introduction to Graph Transformation
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Graph Transformations
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Graph Transformations
Lecture Notes in Computer Science | 2007-06-21 | Paper |
| Stochastic graph transformation systems | 2007-01-19 | Paper |
Structural and behavioural compatibility of graphical service specifications
The Journal of Logic and Algebraic Programming | 2007-01-09 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Objects, Agents, and Features
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Lectures on Concurrency and Petri Nets
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science | 2005-12-02 | Paper |
Recent Trends in Algebraic Development Techniques
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Compositional semantics for open Petri nets based on deterministic processes
Mathematical Structures in Computer Science | 2005-03-14 | Paper |
| scientific article; zbMATH DE number 2097773 (Why is no real title available?) | 2004-09-07 | Paper |
| scientific article; zbMATH DE number 2087496 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2016074 (Why is no real title available?) | 2003-12-10 | Paper |
| scientific article; zbMATH DE number 2016071 (Why is no real title available?) | 2003-12-10 | Paper |
| scientific article; zbMATH DE number 2016090 (Why is no real title available?) | 2003-12-10 | Paper |
| scientific article; zbMATH DE number 2016095 (Why is no real title available?) | 2003-12-10 | Paper |
| scientific article; zbMATH DE number 2006494 (Why is no real title available?) | 2003-11-20 | Paper |
| scientific article; zbMATH DE number 1956487 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1946737 (Why is no real title available?) | 2003-07-07 | Paper |
Relating functional requirements and software architecture: separation and consistency of concerns
Journal of Software Maintenance and Evolution: Research and Practice | 2003-05-11 | Paper |
Concurrency and loose semantics of open graph transformation systems
Mathematical Structures in Computer Science | 2003-02-17 | Paper |
| scientific article; zbMATH DE number 1863181 (Why is no real title available?) | 2003-02-03 | Paper |
Formal agent-oriented modeling with UML and graph transformation
Science of Computer Programming | 2002-10-16 | Paper |
Compositional SOS and beyond: A coalgebraic view of open systems
Theoretical Computer Science | 2002-07-15 | Paper |
| scientific article; zbMATH DE number 1696447 (Why is no real title available?) | 2002-06-17 | Paper |
| scientific article; zbMATH DE number 1693516 (Why is no real title available?) | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1670819 (Why is no real title available?) | 2001-12-09 | Paper |
| scientific article; zbMATH DE number 1629840 (Why is no real title available?) | 2001-11-06 | Paper |
Graph transformation and visual modeling techniques
Bulletin of the European Association for Theoretical Computer Science EATCS | 2001-09-04 | Paper |
A coalgebraic presentation of structured transition systems
Theoretical Computer Science | 2001-08-20 | Paper |
| scientific article; zbMATH DE number 1504829 (Why is no real title available?) | 2001-04-19 | Paper |
Double-pullback transitions and coalgebraic loose semantics for graph transformation systems
Applied Categorical Structures | 2001-04-16 | Paper |
| scientific article; zbMATH DE number 1497812 (Why is no real title available?) | 2001-03-04 | Paper |
| scientific article; zbMATH DE number 1390052 (Why is no real title available?) | 2000-09-17 | Paper |
| scientific article; zbMATH DE number 1504838 (Why is no real title available?) | 2000-09-12 | Paper |
| scientific article; zbMATH DE number 1418365 (Why is no real title available?) | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 1361480 (Why is no real title available?) | 2000-02-01 | Paper |
| scientific article; zbMATH DE number 1314229 (Why is no real title available?) | 1999-07-12 | Paper |
| scientific article; zbMATH DE number 1231625 (Why is no real title available?) | 1999-01-06 | Paper |
| scientific article; zbMATH DE number 1231489 (Why is no real title available?) | 1998-12-13 | Paper |
| scientific article; zbMATH DE number 1231482 (Why is no real title available?) | 1998-12-13 | Paper |
| scientific article; zbMATH DE number 1189283 (Why is no real title available?) | 1998-11-26 | Paper |
| scientific article; zbMATH DE number 969071 (Why is no real title available?) | 1997-01-22 | Paper |
| scientific article; zbMATH DE number 919847 (Why is no real title available?) | 1996-08-25 | Paper |
