Sara-Jane Dunn
Orcid: 0000-0002-5964-1043
According to our database1,
Sara-Jane Dunn
authored at least 14 papers
between 2011 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
0
1
2
3
1
2
1
1
1
1
1
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models.
J. Comput. Biol., September, 2023
2022
Proceedings of the Bioinformatics Research and Applications - 18th International Symposium, 2022
2021
Formal Analysis of Network Motifs Links Structure to Function in Biological Programs.
IEEE ACM Trans. Comput. Biol. Bioinform., 2021
2019
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019
2018
Proceedings of the Computational Methods in Systems Biology, 2018
Proceedings of the 2018 International Symposium on Code Generation and Optimization, 2018
2016
Biosyst., 2016
Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, 2016
2015
Proceedings of the Information Processing in Cells and Tissues, 2015
2014
2013
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.
PLoS Comput. Biol., 2012
2011
Towards a computational model of the colonic crypt with a realistic, deformable geometry.
PhD thesis, 2011