| |
| 2006 | ||
|---|---|---|
| 6 | EE | Kairong Qian, Albert Nymeyer: Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis. Electr. Notes Theor. Comput. Sci. 149(2): 33-49 (2006) |
| 2005 | ||
| 5 | EE | Kairong Qian, Albert Nymeyer, Steven Susanto: Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis. FORTE 2005: 275-289 |
| 4 | EE | Kairong Qian, Albert Nymeyer, Steven Susanto: Experiments with Multiple Abstraction Heuristics in Symbolic Verification. SARA 2005: 290-304 |
| 2004 | ||
| 3 | EE | Kairong Qian, Albert Nymeyer: Abstraction-Based Model Checking Using Heuristical Refinement. ATVA 2004: 165-178 |
| 2 | EE | Kairong Qian, Albert Nymeyer: Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases. TACAS 2004: 497-511 |
| 2003 | ||
| 1 | EE | Albert Nymeyer, Kairong Qian: Heuristic Search Algorithms Based on Symbolic Data Structures. Australian Conference on Artificial Intelligence 2003: 966-979 |
| 1 | Albert Nymeyer | [1] [2] [3] [4] [5] [6] |
| 2 | Steven Susanto | [4] [5] |