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
Structural decomposition of reactions of graph-like objects	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