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.

1952 Publications


1998 | Conference Paper | IST-REx-ID: 4429
Henzinger TA, Rusu V. 1998. Reachability verification for hybrid automata. Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 1386, 190–204.
View | DOI
 

1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger TA ed. 1998. HSCC: Hybrid Systems—Computation and Control, Springer,p.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4486
Henzinger TA, Qadeer S, Rajamani S, Tasiran S. 1998. An assume-guarantee rule for checking simulation. Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, LNCS, vol. 1522, 421–432.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4515
Henzinger TA. 1998. It’s about time: Real-time logics reviewed. Proceedings of the 9th Interantional Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1466, 439–454.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4603
Alur R, Henzinger TA, Kupferman O, Vardi M. 1998. Alternating refinement relations. Proceedings of the 9th Interantional Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1466, 163–178.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro L, Henzinger TA, Kupferman O. 1998. Concurrent reachability games. Proceedings 39th Annual Symposium on Foundations of Computer Science. FOCS: Foundations of Computer Science, 564–575.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 11666
Anderson JM, Berc LM, Dean J, Ghemawat S, Henzinger MH, Leung S-TA, Sites RL, Vandevoorde MT, Waldspurger CA, Weihl WE. 1997. Continuous profiling: Where have all the cycles gone? ACM Transactions on Computer Systems. 15(4), 357–390.
View | DOI
 

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

1997 | Conference Paper | IST-REx-ID: 11803
Henzinger MH, King V. 1997. Maintaining minimum spanning trees in dynamic graphs. 24th International Colloquium on Automata, Languages and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 1256, 594–604.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 11849 | OA
Anderson JM, Berc LM, Dean J, Ghemawat S, Henzinger MH, Leung S-TA, Sites RL, Vandevoorde MT, Waldspurger CA, Weihl WE. 1997. Continuous profiling: Where have all the cycles gone? ACM SIGOPS Operating Systems Review. 31(5), 1–14.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

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

1997 | Journal Article | IST-REx-ID: 2576
Li J, Kaneko T, Shigemoto R, Mizuno N. 1997. Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat. Journal of Comparative Neurology. 378(4), 508–521.
View | DOI | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 2578
Seybold V, Grković I, Portbury A, Ding Y, Shigemoto R, Mizuno N, Furness J, Southwell B. 1997. Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord. Journal of Comparative Neurology. 381(4), 439–448.
View | DOI | PubMed | Europe PMC
 

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

1997 | Journal Article | IST-REx-ID: 2581
Lee T, Kaneko T, Shigemoto R, Nomura S, Mizuno N. 1997. Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat. Journal of Comparative Neurology. 388(2), 250–264.
View | DOI | PubMed | Europe PMC
 

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

1997 | Journal Article | IST-REx-ID: 4022
Edelsbrunner H, Valtr P, Welzl E. 1997. Cutting dense point sets in half. Discrete & Computational Geometry. 17(3), 243–255.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4289 | OA
Barton NH. 1997. Population genetics: A new apportionment of human diversity. Current Biology. 7(12), 757–758.
[Published Version] View | DOI | Download Published Version (ext.)
 

1997 | Journal Article | IST-REx-ID: 3485 | OA
Martina M, Jonas PM. 1997. Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus. Journal of Physiology. 505(3), 593–603.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 3486 | OA
Bischofberger J, Jonas PM. 1997. Action potential propagation into the presynaptic dendrites of rat mitral cells. Journal of Physiology. 504(Pt 2), 359–365.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

isbn%3D978-3-99078-004-6

Search

Filter Publications