| 2006 | CSL | An Algebraic Point of View on the Crane Beach Property. | Clemens Lautemann, Pascal Tesson, Denis Thrien |
| 2001 | LICS | The Crane Beach Conjecture. | David A. Mix Barrington, Neil Immerman, Clemens Lautemann, Nicole Schweikardt, Denis Thrien |
| 2001 | STACS | An Ehrenfeucht-Frass Approach to Collapse Results for First-Order Queries over Embedded Databases. | Clemens Lautemann, Nicole Schweikardt |
| 1999 | CSL | MonadicNLIN and Quantifier-Free Reductions. | Clemens Lautemann, Bernhard Weinzinger |
| 1999 | STACS | The Descriptive Complexity Approach to LOGCFL. | Clemens Lautemann, Pierre McKenzie, Thomas Schwentick, Heribert Vollmer |
| 1999 | STACS | A Logical Characterisation of Linear Time on Nondeterministic Turing Machines. | Clemens Lautemann, Nicole Schweikardt, Thomas Schwentick |
| 1994 | CSL | Logics For Context-Free Languages. | Clemens Lautemann, Thomas Schwentick, Denis Thrien |
| 1992 | CSL | Logical Definability of NP-Optimization Problems with Monadic Auxiliary Predicates. | Clemens Lautemann |
| 1988 | ICALP | Efficient Algorithms on Context-Free Graph Grammars. | Clemens Lautemann |