Nils Klarlund

Google (United States) — United States

Computer Science · Physical Sciences

21h-index5.4kcitations82works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research 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)

Publications82 total

Reachability Problems in Piecewise FIFO Systems
ACM Transactions on Computational Logic·2012· 2 cited
MONA 1.x: New Techniques for WS1S and WS2S
2007· 1 cited
Algorithmic Analysis of Piecewise FIFO Systems
2007
Algorithmic Analysis of Piecewise FIFO Systems
2007· 6 cited
The limit view of infinite computations
Lecture notes in computer science·2005· 10 cited
DART
ACM SIGPLAN Notices·2005· 2.1k cited
DART
2005· 1.5k cited
Relativizations for the Logic-Automata Connection
LISP and Symbolic Computation·2005· 1 cited
Regularity Results for FIFO Channels
Electronic Notes in Theoretical Computer Science·2005· 6 citedOpen Access
Software Model Checking: Searching for Computations in the Abstract or the Concrete
Lecture notes in computer science·2005· 24 cited
XML: Model, Schemas, Types, Logics, and Queries
2004· 24 cited
Progress measures, immediate determinacy, and a subset construction for tree automata
2003· 20 cited
Editing by voice and the role of sequential symbol systems for improved human-to-computer information rates
2003· 5 cited
Word<i>n</i>-grams for cluster keyboards
2003· 16 cited
Rabin measures and their applications to fairness and automata theory
2002· 30 cited
Progress measures for complementation omega -automata with applications to temporal logic
2002· 71 cited
MONA IMPLEMENTATION SECRETS
International Journal of Foundations of Computer Science·2002· 133 cited
The DSD Schema Language
Automated Software Engineering·2002· 21 cited
Towards SMIL as a foundation for multimodal, multimedia applications
2001· 16 cited
ECLIPSE Feature Logic Analysis
2001· 15 cited
page 1 of 5Next →

Frequent Co-authors

Michael I. Schwartzbach(14), Anders Møller(6), Theis Rauhe(5), Michael E. Jørgensen(4), Patrice Godefroid(3), Jakob L. Jensen(3), David Basin(3), Koushik Sen(2), Jesper G. Henriksen(2), Robert Paige(2), Anders B. Sandholm(2), Jari Koistinen(2), Mogens Nielsen(2), Kim Sunesen(2), Madhavan Mukund(2), Milind Sohoni(2), Morten Biehl(2), J. Fris Jensen(1), Michael Søgaard Jørgensen(1), Jacob Elgaard(1)