Anna Caroline E. Dahl

According to our database, Anna Caroline E. Dahl authored at least 3 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2015

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

2012

Bendix: intuitive helix geometry analysis and abstraction.

Anna Caroline E. Dahl, Matthieu Chavent, Mark S. P. Sansom

Bioinform., 2012