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, Arindam, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Synchronous and Bidirectional Component Interfaces.” In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:414–27. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_34.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4563
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, Marcin Jurdziński, and Freddy Mang. “Interface Compatibility Checking for Software Modules.” In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:428–41. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_35.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4565
Cassez, Franck, Thomas A Henzinger, and Jean Raskin. “A Comparison of Control Problems for Timed and Hybrid Systems.” In Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, 2289:134–48. Springer, 2002. https://doi.org/10.1007/3-540-45873-5_13.
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4631
De Alfaro, Luca, Thomas A Henzinger, and Mariëlle Stoelinga. “Timed Interfaces.” In Proceedings of the 2nd International Conference on Embedded Software, 2491:108–22. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_9.
View
| DOI
2002 | Published | Journal Article | IST-REx-ID: 6159
Bono, Mario de, David M. Tobin, M. Wayne Davis, Leon Avery, and Cornelia I. Bargmann. “Social Feeding in Caenorhabditis Elegans Is Induced by Neurons That Detect Aversive Stimuli.” Nature. Springer Nature, 2002. https://doi.org/10.1038/nature01169.
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 3421
Mueller, Daniel, Harald L Janovjak, Tiina Lehto, Lars Kuerschner, and Kurt Anderson. “Observing Structure, Function and Assembly of Single Proteins by AFM.” Progress in Biophysics and Molecular Biology. Elsevier, 2002. https://doi.org/10.1016/S0079-6107(02)00009-3.
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 3497
Geiger, Jörg, Joseph Bischofberger, Imre Vida, Ulrich Fröbe, S Pfitzinger, H. Weber, Klaus Haverkampf, and Peter M Jonas. “Patch-Clamp Recording in Brain Slices with Improved Slicer Technology.” Pflugers Archiv : European Journal of Physiology. Springer, 2002. https://doi.org/10.1007/s00424-001-0735-3.
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 3799 | 
Lien, Cheng, Marco Martina, Jobst Schultz, Heimo Ehmke, and Peter M Jonas. “Gating, Modulation and Subunit Composition of Voltage-Gated K(+) Channels in Dendritic Inhibitory Interneurones of Rat Hippocampus.” Journal of Physiology. Wiley-Blackwell, 2002. https://doi.org/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, Marlene, Imre Vida, Michael Frotscher, Axel Meyer, Hannah Monyer, Jörg Geiger, and Peter M Jonas. “Fast Synaptic Inhibition Promotes Synchronized Gamma Oscillations in Hippocampal Interneuron Networks.” PNAS. National Academy of Sciences, 2002. https://doi.org/10.1073/pnas.192233099.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 871 |
Kondrashov, Fyodor, Igor Rogozin, Yuri Wolf, and Eugene Koonin. “Selection in the Evolution of Gene Duplications .” Genome Biology. BioMed Central, 2002. https://doi.org/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, Monika, and Valerie King. “Maintaining Minimum Spanning Forests in Dynamic Graphs.” SIAM Journal on Computing. Society for Industrial & Applied Mathematics, 2001. https://doi.org/10.1137/s0097539797327209.
View
| DOI
2001 | Published | Conference Paper | IST-REx-ID: 11914
Bharat, K., Bay-Wei Chang, Monika Henzinger, and M. Ruhl. “Who Links to Whom: Mining Linkage between Web Sites.” In 1st IEEE International Conference on Data Mining, 51–58. Institute of Electrical and Electronics Engineers, 2001. https://doi.org/10.1109/ICDM.2001.989500.
View
| DOI
2001 | Published | Journal Article | IST-REx-ID: 17816 |
Haiman, Zoltán, and Lam Hui. “Constraining the Lifetime of Quasars from Their Spatial Clustering.” The Astrophysical Journal. American Astronomical Society, 2001. https://doi.org/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, Zoltán, and Martin J. Rees. “Extended Lyα Emission around Young Quasars: A Constraint on Galaxy Formation.” The Astrophysical Journal. American Astronomical Society, 2001. https://doi.org/10.1086/321567.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 | Published | Journal Article | IST-REx-ID: 17840 |
Knox, Lloyd, Asantha Cooray, Daniel Eisenstein, and Zoltán Haiman. “Probing Early Structure Formation with Far‐infrared Background Correlations.” The Astrophysical Journal. American Astronomical Society, 2001. https://doi.org/10.1086/319732.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 | Published | Journal Article | IST-REx-ID: 17847 |
Haiman, Zoltán, Tom Abel, and Piero Madau. “Photon Consumption in Minihalos during Cosmological Reionization.” The Astrophysical Journal. American Astronomical Society, 2001. https://doi.org/10.1086/320232.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 | Published | Journal Article | IST-REx-ID: 17849 |
Haiman, Zoltán, Joseph J. Mohr, and Gilbert P. Holder. “Constraints on Cosmological Parameters from Future Galaxy Cluster Surveys.” The Astrophysical Journal. American Astronomical Society, 2001. https://doi.org/10.1086/320939.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 | Published | Conference Paper | IST-REx-ID: 2340 |
Seiringer, Robert. “Bosons in a Trap: Asymptotic Exactness of the Gross-Pitaevskii Ground State Energy Formula.” edited by Michael Demuth and Bert Schultze, 126:307–14. Birkhäuser, 2001. https://doi.org/10.1007/978-3-0348-8231-6.
View
| DOI
| Download None (ext.)
| arXiv
2001 | Published | Journal Article | IST-REx-ID: 2341 |
Baumgartner, Bernhard, and Robert Seiringer. “Atoms with Bosonic "Electrons" in Strong Magnetic Fields.” Annales Henri Poincare. Birkhäuser, 2001. https://doi.org/10.1007/PL00001032.
View
| DOI
| Download None (ext.)
| arXiv