Klarlund, Nils

• BRICS Report Series No. 4 (1994): RS-4 Graphs and Decidable Transductions based on Edge Constraints - Articles
  Graphs and Decidable Transductions based on Edge Constraints
  Abstract  PDF
• BRICS Report Series No. 40 (2000): RS-40 MONA Implementation Secrets - Articles
  MONA Implementation Secrets
  Abstract  PDF
• BRICS Report Series No. 41 (2000): RS-41 The DSD Schema Language and its Applications - Articles
  The DSD Schema Language and its Applications
  Abstract  PDF
• BRICS Report Series No. 14 (1994): RS-14 The Limit View of Infinite Computations - Articles
  The Limit View of Infinite Computations
  Abstract  PDF
• BRICS Report Series No. 11 (1994): RS-11 A Homomorphism Concept for omega-Regularity - Articles
  A Homomorphism Concept for omega-Regularity
  Abstract  PDF
• BRICS Report Series No. 53 (1995): RS-53 Automated Logical Verification based on Trace Abstractions - Articles
  Automated Logical Verification based on Trace Abstractions
  Abstract  PDF
• BRICS Report Series No. 29 (1995): RS-29 An n log n Algorithm for Online BDD Refinement - Articles
  An n log n Algorithm for Online BDD Refinement
  Abstract  PDF
• BRICS Report Series No. 54 (1995): RS-54 A Case Study in Automated Verification Based on Trace Abstractions - Articles
  A Case Study in Automated Verification Based on Trace Abstractions
  Abstract  PDF
• BRICS Report Series No. 58 (1995): RS-58 Determinizing Asynchronous Automata on Infinite Inputs - Articles
  Determinizing Asynchronous Automata on Infinite Inputs
  Abstract  PDF
• BRICS Report Series No. 26 (1996): RS-26 BDD Algortihms and Cache Misses - Articles
  BDD Algortihms and Cache Misses
  Abstract  PDF
• BRICS Report Series No. 17 (1995): RS-17 Design Architectures through Category Constraints - Articles
  Design Architectures through Category Constraints
  Abstract  PDF
• BRICS Report Series No. 7 (1995): RS-07 Hardware Verification using Monadic Second-Order Logic - Articles
  Hardware Verification using Monadic Second-Order Logic
  Abstract  PDF
• BRICS Report Series No. 10 (1994): RS-10 Monadic Second-order Logic for Parameterized Verification - Articles
  Monadic Second-order Logic for Parameterized Verification
  Abstract  PDF
• BRICS Report Series No. 21 (1995): RS-21 MONA: Monadic Second-Order Logic in Practice - Articles
  MONA: Monadic Second-Order Logic in Practice
  Abstract  PDF