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, Fyodor, Aleksey Ogurtsov, and Alexey Kondrashov. “Selection in Favor of Nucleotides G and C Diversifies Evolution Rates and Levels of Polymorphism at Mammalian Synonymous Sites.” Journal of Theoretical Biology. Elsevier, 2006. https://doi.org/10.1016/j.jtbi.2005.10.020.
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 873
Kondrashov, Fyodor, and Alexey Kondrashov. “Role of Selection in Fixation of Gene Duplications.” Journal of Theoretical Biology. Elsevier, 2006. https://doi.org/10.1016/j.jtbi.2005.08.033.
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 903
Babenko, Vladimir, Malay Basu, Fyodor Kondrashov, Igor Rogozin, and Eugene Koonin. “Signs of Positive Selection of Somatic Mutations in Human Cancers Detected by EST Sequence Analysis.” BMC Cancer. BioMed Central, 2006. https://doi.org/10.1186/1471-2407-6-36.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4359
Wies, Thomas, Viktor Kuncak, Patrick Lam, Andreas Podelski, and Martin Rinard. “Field Constraint Analysis.” In 7th International Conference on Verification, Model Checking, and Abstract Interpretation, 3855:157–73. Springer, 2006. https://doi.org/10.1007/11609773_11.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4401
Alur, Rajeev, Pavol Cerny, and Steve Zdancewic. “Preserving Secrecy under Refinement.” In 33rd International Colloquium on Automata, Languages and Programming, 4052:107–18. Springer, 2006. https://doi.org/10.1007/11787006_10.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4373
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Real Time Temporal Logic: Past, Present, Future.” In Third International Conference on Formal Modeling and Analysis of Timed Systems, 3829:2–16. Springer, 2006. https://doi.org/10.1007/11603009_2.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4374
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “From MITL to Timed Automata.” In 4th International Conference on Formal Modeling and Analysis of Timed Systems, 4202:274–89. Springer, 2006. https://doi.org/10.1007/11867340_20.
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 4235
Vladar, Harold de, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.” Journal of Theoretical Biology. Elsevier, 2006. https://doi.org/10.1016/j.jtbi.2005.11.016.
View
| Files available
| DOI
2006 | Published | Journal Article | IST-REx-ID: 4237
Vladar, Harold de. “Density-Dependence as a Size-Independent Regulatory Mechanism.” Journal of Theoretical Biology. Elsevier, 2006. https://doi.org/10.1016/j.jtbi.2005.05.014.
View
| DOI
| arXiv
2006 | Published | Journal Article | IST-REx-ID: 4345
Danowski, Patrick, and Lambert Heller. “Bibliothek 2.0 - Die Bibliothek Der Zukunft?” Bibliotheksdienst. De Gruyter, 2006. https://doi.org/10.1515/bd.2006.40.11.1259.
View
| DOI