Christoph M. Hoffmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
1974–2010
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | SAC | Constraint-based LN-curves. | Young Joon Ahn, Christoph M. Hoffmann |
| 2006 | SC | M10 - Realistic visualization for large-scale simulations. | Voicu Popescu, Christoph M. Hoffmann |
| 1997 | CP | Finding Solvable Subsets of Constraint Graphs. | Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam |
| 1984 | MFCS | A Note on Unique Decipherability. | Christoph M. Hoffmann |
| 1984 | POPL | Implementation of an Interpreter for Abstract Equations. | Christoph M. Hoffmann, Michael J. O'Donnell |
| 1982 | FOCS | An O(n^3 log n) Deterministic and an O(n^3) Probabilistic Isomorphism Test for Trivalent Graphs | Zvi Galil, Christoph M. Hoffmann, Eugene M. Luks, Claus-Peter Schnorr, Andreas Weber |
| 1980 | STOC | Testing Isomorphism on Cone Graphs (Extended Abstract) | Christoph M. Hoffmann |
| 1979 | POPL | Interpreter Generation Using Tree Pattern Matching. | Christoph M. Hoffmann, Michael J. O'Donnell |
| 1974 | FOCS | Axiomatic Equivalence of Programs with Structured Variables | Christoph M. Hoffmann, Lawrence H. Landweber |