Z3-4Biology

Établi : January 1, 2007

Publications

Afficher par:

- 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