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.
9126 Publications
2004 | Book Chapter | IST-REx-ID: 4461
Extreme model checking
T.A. Henzinger, R. Jhala, R. Majumdar, M. Sanvido, in:, Verification: Theory and Practice, Springer, 2004, pp. 332–358.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, M. Sanvido, in:, Verification: Theory and Practice, Springer, 2004, pp. 332–358.
2004 | Conference Paper | IST-REx-ID: 4459
Race checking by context inference
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2004, pp. 1–13.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2004, pp. 1–13.
2004 | Conference Paper | IST-REx-ID: 4525
Event-driven programming with logical execution times
A. Ghosal, T.A. Henzinger, C. Kirsch, M. Sanvido, in:, Springer, 2004, pp. 167–170.
View
| DOI
A. Ghosal, T.A. Henzinger, C. Kirsch, M. Sanvido, in:, Springer, 2004, pp. 167–170.
2004 | Conference Paper | IST-REx-ID: 4555
Trading memory for randomness
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2004, pp. 206–217.
View
| DOI
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2004, pp. 206–217.
2004 | Conference Paper | IST-REx-ID: 4558
Quantitative stochastic parity games
K. Chatterjee, M. Jurdziński, T.A. Henzinger, in:, SIAM, 2004, pp. 121–130.
View
K. Chatterjee, M. Jurdziński, T.A. Henzinger, in:, SIAM, 2004, pp. 121–130.
2004 | Journal Article | IST-REx-ID: 4556
Stack size analysis for interrupt-driven programs
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, Information and Computation 194 (2004) 144–174.
View
| DOI
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, Information and Computation 194 (2004) 144–174.
2004 | Conference Paper | IST-REx-ID: 4578
The BLAST query language for software verification
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.
View
| DOI
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.
2004 | Conference Paper | IST-REx-ID: 4577
An eclipse plug-in for model checking
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 251–255.
View
| DOI
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 251–255.
2004 | Conference Paper | IST-REx-ID: 4581
Generating tests from counterexamples
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 326–335.
View
| DOI
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 326–335.
2004 | Conference Paper | IST-REx-ID: 4629
Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Springer, 2004, pp. 77–92.
View
| DOI
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Springer, 2004, pp. 77–92.
2004 | Journal Article | IST-REx-ID: 6155
Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior
B.H.. Cheung, F. Arellano-Carbajal, I. Rybicki, M. de Bono, Current Biology 14 (2004) 1105–1111.
View
| DOI
| PubMed | Europe PMC
B.H.. Cheung, F. Arellano-Carbajal, I. Rybicki, M. de Bono, Current Biology 14 (2004) 1105–1111.
2004 | Journal Article | IST-REx-ID: 7334
Fuel cell modeling and simulations
J. Mantzaras, S.A. Freunberger, F.N. Büchi, M. Roos, W. Brandstätter, M. Prestat, L.J. Gauckler, B. Andreaus, F. Hajbolouri, S.M. Senn, D. Poulikakos, A.K. Chaniotis, D. Larrain, N. Autissier, F. Maréchal, CHIMIA International Journal for Chemistry 58 (2004) 857–868.
View
| DOI
J. Mantzaras, S.A. Freunberger, F.N. Büchi, M. Roos, W. Brandstätter, M. Prestat, L.J. Gauckler, B. Andreaus, F. Hajbolouri, S.M. Senn, D. Poulikakos, A.K. Chaniotis, D. Larrain, N. Autissier, F. Maréchal, CHIMIA International Journal for Chemistry 58 (2004) 857–868.
2004 | Journal Article | IST-REx-ID: 7333
Modular stack-internal air humidification concept-verification in a 1 kW stack
M. Santis, D. Schmid, M. Ruge, S.A. Freunberger, F.N. Büchi, Fuel Cells 4 (2004) 214–218.
View
| DOI
M. Santis, D. Schmid, M. Ruge, S.A. Freunberger, F.N. Büchi, Fuel Cells 4 (2004) 214–218.
2004 | 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
A. Panchenko, F. Kondrashov, S. Bryant, Protein Science 13 (2004) 884–892.
2004 | 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
F. Kondrashov, A. Ogurtsov, A. Kondrashov, Nucleic Acids Research 32 (2004) 1731–1737.
2004 | 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
F. Kondrashov, E. Koonin, Trends in Genetics 20 (2004) 287–291.
2004 | 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
A. Kern, F. Kondrashov, Nature Genetics 36 (2004) 1207–1212.
2004 | Journal Article | IST-REx-ID: 9493 |
Role of Arabidopsis ARGONAUTE4 in RNA-directed DNA methylation triggered by inverted repeats
D. Zilberman, X. Cao, L.K. Johansen, Z. Xie, J.C. Carrington, S.E. Jacobsen, Current Biology 14 (2004) 1214–1220.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Zilberman, X. Cao, L.K. Johansen, Z. Xie, J.C. Carrington, S.E. Jacobsen, Current Biology 14 (2004) 1214–1220.
2004 | Journal Article | IST-REx-ID: 9517 |
Genetic and functional diversification of small RNA pathways in plants
Z. Xie, L.K. Johansen, A.M. Gustafson, K.D. Kasschau, A.D. Lellis, D. Zilberman, S.E. Jacobsen, J.C. Carrington, PLoS Biology 2 (2004) 0642–0652.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
Z. Xie, L.K. Johansen, A.M. Gustafson, K.D. Kasschau, A.D. Lellis, D. Zilberman, S.E. Jacobsen, J.C. Carrington, PLoS Biology 2 (2004) 0642–0652.
2004 | Journal Article | IST-REx-ID: 9511 |
Silencing of transposons in plant genomes: kick them when they're down
D. Zilberman, S. Henikoff, Genome Biology 5 (2004).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Zilberman, S. Henikoff, Genome Biology 5 (2004).
2004 | 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
D. Dolgopyat, V. Kaloshin, L. Koralov, Communications on Pure and Applied Mathematics 57 (2004) 1127–1158.
2004 | 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
L. Koralov, V. Kaloshin, D. Dolgopyat, The Annals of Probability 32 (2004) 1–27.
2004 | 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
G. Bazykin, F. Kondrashov, A. Ogurtsov, S. Sunyaev, A. Kondrashov, Nature 429 (2004) 558–562.
2004 | Journal Article | IST-REx-ID: 902
The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint
C. Castillo Davis, F. Kondrashov, D. Hartl, R. Kulathinal, Genome Research 14 (2004) 802–811.
View
| DOI
C. Castillo Davis, F. Kondrashov, D. Hartl, R. Kulathinal, Genome Research 14 (2004) 802–811.
2004 | Journal Article | IST-REx-ID: 9454
RNA silencing genes control de novo DNA methylation
S.W.-L. Chan, D. Zilberman, Zhixin Xie, Lisa K. Johansen, J.C. Carrington, S.E. Jacobsen, Science 303 (2004) 1336.
View
| DOI
| PubMed | Europe PMC
S.W.-L. Chan, D. Zilberman, Zhixin Xie, Lisa K. Johansen, J.C. Carrington, S.E. Jacobsen, Science 303 (2004) 1336.
2004 | 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
Z. Liao, M. Chen, Y. Gong, L. Guo, Q. Tan, X. Feng, X. Sun, F. Tan, K. Tang, DNA Sequence 15 (2004) 153–158.
2004 | Journal Article | IST-REx-ID: 13435
Multicolour micropatterning of thin films of dry gels
R. Klajn, M. Fialkowski, I.T. Bensemann, A. Bitner, C.J. Campbell, K. Bishop, S. Smoukov, B.A. Grzybowski, Nature Materials 3 (2004) 729–735.
View
| DOI
| PubMed | Europe PMC
R. Klajn, M. Fialkowski, I.T. Bensemann, A. Bitner, C.J. Campbell, K. Bishop, S. Smoukov, B.A. Grzybowski, Nature Materials 3 (2004) 729–735.
2004 | Journal Article | IST-REx-ID: 13434
Color micro- and nanopatterning with counter-propagating reaction-diffusion fronts
C.J. Campbell, M. Fialkowski, R. Klajn, I.T. Bensemann, B.A. Grzybowski, Advanced Materials 16 (2004) 1912–1917.
View
| DOI
C.J. Campbell, M. Fialkowski, R. Klajn, I.T. Bensemann, B.A. Grzybowski, Advanced Materials 16 (2004) 1912–1917.
2004 | Journal Article | IST-REx-ID: 7706
Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase
A. Brunet, L.B. Sweeney, J.F. Sturgill, K. Chua, P. Greer, Y. Lin, H. Tran, S. Ross, R. Mostoslavsky, H. Cohen, L. Hu, H.-L. Chen, M. Jedrychowski, S. Gygi, D. Sinclair, F. Alt, M. Greenberg, Science 303 (2004) 2011–2015.
View
| DOI
A. Brunet, L.B. Sweeney, J.F. Sturgill, K. Chua, P. Greer, Y. Lin, H. Tran, S. Ross, R. Mostoslavsky, H. Cohen, L. Hu, H.-L. Chen, M. Jedrychowski, S. Gygi, D. Sinclair, F. Alt, M. Greenberg, Science 303 (2004) 2011–2015.
2003 | Journal Article | IST-REx-ID: 11122
The conserved Nup107-160 complex is critical for nuclear pore complex assembly
T.C. Walther, A. Alves, H. Pickersgill, I. Loı̈odice, M. Hetzer, V. Galy, B.B. Hülsmann, T. Köcher, M. Wilm, T. Allen, I.W. Mattaj, V. Doye, Cell 113 (2003) 195–206.
[Published Version]
View
| DOI
| PubMed | Europe PMC
T.C. Walther, A. Alves, H. Pickersgill, I. Loı̈odice, M. Hetzer, V. Galy, B.B. Hülsmann, T. Köcher, M. Wilm, T. Allen, I.W. Mattaj, V. Doye, Cell 113 (2003) 195–206.
2003 | Journal Article | IST-REx-ID: 11121
RanGTP mediates nuclear pore complex assembly
T.C. Walther, P. Askjaer, M. Gentzel, A. Habermann, G. Griffiths, M. Wilm, I.W. Mattaj, M. Hetzer, Nature 424 (2003) 689–694.
View
| DOI
| PubMed | Europe PMC
T.C. Walther, P. Askjaer, M. Gentzel, A. Habermann, G. Griffiths, M. Wilm, I.W. Mattaj, M. Hetzer, Nature 424 (2003) 689–694.
2003 | Journal Article | IST-REx-ID: 11766 |
Scheduling multicasts on unit-capacity trees and meshes
M.H. Henzinger, S. Leonardi, Journal of Computer and System Sciences 66 (2003) 567–611.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M.H. Henzinger, S. Leonardi, Journal of Computer and System Sciences 66 (2003) 567–611.
2003 | Journal Article | IST-REx-ID: 11764
Scheduling data transfers in a network and the set scheduling problem
A. Goel, M.H. Henzinger, S. Plotkin, E. Tardos, Journal of Algorithms 48 (2003) 314–332.
View
| DOI
A. Goel, M.H. Henzinger, S. Plotkin, E. Tardos, Journal of Algorithms 48 (2003) 314–332.
2003 | Conference Paper | IST-REx-ID: 11897
Improved algorithms for topic distillation in a hyperlinked environment
K. Bharat, M.H. Henzinger, in:, 21st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Association for Computing Machinery, 2003, pp. 104–111.
View
| DOI
K. Bharat, M.H. Henzinger, in:, 21st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Association for Computing Machinery, 2003, pp. 104–111.
2003 | Conference Paper | IST-REx-ID: 11860
Query-free news search
M.H. Henzinger, B.-W. Chang, B. Milch, S. Brin, in:, Proceedings of the 12th International Conference on World Wide Web, Association for Computing Machinery, 2003.
View
| Files available
| DOI
M.H. Henzinger, B.-W. Chang, B. Milch, S. Brin, in:, Proceedings of the 12th International Conference on World Wide Web, Association for Computing Machinery, 2003.
2003 | Conference Paper | IST-REx-ID: 11909 |
Challenges in web search engines
M.H. Henzinger, R. Motwani, C. Silverstein, in:, 18th International Joint Conference on Artificial Intelligence, Association for Computing Machinery, 2003, pp. 1573–1579.
[Published Version]
View
| Download Published Version (ext.)
M.H. Henzinger, R. Motwani, C. Silverstein, in:, 18th International Joint Conference on Artificial Intelligence, Association for Computing Machinery, 2003, pp. 1573–1579.
2003 | Journal Article | IST-REx-ID: 1457 |
Mirror symmetry, langlands duality, and the Hitchin system
T. Hausel, M. Thaddeus, Inventiones Mathematicae 153 (2003) 197–229.
View
| DOI
| Download (ext.)
T. Hausel, M. Thaddeus, Inventiones Mathematicae 153 (2003) 197–229.
2003 | Journal Article | IST-REx-ID: 1458 |
Relations in the cohomology ring of the moduli space of rank 2 Higgs bundles
T. Hausel, M. Thaddeus, Journal of the American Mathematical Society 16 (2003) 303–329.
View
| DOI
| Download (ext.)
T. Hausel, M. Thaddeus, Journal of the American Mathematical Society 16 (2003) 303–329.
2003 | Journal Article | IST-REx-ID: 1459 |
On Yang-Mills instantons over multi-centered gravitational instantons
G. Etesi, T. Hausel, Communications in Mathematical Physics 235 (2003) 275–288.
View
| DOI
| Download (ext.)
G. Etesi, T. Hausel, Communications in Mathematical Physics 235 (2003) 275–288.
2003 | Journal Article | IST-REx-ID: 166 |
Counting rational points on del Pezzo surfaces of degree 5
T.D. Browning, M. Swarbick Jones, Proceedings of the Bonn Session in Analytic Number Theory and Diophantine Equations 360 (2003).
View
| Download None (ext.)
| arXiv
T.D. Browning, M. Swarbick Jones, Proceedings of the Bonn Session in Analytic Number Theory and Diophantine Equations 360 (2003).
2003 | Journal Article | IST-REx-ID: 1959
The location of NuoL and NuoM subunits in the membrane domain of the Escherichia coli Complex I: implications for the mechanism of proton pumping
P. Holt, D. Morgan, L.A. Sazanov, Journal of Biological Chemistry 278 (2003) 43114–43120.
View
| DOI
P. Holt, D. Morgan, L.A. Sazanov, Journal of Biological Chemistry 278 (2003) 43114–43120.
2003 | Journal Article | IST-REx-ID: 1960
A role for native lipids in the stabilization and two dimensional crystallization of the Escherichia coli NADH ubiquinone oxidoreductase (complex I)
L.A. Sazanov, J. Carroll, P. Holt, L. Toime, I. Fearnley, Journal of Biological Chemistry 278 (2003) 19483–19491.
View
| DOI
L.A. Sazanov, J. Carroll, P. Holt, L. Toime, I. Fearnley, Journal of Biological Chemistry 278 (2003) 19483–19491.
2003 | Journal Article | IST-REx-ID: 205
Counting rational points on cubic and quartic surfaces
T.D. Browning, Acta Arithmetica 108 (2003) 275–295.
View
| DOI
T.D. Browning, Acta Arithmetica 108 (2003) 275–295.
2003 | Journal Article | IST-REx-ID: 206
A note on the distribution of rational points on threefolds
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 33–39.
View
| DOI
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 33–39.
2003 | Journal Article | IST-REx-ID: 207
Sums of four biquadrates
T.D. Browning, Mathematical Proceedings of the Cambridge Philosophical Society 134 (2003) 385–395.
View
| DOI
T.D. Browning, Mathematical Proceedings of the Cambridge Philosophical Society 134 (2003) 385–395.
2003 | Journal Article | IST-REx-ID: 208
Counting rational points on diagonal quadratic surfaces
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 11–31.
View
| DOI
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 11–31.
2003 | Conference Paper | IST-REx-ID: 2337 |
Bose-Einstein condensation of dilute gases in traps
É. Lieb, R. Seiringer, in:, Y. Karpeshina, R. Weikard, Y. Zeng (Eds.), American Mathematical Society, 2003, pp. 239–250.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, in:, Y. Karpeshina, R. Weikard, Y. Zeng (Eds.), American Mathematical Society, 2003, pp. 239–250.
2003 | Journal Article | IST-REx-ID: 2357 |
Poincaré inequalities in punctured domains
É. Lieb, R. Seiringer, J. Yngvason, Annals of Mathematics 158 (2003) 1067–1080.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Yngvason, Annals of Mathematics 158 (2003) 1067–1080.
2003 | Journal Article | IST-REx-ID: 2354 |
Ground state asymptotics of a dilute, rotating gas
R. Seiringer, Journal of Physics A: Mathematical and Theoretical 36 (2003) 9755–9778.
View
| DOI
| Download (ext.)
R. Seiringer, Journal of Physics A: Mathematical and Theoretical 36 (2003) 9755–9778.
2003 | Journal Article | IST-REx-ID: 2358 |
One-dimensional Bosons in three-dimensional traps
É. Lieb, R. Seiringer, J. Yngvason, Physical Review Letters 91 (2003) 1504011–1504014.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Yngvason, Physical Review Letters 91 (2003) 1504011–1504014.