Sara-Jane Dunn

13 papers A 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2023 J jnl
DiscoGen: Learning to Discover Gene Regulatory Networks.
CoRR
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
2023 J jnl
The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models.
J. Comput. Biol.
Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Himanshu Arora, Hillel Kugler, Christoph M. Wintersteiger
2022 — conf
An SMT-Based Framework for Reasoning About Discrete Biological Models.
ISBRA
Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Hillel Kugler, Christoph M. Wintersteiger
2021 J jnl
Formal Analysis of Network Motifs Links Structure to Function in Biological Programs.
IEEE ACM Trans. Comput. Biol. Bioinform.
Sara-Jane Dunn, Hillel Kugler, Boyan Yordanov
2019 — ch.
Automated Reasoning for the Synthesis and Analysis of Biological Programs.
Automated Reasoning for Systems Biology and Medicine
Sara-Jane Dunn, Boyan Yordanov
2018 A conf
Biological computation (keynote).
CGO
Sara-Jane Dunn
2018 — conf
Formal Analysis of Network Motifs.
CMSB
Hillel Kugler, Sara-Jane Dunn, Boyan Yordanov
2016 — conf
Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis.
SMT@IJCAR
Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn
2016 J jnl
Automated Synthesis and Analysis of Switching Gene Regulatory Networks.
Biosyst.
Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Tomoki Otani, Youssef Hamadi, Frederick J. Livesey, Hillel Kugler
2015 — conf
Switching Gene Regulatory Networks.
IPCAT
Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler
2014 J jnl
Ten Simple Rules for Effective Computational Research.
PLoS Comput. Biol.
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
2013 J jnl
Chaste: An Open Source C++ Library for Computational Physiology and Biology.
PLoS Comput. Biol.
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
2012 J jnl
A Two-Dimensional Model of the Colonic Crypt Accounting for the Role of the Basement Membrane and Pericryptal Fibroblast Sheath.
PLoS Comput. Biol.
Sara-Jane Dunn, Paul L. Appleton, Scott A. Nelson, Inke S. Näthke, David Gavaghan, James M. Osborne