Tobias Heindel
Tobias Heindel
University of Hawaiʻi
Bestätigte E-Mail-Adresse bei uni-due.de
TitelZitiert vonJahr
Sesqui-pushout rewriting
A Corradini, T Heindel, F Hermann, B König
International Conference on Graph Transformation, 30-45, 2006
952006
Hereditary pushouts reconsidered
T Heindel
International Conference on Graph Transformation, 250-265, 2010
272010
Processes for adhesive rewriting systems
P Baldan, A Corradini, T Heindel, B König, P Sobociński
International Conference on Foundations of Software Science and Computation …, 2006
272006
Verifying red-black trees
P Baldan, A Corradini, J Esparza, T Heindel, B König, V Kozioura
Proc. of COSMICAH 5, 04, 2005
272005
Van Kampen colimits as bicolimits in span
T Heindel, P Sobociński
International Conference on Algebra and Coalgebra in Computer Science, 335-349, 2009
242009
Unfolding grammars in adhesive categories
P Baldan, A Corradini, T Heindel, B König, P Sobociński
International Conference on Algebra and Coalgebra in Computer Science, 350-366, 2009
162009
A category theoretical approach to the concurrent semantics of rewriting: adhesive categories and related concepts
T Heindel
Universität Duisburg-Essen, Fakultät für Ingenieurwissenschaften» Informatik …, 2009
162009
Pattern graphs and rule-based models: The semantics of kappa
J Hayman, T Heindel
International Conference on Foundations of Software Science and …, 2013
102013
Approximations for stochastic graph rewriting
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
International Conference on Formal Engineering Methods, 1-10, 2014
72014
Reversible sesqui-pushout rewriting
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
International Conference on Graph Transformation, 161-176, 2014
72014
A geometric view of partial order reduction
E Goubault, T Heindel, S Mimram
Electronic Notes in Theoretical Computer Science 298, 179-195, 2013
72013
Structured operational semantics for graph rewriting
A Dorman, T Heindel
arXiv preprint arXiv:1108.0465, 2011
52011
A lattice-theoretical perspective on adhesive categories
P Baldan, F Bonchi, A Corradini, T Heindel, B König
Journal of Symbolic Computation 46 (3), 222-245, 2011
52011
Being Van Kampen is a universal property
P Sobocinski, T Heindel
arXiv preprint arXiv:1101.4594, 2011
52011
Parallel and sequential independence for borrowed contexts
F Bonchi, F Gadducci, T Heindel
International Conference on Graph Transformation, 226-241, 2008
52008
Moment semantics for reversible rule-based systems
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
International Conference on Reversible Computation, 3-26, 2015
42015
Processes and unfoldings: concurrent computations in adhesive categories
P Baldan, A Corradini, T Heindel, B König, P Sobociński
Mathematical Structures in Computer Science 24 (4), 2014
42014
Adhesivity with Partial Maps instead of Spans
T Heindel
Fundamenta Informaticae 118 (1-2), 1-33, 2012
42012
On pushouts of partial maps
J Hayman, T Heindel
International Conference on Graph Transformation, 177-191, 2014
32014
The algebras of graph rewriting
N Behr, V Danos, I Garnier, T Heindel
arXiv preprint arXiv:1612.06240, 2016
22016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20