A Grammatical Specification of Human-Computer Dialogue. - Albert Nymeyer (Comput. Lang., 1995)

Backtracking non-deterministic recognizers. - Albert Nymeyer (J. Program. Lang., 1995)

Code Generation = A* + BURS. - Albert Nymeyer; Joost-Pieter Katoen; Ymte Westra; Henk Alblas (CC, 1996)

Code Generation Based on Formal BURS Therory and Heuristic Search. - Albert Nymeyer; Joost-Pieter Katoen (Acta Informatica, 1997)

Pattern-matching algorithms based on term rewrite systems. - Joost-Pieter Katoen; Albert Nymeyer (Theor. Comput. Sci., 2000)

Heuristic Search Algorithms Based on Symbolic Data Structures. - Albert Nymeyer; Kairong Qian (Australian Conference on Artificial Intelligence, 2003)

Abstraction-Based Model Checking Using Heuristical Refinement. - Kairong Qian; Albert Nymeyer (ATVA, 2004)

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases. - Kairong Qian; Albert Nymeyer (TACAS, 2004)

Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis. - Kairong Qian; Albert Nymeyer; Steven Susanto (FORTE, 2005)

Experiments with Multiple Abstraction Heuristics in Symbolic Verification. - Kairong Qian; Albert Nymeyer; Steven Susanto (SARA, 2005)

Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis. - Kairong Qian; Albert Nymeyer (MoChArt@CONCUR/SPIN, 2005)

The spin on guided random search in verification. - Thang H. Bui; Albert Nymeyer (ICST Workshops, 2008)

Formal Model of a Protocol Converter. - Jing Cao; Albert Nymeyer (CATS, 2009)

Formal Verification Based on Guided Random Walks. - Thang H. Bui; Albert Nymeyer (IFM, 2009)

Heuristic Sensitivity in Guided Random-Walk Based Model Checking. - Thang H. Bui; Albert Nymeyer (SEFM, 2009)

Formally Synthesising a Protocol Converter: A Case Study. - Jing Cao; Albert Nymeyer (CIAA, 2009)

High-fidelity markovian power model for protocols. - Jing Cao; Albert Nymeyer (DATE, 2010)

A Markov Model for Low-Power High-Fidelity Design-Space Exploration. - Jing Cao; Albert Nymeyer (DSD, 2010)

The 'Best' Valid Safe Protocol Converter. - Jing Cao; Albert Nymeyer (SSIRI, 2010)

A Markov Performance Model for Buffered Protocol Design. - Jing Cao; Albert Nymeyer (ISVLSI, 2011)

A design methodology for verified web-service mediators. - Jing Cao; Albert Nymeyer (Computing, 2013)