Tobias Heindel

According to our database, Tobias Heindel authored at least 32 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Stochastic Decision Petri Nets.

Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2020

Incentive Alignment of Business Processes: a game theoretic approach.

Tobias Heindel, Ingo Weber

CoRR, 2020

Rate Equations for Graphs.

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki

Proceedings of the Computational Methods in Systems Biology, 2020

Incentive Alignment of Business Processes.

Tobias Heindel, Ingo Weber

Proceedings of the Business Process Management - 18th International Conference, 2020

2019

Rewriting Abstract Structures: Materialization Explained Categorically.

Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks.

Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara König

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables.

Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen

Proceedings of the Foundations of Software Science and Computation Structures, 2017

2015

Moment Semantics for Reversible Rule-Based Systems.

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki

Proceedings of the Reversible Computation - 7th International Conference, 2015

2014

Processes and unfoldings: concurrent computations in adhesive categories.

Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski

Math. Struct. Comput. Sci., 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

Approximations for Stochastic Graph Rewriting.

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki

Proceedings of the Formal Methods and Software Engineering, 2014

On Pushouts of Partial Maps.

Jonathan Hayman, Tobias Heindel

Proceedings of the Graph Transformation - 7th International Conference, 2014

Reversible Sesqui-Pushout Rewriting.

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki

Proceedings of the Graph Transformation - 7th International Conference, 2014

2013

A Geometric View of Partial Order Reduction.

Eric Goubault, Tobias Heindel, Samuel Mimram

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Pattern Graphs and Rule-Based Models: The Semantics of Kappa.

Jonathan Hayman, Tobias Heindel

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2012

Adhesivity with Partial Maps instead of Spans.

Tobias Heindel

Fundam. Informaticae, 2012

Structured Operational Semantics for Graph Rewriting.

Andrei Dorman, Tobias Heindel, Barbara König

Sci. Ann. Comput. Sci., 2012

Computational Complexity of Interactive Behaviors

Ugo Dal Lago, Tobias Heindel, Damiano Mazza, Daniele Varacca

CoRR, 2012

2011

A lattice-theoretical perspective on adhesive categories.

Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, Barbara König

J. Symb. Comput., 2011

Structured Operational Semantics for Graph Rewriting

Andrei Dorman, Tobias Heindel

Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

Being Van Kampen is a universal property

Tobias Heindel, Pawel Sobocinski

Log. Methods Comput. Sci., 2011

2010

Structural Decomposition of Reactions of Graph-Like Objects

Tobias Heindel

Proceedings of the Proceedings Seventh Workshop on Structural Operational Semantics, 2010

Hereditary Pushouts Reconsidered.

Tobias Heindel

Proceedings of the Graph Transformations - 5th International Conference, 2010

2009

A category theoretical approach to the concurrent semantics of rewriting: adhesive categories and related concepts.

Tobias Heindel

PhD thesis, 2009

Van Kampen Colimits as Bicolimits in Span.

Tobias Heindel, Pawel Sobocinski

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

Unfolding Grammars in Adhesive Categories.

Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Towards Secrecy for Rewriting in Weakly Adhesive Categories.

Tobias Heindel

Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008

Grammar Morphisms and Weakly Adhesive Categories.

Tobias Heindel

Proceedings of the Graph Transformations, 4th International Conference, 2008

Parallel and Sequential Independence for Borrowed Contexts.

Filippo Bonchi, Fabio Gadducci, Tobias Heindel

Proceedings of the Graph Transformations, 4th International Conference, 2008

2006

Adhesive DPO Parallelism for Monic Matches.

Filippo Bonchi, Tobias Heindel

Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, 2006

Sesqui-Pushout Rewriting.

Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König

Proceedings of the Graph Transformations, Third International Conference, 2006

Processes for Adhesive Rewriting Systems.

Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski

Proceedings of the Foundations of Software Science and Computation Structures, 2006