Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

230 Publications


2006 | Published | Journal Article | IST-REx-ID: 869
F. Kondrashov, A. Ogurtsov, and A. Kondrashov, “Selection in favor of nucleotides G and C diversifies evolution rates and levels of polymorphism at mammalian synonymous sites,” Journal of Theoretical Biology, vol. 240, no. 4. Elsevier, pp. 616–626, 2006.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 873
F. Kondrashov and A. Kondrashov, “Role of selection in fixation of gene duplications,” Journal of Theoretical Biology, vol. 239, no. 2. Elsevier, pp. 141–151, 2006.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 903
V. Babenko, M. Basu, F. Kondrashov, I. Rogozin, and E. Koonin, “Signs of positive selection of somatic mutations in human cancers detected by EST sequence analysis,” BMC Cancer, vol. 6. BioMed Central, 2006.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4359
T. Wies, V. Kuncak, P. Lam, A. Podelski, and M. Rinard, “Field constraint analysis,” in 7th International Conference on Verification, Model Checking, and Abstract Interpretation, Charleston, SC, United States, 2006, vol. 3855, pp. 157–173.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4401
R. Alur, P. Cerny, and S. Zdancewic, “Preserving secrecy under refinement,” in 33rd International Colloquium on Automata, Languages and Programming, 2006, vol. 4052, pp. 107–118.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4373
O. Maler, D. Nickovic, and A. Pnueli, “Real time temporal logic: Past, present, future,” in Third International Conference on Formal Modeling and Analysis of Timed Systems, Uppsala, Sweden, 2006, vol. 3829, pp. 2–16.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4374
O. Maler, D. Nickovic, and A. Pnueli, “From MITL to timed automata,” in 4th International Conference on Formal Modeling and Analysis of Timed Systems, Paris, France, 2006, vol. 4202, pp. 274–289.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4235
H. de Vladar and J. González, “Dynamic response of cancer under the influence of immunological activity and therapy,” Journal of Theoretical Biology, vol. 240, no. 1. Elsevier, pp. 162–163, 2006.
View | Files available | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4237
H. de Vladar, “Density-dependence as a size-independent regulatory mechanism,” Journal of Theoretical Biology, vol. 238, no. 2. Elsevier, pp. 245–256, 2006.
View | DOI | arXiv
 

2006 | Published | Journal Article | IST-REx-ID: 4345
P. Danowski and L. Heller, “Bibliothek 2.0 - Die Bibliothek der Zukunft?,” Bibliotheksdienst, vol. 40, no. 11. De Gruyter, pp. 1250–1271, 2006.
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed