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.
8924 Publications
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
2007 |
Published |
Conference Paper |
IST-REx-ID: 4514
Henzinger, Thomas A. “Games, Time, and Probability: Graph Models for System Design and Analysis,” 4362:103–10. Springer, 2007. https://doi.org/10.1007/978-3-540-69507-3_7.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 4529
Fisher, Jasmin, and Thomas A Henzinger. “Executable Cell Biology.” Nature Biotechnology. Nature Publishing Group, 2007. https://doi.org/10.1038/nbt1356.
View
| DOI
2007 |
Published |
Conference (Editor) |
IST-REx-ID: 4530
Duparc, Jacques, and Thomas A Henzinger. CSL: Computer Science Logic . CSL: Computer Science Logic. Vol. 4646. Springer, 2007. https://doi.org/10.1007/978-3-540-74915-8.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 4531
Fisher, Jasmin, Nir Piterman, Alex Hajnal, and Thomas A Henzinger. “Predictive Modeling of Signaling Crosstalk during C. Elegans Vulval Development.” PLoS Computational Biology. Public Library of Science, 2007. https://doi.org/10.1371/journal.pcbi.0030092.
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4537
Chatterjee, Krishnendu, and Thomas A Henzinger. “Assume-Guarantee Synthesis,” 4424:261–75. Springer, 2007. https://doi.org/10.1007/978-3-540-71209-1_21.
View
| DOI