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.

11357 Publications


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(2), 130–136.
View | DOI
 

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. 5th International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4763, 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. 19th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 4590, 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. 8th International Conference on Verification, Model Checking, and Abstract Interpretation. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 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. 19th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 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. 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 4424, 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
 

2007 | Published | Conference Paper | IST-REx-ID: 4511
Henzinger TA. 2007. Quantitative generalizations of languages. DLT: Developments in Language Theory, LNCS, vol. 4588, 20–22.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4514
Henzinger TA. 2007. Games, time, and probability: Graph models for system design and analysis. SOFSEM: Current Trends in Theory and Practice of Computer Science, LNCS, vol. 4362, 103–110.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4529
Fisher J, Henzinger TA. 2007. Executable cell biology. Nature Biotechnology. 25, 1239–1249.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed