 | 2011 |
|---|
| 14 |       | Andrei Dorman,
Tobias Heindel:
Structured Operational Semantics for Graph Rewriting
ICE 2011: 37-51 |
| 13 | | Paolo Baldan,
Filippo Bonchi,
Andrea Corradini,
Tobias Heindel,
Barbara König:
A lattice-theoretical perspective on adhesive categories.
J. Symb. Comput. 46(3): 222-245 (2011) |
| 12 | | Tobias Heindel,
Pawel Sobocinski:
Being Van Kampen is a universal property
Logical Methods in Computer Science 7(1): (2011) |
| 2010 |
|---|
| 11 | | Tobias Heindel:
Hereditary Pushouts Reconsidered.
ICGT 2010: 250-265 |
| 10 | | Tobias Heindel:
Structural Decomposition of Reactions of Graph-Like Objects
SOS 2010: 26-41 |
| 2009 |
|---|
| 9 | | Tobias Heindel,
Pawel Sobocinski:
Van Kampen Colimits as Bicolimits in Span.
CALCO 2009: 335-349 |
| 8 | | Paolo Baldan,
Andrea Corradini,
Tobias Heindel,
Barbara König,
Pawel Sobocinski:
Unfolding Grammars in Adhesive Categories.
CALCO 2009: 350-366 |
| 7 | | Tobias Heindel:
Towards Secrecy for Rewriting in Weakly Adhesive Categories.
Electr. Notes Theor. Comput. Sci. 229(3): 97-115 (2009) |
| 6 | | Tobias Heindel:
A category theoretical approach to the concurrent semantics of rewriting: adhesive categories and related concepts.
University of Duisburg-Essen 2009: 1-261 |
| 2008 |
|---|
| 5 | | Filippo Bonchi,
Fabio Gadducci,
Tobias Heindel:
Parallel and Sequential Independence for Borrowed Contexts.
ICGT 2008: 226-241 |
| 4 | | Tobias Heindel:
Grammar Morphisms and Weakly Adhesive Categories.
ICGT 2008: 493-495 |
| 2007 |
|---|
| 3 | | Filippo Bonchi,
Tobias Heindel:
Adhesive DPO Parallelism for Monic Matches.
Electr. Notes Theor. Comput. Sci. 175(4): 51-61 (2007) |
| 2006 |
|---|
| 2 | | Paolo Baldan,
Andrea Corradini,
Tobias Heindel,
Barbara König,
Pawel Sobocinski:
Processes for Adhesive Rewriting Systems.
FoSSaCS 2006: 202-216 |
| 1 | | Andrea Corradini,
Tobias Heindel,
Frank Hermann,
Barbara König:
Sesqui-Pushout Rewriting.
ICGT 2006: 30-45 |
Data released under the ODC-BY 1.0 license — See also our legal information page