Tobias Heindel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2006–2020
Best venue rank
B
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | BPM | Incentive Alignment of Business Processes. | Tobias Heindel, Ingo Weber |
| 2019 | FOSSACS | Rewriting Abstract Structures: Materialization Explained Categorically. | Andrea Corradini, Tobias Heindel, Barbara Knig, Dennis Nolte, Arend Rensink |
| 2018 | CONCUR | Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks. | Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara Knig |
| 2017 | FOSSACS | Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables. | Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen |
| 2015 | RC | Moment Semantics for Reversible Rule-Based Systems. | Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki |
| 2014 | ICFEM | Approximations for Stochastic Graph Rewriting. | Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki |
| 2013 | FOSSACS | Pattern Graphs and Rule-Based Models: The Semantics of Kappa. | Jonathan Hayman, Tobias Heindel |
| 2009 | CALCO | Unfolding Grammars in Adhesive Categories. | Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara Knig, Pawel Sobocinski |
| 2009 | CALCO | Van Kampen Colimits as Bicolimits in Span. | Tobias Heindel, Pawel Sobocinski |
| 2006 | FOSSACS | Processes for Adhesive Rewriting Systems. | Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara Knig, Pawel Sobocinski |