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
Kondrashov, F., Ogurtsov, A., & Kondrashov, A. (2006). Selection in favor of nucleotides G and C diversifies evolution rates and levels of polymorphism at mammalian synonymous sites. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2005.10.020
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 873
Kondrashov, F., & Kondrashov, A. (2006). Role of selection in fixation of gene duplications. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2005.08.033
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 903
Babenko, V., Basu, M., Kondrashov, F., Rogozin, I., & Koonin, E. (2006). Signs of positive selection of somatic mutations in human cancers detected by EST sequence analysis. BMC Cancer. BioMed Central. https://doi.org/10.1186/1471-2407-6-36
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4359
Wies, T., Kuncak, V., Lam, P., Podelski, A., & Rinard, M. (2006). Field constraint analysis. In 7th International Conference on Verification, Model Checking, and Abstract Interpretation (Vol. 3855, pp. 157–173). Charleston, SC, United States: Springer. https://doi.org/10.1007/11609773_11
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4401
Alur, R., Cerny, P., & Zdancewic, S. (2006). Preserving secrecy under refinement. In 33rd International Colloquium on Automata, Languages and Programming (Vol. 4052, pp. 107–118). Springer. https://doi.org/10.1007/11787006_10
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4373
Maler, O., Nickovic, D., & Pnueli, A. (2006). Real time temporal logic: Past, present, future. In Third International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 3829, pp. 2–16). Uppsala, Sweden: Springer. https://doi.org/10.1007/11603009_2
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4374
Maler, O., Nickovic, D., & Pnueli, A. (2006). From MITL to timed automata. In 4th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 4202, pp. 274–289). Paris, France: Springer. https://doi.org/10.1007/11867340_20
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 4235
de Vladar, H., & González, J. (2006). Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2005.11.016
View
| Files available
| DOI
2006 | Published | Journal Article | IST-REx-ID: 4237
de Vladar, H. (2006). Density-dependence as a size-independent regulatory mechanism. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2005.05.014
View
| DOI
| arXiv
2006 | Published | Journal Article | IST-REx-ID: 4345
Danowski, P., & Heller, L. (2006). Bibliothek 2.0 - Die Bibliothek der Zukunft? Bibliotheksdienst. De Gruyter. https://doi.org/10.1515/bd.2006.40.11.1259
View
| DOI