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
M. Henzinger, “Algorithmic aspects of web search engines,” in 2th Annual European Symposium on Algorithms, Bergen, Norway, 2004, vol. 3221, p. 3.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 17728 | OA
M. Dijkstra, Z. Haiman, M. J. Rees, and D. H. Weinberg, “Photoionization feedback in low‐mass galaxies at high redshift,” The Astrophysical Journal, vol. 601, no. 2. American Astronomical Society, pp. 666–675, 2004.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 17743 | OA
Z. Haiman, E. Quataert, and G. C. Bower, “Modeling the counts of faint radio‐loud quasars: Constraints on the supermassive black hole population and predictions for high redshift,” The Astrophysical Journal, vol. 612, no. 2. American Astronomical Society, pp. 698–705, 2004.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 17763 | OA
Z. Haiman, “Constraints from gravitational recoil on the growth of supermassive black holes at high redshift,” The Astrophysical Journal, vol. 613, no. 1. American Astronomical Society, pp. 36–40, 2004.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 17775 | OA
Z. Haiman, L. Ciotti, and J. P. Ostriker, “Reasoning from fossils: Learning from the local black hole population about the evolution of quasars,” The Astrophysical Journal, vol. 606, no. 2. American Astronomical Society, pp. 763–773, 2004.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 17790 | OA
G. T. Richards et al., “A snapshot survey for gravitational lenses among z ≥ 4.0 quasars. I. The z >5.7 sample,” The Astronomical Journal, vol. 127, no. 3. American Astronomical Society, pp. 1305–1312, 2004.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 2356 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “One-dimensional behavior of dilute, trapped Bose gases,” Communications in Mathematical Physics, vol. 244, no. 2. Springer, pp. 347–393, 2004.
View | DOI | Download (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 2639
J. Somogyi 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, vol. 19, no. 3. Wiley-Blackwell, pp. 552–569, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 2642
F. Ferraguti et al., “Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus,” Hippocampus, vol. 14, no. 2. Wiley-Blackwell, pp. 193–215, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 2998
M. Duroux, A. Houben, K. Růžička, J. Friml, and K. Grasser, “The chromatin remodelling complex FACT associates with actively transcribed regions of the Arabidopsis genome,” Plant Journal, vol. 40, no. 5. Wiley-Blackwell, pp. 660–671, 2004.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4459
T. A. Henzinger, R. Jhala, and R. Majumdar, “Race checking by context inference,” presented at the PLDI: Programming Languages Design and Implementation, 2004, pp. 1–13.
View | DOI
 

2004 | Published | Book Chapter | IST-REx-ID: 4461
T. A. Henzinger, R. Jhala, R. Majumdar, and M. Sanvido, “Extreme model checking,” in Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–358.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4525
A. Ghosal, T. A. Henzinger, C. Kirsch, and M. Sanvido, “Event-driven programming with logical execution times,” presented at the HSCC: Hybrid Systems - Computation and Control, 2004, vol. 2993, pp. 167–170.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4578
D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “The BLAST query language for software verification,” presented at the SAS: Static Analysis Symposium, 2004, vol. 3148, pp. 2–18.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4629
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Model checking discounted temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2004, vol. 2988, pp. 77–92.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 6155
B. H. . Cheung, F. Arellano-Carbajal, I. Rybicki, and M. de Bono, “Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior,” Current Biology, vol. 14, no. 12. Elsevier, pp. 1105–1111, 2004.
View | DOI | PubMed | Europe PMC
 

2004 | Published | Conference Paper | IST-REx-ID: 18333
A. M. Bronstein, M. M. Bronstein, M. Zibulevsky, and Y. Y. Zeevi, “Optimal sparse representations for blind deconvolution of images,” in 5th International Conference on Independent Component Analysis and Blind Signal Separation, Granada, Spain, 2004, vol. 3195, pp. 500–507.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 18335
A. M. Bronstein, M. M. Bronstein, M. Zibulevsky, and Y. Y. Zeevi, “QML blind deconvolution: Asymptotic analysis,” in Proceedings of the 5th International Conference on Independent Component Analysis and Blind Signal Separation, Granada, Spain, 2004, vol. 3195, pp. 677–684.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 7334
J. Mantzaras et al., “Fuel cell modeling and simulations,” CHIMIA International Journal for Chemistry, vol. 58, no. 12. Swiss Chemical Society, pp. 857–868, 2004.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 3208
U. Maurer and K. Z. Pietrzak, “Composition of random systems: When two weak make one strong,” presented at the TCC: Theory of Cryptography Conference, 2004, vol. 2951, pp. 410–427.
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed