Travelled to:1 × Switzerland
1 × The Netherlands
3 × USA
Collaborated with:M.J.O'Donnell Y.J.Ahn ∅ A.Lomonosov M.Sitharam
Talks about:constraint (2) interpret (2) graph (2) decomposit (1) transform (1) implement (1) isomorph (1) abstract (1) pattern (1) geometr (1)
Person: Christoph M. Hoffmann
DBLP: Hoffmann:Christoph_M=
Contributed to:
2010
1999
1984
19801979Wrote 5 papers:
- SAC-2010-AhnH #constraints
- Constraint-based LN-curves (YJA, CMH), pp. 1242–1246.
- AGTIVE-1999-HoffmannLS #composition #constraints #geometry #graph transformation
- Planning Geometric Constraint Decomposition via Optimal Graph Transformations (CMH, AL, MS), pp. 309–324.
- POPL-1984-HoffmannO #equation #implementation #interpreter
- Implementation of an Interpreter for Abstract Equations (CMH, MJO), pp. 111–121.
- STOC-1980-Hoffmann #graph #morphism #testing
- Testing Isomorphism on Cone Graphs (CMH), pp. 244–251.
- POPL-1979-HoffmanO #generative #interpreter #pattern matching #using
- Interpreter Generation Using Tree Pattern Matching (CMH, MJO), pp. 169–179.