| 2007 | FMCAD | Algorithmic Analysis of Piecewise FIFO Systems. | Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler |
| 2005 | IFM | Software Model Checking: Searching for Computations in the Abstract or the Concrete. | Patrice Godefroid, Nils Klarlund |
| 2005 | PLDI | DART: directed automated random testing. | Patrice Godefroid, Nils Klarlund, Koushik Sen |
| 2003 | ICASSP | Editing by voice and the role of sequential symbol systems for improved human-to-computer information rates. | Nils Klarlund |
| 2001 | Interspeech | Towards SMIL as a foundation for multimodal, multimedia applications. | Jennifer L. Beckham, Giuseppe Di Fabbrizio, Nils Klarlund |
| 2000 | FORTE | Verification of a Sliding Window Protocol Using IOA and MONA. | Mark A. Smith, Nils Klarlund |
| 1999 | CAV | A Theory of Restrictions for Logics and Automata. | Nils Klarlund |
| 1999 | DLT | Yakyak: parsing with logical side constraints. | Nils Klarlund, Niels Damgaard, Michael I. Schwartzbach |
| 1998 | CAV | MONA 1.x: New Techniques for WS1S and WS2S. | Jacob Elgaard, Nils Klarlund, Anders Mller |
| 1997 | CAV | An | Nils Klarlund |
| 1997 | CSL | Mona & Fido: The Logic-Automaton Connection in Practice. | Nils Klarlund |
| 1997 | PLDI | Automatic Verification of Pointer Programs using Monadic Second-Order Logic. | Jakob L. Jensen, Michael E. Jrgensen, Nils Klarlund, Michael I. Schwartzbach |
| 1996 | OOPSLA | Formal Design Constraints. | Nils Klarlund, Jari Koistinen, Michael I. Schwartzbach |
| 1996 | PODC | Automated Logical Verification Based on Trace Abstractions. | Nils Klarlund, Mogens Nielsen, Kim Sunesen |
| 1995 | CAV | Hardware Verification using Monadic Second-Order Logic. | David A. Basin, Nils Klarlund |
| 1995 | TACAS | Mona: Monadic Second-Order Logic in Practice. | Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jrgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm |
| 1994 | CONCUR | The Limit View of Infinite Computations. | Nils Klarlund |
| 1994 | CSL | A Homomorphism Concepts for omega-Regularity. | Nils Klarlund |
| 1994 | ICALP | Determinizing Asynchronous Automata. | Nils Klarlund, Madhavan Mukund, Milind A. Sohoni |
| 1993 | POPL | Graph Types. | Nils Klarlund, Michael I. Schwartzbach |
| 1992 | LICS | Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata | Nils Klarlund |
| 1992 | PODC | Progress Measures and Stack Assertions for Fair Termination. | Nils Klarlund |
| 1991 | FOCS | Progress Measures for Complementation of omega-Automata with Applications to Temporal Logic | Nils Klarlund |
| 1991 | LICS | Rabin Measures and Their Applications to Fairness and Automata Theory | Nils Klarlund, Dexter Kozen |
| 1991 | MFPS | Liminf Progress Measures. | Nils Klarlund |