Tobias Heindel

37 papers A 1B 15C 2Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — ed.
Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models, GCM 2024, Leicester, UK and Enschede, the Netherlands, 18 July 2023 and 9 July 2024.
GCM
Jörg Endrullis, Dominik Grzelak, Tobias Heindel, Jens Kosiol
2023 B conf
Stochastic Decision Petri Nets.
Petri Nets
Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König
2023 J jnl
Stochastic Decision Petri Nets.
CoRR
Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König
2020 A conf
Incentive Alignment of Business Processes.
BPM
Tobias Heindel, Ingo Weber
2020 J jnl
Incentive Alignment of Business Processes: a game theoretic approach.
CoRR
Tobias Heindel, Ingo Weber
2020 — conf
Rate Equations for Graphs.
CMSB
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
2020 J jnl
Rate Equations for Graphs.
CoRR
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
2019 B conf
Rewriting Abstract Structures: Materialization Explained Categorically.
FoSSaCS
Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink
2019 J jnl
Rewriting Abstract Structures: Materialization Explained Categorically.
CoRR
Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink
2018 B conf
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks.
CONCUR
Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara König
2018 J jnl
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks.
CoRR
Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara König
2017 B conf
Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables.
FoSSaCS
Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen
2015 C conf
Moment Semantics for Reversible Rule-Based Systems.
RC
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
2014 C conf
Approximations for Stochastic Graph Rewriting.
ICFEM
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
2014 J jnl
Mean Quantitative Coverability in Stochastic Graph Transformation Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Tobias Heindel, Vincent Danos, Ricardo Honorato-Zimmer, Sandro Stucki
2014 B conf
On Pushouts of Partial Maps.
ICGT
Jonathan Hayman, Tobias Heindel
2014 J jnl
Processes and unfoldings: concurrent computations in adhesive categories.
Math. Struct. Comput. Sci.
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
2014 B conf
Reversible Sesqui-Pushout Rewriting.
ICGT
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
2013 B conf
A Geometric View of Partial Order Reduction.
MFPS
Eric Goubault, Tobias Heindel, Samuel Mimram
2013 B conf
Pattern Graphs and Rule-Based Models: The Semantics of Kappa.
FoSSaCS
Jonathan Hayman, Tobias Heindel
2012 J jnl
Adhesivity with Partial Maps instead of Spans.
Fundam. Informaticae
Tobias Heindel
2012 J jnl
Computational Complexity of Interactive Behaviors
CoRR
Ugo Dal Lago, Tobias Heindel, Damiano Mazza, Daniele Varacca
2012 J jnl
Structured Operational Semantics for Graph Rewriting.
Sci. Ann. Comput. Sci.
Andrei Dorman, Tobias Heindel, Barbara König
2011 J jnl
A lattice-theoretical perspective on adhesive categories.
J. Symb. Comput.
Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, Barbara König
2011 J jnl
Being Van Kampen is a universal property
Log. Methods Comput. Sci.
Tobias Heindel, Pawel Sobocinski
2011 — conf
Structured Operational Semantics for Graph Rewriting
ICE
Andrei Dorman, Tobias Heindel
2010 B conf
Hereditary Pushouts Reconsidered.
ICGT
Tobias Heindel
2010 — conf
Structural Decomposition of Reactions of Graph-Like Objects
SOS
Tobias Heindel
2009 — —
A category theoretical approach to the concurrent semantics of rewriting: adhesive categories and related concepts.
Tobias Heindel
2009 B conf
Unfolding Grammars in Adhesive Categories.
CALCO
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
2009 B conf
Van Kampen Colimits as Bicolimits in Span.
CALCO
Tobias Heindel, Pawel Sobocinski
2008 B conf
Grammar Morphisms and Weakly Adhesive Categories.
ICGT
Tobias Heindel
2008 B conf
Parallel and Sequential Independence for Borrowed Contexts.
ICGT
Filippo Bonchi, Fabio Gadducci, Tobias Heindel
2008 — conf
Towards Secrecy for Rewriting in Weakly Adhesive Categories.
ICE@ICALP
Tobias Heindel
2006 — conf
Adhesive DPO Parallelism for Monic Matches.
GT-VC@CONCUR
Filippo Bonchi, Tobias Heindel
2006 B conf
Processes for Adhesive Rewriting Systems.
FoSSaCS
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
2006 B conf
Sesqui-Pushout Rewriting.
ICGT
Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König