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

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

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