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.
1953 Publications
1998 |Published| Conference Paper | IST-REx-ID: 4410
Preußig, Jörg, Stefan Kowalewski, Howard Wong Toi, and Thomas A Henzinger. “An Algorithm for the Approximative Analysis of Rectangular Automata.” In Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 1486:228–40. Springer, 1998. https://doi.org/10.1007/BFb0055350.
View
| DOI
1998 |Published| Conference Paper | IST-REx-ID: 4429
Henzinger, Thomas A, and Vlad Rusu. “Reachability Verification for Hybrid Automata.” In Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control, 1386:190–204. Springer, 1998. https://doi.org/10.1007/3-540-64358-3_40.
View
| DOI
1998 |Published| Conference (Editor) | IST-REx-ID: 4430
Henzinger, Thomas A, ed. HSCC: Hybrid Systems—Computation and Control. Vol. 1386. Springer, 1998. https://doi.org/10.1007/3-540-64358-3.
View
| DOI
1998 |Published| Conference Paper | IST-REx-ID: 4486
Henzinger, Thomas A, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “An Assume-Guarantee Rule for Checking Simulation.” 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.
View
| DOI
1998 |Published| Conference Paper | IST-REx-ID: 4515
Henzinger, Thomas A. “It’s about Time: Real-Time Logics Reviewed.” 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.
View
| DOI
1998 |Published| Conference Paper | IST-REx-ID: 4603
Alur, Rajeev, Thomas A Henzinger, Orna Kupferman, and Moshe Vardi. “Alternating Refinement Relations.” 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.
View
| DOI
1998 |Published| Conference Paper | IST-REx-ID: 4639
De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games.” In Proceedings 39th Annual Symposium on Foundations of Computer Science, 564–75. IEEE, 1998. https://doi.org/10.1109/SFCS.1998.743507 .
View
| DOI
1997 |Published| Journal Article | IST-REx-ID: 11666
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?” ACM Transactions on Computer Systems. Association for Computing Machinery, 1997. https://doi.org/10.1145/265924.265925.
View
| DOI
1997 |Published| Journal Article | IST-REx-ID: 11767 | 
Henzinger, Monika H, Philip Klein, Satish Rao, and Sairam Subramanian. “Faster Shortest-Path Algorithms for Planar Graphs.” Journal of Computer and System Sciences. Elsevier, 1997. https://doi.org/10.1006/jcss.1997.1493.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1997 |Published| Conference Paper | IST-REx-ID: 11803
Henzinger, Monika H, and Valerie King. “Maintaining Minimum Spanning Trees in Dynamic Graphs.” 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.
View
| DOI
1997 |Published| Journal Article | IST-REx-ID: 11849 |
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?” ACM SIGOPS Operating Systems Review. Association for Computing Machinery, 1997. https://doi.org/10.1145/269005.266637.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
1997 |Published| Journal Article | IST-REx-ID: 2493
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.” Journal of Comparative Neurology. Wiley-Blackwell, 1997. https://doi.org/10.1002/(SICI)1096-9861(19970217)378:3<320::AID-CNE2>3.0.CO;2-5.
View
| DOI
| PubMed | Europe PMC
1997 |Published| Journal Article | IST-REx-ID: 2576
Li, Jin, Takeshi Kaneko, Ryuichi Shigemoto, and Noboru Mizuno. “Distribution of Trigeminohypothalamic and Spinohypothalamic Tract Neurons Displaying Substance P Receptor-like Immunoreactivity in the Rat.” Journal of Comparative Neurology. Wiley-Blackwell, 1997. https://doi.org/10.1002/(SICI)1096-9861(19970224)378:4<508::AID-CNE6>3.0.CO;2-6.
View
| DOI
| PubMed | Europe PMC
1997 |Published| Journal Article | IST-REx-ID: 2578
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.” Journal of Comparative Neurology. Wiley-Blackwell, 1997. https://doi.org/10.1002/(SICI)1096-9861(19970519)381:4<439::AID-CNE4>3.0.CO;2-3.
View
| DOI
| PubMed | Europe PMC
1997 |Published| Journal Article | IST-REx-ID: 2580
Luján, Rafael, John Roberts, Ryuichi Shigemoto, Hitoshi Ohishi, and Péter Somogyi. “Differential Plasma Membrane Distribution of Metabotropic Glutamate Receptors MGluR1α, MGluR2 and MGluR5, Relative to Neurotransmitter Release Sites.” Journal of Chemical Neuroanatomy. Elsevier, 1997. https://doi.org/10.1016/S0891-0618(97)00051-3.
View
| DOI
| PubMed | Europe PMC
1997 |Published| Journal Article | IST-REx-ID: 2581
Lee, Teffy, Takeshi Kaneko, Ryuichi Shigemoto, Sakashi Nomura, and Noboru Mizuno. “Collateral Projections from Striatonigral Neurons to Substance P Receptor-Expressing Intrinsic Neurons in the Striatum of the Rat.” Journal of Comparative Neurology. Wiley-Blackwell, 1997. https://doi.org/10.1002/(SICI)1096-9861(19971117)388:2<250::AID-CNE5>3.0.CO;2-0.
View
| DOI
| PubMed | Europe PMC
1997 |Published| Journal Article | IST-REx-ID: 2579
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.” Cell and Tissue Research. Springer, 1997. https://doi.org/10.1007/s004410050846.
View
| DOI
| PubMed | Europe PMC
1997 |Published| Journal Article | IST-REx-ID: 4022
Edelsbrunner, Herbert, Pavel Valtr, and Emo Welzl. “Cutting Dense Point Sets in Half.” Discrete & Computational Geometry. Springer, 1997. https://doi.org/10.1007/PL00009291.
View
| DOI
1997 |Published| Journal Article | IST-REx-ID: 4289 |
Barton, Nicholas H. “Population Genetics: A New Apportionment of Human Diversity.” Current Biology. Cell Press, 1997. https://doi.org/10.1016/S0960-9822(06)00397-6.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1997 |Published| Journal Article | IST-REx-ID: 3485 |
Martina, Marco, and Peter M Jonas. “Functional Differences in Na+ Channel Gating between Fast-Spiking Interneurones and Principal Neurones in Rat Hippocampus.” Journal of Physiology. Wiley-Blackwell, 1997. https://doi.org/10.1111/j.1469-7793.1997.593ba.x.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC