| |
In CADE-10: Proceedings of the tenth international conference on Automated deduction (1990), pp. 558-572.
|
| |
Journal of Global Optimization, Vol. 27, No. 1. (21 September 2003), pp. 1-23.
|
| |
|
| |
Theory and Applications of Satisfiability Testing - SAT 2009 (2009), pp. 141-146.
|
| |
Systems & Control Letters, Vol. 5, No. 2. (November 1984), pp. 81-88.
|
| |
Implementation and Applications of Automata (2008), pp. 161-170.
|
| |
Molecular biology and evolution, Vol. 20, No. 12. (December 2003), pp. 2076-2090.
by H. Westers, R. Dorenbos, J. M. van Dijl, et al.J. Kabel, T. Flanagan, K. M. Devine, F. Jude, S. J. Seror, A. C. Beekman, E. Darmon, C. Eschevins, A. de Jong, S. Bron, O. P. Kuipers, A. M. Albertini, H. Antelmann, M. Hecker, N. Zamboni, U. Sauer, C. Bruand, D. S. Ehrlich, J. C. Alonso, M. Salas, W. J. Quax
|
| |
Biotechnology and applied biochemistry, Vol. 46, No. Pt 3. (March 2007), pp. 169-178.
|
| |
Science (27 April 2006)
by György Pósfai, Guy Plunkett Iii, Tamás Fehér, et al.David Frisch, Günther M M. Keil, Kinga Umenhoffer, Vitaliy Kolisnychenko, Buffy Stahl, Shamik S S. Sharma, Monika de Arruda, Valerie Burland, Sarah W W. Harcum, Frederick R R. Blattner
|
| |
Biotechnology and applied biochemistry, Vol. 46, No. Pt 3. (March 2007), pp. 157-167.
|
| |
Theoretical Computer Science, Vol. 250, No. 1-2. (6 January 2001), pp. 333-363.
|
| |
Journal of Chemical Theory and Computation, Vol. 5, No. 4. (14 April 2009), pp. 1027-1032.
|
| |
Molecular systems biology, Vol. 3 (2007)
|
| |
Methods in molecular biology (Clifton, N.J.), Vol. 416 (2008), pp. 279-293.
|
| |
In LICS '02: Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (2002), 40.
|
| |
Fluid Phase Equilibria (28 January 2009)
|
| |
Biopolymers, Vol. 46, No. 1. (1998), pp. 11-29.
|
| |
|
| |
In PODS '99: Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (1999), pp. 114-125.
|
| |
Journal of bioinformatics and computational biology, Vol. 3, No. 5. (October 2005), pp. 1151-1170.
|
| |
Journal of Mathematical Imaging and Vision, Vol. 22, No. 1. (January 2005), pp. 71-88.
|
| |
IEEE Transactions on Multimedia In Multimedia, IEEE Transactions on, Vol. 10, No. 3. (April 2008), pp. 339-351.
|
| |
IEEE Signal Processing Letters In Signal Processing Letters, IEEE, Vol. 14, No. 12. (December 2007), pp. 956-959.
|
| |
In Handbook of Automated Reasoning (2001), pp. 335-367.
|
| |
J Optim Theory Appl, Vol. 54, No. 1. (1987), pp. 121-141.
|
| |
Theory and Applications of Satisfiability Testing In Theory and Applications of Satisfiability Testing (2005), pp. 61-75.
|
| |
Computational Intelligence and Bioinformatics and Computational Biology, 2006. CIBCB '06. 2006 IEEE Symposium on In Computational Intelligence and Bioinformatics and Computational Biology, 2006. CIBCB '06. 2006 IEEE Symposium on (2006), pp. 1-10.
|
| |
Computational Intelligence and Bioinformatics and Computational Biology, 2007. CIBCB '07. IEEE Symposium on In Computational Intelligence and Bioinformatics and Computational Biology, 2007. CIBCB '07. IEEE Symposium on (2007), pp. 239-246.
|
| |
Applied Mathematical Modelling, Vol. 6, No. 6. (December 1982), pp. 449-462.
|
| |
Statistics in Medicine, Vol. 9999, No. 9999. (2007), n/a.
|
| |
Math. Program., Vol. 18, No. 1. (1980), pp. 31-40.
|
| |
IEEE Trans. Pattern Anal. Mach. Intell., Vol. 28, No. 10. (October 2006), pp. 1568-1583.
|
| |
Nonlinear Analysis, Vol. 27, No. 6. (September 1996), pp. 617-632.
|
| |
Science, Vol. 267, No. 5198. (3 February 1995), pp. 664-666.
|
| |
Journal of Computational Chemistry, Vol. 18, No. 9. (1997), pp. 1222-1232.
|
| |
Proc Natl Acad Sci U S A, Vol. 84, No. 19. (October 1987), pp. 6611-6615.
|
| |
Science, Vol. 285, No. 5432. (27 August 1999), pp. 1368-1372.
|
| |
Biophys Chem, Vol. 59, No. 3. (16 April 1996), pp. 329-339.
|
| |
Neural Networks, 1999. IJCNN '99. International Joint Conference on, Vol. 2 (1999), pp. 1239-1244 vol.2.
|
| |
Curr Opin Struct Biol, Vol. 17, No. 2. (April 2007), pp. 187-191.
|
| |
Pharmaceutical Statistics, Vol. 3, No. 3. (2004), pp. 187-191.
|
| |
Contemporary Clinical Trials, Vol. 27, No. 5. (October 2006), pp. 420-431.
|
| |
Appl. Math. Finance, Vol. 4, No. 1. (1997), pp. 37-64.
|
| |
Journal of Computational Chemistry, Vol. 19, No. 1. (1998), pp. 21-37.
|
| |
Journal of Intelligent and Robotic Systems, Vol. V14, No. 1. (1995), pp. 43-68.
|
| |
Chemical Physics Letters, Vol. 362, No. 3-4. (19 August 2002), pp. 271-277.
|
| |
Chemical Physics Letters, Vol. 370, No. 1-2. (7 March 2003), pp. 68-73.
|
| |
Phys Rev Lett, Vol. 91, No. 15. (10 October 2003)
|
| |
Journal of Computational Chemistry, Vol. 9999, No. 9999. (2007), NA.
|
| |
J Comput Chem, Vol. 28, No. 2. (30 January 2007), pp. 601-611.
|