Concepedia

Author

Nils Klarlund

AT&T (United States)

Also Known As

N. Klarlund, NILS KLARLUND, Nils Klarlund

82

Publications

5.4K

Citations

21

H-Index

64

Concepts

All Affiliations

AT&T (United States)Aarhus UniversityIBM (United States)Danish National Research FoundationCornell University
NK

About

Nils Klarlund is an author at AT&T (United States) specializing in formal methods, computer science, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

16

29

4.5K

2

Computer Engineering

7

7

3.9K

3

Language Studies

4

4

88

4

Business

1

1

20

5

Social Sciences

1

1

13

Nils Klarlund

×

35

Publications

4.6K

Citations

17

H-Index

YearCitations

DART

Patrice Godefroid, Nils Klarlund, Koushik Sen

ACM SIGPLAN Notices

2005

2.1K

DART

Patrice Godefroid, Nils Klarlund, Koushik Sen

2005

1.5K

Graph types

Nils Klarlund, Michael I. Schwartzbach

1993

140

MONA IMPLEMENTATION SECRETS

Nils Klarlund, Anders Møller, Michael I. Schwartzbach

International Journal of Foundations of Computer Science

2002

133

Automatic verification of pointer programs using monadic second-order logic

Jakob L. Jensen, Michael E. Jørgensen, Michael I. Schwartzbach,

1997

87

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

Nils Klarlund

2002

71

Progress measures, immediate determinacy, and a subset construction for tree automata

Nils Klarlund

Annals of Pure and Applied Logic

1994

52

MONA: Monadic Second-Order Logic in Practice

Jesper G. Henriksen, Ole J.L. Jensen, Michael E. Jørgensen,

BRICS Report Series

1995

46

DSD

Nils Klarlund, Anders Møller, Michael I. Schwartzbach

2000

41

Progress measures and finite arguments for infinite computations

Nils Klarlund

1990

32

Page 1