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
1998 | Published | Conference Paper | IST-REx-ID: 4603
Alternating refinement relations
R. Alur, T.A. Henzinger, O. Kupferman, M. Vardi, in:, Proceedings of the 9th Interantional Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–178.
View
| DOI
R. Alur, T.A. Henzinger, O. Kupferman, M. Vardi, in:, Proceedings of the 9th Interantional Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–178.
1998 | Published | Conference Paper | IST-REx-ID: 4639
Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, in:, Proceedings 39th Annual Symposium on Foundations of Computer Science, IEEE, 1998, pp. 564–575.
View
| DOI
L. De Alfaro, T.A. Henzinger, O. Kupferman, in:, Proceedings 39th Annual Symposium on Foundations of Computer Science, IEEE, 1998, pp. 564–575.
1998 | Published | Journal Article | IST-REx-ID: 3521
Reliability and state dependence of pyramidal cell-interneuron synapses in the hippocampus: an ensemble approach in the behaving rat
J.L. Csicsvari, H. Hirase, A. Czurkó, G. Buzsáki, Neuron 21 (1998) 179–189.
View
| DOI
| PubMed | Europe PMC
J.L. Csicsvari, H. Hirase, A. Czurkó, G. Buzsáki, Neuron 21 (1998) 179–189.
1998 | Published | Book Chapter | IST-REx-ID: 3570
Auditory Morse analysis of triangulated manifolds
U. Axen, H. Edelsbrunner, in:, Mathematical Visualization, Springer, 1998, pp. 223–236.
View
| DOI
U. Axen, H. Edelsbrunner, in:, Mathematical Visualization, Springer, 1998, pp. 223–236.
1998 | Published | Journal Article | IST-REx-ID: 3629
Habitat preference in the Bombina hybrid zone in Croatia
C. Maccallum, B. Nürnberger, N.H. Barton, J. Szymura, Evolution 52 (1998) 227–239.
View
| DOI
| PubMed | Europe PMC
C. Maccallum, B. Nürnberger, N.H. Barton, J. Szymura, Evolution 52 (1998) 227–239.
1998 | Published | Journal Article | IST-REx-ID: 4017 | 
Anatomy of protein pockets and cavities: Measurement of binding site geometry and implications for ligand design
J. Liang, H. Edelsbrunner, C. Woodward, Protein Science 7 (1998) 1884–1897.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Liang, H. Edelsbrunner, C. Woodward, Protein Science 7 (1998) 1884–1897.
1997 | Published | Journal Article | IST-REx-ID: 11666
Continuous profiling: Where have all the cycles gone?
J.M. Anderson, L.M. Berc, J. Dean, S. Ghemawat, M. Henzinger, S.-T.A. Leung, R.L. Sites, M.T. Vandevoorde, C.A. Waldspurger, W.E. Weihl, ACM Transactions on Computer Systems 15 (1997) 357–390.
View
| DOI
J.M. Anderson, L.M. Berc, J. Dean, S. Ghemawat, M. Henzinger, S.-T.A. Leung, R.L. Sites, M.T. Vandevoorde, C.A. Waldspurger, W.E. Weihl, ACM Transactions on Computer Systems 15 (1997) 357–390.
1997 | Published | Journal Article | IST-REx-ID: 11767 |
Faster shortest-path algorithms for planar graphs
M. Henzinger, P. Klein, S. Rao, S. Subramanian, Journal of Computer and System Sciences 55 (1997) 3–23.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Henzinger, P. Klein, S. Rao, S. Subramanian, Journal of Computer and System Sciences 55 (1997) 3–23.
1997 | Published | Conference Paper | IST-REx-ID: 11803
Maintaining minimum spanning trees in dynamic graphs
M. Henzinger, V. King, in:, 24th International Colloquium on Automata, Languages and Programming, Springer Nature, 1997, pp. 594–604.
View
| DOI
M. Henzinger, V. King, in:, 24th International Colloquium on Automata, Languages and Programming, Springer Nature, 1997, pp. 594–604.
1997 | Published | Journal Article | IST-REx-ID: 11849 |
Continuous profiling: Where have all the cycles gone?
J.M. Anderson, L.M. Berc, J. Dean, S. Ghemawat, M. Henzinger, S.-T.A. Leung, R.L. Sites, M.T. Vandevoorde, C.A. Waldspurger, W.E. Weihl, ACM SIGOPS Operating Systems Review 31 (1997) 1–14.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J.M. Anderson, L.M. Berc, J. Dean, S. Ghemawat, M. Henzinger, S.-T.A. Leung, R.L. Sites, M.T. Vandevoorde, C.A. Waldspurger, W.E. Weihl, ACM SIGOPS Operating Systems Review 31 (1997) 1–14.
1997 | Published | Journal Article | IST-REx-ID: 17821 |
Destruction of molecular hydrogen during cosmological reionization
Z. Haiman, M.J. Rees, A. Loeb, The Astrophysical Journal 476 (1997) 458–463.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Z. Haiman, M.J. Rees, A. Loeb, The Astrophysical Journal 476 (1997) 458–463.
1997 | Published | Journal Article | IST-REx-ID: 17828 |
Signatures of intergalactic dust from the first supernovae
A. Loeb, Z. Haiman, The Astrophysical Journal 490 (1997) 571–576.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Loeb, Z. Haiman, The Astrophysical Journal 490 (1997) 571–576.
1997 | Published | Journal Article | IST-REx-ID: 2493
Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus
L. Acsády, I. Katona, A. Gulyás, R. Shigemoto, T. Freund, Journal of Comparative Neurology 378 (1997) 320–336.
View
| DOI
| PubMed | Europe PMC
L. Acsády, I. Katona, A. Gulyás, R. Shigemoto, T. Freund, Journal of Comparative Neurology 378 (1997) 320–336.
1997 | Published | Journal Article | IST-REx-ID: 2578
Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord
V. Seybold, I. Grković, A. Portbury, Y. Ding, R. Shigemoto, N. Mizuno, J. Furness, B. Southwell, Journal of Comparative Neurology 381 (1997) 439–448.
View
| DOI
| PubMed | Europe PMC
V. Seybold, I. Grković, A. Portbury, Y. Ding, R. Shigemoto, N. Mizuno, J. Furness, B. Southwell, Journal of Comparative Neurology 381 (1997) 439–448.
1997 | Published | Journal Article | IST-REx-ID: 2579
Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract
P. Mann, B. Southwell, Y. Ding, R. Shigemoto, N. Mizuno, J. Furness, Cell and Tissue Research 289 (1997) 1–9.
View
| DOI
| PubMed | Europe PMC
P. Mann, B. Southwell, Y. Ding, R. Shigemoto, N. Mizuno, J. Furness, Cell and Tissue Research 289 (1997) 1–9.
1997 | Published | Journal Article | IST-REx-ID: 2580
Differential plasma membrane distribution of metabotropic glutamate receptors mGluR1α, mGluR2 and mGluR5, relative to neurotransmitter release sites
R. Luján, J. Roberts, R. Shigemoto, H. Ohishi, P. Somogyi, Journal of Chemical Neuroanatomy 13 (1997) 219–241.
View
| DOI
| PubMed | Europe PMC
R. Luján, J. Roberts, R. Shigemoto, H. Ohishi, P. Somogyi, Journal of Chemical Neuroanatomy 13 (1997) 219–241.
1997 | Published | Journal Article | IST-REx-ID: 4285 |
The evolution of recombination: Removing the limits to natural selection
S. Otto, N.H. Barton, Genetics 147 (1997) 879–906.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S. Otto, N.H. Barton, Genetics 147 (1997) 879–906.
1997 | Published | Conference Paper | IST-REx-ID: 4441
Discrete-time control for rectangular hybrid automata
T.A. Henzinger, P. Kopke, in:, Proceedings of the 24th International Colloquium on Automata, Languages and Programming, Springer, 1997, pp. 582–593.
View
| DOI
T.A. Henzinger, P. Kopke, in:, Proceedings of the 24th International Colloquium on Automata, Languages and Programming, Springer, 1997, pp. 582–593.
1997 | Published | Conference Paper | IST-REx-ID: 4494
HyTech: A model checker for hybrid systems
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Springer, 1997, pp. 460–463.
View
| DOI
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Springer, 1997, pp. 460–463.
1997 | Published | Conference Paper | IST-REx-ID: 4496
Fair simulation
T.A. Henzinger, O. Kupferman, S. Rajamani, in:, Proceedings of the 8th International Conference on Concurrency Theory, Springer, 1997, pp. 273–287.
View
| DOI
T.A. Henzinger, O. Kupferman, S. Rajamani, in:, Proceedings of the 8th International Conference on Concurrency Theory, Springer, 1997, pp. 273–287.