Anna Caroline E. Dahl

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 1

Top Topics

Linear Time Temporal Logic

Automated Verification

Ctl Model Update

Top Venues

Publications

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
Bringing LTL Model Checking to Biologists. VMCAI (2017)
Benoist Laurent, Matthieu Chavent, Tristan Cragnolini, Anna Caroline E. Dahl, Samuela Pasquali, Philippe Derreumaux, Mark S. P. Sansom, Marc Baaden
Epock: rapid analysis of protein pocket dynamics. Bioinform. 31 (9) (2015)
Anna Caroline E. Dahl, Matthieu Chavent, Mark S. P. Sansom
Bendix: intuitive helix geometry analysis and abstraction. Bioinform. 28 (16) (2012)