R. Heckel

From MaRDI portal
Person:171480

Available identifiers

zbMath Open heckel.reikoMaRDI QIDQ171480

List of research outcomes





PublicationDate of PublicationType
Stochastic graph transformation for social network modeling2024-12-06Paper
Graph rewriting for graph neural networks2024-01-12Paper
Stochastic decision Petri nets2023-11-16Paper
Graph Rewriting Components2022-12-07Paper
Unfolding Symbolic Attributed Graph Grammars2022-09-01Paper
https://portal.mardi4nfdi.de/entity/Q50212222022-01-12Paper
https://portal.mardi4nfdi.de/entity/Q50212242022-01-12Paper
https://portal.mardi4nfdi.de/entity/Q50205352022-01-06Paper
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks2021-08-04Paper
https://portal.mardi4nfdi.de/entity/Q51500772021-02-09Paper
https://portal.mardi4nfdi.de/entity/Q51501492021-02-09Paper
Unfolding graph grammars with negative application conditions2020-02-06Paper
https://portal.mardi4nfdi.de/entity/Q49672062019-07-03Paper
Combining termination proofs in model transformation systems2016-07-26Paper
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems2015-09-22Paper
Rule-based transformation of graph rewriting rules: towards higher-order graph grammars2015-07-24Paper
Transformation and Refinement of Rigid Structures2014-09-26Paper
Canonical Derivations with Negative Application Conditions2014-09-26Paper
Transformation Systems with Incremental Negative Application Conditions2013-09-13Paper
A formal approach to service specification and matching based on graph transformation2013-09-11Paper
How to Specify a Graph Transformation Approach2013-05-24Paper
Towards a Formal Framework for Inter-Enterprise Application Integration2013-05-24Paper
Behavioral Constraints for Visual Models1 1Research partially supported by the ESPRIT Working Group APPLIGRAPH and the TMR network GETGRATS.2013-05-10Paper
DPO Transformation with Open Maps2012-10-02Paper
Parallelism and Concurrency of Stochastic Graph Transformations2012-10-02Paper
Open Petri nets as semantic model for workflow integration2011-04-08Paper
Graph transformation for domain-specific discrete event time simulation2010-10-04Paper
Combining termination criteria by isolating deletion2010-10-04Paper
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets2009-04-29Paper
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets2009-03-10Paper
Molecular Analysis of Metabolic Pathway with Graph Transformation2008-11-27Paper
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract2008-11-27Paper
Tutorial Introduction to Graph Transformation2008-11-20Paper
Graph Transformations2007-06-21Paper
Graph Transformations2007-06-21Paper
Stochastic graph transformation systems2007-01-19Paper
Structural and behavioural compatibility of graphical service specifications2007-01-09Paper
Theoretical Aspects of Computing – ICTAC 20052006-11-01Paper
Objects, Agents, and Features2005-12-27Paper
Lectures on Concurrency and Petri Nets2005-12-23Paper
Formal Methods in Software and Systems Modeling2005-12-02Paper
Recent Trends in Algebraic Development Techniques2005-11-11Paper
Compositional semantics for open Petri nets based on deterministic processes2005-03-14Paper
https://portal.mardi4nfdi.de/entity/Q48140912004-09-07Paper
https://portal.mardi4nfdi.de/entity/Q47382962004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44387772003-12-10Paper
https://portal.mardi4nfdi.de/entity/Q44387742003-12-10Paper
https://portal.mardi4nfdi.de/entity/Q44387992003-12-10Paper
https://portal.mardi4nfdi.de/entity/Q44388042003-12-10Paper
https://portal.mardi4nfdi.de/entity/Q44358682003-11-20Paper
https://portal.mardi4nfdi.de/entity/Q44178302003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44110472003-07-07Paper
Relating functional requirements and software architecture: separation and consistency of concerns2003-05-11Paper
Concurrency and loose semantics of open graph transformation systems2003-02-17Paper
https://portal.mardi4nfdi.de/entity/Q47918522003-02-03Paper
Formal agent-oriented modeling with UML and graph transformation2002-10-16Paper
Compositional SOS and beyond: A coalgebraic view of open systems2002-07-15Paper
https://portal.mardi4nfdi.de/entity/Q27665492002-06-17Paper
https://portal.mardi4nfdi.de/entity/Q27641132002-01-22Paper
https://portal.mardi4nfdi.de/entity/Q27541392001-12-09Paper
https://portal.mardi4nfdi.de/entity/Q27288782001-11-06Paper
Graph transformation and visual modeling techniques2001-09-04Paper
A coalgebraic presentation of structured transition systems2001-08-20Paper
https://portal.mardi4nfdi.de/entity/Q45028072001-04-19Paper
Double-pullback transitions and coalgebraic loose semantics for graph transformation systems2001-04-16Paper
https://portal.mardi4nfdi.de/entity/Q44992302001-03-04Paper
https://portal.mardi4nfdi.de/entity/Q49343172000-09-17Paper
https://portal.mardi4nfdi.de/entity/Q45028172000-09-12Paper
https://portal.mardi4nfdi.de/entity/Q49419282000-03-19Paper
https://portal.mardi4nfdi.de/entity/Q46992982000-02-01Paper
https://portal.mardi4nfdi.de/entity/Q42563151999-07-12Paper
https://portal.mardi4nfdi.de/entity/Q42229481999-01-06Paper
https://portal.mardi4nfdi.de/entity/Q42227961998-12-13Paper
https://portal.mardi4nfdi.de/entity/Q42227871998-12-13Paper
https://portal.mardi4nfdi.de/entity/Q38390561998-11-26Paper
https://portal.mardi4nfdi.de/entity/Q52845491997-01-22Paper
https://portal.mardi4nfdi.de/entity/Q48907121996-08-25Paper

Research outcomes over time

This page was built for person: R. Heckel