selected publications
-
academic article
- Computer simulation of transposable element evolution: random template and strict master models. Journal of Molecular Evolution. 42:52-58. 1996
- (In-)Formal methods: Teaching program derivation via the Moore method. Computer Science Education. 6:67-91. 1995