Henzinger, Thomas A, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “An Assume-Guarantee Rule for Checking Simulation.”https://doi.org/10.1007/3-540-49519-3_27__In Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, 1522:421–32. Springer, 1998.https://doi.org/10.1007/3-540-49519-3_27 .
LibreCat: https://research-explorer.ista.ac.at/record/4486
DOI: 10.1007/3-540-49519-3_27

Henzinger, Thomas A. “It’s about Time: Real-Time Logics Reviewed.”https://doi.org/10.1007/BFb0055640__In Proceedings of the 9th Interantional Conference on Concurrency Theory, 1466:439–54. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998.https://doi.org/10.1007/BFb0055640 .
LibreCat: https://research-explorer.ista.ac.at/record/4515
DOI: 10.1007/BFb0055640

Alur, Rajeev, Thomas A Henzinger, Orna Kupferman, and Moshe Vardi. “Alternating Refinement Relations.”https://doi.org/10.1007/BFb0055622__In Proceedings of the 9th Interantional Conference on Concurrency Theory, 1466:163–78. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998.https://doi.org/10.1007/BFb0055622 .
LibreCat: https://research-explorer.ista.ac.at/record/4603
DOI: 10.1007/BFb0055622

De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games.”https://doi.org/10.1109/SFCS.1998.743507Â  __In https://doi.org/10.1109/SFCS.1998.743507Â  __Proceedings 39th Annual Symposium on Foundations of Computer Science, 564–75. IEEE, 1998.https://doi.org/10.1109/SFCS.1998.743507Â   .
LibreCat: https://research-explorer.ista.ac.at/record/4639
DOI: 10.1109/SFCS.1998.743507  

Anderson, Jennifer M., Lance M. Berc, Jeffrey Dean, Sanjay Ghemawat, Monika H Henzinger, Shun-Tak A. Leung, Richard L. Sites, Mark T. Vandevoorde, Carl A. Waldspurger, and William E. Weihl. “Continuous Profiling: Where Have All the Cycles Gone?”https://doi.org/10.1145/265924.265925__ACM Transactions on Computer Systems. Association for Computing Machinery, 1997.https://doi.org/10.1145/265924.265925 .
LibreCat: https://research-explorer.ista.ac.at/record/11666
DOI: 10.1145/265924.265925

Henzinger, Monika H, Philip Klein, Satish Rao, and Sairam Subramanian. “Faster Shortest-Path Algorithms for Planar Graphs.”https://doi.org/10.1006/jcss.1997.1493__Journal of Computer and System Sciences. Elsevier, 1997.https://doi.org/10.1006/jcss.1997.1493 .
LibreCat: https://research-explorer.ista.ac.at/record/11767
DOI: 10.1006/jcss.1997.1493

Henzinger, Monika H, and Valerie King. “Maintaining Minimum Spanning Trees in Dynamic Graphs.”https://doi.org/10.1007/3-540-63165-8_214__In 24th International Colloquium on Automata, Languages and Programming, 1256:594–604. Springer Nature, 1997.https://doi.org/10.1007/3-540-63165-8_214 .
LibreCat: https://research-explorer.ista.ac.at/record/11803
DOI: 10.1007/3-540-63165-8_214

Anderson, Jennifer M., Lance M. Berc, Jeffrey Dean, Sanjay Ghemawat, Monika H Henzinger, Shun-Tak A. Leung, Richard L. Sites, Mark T. Vandevoorde, Carl A. Waldspurger, and William E. Weihl. “Continuous Profiling: Where Have All the Cycles Gone?”https://doi.org/10.1145/269005.266637__ACM SIGOPS Operating Systems Review. Association for Computing Machinery, 1997.https://doi.org/10.1145/269005.266637 .
LibreCat: https://research-explorer.ista.ac.at/record/11849
DOI: 10.1145/269005.266637

Acsády, László, István Katona, Attila Gulyás, Ryuichi Shigemoto, and Tamás Freund. “Immunostaining for Substance P Receptor Labels GABAergic Cells with Distinct Termination Patterns in the Hippocampus.”https://doi.org/10.1002/(SICI)1096-9861(19970217)378:3&#38;lt;320::AID-CNE2&#38;gt;3.0.CO;2-5__Journal of Comparative Neurology. Wiley-Blackwell, 1997.https://doi.org/10.1002/(SICI)1096-9861(19970217)378:3&#38;lt;320::AID-CNE2&#38;gt;3.0.CO;2-5 .
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

Seybold, Virginia, Ivica Grkovi, Andrea Portbury, Yu Ding, Ryuichi Shigemoto, Noboru Mizuno, John Furness, and Bridget Southwell. “Relationship of NK3 Receptor-Immunoreactivity to Subpopulations of Neurons in Rat Spinal Cord.”https://doi.org/10.1002/(SICI)1096-9861(19970519)381:4&#38;lt;439::AID-CNE4&#38;gt;3.0.CO;2-3__Journal of Comparative Neurology. Wiley-Blackwell, 1997.https://doi.org/10.1002/(SICI)1096-9861(19970519)381:4&#38;lt;439::AID-CNE4&#38;gt;3.0.CO;2-3 .
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 

Luján, Rafael, John Roberts, Ryuichi Shigemoto, Hitoshi Ohishi, and Péter Somogyi. “Differential Plasma Membrane Distribution of Metabotropic Glutamate Receptors MGlu;1, MGlu and MGlu, Relative to Neurotransmitter Release Sites.”https://doi.org/10.1016/S0891-0618(97)00051-3__Journal of Chemical Neuroanatomy. Elsevier, 1997.https://doi.org/10.1016/S0891-0618(97)00051-3 .
LibreCat: https://research-explorer.ista.ac.at/record/2580
DOI: 10.1016/S0891-0618(97)00051-3
PMID: 9412905

Mann, Patricia, Bridget Southwell, Yu Ding, Ryuichi Shigemoto, Noboru Mizuno, and John Furness. “Localisation of Neurokinin 3 (NK3) Receptor Immunoreactivity in the Rat Gastrointestinal Tract.”https://doi.org/10.1007/s004410050846__Cell and Tissue Research. Springer, 1997.https://doi.org/10.1007/s004410050846 .
LibreCat: https://research-explorer.ista.ac.at/record/2579
DOI: 10.1007/s004410050846
PMID: 9182595

Edelsbrunner, Herbert, Pavel Valtr, and Emo Welzl. “Cutting Dense Point Sets in Half.”https://doi.org/10.1007/PL00009291__Discrete &; Computational Geometry. Springer, 1997.https://doi.org/10.1007/PL00009291 .
LibreCat: https://research-explorer.ista.ac.at/record/4022
DOI: 10.1007/PL00009291

Martina, Marco, and Peter M Jonas. “Functional Differences in Na+ Channel Gating between Fast-Spiking Interneurones and Principal Neurones in Rat Hippocampus.”https://doi.org/10.1111/j.1469-7793.1997.593ba.x__Journal of Physiology. Wiley-Blackwell, 1997.https://doi.org/10.1111/j.1469-7793.1997.593ba.x .
LibreCat: https://research-explorer.ista.ac.at/record/3485
DOI: 10.1111/j.1469-7793.1997.593ba.x
PMID: 9457638

Bischofberger, Joseph, and Peter M Jonas. “Action Potential Propagation into the Presynaptic Dendrites of Rat Mitral Cells.”https://doi.org/10.1111/j.1469-7793.1997.359be.x__Journal of Physiology. Wiley-Blackwell, 1997.https://doi.org/10.1111/j.1469-7793.1997.359be.x .
LibreCat: https://research-explorer.ista.ac.at/record/3486
DOI: 10.1111/j.1469-7793.1997.359be.x
PMID: 9365910

Masai, Ichiro, Carl-Philipp J Heisenberg, K Anukampa Barth, Rachel Macdonald, Sylwia Adamek, and Stephen Wilson. “Floating Head and Masterblind Regulate Neuronal Patterning in the Roof of the Forebrain.”https://doi.org/10.1016/S0896-6273(01)80045-3__Neuron. Elsevier, 1997.https://doi.org/10.1016/S0896-6273(01)80045-3 .
LibreCat: https://research-explorer.ista.ac.at/record/4174
DOI: 10.1016/S0896-6273(01)80045-3
PMID: 9010204

Otto, Sarah, and Nicholas H Barton. “The Evolution of Recombination: Removing the Limits to Natural Selection.”https://doi.org/10.1093/genetics/147.2.879__Genetics. Genetics Society of America, 1997.https://doi.org/10.1093/genetics/147.2.879 .
LibreCat: https://research-explorer.ista.ac.at/record/4285
DOI: 10.1093/genetics/147.2.879
PMID: 9335621

Henzinger, Thomas A, and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.”https://doi.org/10.1007/3-540-63165-8_213__In Proceedings of the 24th International Colloquium on Automata, Languages and Programming, 1256:582–93. Springer, 1997.https://doi.org/10.1007/3-540-63165-8_213 .
LibreCat: https://research-explorer.ista.ac.at/record/4441
DOI: 10.1007/3-540-63165-8_213

Henzinger, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.”https://doi.org/10.1007/3-540-63141-0_19__In Proceedings of the 8th International Conference on Concurrency Theory, 1243:273–87. Springer, 1997.https://doi.org/10.1007/3-540-63141-0_19 .
LibreCat: https://research-explorer.ista.ac.at/record/4496
DOI: 10.1007/3-540-63141-0_19

Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: A Model Checker for Hybrid Systems,”https://doi.org/10.1007/3-540-63166-6_48__1254:460–63. Springer, 1997.https://doi.org/10.1007/3-540-63166-6_48 .
LibreCat: https://research-explorer.ista.ac.at/record/4494
DOI: 10.1007/3-540-63166-6_48