Folgen
Tobias Heindel
Titel
Zitiert von
Zitiert von
Jahr
Sesqui-pushout rewriting
A Corradini, T Heindel, F Hermann, B König
Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006
1462006
Hereditary pushouts reconsidered
T Heindel
Graph Transformations: 5th International Conference, ICGT 2010, Enschede …, 2010
362010
Processes for adhesive rewriting systems
P Baldan, A Corradini, T Heindel, B König, P Sobociński
Foundations of Software Science and Computation Structures: 9th …, 2006
332006
Van Kampen colimits as bicolimits in Span
T Heindel, P Sobociński
Algebra and Coalgebra in Computer Science: Third International Conference …, 2009
312009
Verifying red-black trees
P Baldan, A Corradini, J Esparza, T Heindel, B König, V Kozioura
Proc. of COSMICAH 5, 04, 2005
292005
A category theoretical approach to the concurrent semantics of rewriting
T Heindel
PhD thesis, Universität Duisburg–Essen, September 2009. http://www. ti. inf …, 2009
232009
Unfolding grammars in adhesive categories
P Baldan, A Corradini, T Heindel, B König, P Sobociński
Algebra and Coalgebra in Computer Science: Third International Conference …, 2009
222009
Reversible sesqui-pushout rewriting
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
Graph Transformation: 7th International Conference, ICGT 2014, Held as Part …, 2014
152014
Pattern graphs and rule-based models: The semantics of kappa
J Hayman, T Heindel
Foundations of Software Science and Computation Structures: 16th …, 2013
152013
A geometric view of partial order reduction
E Goubault, T Heindel, S Mimram
Electronic Notes in Theoretical Computer Science 298, 179-195, 2013
112013
Being Van Kampen is a universal property
T Heindel, P Sobocinski
Logical Methods in Computer Science 7, 2011
112011
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), 240402, 2014
102014
Approximations for stochastic graph rewriting
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
Formal Methods and Software Engineering: 16th International Conference on …, 2014
102014
On pushouts of partial maps
J Hayman, T Heindel
Graph Transformation: 7th International Conference, ICGT 2014, Held as Part …, 2014
102014
Rewriting abstract structures: materialization explained categorically
A Corradini, T Heindel, B König, D Nolte, A Rensink
Foundations of Software Science and Computation Structures: 22nd …, 2019
92019
The algebras of graph rewriting
N Behr, V Danos, I Garnier, T Heindel
arXiv preprint arXiv:1612.06240, 2016
92016
Adhesivity with partial maps instead of spans
T Heindel
Fundamenta Informaticae 118 (1-2), 1-33, 2012
92012
Moment semantics for reversible rule-based systems
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
Reversible Computation: 7th International Conference, RC 2015, Grenoble …, 2015
72015
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
72011
Parallel and sequential independence for borrowed contexts
F Bonchi, F Gadducci, T Heindel
Graph Transformations: 4th International Conference, ICGT 2008, Leicester …, 2008
72008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20