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 Projet

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 Télécharger

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 Projet

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 Projet Projet

Z34Bio: An SMT-based Framework for Analyzing Biological Computation

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

SMT'13 | July 2013

Publication Projet

SMT-based Analysis of Biological Computation

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

NASA Formal Methods Symposium 2013 | May 2013

Publication Projet

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 Projet

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 Projet

Z34Bio: An SMT-based Framework for Analyzing Biological Computation

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

SMT'13 | July 2013

Publication Projet

SMT-based Analysis of Biological Computation

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

NASA Formal Methods Symposium 2013 | May 2013

Publication Projet

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 Télécharger

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 Télécharger

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 Projet

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 Projet Projet

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 Projet

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 Projet Projet

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 Projet

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 Télécharger

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 Projet

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 Projet Projet

Z34Bio: An SMT-based Framework for Analyzing Biological Computation

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

SMT'13 | July 2013

Publication Projet

SMT-based Analysis of Biological Computation

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

NASA Formal Methods Symposium 2013 | May 2013

Publication Projet

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