T. A. Henzinger, S. Qadeer, S. Rajamani, and S. Tasiran, “An assume-guarantee rule for checking simulation,” in Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, Palo Alto, CA, United States of America, 1998, vol. 1522, pp. 421–432.
LibreCat: https://research-explorer.ista.ac.at/record/4486
DOI: 10.1007/3-540-49519-3_27

T. A. Henzinger, “It’s about time: Real-time logics reviewed,” in Proceedings of the 9th Interantional Conference on Concurrency Theory, Nice, France, 1998, vol. 1466, pp. 439–454.
LibreCat: https://research-explorer.ista.ac.at/record/4515
DOI: 10.1007/BFb0055640

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.
LibreCat: https://research-explorer.ista.ac.at/record/4603
DOI: 10.1007/BFb0055622

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.
LibreCat: https://research-explorer.ista.ac.at/record/4639
DOI: 10.1109/SFCS.1998.743507  

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.
LibreCat: https://research-explorer.ista.ac.at/record/11666
DOI: 10.1145/265924.265925

M. H. 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.
LibreCat: https://research-explorer.ista.ac.at/record/11767
DOI: 10.1006/jcss.1997.1493

M. H. 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.
LibreCat: https://research-explorer.ista.ac.at/record/11803
DOI: 10.1007/3-540-63165-8_214

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.
LibreCat: https://research-explorer.ista.ac.at/record/11849
DOI: 10.1145/269005.266637

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.
LibreCat: https://research-explorer.ista.ac.at/record/2493
DOI: 10.1002/(SICI)1096-9861(19970217)378:3&lt;320::AID-CNE2&gt;3.0.CO;2-5
PMID: 9034894

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.
LibreCat: https://research-explorer.ista.ac.at/record/2578
DOI: 10.1002/(SICI)1096-9861(19970519)381:4&lt;439::AID-CNE4&gt;3.0.CO;2-3
PMID: 9136801 

R. Luján, J. Roberts, R. Shigemoto, H. Ohishi, and P. Somogyi, “Differential plasma membrane distribution of metabotropic glutamate receptors mGlu;1, mGlu and mGlu, relative to neurotransmitter release sites,” Journal of Chemical Neuroanatomy, vol. 13, no. 4. Elsevier, pp. 219–241, 1997.
LibreCat: https://research-explorer.ista.ac.at/record/2580
DOI: 10.1016/S0891-0618(97)00051-3
PMID: 9412905

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.
LibreCat: https://research-explorer.ista.ac.at/record/2579
DOI: 10.1007/s004410050846
PMID: 9182595

H. Edelsbrunner, P. Valtr, and E. Welzl, “Cutting dense point sets in half,” Discrete &; Computational Geometry, vol. 17, no. 3. Springer, pp. 243–255, 1997.
LibreCat: https://research-explorer.ista.ac.at/record/4022
DOI: 10.1007/PL00009291

M. Martina and P. M. Jonas, “Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus,” Journal of Physiology, vol. 505, no. 3. Wiley-Blackwell, pp. 593–603, 1997.
LibreCat: https://research-explorer.ista.ac.at/record/3485
DOI: 10.1111/j.1469-7793.1997.593ba.x
PMID: 9457638

J. Bischofberger and P. M. Jonas, “Action potential propagation into the presynaptic dendrites of rat mitral cells,” Journal of Physiology, vol. 504, no. Pt 2. Wiley-Blackwell, pp. 359–365, 1997.
LibreCat: https://research-explorer.ista.ac.at/record/3486
DOI: 10.1111/j.1469-7793.1997.359be.x
PMID: 9365910

I. Masai, C.-P. J. Heisenberg, K. A. Barth, R. Macdonald, S. Adamek, and S. Wilson, “Floating head and masterblind regulate neuronal patterning in the roof of the forebrain,” Neuron, vol. 18, no. 1. Elsevier, pp. 43–57, 1997.
LibreCat: https://research-explorer.ista.ac.at/record/4174
DOI: 10.1016/S0896-6273(01)80045-3
PMID: 9010204

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.
LibreCat: https://research-explorer.ista.ac.at/record/4285
DOI: 10.1093/genetics/147.2.879
PMID: 9335621

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.
LibreCat: https://research-explorer.ista.ac.at/record/4441
DOI: 10.1007/3-540-63165-8_213

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.
LibreCat: https://research-explorer.ista.ac.at/record/4496
DOI: 10.1007/3-540-63141-0_19

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.
LibreCat: https://research-explorer.ista.ac.at/record/4494
DOI: 10.1007/3-540-63166-6_48