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
Henzinger, M. (2004). Algorithmic aspects of web search engines. In 2th Annual European Symposium on Algorithms (Vol. 3221, p. 3). Bergen, Norway: Springer Nature. https://doi.org/10.1007/978-3-540-30140-0_2
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 17728 | 
Dijkstra, M., Haiman, Z., Rees, M. J., & Weinberg, D. H. (2004). Photoionization feedback in low‐mass galaxies at high redshift. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1086/380603
[Published Version]
View
| DOI
| Download Published Version (ext.)
2004 | Published | Journal Article | IST-REx-ID: 17743 |
Haiman, Z., Quataert, E., & Bower, G. C. (2004). Modeling the counts of faint radio‐loud quasars: Constraints on the supermassive black hole population and predictions for high redshift. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1086/422834
[Published Version]
View
| DOI
| Download Published Version (ext.)
2004 | Published | Journal Article | IST-REx-ID: 17763 |
Haiman, Z. (2004). Constraints from gravitational recoil on the growth of supermassive black holes at high redshift. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1086/422910
[Published Version]
View
| DOI
| Download Published Version (ext.)
2004 | Published | Journal Article | IST-REx-ID: 17775 |
Haiman, Z., Ciotti, L., & Ostriker, J. P. (2004). Reasoning from fossils: Learning from the local black hole population about the evolution of quasars. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1086/383022
[Published Version]
View
| DOI
| Download Published Version (ext.)
2004 | Published | Journal Article | IST-REx-ID: 17790 |
Richards, G. T., Strauss, M. A., Pindor, B., Haiman, Z., Fan, X., Eisenstein, D., … Brunner, R. (2004). A snapshot survey for gravitational lenses among z ≥ 4.0 quasars. I. The z >5.7 sample. The Astronomical Journal. American Astronomical Society. https://doi.org/10.1086/381906
[Published Version]
View
| DOI
| Download Published Version (ext.)
2004 | Published | Journal Article | IST-REx-ID: 2356 |
Lieb, É., Seiringer, R., & Yngvason, J. (2004). One-dimensional behavior of dilute, trapped Bose gases. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-003-0993-3
View
| DOI
| Download (ext.)
2004 | Published | Journal Article | IST-REx-ID: 2639
Somogyi, J., Baude, A., Omori, Y., Shimizu, H., El Mestikawy, S., Fukaya, M., … Somogyi, P. (2004). GABAergic basket cells expressing cholecystokinin contain vesicular glutamate transporter type 3 (VGLUT3) in their synaptic terminals in hippocampus and isocortex of the rat. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.0953-816X.2003.03091.x
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 2642
Ferraguti, F., Cobden, P., Pollard, M., Cope, D., Shigemoto, R., Watanabe, M., & Somogyi, P. (2004). Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus. Hippocampus. Wiley-Blackwell. https://doi.org/10.1002/hipo.10163
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 2998
Duroux, M., Houben, A., Růžička, K., Friml, J., & Grasser, K. (2004). The chromatin remodelling complex FACT associates with actively transcribed regions of the Arabidopsis genome. Plant Journal. Wiley-Blackwell. https://doi.org/10.1111/j.1365-313X.2004.02242.x
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4459
Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Race checking by context inference (pp. 1–13). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/996841.996844
View
| DOI
2004 | Published | Book Chapter | IST-REx-ID: 4461
Henzinger, T. A., Jhala, R., Majumdar, R., & Sanvido, M. (2004). Extreme model checking. In Verification: Theory and Practice (Vol. 2772, pp. 332–358). Springer. https://doi.org/10.1007/978-3-540-39910-0_16
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4525
Ghosal, A., Henzinger, T. A., Kirsch, C., & Sanvido, M. (2004). Event-driven programming with logical execution times (Vol. 2993, pp. 167–170). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/978-3-540-24743-2_24
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4578
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). The BLAST query language for software verification (Vol. 3148, pp. 2–18). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/10.1007/978-3-540-27864-1_2
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4629
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2004). Model checking discounted temporal properties (Vol. 2988, pp. 77–92). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-540-24730-2_6
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 6155
Cheung, B. H. ., Arellano-Carbajal, F., Rybicki, I., & de Bono, M. (2004). Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2004.06.027
View
| DOI
| PubMed | Europe PMC
2004 | Published | Conference Paper | IST-REx-ID: 18333
Bronstein, A. M., Bronstein, M. M., Zibulevsky, M., & Zeevi, Y. Y. (2004). Optimal sparse representations for blind deconvolution of images. In 5th International Conference on Independent Component Analysis and Blind Signal Separation (Vol. 3195, pp. 500–507). Granada, Spain: Springer Nature. https://doi.org/10.1007/978-3-540-30110-3_64
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 18335
Bronstein, A. M., Bronstein, M. M., Zibulevsky, M., & Zeevi, Y. Y. (2004). QML blind deconvolution: Asymptotic analysis. In Proceedings of the 5th International Conference on Independent Component Analysis and Blind Signal Separation (Vol. 3195, pp. 677–684). Granada, Spain: Springer Nature. https://doi.org/10.1007/978-3-540-30110-3_86
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 7334
Mantzaras, J., Freunberger, S. A., Büchi, F. N., Roos, M., Brandstätter, W., Prestat, M., … Maréchal, F. (2004). Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry. Swiss Chemical Society. https://doi.org/10.2533/000942904777677029
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 3208
Maurer, U., & Pietrzak, K. Z. (2004). Composition of random systems: When two weak make one strong (Vol. 2951, pp. 410–427). Presented at the TCC: Theory of Cryptography Conference, Springer. https://doi.org/10.1007/978-3-540-24638-1_23
View
| DOI