Concepedia

Nils Klarlund

NK

Statistics

Publications

35

Citations

4.6K

H-Index

17

Active since

1989

Affiliations

Aarhus University(Current)

AT&T (United States)

Danish National Research Foundation

IBM (United States)

Cornell University

Nils Klarlund is an author at Aarhus University specializing in computer science, computing, and formal methods.

Publications per year

1989–2005

35

Publications

35

DART

Patrice Godefroid, Nils Klarlund, Koushik Sen · ACM SIGPLAN Notices · 2005 · 2.1K citations

, , +15

DART

Patrice Godefroid, Nils Klarlund, Koushik Sen · 2005 · 1.5K citations

, , +15

Graph types

Nils Klarlund, Michael I. Schwartzbach · 1993 · 141 citations

, , +11

MONA IMPLEMENTATION SECRETS

Nils Klarlund, Anders Møller, Michael I. Schwartzbach · International Journal of Foundations of Computer Science · 2002 · 136 citations

, , +11

Automatic verification of pointer programs using monadic second-order logic

Jakob L. Jensen, Michael E. Jørgensen, Michael I. Schwartzbach et al. · 1997 · 88 citations

, , +16

1–5 of 35