A Priori Estimation of Phylogenetic Information Conserved in Aligned Sequences
Molecular phylogenetics and evolution, 1998, Vol.9 (3), p.358-365
Link zum Volltext

Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.3-34
Link zum Volltext

Mathematical Theory Exploration in Theorema: Reduction Rings
Intelligent Computer Mathematics, 2016, p.3-17
Link zum Volltext