Reduction of Non Deterministic Automata for Hidden Markov Model Based Pattern Recognition Applications. - Frédéric Maire; Frank Wathne; Alain Lifchitz (Australian Conference on Artificial Intelligence, 2003)

Automated testing of non-functional requirements. - Kristoffer Dyrkorn; Frank Wathne (OOPSLA Companion, 2008)