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
R. Alur, T. A. Henzinger, O. Kupferman, and M. Vardi, “Alternating refinement relations,” in Proceedings of the 9th Interantional Conference on Concurrency Theory, Nice, France, 1998, vol. 1466, pp. 163–178.
View | DOI
 

1998 | Published | Conference Paper | IST-REx-ID: 4639
L. De Alfaro, T. A. Henzinger, and O. Kupferman, “Concurrent reachability games,” in Proceedings 39th Annual Symposium on Foundations of Computer Science, Palo Alto, CA, United States of America, 1998, pp. 564–575.
View | DOI
 

1998 | Published | Journal Article | IST-REx-ID: 3521
J. L. Csicsvari, H. Hirase, A. Czurkó, and G. Buzsáki, “Reliability and state dependence of pyramidal cell-interneuron synapses in the hippocampus: an ensemble approach in the behaving rat,” Neuron, vol. 21, no. 1. Elsevier, pp. 179–189, 1998.
View | DOI | PubMed | Europe PMC
 

1998 | Published | Book Chapter | IST-REx-ID: 3570
U. Axen and H. Edelsbrunner, “Auditory Morse analysis of triangulated manifolds,” in Mathematical Visualization, Springer, 1998, pp. 223–236.
View | DOI
 

1998 | Published | Journal Article | IST-REx-ID: 3629
C. Maccallum, B. Nürnberger, N. H. Barton, and J. Szymura, “Habitat preference in the Bombina hybrid zone in Croatia,” Evolution, vol. 52, no. 1. Wiley-Blackwell, pp. 227–239, 1998.
View | DOI | PubMed | Europe PMC
 

1998 | Published | Journal Article | IST-REx-ID: 4017 | OA
J. Liang, H. Edelsbrunner, and C. Woodward, “Anatomy of protein pockets and cavities: Measurement of binding site geometry and implications for ligand design,” Protein Science, vol. 7, no. 9. Wiley-Blackwell, pp. 1884–1897, 1998.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 11666
J. M. Anderson et al., “Continuous profiling: Where have all the cycles gone?,” ACM Transactions on Computer Systems, vol. 15, no. 4. Association for Computing Machinery, pp. 357–390, 1997.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 11767 | OA
M. Henzinger, P. Klein, S. Rao, and S. Subramanian, “Faster shortest-path algorithms for planar graphs,” Journal of Computer and System Sciences, vol. 55, no. 1. Elsevier, pp. 3–23, 1997.
[Published Version] View | DOI | Download Published Version (ext.)
 

1997 | Published | Conference Paper | IST-REx-ID: 11803
M. Henzinger and V. King, “Maintaining minimum spanning trees in dynamic graphs,” in 24th International Colloquium on Automata, Languages and Programming, Bologna, Italy, 1997, vol. 1256, pp. 594–604.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 11849 | OA
J. M. Anderson et al., “Continuous profiling: Where have all the cycles gone?,” ACM SIGOPS Operating Systems Review, vol. 31, no. 5. Association for Computing Machinery, pp. 1–14, 1997.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

1997 | Published | Journal Article | IST-REx-ID: 17821 | OA
Z. Haiman, M. J. Rees, and A. Loeb, “Destruction of molecular hydrogen during cosmological reionization,” The Astrophysical Journal, vol. 476, no. 2. American Astronomical Society, pp. 458–463, 1997.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

1997 | Published | Journal Article | IST-REx-ID: 17828 | OA
A. Loeb and Z. Haiman, “Signatures of intergalactic dust from the first supernovae,” The Astrophysical Journal, vol. 490, no. 2. American Astronomical Society, pp. 571–576, 1997.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

1997 | Published | Journal Article | IST-REx-ID: 2493
L. Acsády, I. Katona, A. Gulyás, R. Shigemoto, and T. Freund, “Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus,” Journal of Comparative Neurology, vol. 378, no. 3. Wiley-Blackwell, pp. 320–336, 1997.
View | DOI | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 2578
V. Seybold et al., “Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord,” Journal of Comparative Neurology, vol. 381, no. 4. Wiley-Blackwell, pp. 439–448, 1997.
View | DOI | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 2579
P. Mann, B. Southwell, Y. Ding, R. Shigemoto, N. Mizuno, and J. Furness, “Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract,” Cell and Tissue Research, vol. 289, no. 1. Springer, pp. 1–9, 1997.
View | DOI | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 2580
R. Luján, J. Roberts, R. Shigemoto, H. Ohishi, and P. Somogyi, “Differential plasma membrane distribution of metabotropic glutamate receptors mGluR1α, mGluR2 and mGluR5, relative to neurotransmitter release sites,” Journal of Chemical Neuroanatomy, vol. 13, no. 4. Elsevier, pp. 219–241, 1997.
View | DOI | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 4285 | OA
S. Otto and N. H. Barton, “The evolution of recombination: Removing the limits to natural selection,” Genetics, vol. 147, no. 2. Genetics Society of America, pp. 879–906, 1997.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Published | Conference Paper | IST-REx-ID: 4441
T. A. Henzinger and P. Kopke, “Discrete-time control for rectangular hybrid automata,” in Proceedings of the 24th International Colloquium on Automata, Languages and Programming, Bologna, Italy, 1997, vol. 1256, pp. 582–593.
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 4494
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: A model checker for hybrid systems,” presented at the CAV: Computer Aided Verification, Haifa, Israel, 1997, vol. 1254, pp. 460–463.
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 4496
T. A. Henzinger, O. Kupferman, and S. Rajamani, “Fair simulation,” in Proceedings of the 8th International Conference on Concurrency Theory, Warsaw, Poland, 1997, vol. 1243, pp. 273–287.
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed