BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Heindel:Tobias

Contributed to:

ICGT 20142014
FOSSACS 20132013
ICGT 20102010
ICGT 20082008
FoSSaCS 20062006
ICGT 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.