Processes for Adhesive Rewriting Systems. - Paolo Baldan; Andrea Corradini 001; Tobias Heindel; Barbara König 001; Pawel Sobocinski 001 (FoSSaCS, 2006)

Sesqui-Pushout Rewriting. - Andrea Corradini 001; Tobias Heindel; Frank Hermann 001; Barbara König 001 (ICGT, 2006)

Adhesive DPO Parallelism for Monic Matches. - Filippo Bonchi; Tobias Heindel (GT-VC@CONCUR, 2006)

Parallel and Sequential Independence for Borrowed Contexts. - Filippo Bonchi; Fabio Gadducci; Tobias Heindel (ICGT, 2008)

Grammar Morphisms and Weakly Adhesive Categories. - Tobias Heindel (ICGT, 2008)

Towards Secrecy for Rewriting in Weakly Adhesive Categories. - Tobias Heindel (ICE@ICALP, 2008)

Unfolding Grammars in Adhesive Categories. - Paolo Baldan; Andrea Corradini 001; Tobias Heindel; Barbara König 001; Pawel Sobocinski 001 (CALCO, 2009)

Van Kampen Colimits as Bicolimits in Span. - Tobias Heindel; Pawel Sobocinski 001 (CALCO, 2009)

A category theoretical approach to the concurrent semantics of rewriting: adhesive categories and related concepts. - Tobias Heindel (2009)

Hereditary Pushouts Reconsidered. - Tobias Heindel (ICGT, 2010)

Structural Decomposition of Reactions of Graph-Like Objects - Tobias Heindel (SOS, 2010)

Being Van Kampen is a universal property - Tobias Heindel; Pawel Sobocinski 001 (Log. Methods Comput. Sci., 2011)

Structured Operational Semantics for Graph Rewriting - Andrei Dorman; Tobias Heindel (ICE, 2011)

A lattice-theoretical perspective on adhesive categories. - Paolo Baldan; Filippo Bonchi; Andrea Corradini 001; Tobias Heindel; Barbara König 001 (J. Symb. Comput., 2011)

Computational Complexity of Interactive Behaviors - Ugo Dal Lago; Tobias Heindel; Damiano Mazza; Daniele Varacca (CoRR, 2012)

Structured Operational Semantics for Graph Rewriting. - Andrei Dorman; Tobias Heindel; Barbara König 001 (Sci. Ann. Comput. Sci., 2012)

Adhesivity with Partial Maps instead of Spans. - Tobias Heindel (Fundam. Informaticae, 2012)

Pattern Graphs and Rule-Based Models: The Semantics of Kappa. - Jonathan Hayman; Tobias Heindel (FoSSaCS, 2013)

A Geometric View of Partial Order Reduction. - Eric Goubault; Tobias Heindel; Samuel Mimram (MFPS, 2013)

Reversible Sesqui-Pushout Rewriting. - Vincent Danos; Tobias Heindel; Ricardo Honorato-Zimmer; Sandro Stucki (ICGT, 2014)

On Pushouts of Partial Maps. - Jonathan Hayman; Tobias Heindel (ICGT, 2014)

Approximations for Stochastic Graph Rewriting. - Vincent Danos; Tobias Heindel; Ricardo Honorato-Zimmer; Sandro Stucki (ICFEM, 2014)

Mean Quantitative Coverability in Stochastic Graph Transformation Systems. - Tobias Heindel; Vincent Danos; Ricardo Honorato-Zimmer; Sandro Stucki (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Processes and unfoldings: concurrent computations in adhesive categories. - Paolo Baldan; Andrea Corradini 001; Tobias Heindel; Barbara König 001; Pawel Sobocinski 001 (Math. Struct. Comput. Sci., 2014)

Moment Semantics for Reversible Rule-Based Systems. - Vincent Danos; Tobias Heindel; Ricardo Honorato-Zimmer; Sandro Stucki (RC, 2015)

Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables. - Vincent Danos; Tobias Heindel; Ilias Garnier; Jakob Grue Simonsen (FoSSaCS, 2017)

Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks. - Benjamin Cabrera; Tobias Heindel; Reiko Heckel; Barbara König 001 (CONCUR, 2018)

Rewriting Abstract Structures: Materialization Explained Categorically. - Andrea Corradini 001; Tobias Heindel; Barbara König 001; Dennis Nolte; Arend Rensink (FoSSaCS, 2019)

Incentive Alignment of Business Processes. - Tobias Heindel; Ingo Weber (BPM, 2020)

Rate Equations for Graphs. - Vincent Danos; Tobias Heindel; Ricardo Honorato-Zimmer; Sandro Stucki (CMSB, 2020)

Incentive Alignment of Business Processes: a game theoretic approach. - Tobias Heindel; Ingo Weber (CoRR, 2020)

Stochastic Decision Petri Nets. - Florian Wittbold; Rebecca Bernemann; Reiko Heckel; Tobias Heindel; Barbara König 001 (Petri Nets, 2023)