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.
8915 Publications
2007 | Published | Journal Article | IST-REx-ID: 4234 | 
de Vladar, H., & Pen, I. (2007). Determinism, noise, and spurious estimations in a generalised model of population growth. Physica A. Elsevier. https://doi.org/10.1016/j.physa.2006.06.025
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 | Published | Journal Article | IST-REx-ID: 4246
Free, A., & Barton, N. H. (2007). Do evolution and ecology need the Gaia hypothesis? Trends in Ecology and Evolution. Cell Press. https://doi.org/10.1016/j.tree.2007.07.007
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4247
Gardner, A., West, S., & Barton, N. H. (2007). The relation between multilocus population genetics and social evolution theory. American Naturalist. University of Chicago Press. https://doi.org/10.1086/510602
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4342
Danowski, P. (2007). Library 2.0 and User-Generated Content - What can the users do for us? Presented at the WLIC: World Library and Information Congress, Durban, South Africa: IFLA. https://doi.org/601
View
| DOI
| Download None (ext.)
2007 | Published | Journal Article | IST-REx-ID: 4343
Danowski, P., & Pfeifer, B. (2007). Wikipedia und Normdateien: Wege der Vernetzung am Beispiel der Kooperation mit der Personennamendatei. Bibliothek - Forschung Und Praxis. De Gruyter. https://doi.org/485
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4344
Danowski, P., & Heller, L. (2007). Bibliothek 2.0 ? Wird alles anders? Bibliothek - Forschung Und Praxis. De Gruyter. https://doi.org/45
View
| DOI
| Download (ext.)
2007 | Published | Journal Article | IST-REx-ID: 4353
Binladen, J., Gilbert, M. T., Bollback, J. P., Panitz, F., Bendixen, C., Nielsen, R., & Willerslev, E. (2007). The use of coded PCR primers enables high-throughput sequencing of multiple homolog amplification products by 454 parallel sequencing. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0000197
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4354
Freyhult, E., Bollback, J. P., & Gardner, P. (2007). Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA. Genome Research. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gr.5890907
View
| DOI
| Download (ext.)
2007 | Published | Journal Article | IST-REx-ID: 4355
Bollback, J. P., & Huelsenbeck, J. (2007). Clonal interference is alleviated by high mutation rates in large populations. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msm056
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4356
Petersen, L., Bollback, J. P., Dimmic, M., Hubisz, M., & Nielsen, R. (2007). Genes under positive selection in Escherichia coli. Genome Research. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gr.6254707
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4368
Nickovic, D., & Maler, O. (2007). AMT: a property-based monitoring tool for analog systems (pp. 304–319). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1567
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4370
Maler, O., Nickovic, D., & Pnueli, A. (2007). On synthesizing controllers from bounded-response properties (pp. 95–107). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/1568
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4394
Bouillaguet, C., Kuncak, V., Wies, T., Zee, K., & Rinard, M. (2007). Using First-Order Theorem Provers in the Jahob Data Structure Verification System (pp. 74–88). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer. https://doi.org/1552
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4398
Berdine, J., Calcagno, C., Cook, B., Distefano, D., O’Hearn, P., Wies, T., & Yang, H. (2007). Shape Analysis for Composite Data Structures (pp. 178–192). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/1553
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4399
Beyer, D., Henzinger, T. A., & Singh, V. (2007). Algorithms for interface synthesis (Vol. 4590, pp. 4–19). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-73368-3_4
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4402
Alur, R., Cerny, P., & Chaudhuri, S. (2007). Model Checking on Trees with Path Equivalences (pp. 664–678). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/1544
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4405
Schaub, M., Henzinger, T. A., & Fisher, J. (2007). Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Systems Biology. BioMed Central. https://doi.org/10.1186/1752-0509-1-4
View
| DOI
| Download (ext.)
2007 | Published | Book Chapter | IST-REx-ID: 4417
Manevich, R., Field, J., Henzinger, T. A., Ramalingam, G., & Sagiv, M. (2007). Abstract counterexample-based refinement for powerset domains. In Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday (Vol. 4444, pp. 273–292). Springer. https://doi.org/10.1007/978-3-540-71322-7_13
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4446
Henzinger, T. A., & Kirsch, C. (2007). The embedded machine: Predictable, portable real-time code. ACM Transactions on Programming Languages and Systems (TOPLAS). ACM. https://doi.org/10.1145/1286821.1286824
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4511
Henzinger, T. A. (2007). Quantitative generalizations of languages (Vol. 4588, pp. 20–22). Presented at the DLT: Developments in Language Theory, Springer. https://doi.org/10.1007/978-3-540-73208-2_2
View
| DOI