Tobias Heindel

Available identifiers

zbMath Open heindel.tobiasMaRDI QIDQ265805

List of research outcomes

Publication	Date of Publication	Type
Controlling the gain contribution of background emitters in few-quantum-dot microlasers	2024-05-07	Paper
Stochastic decision Petri nets	2023-11-16	Paper
Rate equations for graphs	2022-12-22	Paper
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4963899	2021-02-24	Paper
Rewriting abstract structures: materialization explained categorically	2020-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4621159	2019-02-08	Paper
Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables	2017-05-19	Paper
The algebras of graph rewriting	2016-12-19	Paper
Moment Semantics for Reversible Rule-Based Systems	2016-09-30	Paper
Processes and unfoldings: concurrent computations in adhesive categories	2016-07-26	Paper
A geometric view of partial order reduction	2016-04-12	Paper
On Pushouts of Partial Maps	2014-09-26	Paper
Reversible Sesqui-Pushout Rewriting	2014-09-26	Paper
Towards Secrecy for Rewriting in Weakly Adhesive Categories	2014-06-27	Paper
Adhesive DPO parallelism for monic matches	2013-12-20	Paper
Pattern Graphs and Rule-Based Models: The Semantics of Kappa	2013-03-18	Paper
Adhesivity with partial maps instead of spans	2012-07-11	Paper
Van Kampen Colimits as Bicolimits in Span	2012-06-01	Paper
Unfolding Grammars in Adhesive Categories	2012-06-01	Paper
Being Van Kampen is a universal property	2011-05-26	Paper
A lattice-theoretical perspective on adhesive categories	2011-03-14	Paper
Hereditary Pushouts Reconsidered	2010-10-04	Paper
Sesqui-Pushout Rewriting	2008-11-27	Paper
Parallel and Sequential Independence for Borrowed Contexts	2008-11-20	Paper
Grammar Morphisms and Weakly Adhesive Categories	2008-11-20	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper

Research outcomes over time

This page was built for person: Tobias Heindel