Searching for authors named "Roderick Bloem" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Attribute Grammars and Monadic Second Order Logic
- …Attribute Grammars and Monadic Second Order Logic Roderick Bloem October 15, 1996 Abstract…
- Cited by 3 (2 self) – Add To MetaCart
-
Verification and Fault Localization for VHDL Programs
- …Verification and Fault Localization in VHDL Programs Roderick Bloem and Franz Wotawa Graz…
- Cited by 2 (0 self) – Add To MetaCart
-
A Comparison of Tree Transductions defined by Monadic Second Order Logic and by Attribute Grammars
- … Roderick Bloem ? and Joost Engelfriet ?? Department of Computer Science, Leiden University P.O.Box 9512…
- Cited by 20 (7 self) – Add To MetaCart
-
Efficient Büchi Automata from LTL Formulae
- …Efficient B uchi Automata from LTL Formulae ? Fabio Somenzi and Roderick Bloem Department…
- Cited by 75 (7 self) – Add To MetaCart
-
Characterization of Properties and Relations defined in Monadic Second Order Logic on the Nodes of Trees
- … of Trees Roderick Bloem ? and Joost Engelfriet ?? Department of Computer Science, Leiden University P…
- Cited by 14 (1 self) – Add To MetaCart
-
Fair Simulation Minimization
- …Fair Simulation Minimization ? Sankar Gurumurthy 1 , Roderick Bloem 2 , and Fabio Somenzi 1 1…
- Cited by 11 (1 self) – Add To MetaCart
-
Efficient Decision Procedures for Model Checking of Linear Time Logic Properties
- …Efficient Decision Procedures for Model Checking of Linear Time Logic Properties ? Roderick Bloem…
- Cited by 32 (11 self) – Add To MetaCart
-
A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles
- … , Roderick Bloem 2 , and Fabio Somenzi 2 1 Cadence Design Systems kravi@(email omitted); 2 University…
- Cited by 17 (5 self) – Add To MetaCart
-
Symbolic Guided Search for CTL Model Checking
- …Abstract Symbolic Guided Search for CTL Model Checking Roderick Bloem 1 Kavita Ravi 2 Fabio…
- Cited by 29 (2 self) – Add To MetaCart
-
An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps
- …An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps ? Roderick Bloem…
- Cited by 26 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
