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.

8923 Publications


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

1998 | Published | 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 | Published | Conference Paper | IST-REx-ID: 4488
Henzinger TA, Qadeer S, Rajamani S. 1998. You assume, we guarantee: Methodology and case studies. Proceedings of the 10th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1427, 440–451.
View | DOI
 

1998 | Published | Conference Paper | IST-REx-ID: 4489
Henzinger TA, Kupferman O, Qadeer S. 1998. From pre-historic to post-modern symbolic model checking. Proceedings of the 10th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1427, 195–206.
View | DOI
 

1998 | Published | Conference Paper | IST-REx-ID: 4490
Henzinger TA, Raskin J, Schobbens P. 1998. The regular real-time languages. Proceedings of the 25th International Colloqium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 1443, 580–591.
View | DOI
 

1998 | Published | Journal Article | IST-REx-ID: 4491
Henzinger TA, Ho P, Wong Toi H. 1998. Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. 43(4), 540–554.
View | DOI
 

1998 | Published | Journal Article | IST-REx-ID: 4492 | OA
Henzinger TA, Kopke P, Puri A, Varaiya P. 1998. What’s decidable about hybrid automata? Journal of Computer and System Sciences. 57(1), 94–124.
[Published Version] View | DOI | Download Published Version (ext.)
 

1998 | Published | 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
 

1997 | Published | 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 | Published | Journal Article | IST-REx-ID: 2575
Li H, Ohishi H, Kinoshita A, Shigemoto R, Nomura S, Mizuno N. 1997. 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. Neuroscience Letters. 223(3), 153–156.
View | DOI | PubMed | Europe PMC
 

1997 | Published | 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 | Published | Journal Article | IST-REx-ID: 2577
Tone Y, Inoue H, Hara S, Yokoyama C, Hatae T, Oida H, Narumiya S, Shigemoto R, Yukawa S, Tanabe T. 1997. The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase. European Journal of Cell Biology. 72(3), 268–277.
View | PubMed | Europe PMC
 

1997 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | Journal Article | IST-REx-ID: 2582 | OA
Shigemoto R, Kinoshita A, Wada E, Nomura S, Ohishi H, Takada M, Flor P, Neki A, Abe T, Nakanishi S, Mizuno N. 1997. Differential presynaptic localization of metabotropic glutamate receptor subtypes in the rat hippocampus. Journal of Neuroscience. 17(19), 7503–7522.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 2727
Erdös L. 1997. Dia- and paramagnetism for nonhomogeneous magnetic fields. Journal of Mathematical Physics. 38(3), 1289–1317.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 2729
Erdös L, Solovej J. 1997. Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates. Communications in Mathematical Physics. 188(3), 599–656.
View | DOI
 

1997 | Published | 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
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed