Tobias Heindel

ORCID

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 11

Top Venues

CoRR

FoSSaCS

ICGT

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

University of Duisburg-Essen (PHD)

Education History

University of Duisburg-Essen

PHD

Publications

Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König
Stochastic Decision Petri Nets. CoRR (2023)
Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König
Stochastic Decision Petri Nets. Petri Nets (2023)
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Rate Equations for Graphs. CoRR (2020)
Tobias Heindel, Ingo Weber
Incentive Alignment of Business Processes: a game theoretic approach. CoRR (2020)
Tobias Heindel, Ingo Weber
Incentive Alignment of Business Processes. BPM (2020)
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Rate Equations for Graphs. CMSB (2020)
Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink
Rewriting Abstract Structures: Materialization Explained Categorically. FoSSaCS (2019)
Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink
Rewriting Abstract Structures: Materialization Explained Categorically. CoRR (2019)
Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara König
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks. CoRR (2018)
Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara König
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks. CONCUR (2018)
Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen
Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables. FoSSaCS (2017)
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Moment Semantics for Reversible Rule-Based Systems. RC (2015)
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
Processes and unfoldings: concurrent computations in adhesive categories. Math. Struct. Comput. Sci. 24 (4) (2014)
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Reversible Sesqui-Pushout Rewriting. ICGT (2014)
Jonathan Hayman, Tobias Heindel
On Pushouts of Partial Maps. ICGT (2014)
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Approximations for Stochastic Graph Rewriting. ICFEM (2014)
Tobias Heindel, Vincent Danos, Ricardo Honorato-Zimmer, Sandro Stucki
Mean Quantitative Coverability in Stochastic Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 68 (2014)
Jonathan Hayman, Tobias Heindel
Pattern Graphs and Rule-Based Models: The Semantics of Kappa. FoSSaCS (2013)
Eric Goubault, Tobias Heindel, Samuel Mimram
A Geometric View of Partial Order Reduction. MFPS (2013)
Ugo Dal Lago, Tobias Heindel, Damiano Mazza, Daniele Varacca
Computational Complexity of Interactive Behaviors CoRR (2012)
Tobias Heindel
Adhesivity with Partial Maps instead of Spans. Fundam. Informaticae 118 (1-2) (2012)
Andrei Dorman, Tobias Heindel, Barbara König
Structured Operational Semantics for Graph Rewriting. Sci. Ann. Comput. Sci. 22 (1) (2012)
Andrei Dorman, Tobias Heindel
Structured Operational Semantics for Graph Rewriting ICE (2011)
Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, Barbara König
A lattice-theoretical perspective on adhesive categories. J. Symb. Comput. 46 (3) (2011)
Tobias Heindel, Pawel Sobocinski
Being Van Kampen is a universal property Log. Methods Comput. Sci. 7 (1) (2011)
Tobias Heindel
Structural Decomposition of Reactions of Graph-Like Objects SOS (2010)
Tobias Heindel
Hereditary Pushouts Reconsidered. ICGT (2010)
Tobias Heindel
Towards Secrecy for Rewriting in Weakly Adhesive Categories. Electron. Notes Theor. Comput. Sci. 229 (3) (2009)
Tobias Heindel, Pawel Sobocinski
Van Kampen Colimits as Bicolimits in Span. CALCO (2009)
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
Unfolding Grammars in Adhesive Categories. CALCO (2009)
Filippo Bonchi, Fabio Gadducci, Tobias Heindel
Parallel and Sequential Independence for Borrowed Contexts. ICGT (2008)
Tobias Heindel
Grammar Morphisms and Weakly Adhesive Categories. ICGT (2008)
Filippo Bonchi, Tobias Heindel
Adhesive DPO Parallelism for Monic Matches. Electron. Notes Theor. Comput. Sci. 175 (4) (2007)
Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König
Sesqui-Pushout Rewriting. ICGT (2006)
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
Processes for Adhesive Rewriting Systems. FoSSaCS (2006)

Tobias Heindel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tobias Heindel