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 (Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings, 2017)

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)

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