Jochen Messner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1999–2015
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ISAAC | Game Values and Computational Complexity: An Analysis via Black-White Combinatorial Games. | Stephen A. Fenner, Daniel Grier, Jochen Messner, Luke Schaeffer, Thomas Thierauf |
| 2012 | MFCS | Planarizing Gadgets for Perfect Matching Do Not Exist. | Rohit Gurjar, Arpita Korwar, Jochen Messner, Simon Straub, Thomas Thierauf |
| 2011 | COCOON | A Kolmogorov Complexity Proof of the Lovsz Local Lemma for Satisfiability. | Jochen Messner, Thomas Thierauf |
| 2002 | ICALP | On the Complexity of Resolution with Bounded Conjunctions. | Juan Luis Esteban, Nicola Galesi, Jochen Messner |
| 2002 | MFCS | On the Structure of the Simulation Order of Proof Systems. | Jochen Messner |
| 1999 | PDPTA | "Good Enough" Testing of Nondeterministic Parallel Programs. | Dieter Kranzlmller, Jochen Messner, Christian Schaubschlger |