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


2005 | Published | Conference Paper | IST-REx-ID: 4457
Composable code generation for distributed Giotto
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2005, pp. 21–30.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4536
Automatic rectangular refinement of affine hybrid systems
L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2005, pp. 144–161.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4541
Semiperfect-information games
K. Chatterjee, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4553
The complexity of stochastic Rabin and Streett games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 878–890.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4554
Mean-payoff parity games
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, IEEE, 2005, pp. 178–187.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4557
Counterexample-guided planning
K. Chatterjee, T.A. Henzinger, R. Jhala, R. Majumdar, in:, AUAI Press, 2005, pp. 104–111.
View | Download (ext.)
 

2005 | Published | Conference Paper | IST-REx-ID: 4560
Verifying quantitative properties using bound functions
A. Chakrabarti, K. Chatterjee, T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2005, pp. 50–64.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4576
Web service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, ACM, 2005, pp. 148–159.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4579
Checking memory safety with BLAST
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2005, pp. 2–18.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4624
Interface-based design
L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 83–104.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 4625
Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, Theoretical Computer Science 345 (2005) 139–170.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 12203
A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides
Z. Liao, M. Chen, Y. Gong, L. Guo, Q. Tan, X. Feng, X. Sun, F. Tan, K. Tang, DNA Sequence 15 (2004) 153–158.
View | DOI | PubMed | Europe PMC
 

2004 | Published | Journal Article | IST-REx-ID: 12658
Spatial and temporal variability of meteorological variables at Haut Glacier d'Arolla (Switzerland) during the ablation season 2001: Measurements and simulations
U. Strasser, J. Corripio, F. Pellicciotti, P. Burlando, B. Brock, M. Funk, Journal of Geophysical Research: Atmospheres 109 (2004).
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 8517
A limit shape theorem for periodic stochastic dispersion
D. Dolgopyat, V. Kaloshin, L. Koralov, Communications on Pure and Applied Mathematics 57 (2004) 1127–1158.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 8518
Sample path properties of the stochastic flows
L. Koralov, V. Kaloshin, D. Dolgopyat, The Annals of Probability 32 (2004) 1–27.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 864
Prediction of functional sites by analysis of sequence and structure conservation
A. Panchenko, F. Kondrashov, S. Bryant, Protein Science 13 (2004) 884–892.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 870
Bioinformatical assay of human gene morbidity
F. Kondrashov, A. Ogurtsov, A. Kondrashov, Nucleic Acids Research 32 (2004) 1731–1737.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 875
A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications
F. Kondrashov, E. Koonin, Trends in Genetics 20 (2004) 287–291.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 889
Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs
A. Kern, F. Kondrashov, Nature Genetics 36 (2004) 1207–1212.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 898
Positive selection at sites of multiple amino acid replacements since rat-mouse divergence
G. Bazykin, F. Kondrashov, A. Ogurtsov, S. Sunyaev, A. Kondrashov, Nature 429 (2004) 558–562.
View | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed