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.
216 Publications
2007 |
Published |
Journal Article |
IST-REx-ID: 4226
Kicheva A, Pantazis P, Bollenbach T, et al. Kinetics of morphogen gradient formation. Science. 2007;315(5811):521-525. doi:10.1126/science.1135774
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4233
de Vladar H. Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas. In: Falcón N, Loyo De Sardi Y, eds. Consejo de Desarrollo Cientifico y Tecnologico; 2007:91-109.
View
2007 |
Published |
Journal Article |
IST-REx-ID: 4234 |
de Vladar H, Pen I. Determinism, noise, and spurious estimations in a generalised model of population growth. Physica A. 2007;373:477-485. doi: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 NH. Do evolution and ecology need the Gaia hypothesis? Trends in Ecology and Evolution. 2007;22(11):611-619. doi:10.1016/j.tree.2007.07.007
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 4247
Gardner A, West S, Barton NH. The relation between multilocus population genetics and social evolution theory. American Naturalist. 2007;169(2):207-226. doi:10.1086/510602
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4342
Danowski P. Library 2.0 and User-Generated Content - What can the users do for us? In: IFLA; 2007. doi:601
View
| DOI
| Download None (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 4343
Danowski P, Pfeifer B. Wikipedia und Normdateien: Wege der Vernetzung am Beispiel der Kooperation mit der Personennamendatei. Bibliothek - Forschung und Praxis. 2007;31(2):149-155. doi:10.1515/BFUP.2007.149
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 4344
Danowski P, Heller L. Bibliothek 2.0? Wird alles anders? Bibliothek - Forschung und Praxis. 2007;31(2):130-136. doi:10.1515/BFUP.2007.130
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 4353
Binladen J, Gilbert MT, Bollback JP, et al. The use of coded PCR primers enables high-throughput sequencing of multiple homolog amplification products by 454 parallel sequencing. PLoS One. 2007;2(2). doi:10.1371/journal.pone.0000197
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 4354
Freyhult E, Bollback JP, Gardner P. Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA. Genome Research. 2007;17(1):117-125. doi:10.1101/gr.5890907
View
| DOI
| Download (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 4355
Bollback JP, Huelsenbeck J. Clonal interference is alleviated by high mutation rates in large populations. Molecular Biology and Evolution. 2007;24(6):1397-1406. doi:10.1093/molbev/msm056
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 4356
Petersen L, Bollback JP, Dimmic M, Hubisz M, Nielsen R. Genes under positive selection in Escherichia coli. Genome Research. 2007;17(9):1336-1343. doi:10.1101/gr.6254707
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4368
Nickovic D, Maler O. AMT: A property-based monitoring tool for analog systems. In: 5th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 4763. Springer; 2007:304-319. doi:10.1007/978-3-540-75454-1_22
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4370
Maler O, Nickovic D, Pnueli A. On synthesizing controllers from bounded-response properties. In: 19th International Conference on Computer Aided Verification. Vol 4590. Springer; 2007:95-107. doi: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. 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. Springer; 2007:74-88. doi:10.1007/978-3-540-69738-1_5
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4398
Berdine J, Calcagno C, Cook B, et al. Shape analysis for composite data structures. In: 19th International Conference on Computer Aided Verification. Vol 4590. Springer; 2007:178-192. doi:10.1007/978-3-540-73368-3_22
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4399
Beyer D, Henzinger TA, Singh V. Algorithms for interface synthesis. In: Vol 4590. Springer; 2007:4-19. doi:10.1007/978-3-540-73368-3_4
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4402
Alur R, Cerny P, Chaudhuri S. Model checking on trees with path equivalences. In: 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 4424. Springer; 2007:664-678. doi:10.1007/978-3-540-71209-1_51
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 4405
Schaub M, Henzinger TA, Fisher J. Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Systems Biology. 2007;1(4). doi:10.1186/1752-0509-1-4
View
| DOI
| Download (ext.)
2007 |
Published |
Book Chapter |
IST-REx-ID: 4417
Manevich R, Field J, Henzinger TA, Ramalingam G, Sagiv M. 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. Springer; 2007:273-292. doi:10.1007/978-3-540-71322-7_13
View
| DOI