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


2004 | Published | Conference Paper | IST-REx-ID: 4445
T. A. Henzinger and C. Kirsch, “A typed assembly language for real-time programs,” presented at the EMSOFT: Embedded Software , 2004, pp. 104–113.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4458
T. A. Henzinger, R. Jhala, R. Majumdar, and K. Mcmillan, “Abstractions from proofs,” presented at the POPL: Principles of Programming Languages, 2004, pp. 232–244.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4459
T. A. Henzinger, R. Jhala, and R. Majumdar, “Race checking by context inference,” presented at the PLDI: Programming Languages Design and Implementation, 2004, pp. 1–13.
View | DOI
 

2004 | Published | Book Chapter | IST-REx-ID: 4461
T. A. Henzinger, R. Jhala, R. Majumdar, and M. Sanvido, “Extreme model checking,” in Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–358.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4525
A. Ghosal, T. A. Henzinger, C. Kirsch, and M. Sanvido, “Event-driven programming with logical execution times,” presented at the HSCC: Hybrid Systems - Computation and Control, 2004, vol. 2993, pp. 167–170.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4555
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Trading memory for randomness,” presented at the QEST: Quantitative Evaluation of Systems, 2004, pp. 206–217.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 4556
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T. A. Henzinger, and J. Palsberg, “Stack size analysis for interrupt-driven programs,” Information and Computation, vol. 194, no. 2. Elsevier, pp. 144–174, 2004.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4558
K. Chatterjee, M. Jurdziński, and T. A. Henzinger, “Quantitative stochastic parity games,” presented at the SODA: Symposium on Discrete Algorithms, 2004, pp. 121–130.
View
 

2004 | Published | Conference Paper | IST-REx-ID: 4577
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “An eclipse plug-in for model checking,” presented at the IWPC: Program Comprehension, 2004, pp. 251–255.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4578
D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “The BLAST query language for software verification,” presented at the SAS: Static Analysis Symposium, 2004, vol. 3148, pp. 2–18.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4581
D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “Generating tests from counterexamples,” presented at the ICSE: Software Engineering, 2004, pp. 326–335.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4629
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Model checking discounted temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2004, vol. 2988, pp. 77–92.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 847
S. Sunyaev, F. Kondrashov, P. Bork, and V. Ramensky, “Impact of selection, mutation rate and genetic drift on human genetic variation,” Human Molecular Genetics, vol. 12, no. 24. Oxford University Press, pp. 3325–3330, 2003.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 8519
V. Kaloshin, “The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles,” Inventiones mathematicae, vol. 151, no. 3. Springer Nature, pp. 451–512, 2003.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 876
F. Kondrashov and E. Koonin, “Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences,” Trends in Genetics, vol. 19, no. 3. Elsevier, pp. 115–119, 2003.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 166 | OA
T. D. Browning and M. Swarbick Jones, “Counting rational points on del Pezzo surfaces of degree 5,” Proceedings of the Bonn session in analytic number theory and diophantine equations, vol. 360. Mathematisches Institut der Universität Bonn, 2003.
View | Download None (ext.) | arXiv
 

2003 | Published | Journal Article | IST-REx-ID: 1959
P. Holt, D. Morgan, and L. A. Sazanov, “The location of NuoL and NuoM subunits in the membrane domain of the Escherichia coli Complex I: implications for the mechanism of proton pumping,” Journal of Biological Chemistry, vol. 278, no. 44. American Society for Biochemistry and Molecular Biology, pp. 43114–43120, 2003.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 1960
L. A. Sazanov, J. Carroll, P. Holt, L. Toime, and I. Fearnley, “A role for native lipids in the stabilization and two dimensional crystallization of the Escherichia coli NADH ubiquinone oxidoreductase (complex I),” Journal of Biological Chemistry, vol. 278, no. 21. American Society for Biochemistry and Molecular Biology, pp. 19483–19491, 2003.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 205
T. D. Browning, “Counting rational points on cubic and quartic surfaces,” Acta Arithmetica, vol. 108, no. 3. Instytut Matematyczny, pp. 275–295, 2003.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 206
T. D. Browning, “A note on the distribution of rational points on threefolds,” Quarterly Journal of Mathematics, vol. 54, no. 1. Unknown, pp. 33–39, 2003.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed