Z3-4Biology

Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis

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

Proceedings of the 14th International Workshop on Satisfiability Modulo Theories (SMT) | July 2016

Publication Project

Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains

Markus N. Rabe, Hillel Kugler, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger

Proceedings of the 11th International Conference on Quantitative Evaluation of Systems (QEST) | September 2014

Publication Publication Publication Download

Analyzing and Synthesizing Genomic Logic Functions

Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler

26th International Conference on Computer Aided Verification (CAV) | July 2014

Publication Publication Publication Project

Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains (Extended)

Markus N. Rabe, Hillel Kugler, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger

MSR-TR-2014-74 | May 2014

Publication

Functional Analysis of Large-scale DNA Strand Displacement Circuits

Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler

International Conference on DNA Computing and Molecular Programming | September 2013

Publication Publication Project Project

Z34Bio: An SMT-based Framework for Analyzing Biological Computation

Boyan Yordanov, Youssef Hamadi, Hillel Kugler, Christoph M. Wintersteiger

SMT'13 | July 2013

Publication Project

SMT-based Analysis of Biological Computation

Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler

NASA Formal Methods Symposium 2013 | May 2013

Publication Project

Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis

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

Proceedings of the 14th International Workshop on Satisfiability Modulo Theories (SMT) | July 2016

Publication Project

Analyzing and Synthesizing Genomic Logic Functions

Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler

26th International Conference on Computer Aided Verification (CAV) | July 2014

Publication Publication Publication Project

Z34Bio: An SMT-based Framework for Analyzing Biological Computation

Boyan Yordanov, Youssef Hamadi, Hillel Kugler, Christoph M. Wintersteiger

SMT'13 | July 2013

Publication Project

SMT-based Analysis of Biological Computation

Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler

NASA Formal Methods Symposium 2013 | May 2013

Publication Project

Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains

Markus N. Rabe, Hillel Kugler, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger

Proceedings of the 11th International Conference on Quantitative Evaluation of Systems (QEST) | September 2014

Publication Publication Publication Download

Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains

Markus N. Rabe, Hillel Kugler, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger

Proceedings of the 11th International Conference on Quantitative Evaluation of Systems (QEST) | September 2014

Publication Publication Publication Download

Analyzing and Synthesizing Genomic Logic Functions

Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler

26th International Conference on Computer Aided Verification (CAV) | July 2014

Publication Publication Publication Project

Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains (Extended)

Markus N. Rabe, Hillel Kugler, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger

MSR-TR-2014-74 | May 2014

Publication

Functional Analysis of Large-scale DNA Strand Displacement Circuits

Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler

International Conference on DNA Computing and Molecular Programming | September 2013

Publication Publication Project Project

Analyzing and Synthesizing Genomic Logic Functions

Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler

26th International Conference on Computer Aided Verification (CAV) | July 2014

Publication Publication Publication Project

Functional Analysis of Large-scale DNA Strand Displacement Circuits

Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler

International Conference on DNA Computing and Molecular Programming | September 2013

Publication Publication Project Project

Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis

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

Proceedings of the 14th International Workshop on Satisfiability Modulo Theories (SMT) | July 2016

Publication Project

Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains

Markus N. Rabe, Hillel Kugler, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger

Proceedings of the 11th International Conference on Quantitative Evaluation of Systems (QEST) | September 2014

Publication Publication Publication Download

Analyzing and Synthesizing Genomic Logic Functions

Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler

26th International Conference on Computer Aided Verification (CAV) | July 2014

Publication Publication Publication Project

Functional Analysis of Large-scale DNA Strand Displacement Circuits

Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler

International Conference on DNA Computing and Molecular Programming | September 2013

Publication Publication Project Project

Z34Bio: An SMT-based Framework for Analyzing Biological Computation

Boyan Yordanov, Youssef Hamadi, Hillel Kugler, Christoph M. Wintersteiger

SMT'13 | July 2013

Publication Project

SMT-based Analysis of Biological Computation

Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler

NASA Formal Methods Symposium 2013 | May 2013

Publication Project

Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains (Extended)

Markus N. Rabe, Hillel Kugler, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger

MSR-TR-2014-74 | May 2014

Publication