NK

Nils Klarlund

Google (United States)

82

Publications

5,479

Citations

21

h-index

51

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (61)
Book Chapter (20)
Report (1)

Filter by Open Access Type

Open Access (34)
Closed Access (48)

Filter by Authors

Nils Klarlund (82)
Michael I. Schwartzbach (20)
Anders Møller (8)
Kim Sunesen (5)
Richard Trefler (5)

Filter by Topics

Formal Methods in Verification (49)
Logic, programming, and type systems (33)
semigroups and automata theory (24)
Software Testing and Debugging Techniques (18)
Logic, Reasoning, and Knowledge (10)