Sara-Jane Dunn

According to our database, Sara-Jane Dunn authored at least 14 papers between 2011 and 2023.

Collaborative distances:

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

2023

The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models.

Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Himanshu Arora, Hillel Kugler, Christoph M. Wintersteiger

J. Comput. Biol., September, 2023

DiscoGen: Learning to Discover Gene Regulatory Networks.

Nan Rosemary Ke, Sara-Jane Dunn, Jörg Bornschein, Silvia Chiappa, Mélanie Rey, Jean-Baptiste Lespiau, Albin Cassirer, Jane X. Wang, Theophane Weber, David G. T. Barrett, Matthew M. Botvinick, Anirudh Goyal, Michael Mozer, Danilo J. Rezende

CoRR, 2023

2022

An SMT-Based Framework for Reasoning About Discrete Biological Models.

Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Hillel Kugler, Christoph M. Wintersteiger

Proceedings of the Bioinformatics Research and Applications - 18th International Symposium, 2022

2021

Formal Analysis of Network Motifs Links Structure to Function in Biological Programs.

Sara-Jane Dunn, Hillel Kugler, Boyan Yordanov

IEEE ACM Trans. Comput. Biol. Bioinform., 2021

2019

Automated Reasoning for the Synthesis and Analysis of Biological Programs.

Sara-Jane Dunn, Boyan Yordanov

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

2018

Formal Analysis of Network Motifs.

Hillel Kugler, Sara-Jane Dunn, Boyan Yordanov

Proceedings of the Computational Methods in Systems Biology, 2018

Biological computation (keynote).

Sara-Jane Dunn

Proceedings of the 2018 International Symposium on Code Generation and Optimization, 2018

2016

Automated Synthesis and Analysis of Switching Gene Regulatory Networks.

Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Tomoki Otani, Youssef Hamadi, Frederick J. Livesey, Hillel Kugler

Biosyst., 2016

Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis.

Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn

Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, 2016

2015

Switching Gene Regulatory Networks.

Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler

Proceedings of the Information Processing in Cells and Tissues, 2015

2014

Ten Simple Rules for Effective Computational Research.

James M. Osborne, Miguel O. Bernabeu, Maria Bruna, Ben Calderhead, Jonathan Cooper, Neil Dalchau, Sara-Jane Dunn, Alexander G. Fletcher, Robin Freeman, Derek Groen, Bernhard Knapp, Greg J. McInerny, Gary R. Mirams, Joe Pitt-Francis, Biswa Sengupta, David W. Wright, Christian A. Yates, David Gavaghan, Stephen Emmott, Charlotte M. Deane

PLoS Comput. Biol., 2014

2013

Chaste: An Open Source C++ Library for Computational Physiology and Biology.

Gary R. Mirams, Christopher J. Arthurs, Miguel O. Bernabeu, Rafel Bordas, Jonathan Cooper, Alberto Corrias, Yohan Davit, Sara-Jane Dunn, Alexander G. Fletcher, Daniel G. Harvey, Megan E. Marsh, James M. Osborne, Pras Pathmanathan, Joe Pitt-Francis, James Southern, Nejib Zemzemi, David Gavaghan

PLoS Comput. Biol., 2013

2012

A Two-Dimensional Model of the Colonic Crypt Accounting for the Role of the Basement Membrane and Pericryptal Fibroblast Sheath.

Sara-Jane Dunn, Paul L. Appleton, Scott A. Nelson, Inke S. Näthke, David Gavaghan, James M. Osborne

PLoS Comput. Biol., 2012

2011

Towards a computational model of the colonic crypt with a realistic, deformable geometry.

Sara-Jane Nicole Dunn

PhD thesis, 2011