Z3-4Biology

Established: January 1, 2007

Publications

View by:

- 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