| DART: Directed automated random testing P Godefroid, N Klarlund, K Sen Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005 | 3575 | 2005 |
| Mona: Monadic second-order logic in practice JG Henriksen, J Jensen, M Jørgensen, N Klarlund, R Paige, T Rauhe, ... Tools and Algorithms for the Construction and Analysis of Systems: First …, 1995 | 500 | 1995 |
| Mona version 1.4: User manual N Klarlund, A Møller BRICS, Department of Computer Science, University of Aarhus, 2001 | 222 | 2001 |
| Graph types N Klarlund, MI Schwartzbach Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 209 | 1993 |
| Keyboard for interacting on small devices N Klarlund, MD Riley US Patent 7,129,932, 2006 | 147 | 2006 |
| Automatic verification of pointer programs using monadic second-order logic JL Jensen, ME Jørgensen, MI Schwartzbach, N Klarlund Proceedings of the ACM SIGPLAN 1997 conference on Programming language …, 1997 | 134 | 1997 |
| DSD: A schema language for XML N Klarlund, A Møller, MI Schwartzbach Proceedings of the third workshop on Formal methods in software practice …, 2000 | 132 | 2000 |
| MONA implementation secrets N Klarlund, A Møller, MI Schwartzbach International Journal of Foundations of Computer Science 13 (04), 571-586, 2002 | 122 | 2002 |
| Mona & Fido: The logic-automaton connection in practice N Klarlund International Workshop on Computer Science Logic, 311-326, 1997 | 120 | 1997 |
| Mona 1. x: new techniques for WS1S and WS2S J Elgaard, N Klarlund, A Møller Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998 | 113 | 1998 |
| Method and apparatus for voice interaction over a network using parameterized interaction definitions N Klarlund, JC Ramming US Patent 6,125,376, 2000 | 106 | 2000 |
| Progress measures for complementation omega-automata with applications to temporal logic N Klarlund [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science …, 1991 | 102 | 1991 |
| MONA implementation secrets N Klarlund, A Møller, MI Schwartzbach Implementation and Application of Automata: 5th International Conference …, 2001 | 99 | 2001 |
| Progress measures, immediate determinacy, and a subset construction for tree automata N Klarlund Annals of Pure and Applied Logic 69 (2-3), 243-268, 1994 | 96 | 1994 |
| XML: model, schemas, types, logics, and queries N Klarlund, T Schwentick, D Suciu Logics for Emerging Applications of Databases, 1-41, 2003 | 68 | 2003 |
| Hardware verification using monadic second-order logic DA Basin, N Klarlund Computer Aided Verification: 7th International Conference, CAV'95 Liège …, 1995 | 68 | 1995 |
| Algorithms for guided tree automata M Biehl, N Klarlund, T Rauhe Automata Implementation: First International Workshop on Implementing …, 1997 | 63 | 1997 |
| Formal design constraints N Klarlund, J Koistinen, MI Schwartzbach ACM SIGPLAN Notices 31 (10), 370-383, 1996 | 62 | 1996 |
| Automata based symbolic reasoning in hardware verification D Basin, N Klarlund Formal Methods In System Design 13 (3), 253-286, 1998 | 58 | 1998 |
| Verification of a sliding window protocol using IOA and MONA MA Smith, N Klarlund International Conference on Protocol Specification, Testing and Verification …, 2000 | 46 | 2000 |
