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.
10932 Publications
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: 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: 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 | 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
2007 | Published | Conference (Editor) | IST-REx-ID: 4530
Duparc, J., & Henzinger, T. A. (2007). CSL: Computer Science Logic . CSL: Computer Science Logic (Vol. 4646). Springer. https://doi.org/10.1007/978-3-540-74915-8
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4531
Fisher, J., Piterman, N., Hajnal, A., & Henzinger, T. A. (2007). Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.0030092
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4537
Chatterjee, K., & Henzinger, T. A. (2007). Assume-guarantee synthesis (Vol. 4424, pp. 261–275). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-540-71209-1_21
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4547
Chatterjee, K., Doyen, L., Henzinger, T. A., & Raskin, J. (2007). Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-3(3:4)2007
View
| DOI
2007 | Published | Thesis | IST-REx-ID: 4559
Chatterjee, K. (2007). Stochastic ω-Regular Games. University of California, Berkeley.
View
| Download (ext.)
2007 | Published | Thesis | IST-REx-ID: 4566
Chakrabarti, A. (2007). A framework for compositional design and analysis of systems. University of California, Berkeley.
View