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 | 
Vladar, Harold de, and I. Pen. “Determinism, Noise, and Spurious Estimations in a Generalised Model of Population Growth.” Physica A. Elsevier, 2007. 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, Andrew, and Nicholas H Barton. “Do Evolution and Ecology Need the Gaia Hypothesis?” Trends in Ecology and Evolution. Cell Press, 2007. https://doi.org/10.1016/j.tree.2007.07.007.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4247
Gardner, Andy, Stuart West, and Nicholas H Barton. “The Relation between Multilocus Population Genetics and Social Evolution Theory.” American Naturalist. University of Chicago Press, 2007. https://doi.org/10.1086/510602.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4342
Danowski, Patrick. “Library 2.0 and User-Generated Content - What Can the Users Do for Us?” IFLA, 2007. https://doi.org/601.
View
| DOI
| Download None (ext.)
2007 | Published | Journal Article | IST-REx-ID: 4343
Danowski, Patrick, and Barbara Pfeifer. “Wikipedia Und Normdateien: Wege Der Vernetzung Am Beispiel Der Kooperation Mit Der Personennamendatei.” Bibliothek - Forschung Und Praxis. De Gruyter, 2007. https://doi.org/485.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4344
Danowski, Patrick, and Lambert Heller. “Bibliothek 2.0 ? Wird Alles Anders?” Bibliothek - Forschung Und Praxis. De Gruyter, 2007. https://doi.org/45.
View
| DOI
| Download (ext.)
2007 | Published | Journal Article | IST-REx-ID: 4353
Binladen, Jonas, M Thomas Gilbert, Jonathan P Bollback, Frank Panitz, Christian Bendixen, Rasmus Nielsen, and Eske Willerslev. “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, 2007. https://doi.org/10.1371/journal.pone.0000197.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4354
Freyhult, Eva, Jonathan P Bollback, and Paul Gardner. “Exploring Genomic Dark Matter: A Critical Assessment of the Performance of Homology Search Methods on Noncoding RNA.” Genome Research. Cold Spring Harbor Laboratory Press, 2007. https://doi.org/10.1101/gr.5890907.
View
| DOI
| Download (ext.)
2007 | Published | Journal Article | IST-REx-ID: 4355
Bollback, Jonathan P, and John Huelsenbeck. “Clonal Interference Is Alleviated by High Mutation Rates in Large Populations.” Molecular Biology and Evolution. Oxford University Press, 2007. https://doi.org/10.1093/molbev/msm056.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4356
Petersen, Lise, Jonathan P Bollback, Matt Dimmic, Melissa Hubisz, and Rasmus Nielsen. “Genes under Positive Selection in Escherichia Coli.” Genome Research. Cold Spring Harbor Laboratory Press, 2007. https://doi.org/10.1101/gr.6254707.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4368
Nickovic, Dejan, and Oded Maler. “AMT: A Property-Based Monitoring Tool for Analog Systems,” 304–19. Springer, 2007. https://doi.org/1567.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4370
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “On Synthesizing Controllers from Bounded-Response Properties,” 95–107. Springer, 2007. https://doi.org/1568.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4394
Bouillaguet, Charles, Viktor Kuncak, Thomas Wies, Karen Zee, and Martin Rinard. “Using First-Order Theorem Provers in the Jahob Data Structure Verification System,” 74–88. Springer, 2007. https://doi.org/1552.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4398
Berdine, Josh, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter O’Hearn, Thomas Wies, and Hongseok Yang. “Shape Analysis for Composite Data Structures,” 178–92. Springer, 2007. https://doi.org/1553.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4399
Beyer, Dirk, Thomas A Henzinger, and Vasu Singh. “Algorithms for Interface Synthesis,” 4590:4–19. Springer, 2007. https://doi.org/10.1007/978-3-540-73368-3_4.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4402
Alur, Rajeev, Pavol Cerny, and Swarat Chaudhuri. “Model Checking on Trees with Path Equivalences,” 664–78. Springer, 2007. https://doi.org/1544.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4405
Schaub, Marc, Thomas A Henzinger, and Jasmin Fisher. “Qualitative Networks: A Symbolic Approach to Analyze Biological Signaling Networks.” BMC Systems Biology. BioMed Central, 2007. https://doi.org/10.1186/1752-0509-1-4.
View
| DOI
| Download (ext.)
2007 | Published | Book Chapter | IST-REx-ID: 4417
Manevich, Roman, John Field, Thomas A Henzinger, Ganesan Ramalingam, and Mooly Sagiv. “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, 4444:273–92. Springer, 2007. https://doi.org/10.1007/978-3-540-71322-7_13.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4446
Henzinger, Thomas A, and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code.” ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, 2007. https://doi.org/10.1145/1286821.1286824.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4511
Henzinger, Thomas A. “Quantitative Generalizations of Languages,” 4588:20–22. Springer, 2007. https://doi.org/10.1007/978-3-540-73208-2_2.
View
| DOI