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. 240(4), 616–626.
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. 239(2), 141–151.
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. 6.
View | DOI
 

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

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

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

2006 | Published | Conference Paper | IST-REx-ID: 4374
Maler O, Nickovic D, Pnueli A. 2006. From MITL to timed automata. 4th International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4202, 274–289.
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. 240(1), 162–163.
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. 238(2), 245–256.
View | DOI | arXiv
 

2006 | Published | Journal Article | IST-REx-ID: 4345
Danowski P, Heller L. 2006. Bibliothek 2.0 - Die Bibliothek der Zukunft? Bibliotheksdienst. 40(11), 1250–1271.
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed