Kairong Qian

Publication Activity (10 Years)

Years Active: 2003-2006
Publications (10 Years): 0

University of New South Wales, Sydney, Australia (PHD)

Education History

University of New South Wales, Sydney, Australia

PHD

Publications

Kairong Qian, Albert Nymeyer
Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis. Electron. Notes Theor. Comput. Sci. 149 (2) (2006)
Kairong Qian, Albert Nymeyer, Steven Susanto
Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis. FORTE (2005)
Kairong Qian, Albert Nymeyer, Steven Susanto
Experiments with Multiple Abstraction Heuristics in Symbolic Verification. SARA (2005)
Kairong Qian, Albert Nymeyer
Abstraction-Based Model Checking Using Heuristical Refinement. ATVA (2004)
Kairong Qian, Albert Nymeyer
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases. TACAS (2004)
Albert Nymeyer, Kairong Qian
Heuristic Search Algorithms Based on Symbolic Data Structures. Australian Conference on Artificial Intelligence (2003)