Travelled to:1 × Austria
1 × Brazil
1 × Italy
1 × The Netherlands
2 × United Kingdom
Collaborated with:J.Hayman ∅ A.Corradini B.König F.Bonchi F.Gadducci V.Danos R.Honorato-Zimmer S.Stucki F.Hermann P.Baldan P.Sobocinski
Talks about:pushout (4) rewrit (3) sesqui (2) adhes (2) hereditari (1) sequenti (1) reconsid (1) parallel (1) morphism (1) independ (1)
Person: Tobias Heindel
DBLP: Heindel:Tobias
Contributed to:
2014
20132010200820062006Wrote 8 papers:
- ICGT-2014-DanosHHS #category theory
- Reversible Sesqui-Pushout Rewriting (VD, TH, RHZ, SS), pp. 161–176.
- ICGT-2014-HaymanH #category theory #on the
- On Pushouts of Partial Maps (JH, TH), pp. 177–191.
- FoSSaCS-2013-HaymanH #graph #modelling #rule-based #semantics
- Pattern Graphs and Rule-Based Models: The Semantics of Kappa (JH, TH), pp. 1–16.
- ICGT-2010-Heindel #category theory
- Hereditary Pushouts Reconsidered (TH), pp. 250–265.
- ICGT-2008-BonchiGH #independence #parallel
- Parallel and Sequential Independence for Borrowed Contexts (FB, FG, TH), pp. 226–241.
- ICGT-2008-Heindel #category theory #morphism
- Grammar Morphisms and Weakly Adhesive Categories (TH), pp. 493–495.
- FoSSaCS-2006-BaldanCHKS #process #term rewriting
- Processes for Adhesive Rewriting Systems (PB, AC, TH, BK, PS), pp. 202–216.
- ICGT-2006-CorradiniHHK #category theory
- Sesqui-Pushout Rewriting (AC, TH, FH, BK), pp. 30–45.