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.
11357 Publications
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/10.1515/BFUP.2007.149
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/10.1515/BFUP.2007.130
View
| DOI
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. In 5th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 4763, pp. 304–319). Salzburg, Austria: Springer. https://doi.org/10.1007/978-3-540-75454-1_22
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4370
Maler, O., Nickovic, D., & Pnueli, A. (2007). On synthesizing controllers from bounded-response properties. In 19th International Conference on Computer Aided Verification (Vol. 4590, pp. 95–107). Berlin, Germany: Springer. https://doi.org/10.1007/978-3-540-73368-3_12
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. In 8th International Conference on Verification, Model Checking, and Abstract Interpretation (Vol. 4349, pp. 74–88). Nice, France: Springer. https://doi.org/10.1007/978-3-540-69738-1_5
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. In 19th International Conference on Computer Aided Verification (Vol. 4590, pp. 178–192). Berlin, Germany: Springer. https://doi.org/10.1007/978-3-540-73368-3_22
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. In 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 4424, pp. 664–678). Braga, Portugal: Springer. https://doi.org/10.1007/978-3-540-71209-1_51
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
2007 |
Published |
Conference Paper |
IST-REx-ID: 4514
Henzinger, T. A. (2007). Games, time, and probability: Graph models for system design and analysis (Vol. 4362, pp. 103–110). Presented at the SOFSEM: Current Trends in Theory and Practice of Computer Science, Springer. https://doi.org/10.1007/978-3-540-69507-3_7
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 4529
Fisher, J., & Henzinger, T. A. (2007). Executable cell biology. Nature Biotechnology. Nature Publishing Group. https://doi.org/10.1038/nbt1356
View
| DOI