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)