Institut für Informatik / Fakultät für Mathematik und Informatik / Universität Leipzig

Dr. Tobias Heindel


Room: A 406, Augustusplatz 10
Phone: +49-341-97/32212
Research Group: Automaten und Sprachen
E-mail: heindel at informatik.uni-leipzig.de


Address

Tobias Heindel
Universität Leipzig
Institut für Informatik
PF 100920
D-04009 Leipzig
Germany


Publications (DBLP) (google scholar)

Forthcoming

1
Tobias Heindel.
PROP transducers: Turning Nivat on its head, 2017.
1st Workshop on String Diagrams in Computation, Logic, and Physics.

2
Tobias Heindel.
The Chomsky-Schützenberger theorem for PROPs over alphabet-like signatures, 2017.
Twelfth International Tbilisi Symposium on Language, Logic and Computation.

Publications

1
Vincent Danos, Tobias Heindel, Ilias Garnier, and Jakob Grue Simonsen.
Computing continuous-time Markov chains as transformers of unbounded observables.
In Proceedings of FoSSaCS '17, 2017.

2
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, and Sandro Stucki.
Moment semantics for reversible rule-based systems.
In Proceedings of Reversible Computation '15, pages 3-26, 2015.

3
Tobias Heindel, Vincent Danos, Ricardo Honorato-Zimmer, and Sandro Stucki.
Mean quantitative coverability in stochastic graph transformation systems.
ECEASST, 68, 2014.

4
Jonathan Hayman and Tobias Heindel.
On pushouts of partial maps.
In Proceedings of ICGT '14, pages 177-191, 2014.

5
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, and Sandro Stucki.
Reversible sesqui-pushout rewriting.
In Proceedings of ICGT'14, pages 161-176, 2014.

6
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, and Sandro Stucki.
Approximations for stochastic graph rewriting.
In Proceedings of ICFEM '14, pages 1-10. Springer, 2014.

7
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, and Pawe\l Sobocinski.
Processes and unfoldings: concurrent computations in adhesive categories.
Mathematical Structures in Computer Science, 24(4), 2014.

8
Jonathan Hayman and Tobias Heindel.
Pattern graphs and rule-based models: The semantics of Kappa.
In Proceedings of FoSSaCS '13, pages 1-16. Springer, 2013.

9
Eric Goubault, Tobias Heindel, and Samuel Mimram.
A geometric view of partial order reduction.
Electronic Notes in Theoretical Computer Science, 298:179-195, 2013.

10
Ugo Dal Lago, Tobias Heindel, Damiano Mazza, and Daniele Varacca.
Computational complexity of interactive behaviors.
CoRR, abs/1209.0663, 2012.

11
Tobias Heindel.
Adhesivity with partial maps instead of spans.
Fundamenta Informaticæ, 118(1-2):1-33, 2012.

12
Andrei Dorman, Tobias Heindel, and Barbara König.
Structured operational semantics for graph rewriting.
Scientific Annals of Computer Science, 22(1):105-145, 2012.

13
Tobias Heindel and Pawel Sobocinski.
Being Van Kampen is a universal property.
Logical Methods in Computer Science, 7(1), 2011.

14
Andrei Dorman and Tobias Heindel.
Structured operational semantics for graph rewriting.
In Proceedings of ICE'11, volume 59 of EPTCS, pages 37-51, 2011.

15
Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, and Barbara König.
A lattice-theoretical perspective on adhesive categories.
Journal of Symbolic Computation, 46(3):222-245, 2011.

16
Tobias Heindel.
Structural decomposition of reactions of graph-like objects.
In Proceedings of the Seventh Workshop on Structural Operational Semantics, 2010.

17
Tobias Heindel.
Hereditary pushouts reconsidered.
In Proceedings of ICGT '10, 2010.

18
Tobias Heindel and Pawe\l Sobocinski.
Van Kampen colimits as bicolimits in span.
In Proceedings of CALCO '09, 2009.

19
Tobias Heindel.
Towards Secrecy for Rewriting in Weakly Adhesive Categories.
Electronic Notes in Theoretical Computer Science, 229(3), 2009.

20
Paolo Baldan, Andrea Corradini, Barbara König, Tobias Heindel, and Pawe\l Sobocinski.
Unfolding grammars in adhesive categories.
In Proceedings of CALCO '09, 2009.

21
Filippo Bonchi, Fabio Gadducci, and Tobias Heindel.
Parallel and sequential independence for borrowed contexts.
In Proceedings of ICGT '08, 2008.

22
Paolo Baldan, Filippo Bonchi, Tobias Heindel, and Barbara König.
Irreducible objects and lattice homomorphisms in adhesive categories.
In Proceedings of ACCAT '08, 2008.

23
Andrea Corradini, Tobias Heindel, Frank Hermann, and Barbara König.
Sesqui-pushout rewriting.
In Proceedings of ICGT '06, 2006.

24
Filippo Bonchi and Tobias Heindel.
Adhesive DPO parallelism for monic matches.
In Proceedings of GT-VC '06, 2006.

25
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, and Pawe\l Sobocinski.
Processes for adhesive rewriting systems.
In Proceedings of FOSSACS '06, 2006.

26
Paolo Baldan, Andrea Corradini, Javier Esparza, Tobias Heindel, Barbara König, and Vitali Kozioura.
Verifying red-black trees.
In Proceedings of COSMICAH '05, 2005.