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. Selection in favor of nucleotides G and C diversifies evolution rates and levels of polymorphism at mammalian synonymous sites. Journal of Theoretical Biology. 2006;240(4):616-626. doi:10.1016/j.jtbi.2005.10.020
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 873
Kondrashov F, Kondrashov A. Role of selection in fixation of gene duplications. Journal of Theoretical Biology. 2006;239(2):141-151. doi: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. Signs of positive selection of somatic mutations in human cancers detected by EST sequence analysis. BMC Cancer. 2006;6. doi: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. Field constraint analysis. In: 7th International Conference on Verification, Model Checking, and Abstract Interpretation. Vol 3855. Springer; 2006:157-173. doi:10.1007/11609773_11
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4401
Alur R, Cerny P, Zdancewic S. Preserving secrecy under refinement. In: 33rd International Colloquium on Automata, Languages and Programming. Vol 4052. Springer; 2006:107-118. doi:10.1007/11787006_10
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4373
Maler O, Nickovic D, Pnueli A. Real time temporal logic: Past, present, future. In: Third International Conference on Formal Modeling and Analysis of Timed Systems. Vol 3829. Springer; 2006:2-16. doi:10.1007/11603009_2
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4374
Maler O, Nickovic D, Pnueli A. From MITL to timed automata. In: 4th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 4202. Springer; 2006:274-289. doi:10.1007/11867340_20
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 4235
de Vladar H, González J. Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. 2006;240(1):162-163. doi:10.1016/j.jtbi.2005.11.016
View
| Files available
| DOI
2006 | Published | Journal Article | IST-REx-ID: 4237
de Vladar H. Density-dependence as a size-independent regulatory mechanism. Journal of Theoretical Biology. 2006;238(2):245-256. doi:10.1016/j.jtbi.2005.05.014
View
| DOI
| arXiv
2006 | Published | Journal Article | IST-REx-ID: 4345
Danowski P, Heller L. Bibliothek 2.0 - Die Bibliothek der Zukunft? Bibliotheksdienst. 2006;40(11):1250-1271. doi:10.1515/bd.2006.40.11.1259
View
| DOI