( en | de | ru )

 

Disambiguation of "Dunn, Sara-Jane"

Author of the publication

copydeleteadd this publication to your clipboard
Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis.

, , , and . SMT@IJCAR, volume 1617 of CEUR Workshop Proceedings, page 41-50. CEUR-WS.org, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Malcolm Dunn

Christoph Dünn

Hubert Dunn

Malcolm Dunn

Malcolm Dunn

 

Other publications of authors with the same name

A Two-Dimensional Model of the Colonic Crypt Accounting for the Role of the Basement Membrane and Pericryptal Fibroblast Sheath., , , , , and . PLoS Comput. Biol., (2012)Automated Reasoning for the Synthesis and Analysis of Biological Programs., and . Automated Reasoning for Systems Biology and Medicine, volume 30 of Computational Biology, Springer, (2019)The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models., , , , , and . J. Comput. Biol., 30 (9): 1046-1058 (September 2023)Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis., , , and . SMT@IJCAR, volume 1617 of CEUR Workshop Proceedings, page 41-50. CEUR-WS.org, (2016)DiscoGen: Learning to Discover Gene Regulatory Networks., , , , , , , , , and 4 other author(s). CoRR, (2023)Chaste: An Open Source C++ Library for Computational Physiology and Biology., , , , , , , , , and 7 other author(s). PLoS Comput. Biol., (2013)Automated Synthesis and Analysis of Switching Gene Regulatory Networks., , , , , , , and . Biosyst., (2016)Formal Analysis of Network Motifs Links Structure to Function in Biological Programs., , and . IEEE ACM Trans. Comput. Biol. Bioinform., 18 (1): 261-271 (2021)Switching Gene Regulatory Networks., , , , , and . IPCAT, volume 9303 of Lecture Notes in Computer Science, page 131-144. Springer, (2015)Formal Analysis of Network Motifs., , and . CMSB, volume 11095 of Lecture Notes in Computer Science, page 111-128. Springer, (2018)