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
Chakrabarti A, De Alfaro L, Henzinger TA, Mang F. 2002. Synchronous and bidirectional component interfaces. Proceedings of the 14th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2404, 414–427.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4563
Chakrabarti A, De Alfaro L, Henzinger TA, Jurdziński M, Mang F. 2002. Interface compatibility checking for software modules. Proceedings of the 14th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2404, 428–441.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4565
Cassez F, Henzinger TA, Raskin J. 2002. A comparison of control problems for timed and hybrid systems. Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2289, 134–148.
View
| DOI
2002 | Published | Journal Article | IST-REx-ID: 6159
de Bono M, Tobin DM, Davis MW, Avery L, Bargmann CI. 2002. Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature. 419(6910), 899–903.
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 3421
Mueller D, Janovjak HL, Lehto T, Kuerschner L, Anderson K. 2002. Observing structure, function and assembly of single proteins by AFM. Progress in Biophysics and Molecular Biology. 79(1–3), 1–43.
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 3497
Geiger J, Bischofberger J, Vida I, Fröbe U, Pfitzinger S, Weber H, Haverkampf K, Jonas PM. 2002. Patch-clamp recording in brain slices with improved slicer technology. Pflugers Archiv : European Journal of Physiology. 443(3), 491–501.
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 3799 | 
Lien C, Martina M, Schultz J, Ehmke H, Jonas PM. 2002. Gating, modulation and subunit composition of voltage-gated K(+) channels in dendritic inhibitory interneurones of rat hippocampus. Journal of Physiology. 538(Pt 2), 405–419.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 3800 |
Bartos M, Vida I, Frotscher M, Meyer A, Monyer H, Geiger J, Jonas PM. 2002. Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks. PNAS. 99(20), 13222–13227.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 871 |
Kondrashov F, Rogozin I, Wolf Y, Koonin E. 2002. Selection in the evolution of gene duplications . Genome Biology. 3(2).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 17816 |
Haiman Z, Hui L. 2001. Constraining the lifetime of quasars from their spatial clustering. The Astrophysical Journal. 547(1), 27–38.
[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 |
Haiman Z, Rees MJ. 2001. Extended Lyα emission around young quasars: A constraint on galaxy formation. The Astrophysical Journal. 556(1), 87–92.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 | Published | Journal Article | IST-REx-ID: 17840 |
Knox L, Cooray A, Eisenstein D, Haiman Z. 2001. Probing early structure formation with far‐infrared background correlations. The Astrophysical Journal. 550(1), 7–20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 | Published | Journal Article | IST-REx-ID: 17847 |
Haiman Z, Abel T, Madau P. 2001. Photon consumption in minihalos during cosmological reionization. The Astrophysical Journal. 551(2), 599–607.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 | Published | Journal Article | IST-REx-ID: 17849 |
Haiman Z, Mohr JJ, Holder GP. 2001. Constraints on cosmological parameters from future galaxy cluster surveys. The Astrophysical Journal. 553(2), 545–561.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 | Published | Conference Paper | IST-REx-ID: 2340 |
Seiringer R. 2001. Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula. PDE: Partial Differential Equations and Spectral Theory, Operator Theory: Advances and Applications, vol. 126, 307–314.
View
| DOI
| Download None (ext.)
| arXiv
2001 | Published | Journal Article | IST-REx-ID: 2341 |
Baumgartner B, Seiringer R. 2001. Atoms with bosonic "electrons" in strong magnetic fields. Annales Henri Poincare. 2(1), 41–76.
View
| DOI
| Download None (ext.)
| arXiv