Searching for authors named "Nils Klarlund" – sorted by Relevance.
39 documents found, showing 1 through 10.
Next 10 →
-
Word n-grams for cluster keyboards
- …Word n-grams for cluster keyboards Nils Klarlund klarlund@(email omitted); AT&T Labs–Research 180…
- Add To MetaCart
-
A Homomorphism Concept for omega-Regularity
- … Nils Klarlund BRICS Report Series RS-94-11 ISSN 0909-0878 May 1994 Copyright c fl 1994, BRICS…
- Add To MetaCart
-
An n log n Algorithm for Online BDD Refinement
- … Nils Klarlund BRICS Report Series RS-95-29 ISSN 0909-0878 May 1995 Copyright c fl 1995, BRICS…
- Cited by 8 (4 self) – Add To MetaCart
-
The Limit View of Infinite Computations
- …BRICS Basic Research in Computer Science The Limit View of Infinite Computations Nils Klarlund…
- Cited by 2 (0 self) – Add To MetaCart
-
Mona Fido: The Logic-Automaton Connection in Practice
- …Mona & Fido: The Logic-Automaton Connection in Practice Nils Klarlund AT&T Labs--Research Florham…
- Cited by 45 (9 self) – Add To MetaCart
-
Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata
- …Research CouncilFellowshipand by EspritBasicResearch ActionGrant No. 3011,Cedisys.Author'se-mailaddress:klarlund…
- Cited by 16 (3 self) – Add To MetaCart
-
Automata Based Symbolic Reasoning in Hardware Verification
- …., Germany NILS KLARLUND klarlund@(email omitted); AT&T Labs - Research, 180 Park Avenue, Florham Park, NJ…
- Cited by 17 (11 self) – Add To MetaCart
-
BDD Algorithms and Cache Misses
- …BRICS Basic Research in Computer Science BDD Algorithms and Cache Misses Nils Klarlund Theis Rauhe…
- Cited by 12 (6 self) – Add To MetaCart
-
MONA Version 1.3 - User Manual
- …BRICS Basic Research in Computer Science MONA Version 1.3 User Manual Nils Klarlund, klarlund…
- Cited by 10 (1 self) – Add To MetaCart
-
MONA Version 1.4 -- User Manual
- …BRICS Basic Research in Computer Science MONA Version 1.4 User Manual Nils Klarlund, klarlund…
- Cited by 19 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
