Z3-4Biology

成立时间：January 1, 2007

论文与出版物

查看方式：

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

论文与出版物项目
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

论文与出版物论文与出版物论文与出版物下载

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

论文与出版物论文与出版物论文与出版物项目

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

论文与出版物
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

论文与出版物论文与出版物项目项目

Z34Bio: An SMT-based Framework for Analyzing Biological Computation

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

SMT'13 | July 2013

论文与出版物项目

SMT-based Analysis of Biological Computation

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

NASA Formal Methods Symposium 2013 | May 2013

论文与出版物项目

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

论文与出版物项目

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

论文与出版物论文与出版物论文与出版物项目

Z34Bio: An SMT-based Framework for Analyzing Biological Computation

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

SMT'13 | July 2013

论文与出版物项目

SMT-based Analysis of Biological Computation

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

NASA Formal Methods Symposium 2013 | May 2013

论文与出版物项目
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

论文与出版物论文与出版物论文与出版物下载
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

论文与出版物论文与出版物论文与出版物下载

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

论文与出版物论文与出版物论文与出版物项目

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

论文与出版物

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

论文与出版物论文与出版物项目项目
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

论文与出版物论文与出版物论文与出版物项目

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

论文与出版物论文与出版物项目项目

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

论文与出版物项目

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

论文与出版物论文与出版物论文与出版物下载

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

论文与出版物论文与出版物论文与出版物项目

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

论文与出版物论文与出版物项目项目

Z34Bio: An SMT-based Framework for Analyzing Biological Computation

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

SMT'13 | July 2013

论文与出版物项目

SMT-based Analysis of Biological Computation

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

NASA Formal Methods Symposium 2013 | May 2013

论文与出版物项目
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

论文与出版物

Z3-4Biology

论文与出版物

按年份分类的论文与出版物

2016

2014

2013

按研究领域分类的论文与出版物

Medical, health and genomics

Algorithms

Programming languages and software engineering

Mathematics

按类型分类的论文与出版物

Inproceedings (Conference)

Tech Report