Bringing LTL Model Checking to Biologists. - Ahmed, Zara; Benqué, David; Berezin, Sergey; Dahl, Anna Caroline E.; Fisher, Jasmin; Hall, Benjamin A.; Ishtiaq, Samin; Nanavati, Jay; Piterman, Nir; Riechert, Maik; Skoblov, Nikita (2017)

Epock: rapid analysis of protein pocket dynamics. - Laurent, Benoist; Chavent, Matthieu; Cragnolini, Tristan; Dahl, Anna Caroline E.; Pasquali, Samuela; Derreumaux, Philippe; Sansom, Mark S. P.; Baaden, Marc (Bioinform., 2015)

Bendix: intuitive helix geometry analysis and abstraction. - Dahl, Anna Caroline E.; Chavent, Matthieu; Sansom, Mark S. P. (Bioinform., 2012)