Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Nils Klarlund | Researchclopedia

Back to researchers

Nils Klarlund

Google (United States)

82

Works

5,448

Citations

21

h-index

51

i10-index

Research Topics

Formal Methods in Verification Logic, programming, and type systems semigroups and automata theory

Affiliations

AT&T (United States)1995–2005

Google (United States)2005–2012

Alcatel Lucent (Germany)2005–2005

IBM (United States)1992–2003

Aarhus University1986–2005

Top Works

Patrice Godefroid,Nils Klarlund,et al.

20052,056 citations

Software Testing and Debugging Techniques

Logic, Reasoning, and Knowledge

Patrice Godefroid,Nils Klarlund,et al.

20051,517 citations

Mona: Monadic second-order logic in practice

Jesper G. Henriksen,J. Fris Jensen,et al.

1995348 citations

Nils Klarlund,Michael I. Schwartzbach

1993140 citations

MONA IMPLEMENTATION SECRETS

Nils Klarlund,Anders Møller,et al.

2002133 citations

Automatic verification of pointer programs using monadic second-order logic

Jakob L. Jensen,Michael E. Jørgensen,et al.

199787 citations

Mona & Fido: The logic-automaton connection in practice

199873 citations

Progress measures for complementation omega -automata with applications to temporal logic

200271 citations

MONA 1.x: New techniques for WS1S and WS2S

Jacob Elgaard,Nils Klarlund,et al.

199863 citations