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. Algorithmic aspects of web search engines. In: 2th Annual European Symposium on Algorithms. Vol 3221. Springer Nature; 2004:3. doi:10.1007/978-3-540-30140-0_2
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 17728 | 
Dijkstra M, Haiman Z, Rees MJ, Weinberg DH. Photoionization feedback in low‐mass galaxies at high redshift. The Astrophysical Journal. 2004;601(2):666-675. doi:10.1086/380603
[Published Version]
View
| DOI
| Download Published Version (ext.)
2004 | Published | Journal Article | IST-REx-ID: 17743 |
Haiman Z, Quataert E, Bower GC. Modeling the counts of faint radio‐loud quasars: Constraints on the supermassive black hole population and predictions for high redshift. The Astrophysical Journal. 2004;612(2):698-705. doi:10.1086/422834
[Published Version]
View
| DOI
| Download Published Version (ext.)
2004 | Published | Journal Article | IST-REx-ID: 17763 |
Haiman Z. Constraints from gravitational recoil on the growth of supermassive black holes at high redshift. The Astrophysical Journal. 2004;613(1):36-40. doi:10.1086/422910
[Published Version]
View
| DOI
| Download Published Version (ext.)
2004 | Published | Journal Article | IST-REx-ID: 17775 |
Haiman Z, Ciotti L, Ostriker JP. Reasoning from fossils: Learning from the local black hole population about the evolution of quasars. The Astrophysical Journal. 2004;606(2):763-773. doi:10.1086/383022
[Published Version]
View
| DOI
| Download Published Version (ext.)
2004 | Published | Journal Article | IST-REx-ID: 17790 |
Richards GT, Strauss MA, Pindor B, et al. A snapshot survey for gravitational lenses among z ≥ 4.0 quasars. I. The z >5.7 sample. The Astronomical Journal. 2004;127(3):1305-1312. doi:10.1086/381906
[Published Version]
View
| DOI
| Download Published Version (ext.)
2004 | Published | Journal Article | IST-REx-ID: 2356 |
Lieb É, Seiringer R, Yngvason J. One-dimensional behavior of dilute, trapped Bose gases. Communications in Mathematical Physics. 2004;244(2):347-393. doi:10.1007/s00220-003-0993-3
View
| DOI
| Download (ext.)
2004 | Published | Journal Article | IST-REx-ID: 2639
Somogyi J, Baude A, Omori Y, et al. 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. 2004;19(3):552-569. doi:10.1111/j.0953-816X.2003.03091.x
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 2642
Ferraguti F, Cobden P, Pollard M, et al. Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus. Hippocampus. 2004;14(2):193-215. doi: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. The chromatin remodelling complex FACT associates with actively transcribed regions of the Arabidopsis genome. Plant Journal. 2004;40(5):660-671. doi:10.1111/j.1365-313X.2004.02242.x
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4459
Henzinger TA, Jhala R, Majumdar R. Race checking by context inference. In: ACM; 2004:1-13. doi:10.1145/996841.996844
View
| DOI
2004 | Published | Book Chapter | IST-REx-ID: 4461
Henzinger TA, Jhala R, Majumdar R, Sanvido M. Extreme model checking. In: Verification: Theory and Practice. Vol 2772. Springer; 2004:332-358. doi:10.1007/978-3-540-39910-0_16
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4525
Ghosal A, Henzinger TA, Kirsch C, Sanvido M. Event-driven programming with logical execution times. In: Vol 2993. Springer; 2004:167-170. doi:10.1007/978-3-540-24743-2_24
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4578
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. The BLAST query language for software verification. In: Vol 3148. Springer; 2004:2-18. doi:10.1007/978-3-540-27864-1_2
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4629
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking discounted temporal properties. In: Vol 2988. Springer; 2004:77-92. doi:10.1007/978-3-540-24730-2_6
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 6155
Cheung BH., Arellano-Carbajal F, Rybicki I, de Bono M. Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior. Current Biology. 2004;14(12):1105-1111. doi:10.1016/j.cub.2004.06.027
View
| DOI
| PubMed | Europe PMC
2004 | Published | Conference Paper | IST-REx-ID: 18333
Bronstein AM, Bronstein MM, Zibulevsky M, Zeevi YY. Optimal sparse representations for blind deconvolution of images. In: 5th International Conference on Independent Component Analysis and Blind Signal Separation. Vol 3195. Springer Nature; 2004:500-507. doi:10.1007/978-3-540-30110-3_64
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 18335
Bronstein AM, Bronstein MM, Zibulevsky M, Zeevi YY. QML blind deconvolution: Asymptotic analysis. In: Proceedings of the 5th International Conference on Independent Component Analysis and Blind Signal Separation. Vol 3195. Springer Nature; 2004:677–684. doi:10.1007/978-3-540-30110-3_86
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 7334
Mantzaras J, Freunberger SA, Büchi FN, et al. Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry. 2004;58(12):857-868. doi:10.2533/000942904777677029
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 3208
Maurer U, Pietrzak KZ. Composition of random systems: When two weak make one strong. In: Vol 2951. Springer; 2004:410-427. doi:10.1007/978-3-540-24638-1_23
View
| DOI