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.

208 Publications


2007 | Published | Conference Paper | IST-REx-ID: 4233
de Vladar H. 2007. Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas. Ab Initio: Orígenes Del Universo, La Vida, Y La Inteligencia, 91–109.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4234 | OA
de Vladar H, Pen I. 2007. Determinism, noise, and spurious estimations in a generalised model of population growth. Physica A. 373, 477–485.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Published | Journal Article | IST-REx-ID: 4246
Free A, Barton NH. 2007. Do evolution and ecology need the Gaia hypothesis? Trends in Ecology and Evolution. 22(11), 611–619.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4247
Gardner A, West S, Barton NH. 2007. The relation between multilocus population genetics and social evolution theory. American Naturalist. 169(2), 207–226.
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? WLIC: World Library and Information Congress.
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. 31(2), 149–155.
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. 31(2007), 130–136.
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 4353
Binladen J, Gilbert MT, Bollback JP, 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. 2(2).
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4354
Freyhult E, Bollback JP, Gardner P. 2007. Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA. Genome Research. 17(1), 117–25.
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 4355
Bollback JP, Huelsenbeck J. 2007. Clonal interference is alleviated by high mutation rates in large populations. Molecular Biology and Evolution. 24(6), 1397–1406.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4356
Petersen L, Bollback JP, Dimmic M, Hubisz M, Nielsen R. 2007. Genes under positive selection in Escherichia coli. Genome Research. 17(9), 1336–1343.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4368
Nickovic D, Maler O. 2007. AMT: a property-based monitoring tool for analog systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 304–319.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4370
Maler O, Nickovic D, Pnueli A. 2007. On synthesizing controllers from bounded-response properties. CAV: Computer Aided Verification, Lecture Notes in Computer Science, , 95–107.
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. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS 4349, , 74–88.
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. CAV: Computer Aided Verification, LNCS 4590, , 178–192.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4399
Beyer D, Henzinger TA, Singh V. 2007. Algorithms for interface synthesis. CAV: Computer Aided Verification, LNCS, vol. 4590, 4–19.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4402
Alur R, Cerny P, Chaudhuri S. 2007. Model Checking on Trees with Path Equivalences. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, , 664–678.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4405
Schaub M, Henzinger TA, Fisher J. 2007. Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Systems Biology. 1(4).
View | DOI | Download (ext.)
 

2007 | Published | Book Chapter | IST-REx-ID: 4417
Manevich R, Field J, Henzinger TA, 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. LNCS, vol. 4444, 273–292.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4446
Henzinger TA, Kirsch C. 2007. The embedded machine: Predictable, portable real-time code. ACM Transactions on Programming Languages and Systems (TOPLAS). 29(393).
View | DOI
 

Filters and Search Terms

year=2007

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed