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
Henzinger, Thomas A., and Christoph Kirsch. A Typed Assembly Language for Real-Time Programs. ACM, 2004, pp. 104–13, doi:10.1145/1017753.1017774.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4458
Henzinger, Thomas A., et al. Abstractions from Proofs. ACM, 2004, pp. 232–44, doi:10.1145/964001.964021.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4459
Henzinger, Thomas A., et al. Race Checking by Context Inference. ACM, 2004, pp. 1–13, doi:10.1145/996841.996844.
View
| DOI
2004 |
Published |
Book Chapter |
IST-REx-ID: 4461
Henzinger, Thomas A., et al. “Extreme Model Checking.” Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–58, doi:10.1007/978-3-540-39910-0_16.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4525
Ghosal, Arkadeb, et al. Event-Driven Programming with Logical Execution Times. Vol. 2993, Springer, 2004, pp. 167–70, doi:10.1007/978-3-540-24743-2_24.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4555
Chatterjee, Krishnendu, et al. Trading Memory for Randomness. IEEE, 2004, pp. 206–17, doi:10.1109/QEST.2004.10051.
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 4556
Chatterjee, Krishnendu, et al. “Stack Size Analysis for Interrupt-Driven Programs.” Information and Computation, vol. 194, no. 2, Elsevier, 2004, pp. 144–74, doi:10.1016/j.ic.2004.06.001.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4558
Chatterjee, Krishnendu, et al. Quantitative Stochastic Parity Games. SIAM, 2004, pp. 121–30.
View
2004 |
Published |
Conference Paper |
IST-REx-ID: 4577
Beyer, Dirk, et al. An Eclipse Plug-in for Model Checking. IEEE, 2004, pp. 251–55, doi:10.1109/WPC.2004.1311069 .
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4578
Beyer, Dirk, et al. The BLAST Query Language for Software Verification. Vol. 3148, Springer, 2004, pp. 2–18, doi:10.1007/978-3-540-27864-1_2.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4581
Beyer, Dirk, et al. Generating Tests from Counterexamples. IEEE, 2004, pp. 326–35, doi:10.1109/ICSE.2004.1317455.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4629
De Alfaro, Luca, et al. Model Checking Discounted Temporal Properties. Vol. 2988, Springer, 2004, pp. 77–92, doi:10.1007/978-3-540-24730-2_6.
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 847
Sunyaev, Shamil, et al. “Impact of Selection, Mutation Rate and Genetic Drift on Human Genetic Variation.” Human Molecular Genetics, vol. 12, no. 24, Oxford University Press, 2003, pp. 3325–30, doi:10.1093/hmg/ddg359.
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 8519
Kaloshin, Vadim. “The Existential Hilbert 16-Th Problem and an Estimate for Cyclicity of Elementary Polycycles.” Inventiones Mathematicae, vol. 151, no. 3, Springer Nature, 2003, pp. 451–512, doi:10.1007/s00222-002-0244-9.
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 876
Kondrashov, Fyodor, and Eugene 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, 2003, pp. 115–19, doi:10.1016/S0168-9525(02)00029-X.
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 166 |
Browning, Timothy D., 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
Holt, Peter, et al. “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, 2003, pp. 43114–20, doi:10.1074/jbc.M308247200.
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 1960
Sazanov, Leonid A., et al. “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, 2003, pp. 19483–91, doi:10.1074/jbc.M208959200.
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 205
Browning, Timothy D. “Counting Rational Points on Cubic and Quartic Surfaces.” Acta Arithmetica, vol. 108, no. 3, Instytut Matematyczny, 2003, pp. 275–95, doi:10.4064/aa108-3-7.
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 206
Browning, Timothy D. “A Note on the Distribution of Rational Points on Threefolds.” Quarterly Journal of Mathematics, vol. 54, no. 1, Unknown, 2003, pp. 33–39, doi:10.1093/qjmath/54.1.33.
View
| DOI