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.
1966 Publications
2004 | Published | Conference Paper | IST-REx-ID: 11801
Algorithmic aspects of web search engines
M. Henzinger, in:, 2th Annual European Symposium on Algorithms, Springer Nature, 2004, p. 3.
View
| DOI
M. Henzinger, in:, 2th Annual European Symposium on Algorithms, Springer Nature, 2004, p. 3.
2004 | Published | Journal Article | IST-REx-ID: 17728 | 
Photoionization feedback in low‐mass galaxies at high redshift
M. Dijkstra, Z. Haiman, M.J. Rees, D.H. Weinberg, The Astrophysical Journal 601 (2004) 666–675.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Dijkstra, Z. Haiman, M.J. Rees, D.H. Weinberg, The Astrophysical Journal 601 (2004) 666–675.
2004 | Published | Journal Article | IST-REx-ID: 17743 |
Modeling the counts of faint radio‐loud quasars: Constraints on the supermassive black hole population and predictions for high redshift
Z. Haiman, E. Quataert, G.C. Bower, The Astrophysical Journal 612 (2004) 698–705.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Z. Haiman, E. Quataert, G.C. Bower, The Astrophysical Journal 612 (2004) 698–705.
2004 | Published | Journal Article | IST-REx-ID: 17763 |
Constraints from gravitational recoil on the growth of supermassive black holes at high redshift
Z. Haiman, The Astrophysical Journal 613 (2004) 36–40.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Z. Haiman, The Astrophysical Journal 613 (2004) 36–40.
2004 | Published | Journal Article | IST-REx-ID: 17775 |
Reasoning from fossils: Learning from the local black hole population about the evolution of quasars
Z. Haiman, L. Ciotti, J.P. Ostriker, The Astrophysical Journal 606 (2004) 763–773.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Z. Haiman, L. Ciotti, J.P. Ostriker, The Astrophysical Journal 606 (2004) 763–773.
2004 | Published | Journal Article | IST-REx-ID: 17790 |
A snapshot survey for gravitational lenses among z ≥ 4.0 quasars. I. The z >5.7 sample
G.T. Richards, M.A. Strauss, B. Pindor, Z. Haiman, X. Fan, D. Eisenstein, D.P. Schneider, N.A. Bahcall, J. Brinkmann, R. Brunner, The Astronomical Journal 127 (2004) 1305–1312.
[Published Version]
View
| DOI
| Download Published Version (ext.)
G.T. Richards, M.A. Strauss, B. Pindor, Z. Haiman, X. Fan, D. Eisenstein, D.P. Schneider, N.A. Bahcall, J. Brinkmann, R. Brunner, The Astronomical Journal 127 (2004) 1305–1312.
2004 | Published | Journal Article | IST-REx-ID: 2356 |
One-dimensional behavior of dilute, trapped Bose gases
É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 244 (2004) 347–393.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 244 (2004) 347–393.
2004 | Published | Journal Article | IST-REx-ID: 2639
GABAergic basket cells expressing cholecystokinin contain vesicular glutamate transporter type 3 (VGLUT3) in their synaptic terminals in hippocampus and isocortex of the rat
J. Somogyi, A. Baude, Y. Omori, H. Shimizu, S. El Mestikawy, M. Fukaya, R. Shigemoto, M. Watanabe, P. Somogyi, European Journal of Neuroscience 19 (2004) 552–569.
View
| DOI
J. Somogyi, A. Baude, Y. Omori, H. Shimizu, S. El Mestikawy, M. Fukaya, R. Shigemoto, M. Watanabe, P. Somogyi, European Journal of Neuroscience 19 (2004) 552–569.
2004 | Published | Journal Article | IST-REx-ID: 2642
Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus
F. Ferraguti, P. Cobden, M. Pollard, D. Cope, R. Shigemoto, M. Watanabe, P. Somogyi, Hippocampus 14 (2004) 193–215.
View
| DOI
F. Ferraguti, P. Cobden, M. Pollard, D. Cope, R. Shigemoto, M. Watanabe, P. Somogyi, Hippocampus 14 (2004) 193–215.
2004 | Published | Journal Article | IST-REx-ID: 2998
The chromatin remodelling complex FACT associates with actively transcribed regions of the Arabidopsis genome
M. Duroux, A. Houben, K. Růžička, J. Friml, K. Grasser, Plant Journal 40 (2004) 660–671.
View
| DOI
M. Duroux, A. Houben, K. Růžička, J. Friml, K. Grasser, Plant Journal 40 (2004) 660–671.
2004 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | Conference Paper | IST-REx-ID: 18333
Optimal sparse representations for blind deconvolution of images
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, in:, 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, 2004, pp. 500–507.
View
| DOI
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, in:, 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, 2004, pp. 500–507.
2004 | Published | Conference Paper | IST-REx-ID: 18335
QML blind deconvolution: Asymptotic analysis
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, in:, Proceedings of the 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, 2004, pp. 677–684.
View
| DOI
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, in:, Proceedings of the 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, 2004, pp. 677–684.
2004 | Published | 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 | Published | Conference Paper | IST-REx-ID: 3208
Composition of random systems: When two weak make one strong
U. Maurer, K.Z. Pietrzak, in:, Springer, 2004, pp. 410–427.
View
| DOI
U. Maurer, K.Z. Pietrzak, in:, Springer, 2004, pp. 410–427.