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. Synchronous and bidirectional component interfaces. In: Proceedings of the 14th International Conference on Computer Aided Verification. Vol 2404. Springer; 2002:414-427. doi:10.1007/3-540-45657-0_34
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4563
Chakrabarti A, De Alfaro L, Henzinger TA, Jurdziński M, Mang F. Interface compatibility checking for software modules. In: Proceedings of the 14th International Conference on Computer Aided Verification. Vol 2404. Springer; 2002:428-441. doi:10.1007/3-540-45657-0_35
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4565
Cassez F, Henzinger TA, Raskin J. A comparison of control problems for timed and hybrid systems. In: Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control. Vol 2289. Springer; 2002:134-148. doi:10.1007/3-540-45873-5_13
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4631
De Alfaro L, Henzinger TA, Stoelinga M. Timed interfaces. In: Proceedings of the 2nd International Conference on Embedded Software. Vol 2491. ACM; 2002:108-122. doi:10.1007/3-540-45828-X_9
View
| DOI
2002 | Published | Journal Article | IST-REx-ID: 6159
de Bono M, Tobin DM, Davis MW, Avery L, Bargmann CI. Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature. 2002;419(6910):899-903. doi:10.1038/nature01169
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 3421
Mueller D, Janovjak HL, Lehto T, Kuerschner L, Anderson K. Observing structure, function and assembly of single proteins by AFM. Progress in Biophysics and Molecular Biology. 2002;79(1-3):1-43. doi:10.1016/S0079-6107(02)00009-3
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 3497
Geiger J, Bischofberger J, Vida I, et al. Patch-clamp recording in brain slices with improved slicer technology. Pflugers Archiv : European Journal of Physiology. 2002;443(3):491-501. doi:10.1007/s00424-001-0735-3
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 3799 | 
Lien C, Martina M, Schultz J, Ehmke H, Jonas PM. Gating, modulation and subunit composition of voltage-gated K(+) channels in dendritic inhibitory interneurones of rat hippocampus. Journal of Physiology. 2002;538(Pt 2):405-419. doi:10.1113/jphysiol.2001.013066
[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, et al. Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks. PNAS. 2002;99(20):13222-13227. doi:10.1073/pnas.192233099
[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. Selection in the evolution of gene duplications . Genome Biology. 2002;3(2). doi:10.1186/gb-2002-3-2-research0008
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 11892
Henzinger M, King V. Maintaining minimum spanning forests in dynamic graphs. SIAM Journal on Computing. 2001;31(2):364-374. doi:10.1137/s0097539797327209
View
| DOI
2001 | Published | Conference Paper | IST-REx-ID: 11914
Bharat K, Chang B-W, Henzinger M, Ruhl M. Who links to whom: Mining linkage between Web sites. In: 1st IEEE International Conference on Data Mining. Institute of Electrical and Electronics Engineers; 2001:51-58. doi:10.1109/ICDM.2001.989500
View
| DOI
2001 | Published | Journal Article | IST-REx-ID: 17816 |
Haiman Z, Hui L. Constraining the lifetime of quasars from their spatial clustering. The Astrophysical Journal. 2001;547(1):27-38. doi:10.1086/318330
[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. Extended Lyα emission around young quasars: A constraint on galaxy formation. The Astrophysical Journal. 2001;556(1):87-92. doi:10.1086/321567
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 | Published | Journal Article | IST-REx-ID: 17840 |
Knox L, Cooray A, Eisenstein D, Haiman Z. Probing early structure formation with far‐infrared background correlations. The Astrophysical Journal. 2001;550(1):7-20. doi:10.1086/319732
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 | Published | Journal Article | IST-REx-ID: 17847 |
Haiman Z, Abel T, Madau P. Photon consumption in minihalos during cosmological reionization. The Astrophysical Journal. 2001;551(2):599-607. doi:10.1086/320232
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 | Published | Journal Article | IST-REx-ID: 17849 |
Haiman Z, Mohr JJ, Holder GP. Constraints on cosmological parameters from future galaxy cluster surveys. The Astrophysical Journal. 2001;553(2):545-561. doi:10.1086/320939
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 | Published | Conference Paper | IST-REx-ID: 2340 |
Seiringer R. Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula. In: Demuth M, Schultze B, eds. Vol 126. Birkhäuser; 2001:307-314. doi:10.1007/978-3-0348-8231-6
View
| DOI
| Download None (ext.)
| arXiv
2001 | Published | Journal Article | IST-REx-ID: 2341 |
Baumgartner B, Seiringer R. Atoms with bosonic "electrons" in strong magnetic fields. Annales Henri Poincare. 2001;2(1):41-76. doi:10.1007/PL00001032
View
| DOI
| Download None (ext.)
| arXiv