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
2002 | Published | Conference Paper | IST-REx-ID: 4562
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and F. Mang, “Synchronous and bidirectional component interfaces,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 414–427.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4563
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, M. Jurdziński, and F. Mang, “Interface compatibility checking for software modules,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 428–441.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4565
F. Cassez, T. A. Henzinger, and J. Raskin, “A comparison of control problems for timed and hybrid systems,” in Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, Stanford, CA, USA, 2002, vol. 2289, pp. 134–148.
View
| DOI
2002 | Published | Journal Article | IST-REx-ID: 6159
M. de Bono, D. M. Tobin, M. W. Davis, L. Avery, and C. I. Bargmann, “Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli,” Nature, vol. 419, no. 6910. Springer Nature, pp. 899–903, 2002.
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 3421
D. Mueller, H. L. Janovjak, T. Lehto, L. Kuerschner, and K. Anderson, “Observing structure, function and assembly of single proteins by AFM,” Progress in Biophysics and Molecular Biology, vol. 79, no. 1–3. Elsevier, pp. 1–43, 2002.
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 3497
J. Geiger et al., “Patch-clamp recording in brain slices with improved slicer technology,” Pflugers Archiv : European Journal of Physiology, vol. 443, no. 3. Springer, pp. 491–501, 2002.
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 3799 | 
C. Lien, M. Martina, J. Schultz, H. Ehmke, and P. M. Jonas, “Gating, modulation and subunit composition of voltage-gated K(+) channels in dendritic inhibitory interneurones of rat hippocampus,” Journal of Physiology, vol. 538, no. Pt 2. Wiley-Blackwell, pp. 405–419, 2002.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 3800 |
M. Bartos et al., “Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks,” PNAS, vol. 99, no. 20. National Academy of Sciences, pp. 13222–13227, 2002.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 871 |
F. Kondrashov, I. Rogozin, Y. Wolf, and E. Koonin, “Selection in the evolution of gene duplications ,” Genome Biology, vol. 3, no. 2. BioMed Central, 2002.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 17816 |
Z. Haiman and L. Hui, “Constraining the lifetime of quasars from their spatial clustering,” The Astrophysical Journal, vol. 547, no. 1. American Astronomical Society, pp. 27–38, 2001.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 | Published | Journal Article | IST-REx-ID: 17825 |
Fan X, Narayanan VK, Lupton RH, Strauss MA, Knapp GR, Becker RH, White RL, Pentericci L, Leggett SK, Haiman Z, Gunn JE, Ivezić Ž, Schneider DP, Anderson SF, Brinkmann J, Bahcall NA, Connolly AJ, Csabai I, Doi M, Fukugita M, Geballe T, Grebel EK, Harbeck D, Hennessy G, Lamb DQ, Miknaitis G, Munn JA, Nichol R, Okamura S, Pier JR, Prada F, Richards GT, Szalay A, York DG. 2001. A survey of z > 5.8 quasars in the sloan digital sky survey. I. Discovery of three new quasars and the spatial density of luminous quasars at z ∼ 6. The Astronomical Journal. 122(6), 2833–2849.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 | Published | Journal Article | IST-REx-ID: 17829 |
Z. Haiman and M. J. Rees, “Extended Lyα emission around young quasars: A constraint on galaxy formation,” The Astrophysical Journal, vol. 556, no. 1. American Astronomical Society, pp. 87–92, 2001.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 | Published | Journal Article | IST-REx-ID: 17840 |
L. Knox, A. Cooray, D. Eisenstein, and Z. Haiman, “Probing early structure formation with far‐infrared background correlations,” The Astrophysical Journal, vol. 550, no. 1. American Astronomical Society, pp. 7–20, 2001.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 | Published | Journal Article | IST-REx-ID: 17847 |
Z. Haiman, T. Abel, and P. Madau, “Photon consumption in minihalos during cosmological reionization,” The Astrophysical Journal, vol. 551, no. 2. American Astronomical Society, pp. 599–607, 2001.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 | Published | Journal Article | IST-REx-ID: 17849 |
Z. Haiman, J. J. Mohr, and G. P. Holder, “Constraints on cosmological parameters from future galaxy cluster surveys,” The Astrophysical Journal, vol. 553, no. 2. American Astronomical Society, pp. 545–561, 2001.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 | Published | Conference Paper | IST-REx-ID: 2340 |
R. Seiringer, “Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula,” presented at the PDE: Partial Differential Equations and Spectral Theory, Clausthal, Germany, 2001, vol. 126, pp. 307–314.
View
| DOI
| Download None (ext.)
| arXiv
2001 | Published | Journal Article | IST-REx-ID: 2341 |
B. Baumgartner and R. Seiringer, “Atoms with bosonic "electrons" in strong magnetic fields,” Annales Henri Poincare, vol. 2, no. 1. Birkhäuser, pp. 41–76, 2001.
View
| DOI
| Download None (ext.)
| arXiv