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: 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
 

2007 | Published | Conference (Editor) | IST-REx-ID: 4530
Duparc J, Henzinger TA. 2007. CSL: Computer Science Logic , Springer,p.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4531
Fisher J, Piterman N, Hajnal A, Henzinger TA. 2007. Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Computational Biology. 3(5):e92.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4537
Chatterjee K, Henzinger TA. 2007. Assume-guarantee synthesis. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 4424, 261–275.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4547
Chatterjee K, Doyen L, Henzinger TA, Raskin J. 2007. Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science. 3(184), 1–23.
View | DOI
 

2007 | Published | Thesis | IST-REx-ID: 4559
Chatterjee K. 2007. Stochastic ω-Regular Games. University of California, Berkeley.
View | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed