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 hawaii.edu |
Address
Tobias Heindel
Universität Leipzig
Institut für Informatik
PF 100920
D-04009 Leipzig
Germany
- 1
-
Tobias Heindel.
A Myhill-Nerode Theorem beyond Trees and Forests via Finite Syntactic Categories Internal to Monoids
Errata: Lemma 1 and Theorem 1 are wrong. In general, there is no syntactic congruence!
- 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.
- 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
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
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
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
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.