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. 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. 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. 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