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.
9198 Publications
1998 |Published| Journal Article | IST-REx-ID: 4491
Algorithmic analysis of nonlinear hybrid systems
T.A. Henzinger, P. Ho, H. Wong Toi, IEEE Transactions on Automatic Control 43 (1998) 540–554.
View
| DOI
T.A. Henzinger, P. Ho, H. Wong Toi, IEEE Transactions on Automatic Control 43 (1998) 540–554.
1998 |Published| Journal Article | IST-REx-ID: 4492 | 
What's decidable about hybrid automata?
T.A. Henzinger, P. Kopke, A. Puri, P. Varaiya, Journal of Computer and System Sciences 57 (1998) 94–124.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T.A. Henzinger, P. Kopke, A. Puri, P. Varaiya, Journal of Computer and System Sciences 57 (1998) 94–124.
1998 |Published| Conference Paper | IST-REx-ID: 4515
It's about time: Real-time logics reviewed
T.A. Henzinger, in:, Proceedings of the 9th Interantional Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 439–454.
View
| DOI
T.A. Henzinger, in:, Proceedings of the 9th Interantional Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 439–454.
1998 |Published| Conference Paper | IST-REx-ID: 4606
Symbolic exploration of transition hierarchies
R. Alur, T.A. Henzinger, S. Rajamani, in:, Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 1998, pp. 330–344.
View
| DOI
R. Alur, T.A. Henzinger, S. Rajamani, in:, Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 1998, pp. 330–344.
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: 4604
Mocha: Modularity in model checking
R. Alur, T.A. Henzinger, F. Mang, S. Qadeer, S. Rajamani, S. Tasiran, in:, Proceedings of the 10th International Conference on Computer Aided Verification, Springer, 1998, pp. 521–525.
View
| DOI
R. Alur, T.A. Henzinger, F. Mang, S. Qadeer, S. Rajamani, S. Tasiran, in:, Proceedings of the 10th International Conference on Computer Aided Verification, Springer, 1998, pp. 521–525.
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: 6160
Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans
M. de Bono, C.I. Bargmann, Cell 94 (1998) 679–689.
View
| DOI
| PubMed | Europe PMC
M. de Bono, C.I. Bargmann, Cell 94 (1998) 679–689.
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.H. 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.H. 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.H. 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.H. Henzinger, P. Klein, S. Rao, S. Subramanian, Journal of Computer and System Sciences 55 (1997) 3–23.
1997 |Published| Journal Article | IST-REx-ID: 11765
A static 2-approximation algorithm for vertex connectivity and incremental approximation algorithms for edge and vertex connectivity
M.H. Henzinger, Journal of Algorithms 24 (1997) 194–220.
View
| DOI
M.H. Henzinger, Journal of Algorithms 24 (1997) 194–220.
1997 |Published| Conference Paper | IST-REx-ID: 11803
Maintaining minimum spanning trees in dynamic graphs
M.H. Henzinger, V. King, in:, 24th International Colloquium on Automata, Languages and Programming, Springer Nature, 1997, pp. 594–604.
View
| DOI
M.H. 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.H. 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.H. 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: 11883
Sampling to provide or to bound: With applications to fully dynamic graph algorithms
M.H. Henzinger, M. Thorup, Random Structures and Algorithms 11 (1997) 369–379.
View
| DOI
M.H. Henzinger, M. Thorup, Random Structures and Algorithms 11 (1997) 369–379.
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: 2576
Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat
J. Li, T. Kaneko, R. Shigemoto, N. Mizuno, Journal of Comparative Neurology 378 (1997) 508–521.
View
| DOI
| PubMed | Europe PMC
J. Li, T. Kaneko, R. Shigemoto, N. Mizuno, Journal of Comparative Neurology 378 (1997) 508–521.
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: 2575
Localization of a metabotropic glutamate receptor, mGluR7, in axon terminals of presumed nociceptive, primary afferent fibers in the superficial layers of the spinal dorsal horn: An electron microscope study in the rat
H. Li, H. Ohishi, A. Kinoshita, R. Shigemoto, S. Nomura, N. Mizuno, Neuroscience Letters 223 (1997) 153–156.
View
| DOI
| PubMed | Europe PMC
H. Li, H. Ohishi, A. Kinoshita, R. Shigemoto, S. Nomura, N. Mizuno, Neuroscience Letters 223 (1997) 153–156.
1997 |Published| Journal Article | IST-REx-ID: 2577
The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase
Y. Tone, H. Inoue, S. Hara, C. Yokoyama, T. Hatae, H. Oida, S. Narumiya, R. Shigemoto, S. Yukawa, T. Tanabe, European Journal of Cell Biology 72 (1997) 268–277.
View
| PubMed | Europe PMC
Y. Tone, H. Inoue, S. Hara, C. Yokoyama, T. Hatae, H. Oida, S. Narumiya, R. Shigemoto, S. Yukawa, T. Tanabe, European Journal of Cell Biology 72 (1997) 268–277.
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.