Please note that IST 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.

6069 Publications


1995 | Book Chapter | IST-REx-ID: 4447
Henzinger TA, Ho P. 1995. HyTech: The Cornell Hybrid Technology Tool. Hybrid Systems II. , LNCS, vol. 999. 265–293.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 4448
Henzinger TA, Ho P. 1995. A note on abstract-interpretation strategies for hybrid automata. Hybrid Systems II. , LNCS, vol. 999. 252–264.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4450
Henzinger TA, Ho P. 1995. Algorithmic analysis of nonlinear hybrid systems. CAV: Computer Aided Verification, LNCS, vol. 939. 225–238.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4497
Henzinger TA, Ho P, Wong Toi H. 1995. A user guide to HyTech. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1019. 41–71.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4498
Henzinger M, Henzinger TA, Kopke P. 1995. Computing simulations on finite and infinite graphs. FOCS: Foundations of Computer Science 453–462.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4499
Henzinger TA, Ho P, Wong Toi H. 1995. HyTech: The next generation. RTSS: Real-Time Systems Symposium 56–65.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4500
Henzinger TA, Kopke P, Wong Toi H. 1995. The expressive power of clocks. ICALP: Automata, Languages and Programming, LNCS, vol. 944. 417–428.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4502
Henzinger TA, Kopke P, Puri A, Varaiya P. 1995. What’s decidable about hybrid automata? STOC: Symposium on the Theory of Computing 373–382.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4518
Henzinger TA. 1995. Hybrid automata with finite bisimulations. ICALP: Automata, Languages and Programming, LNCS, vol. 944. 324–335.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4587
Alur R, Henzinger TA. 1995. Local liveness for compositional modeling of fair reactive systems. CAV: Computer Aided Verification, LNCS, vol. 939. 166–179.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 4613
Alur R, Courcoubetis C, Halbwachs N, Henzinger TA, Ho P, Nicollin X, Olivero A, Sifakis J, Yovine S. 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science. 138(1), 3–34.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 6162
de Bono M, Zarkower D, Hodgkin J. 1995. Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1. Genes and Development. 9(2), 155–167.
View | DOI | PubMed | Europe PMC
 

1995 | Conference Paper | IST-REx-ID: 2712
Erdös L. 1995. Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals. Partial Differential Operators and Mathematical Physics, Operator Theory: Advances and Applications, vol. 78. 127–132.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2724
Erdös L. 1995. Magnetic Lieb-Thirring inequalities. Communications in Mathematical Physics. 170(3), 629–668.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 1943
Sazanov LA, Jackson B. 1995. Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation. Biochimica et Biophysica Acta - Bioenergetics. 1231(3), 304–312.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 3454
Monyer H, Jonas PM. 1995. Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices. Single-channel recording. 357–373.
View | Download (ext.)
 

1995 | Book Chapter | IST-REx-ID: 3455
Jonas PM. 1995. Fast application of agonists to isolated membrane patches. Single-channel recording. 231–243.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3461
Jonas PM, Burnashev N. 1995. Molecular mechanisms controlling calcium entry through  AMPA-type glutamate receptor channels. Neuron. 15(5), 987–990.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3478
Spruston N, Jonas PM, Sakmann B. 1995. Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons. Journal of Physiology. 482(Pt 2), 325–352.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3479 | OA
Koh D, Geiger J, Jonas PM, Sakmann B. 1995. Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus. Journal of Physiology. 485(Pt 2), 383–402.
View | DOI | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3480
Geiger J, Melcher T, Koh D, Sakmann B, Seeburg P, Jonas PM, Monyer H. 1995. Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons in rat CNS. Neuron. 15(1), 193–204.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3481 | OA
Koh D, Burnashev N, Jonas PM. 1995. Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification. Journal of Physiology. 486(Pt 2), 305–312.
View | DOI | Download (ext.)
 

1995 | Conference Paper | IST-REx-ID: 3551
Edelsbrunner H, Facello M, Fu P, Liang J. 1995. Measuring proteins and voids in proteins. HICSS: Hawaii International Conference on System Sciences 256–264.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 3552
Akkiraju N, Edelsbrunner H, Facello M, Fu P, Mücke E, Varela C. 1995. Alpha shapes: definition and software. GCG: International Computational Geometry Software Workshop 63–66.
View | Download (ext.)
 

1995 | Book Review | IST-REx-ID: 3597
Kirkpatrick M, Barton NH. 1995. Déjà vu all over again. Nature. 377, 388–389.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3636
Nürnberger B, Barton NH, Maccallum C, Gilchrist J, Appleby M. 1995. Natural selection on quantitative traits in the Bombina hybrid zone. Evolution. 49(6), 1224–1238.
View
 

1995 | Journal Article | IST-REx-ID: 3637
Maccallum C, Nürnberger B, Barton NH. 1995. Experimental evidence for habitat dependent selection in a Bombina hybrid zone. Proceedings of the Royal Society of London Series B Biological Sciences. 260(1359), 257–264.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3638
Barton NH, Wilson I. 1995. Genealogies and geography. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 349(1327), 49–59.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3639
Barton NH. 1995. A general model for the evolution of recombination. Genetical Research. 65(2), 123–144.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3640 | OA
Barton NH. 1995. Linkage and the limits to natural selection. Genetics. 140(2), 821–841.
View | DOI | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 4153
Ransom D, Brownlie A, Haffter P, Odenthal J, Kelsh R, Brand M, Furutani Seiki M, Granato M, Hammerschmidt M, Heisenberg C-PJ, Jiang Y, Kane D, Mullins M, Van Eden F, Warga R, Nüsslein Volhard C, Zon L. 1995. Hematopoietic mutants identified in a saturation screen of the zebrafish genome. Blood. 86(10), 1912–1912.
View
 

1995 | Thesis | IST-REx-ID: 4428
Ho P. 1995. Automatic Analysis of Hybrid Systems, Cornell University,p.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2488
Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. 1994. Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex. Neuroscience. 60(1), 199–211.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2489
Akazawa C, Shigemoto R, Bessho Y, Nakanishi S, Mizuno N. 1994. Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats. Journal of Comparative Neurology. 347(1), 150–160.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2490
Sugimoto Y, Shigemoto R, Namba T, Negishi M, Mizuno N, Narumiya S, Ichikawa A. 1994. Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system. Neuroscience. 62(3), 919–928.
View | DOI
 

1994 | Book Review | IST-REx-ID: 2545
Nakanishi S, Masu M, Bessho Y, Nakajima Y, Hayashi Y, Shigemoto R. 1994. Molecular diversity of glutamate receptors and their physiological functions. Experientia Supplementum. 71, 71–80.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2547
Sugimoto Y, Hamba T, Shigemoto R, Negishi M, Ichikawa A, Narumiya S. 1994. Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney. American Journal of Physiology. 266(5 part 2), F823–F828.
View
 

1994 | Conference Paper | IST-REx-ID: 2548
Hirano T, Kasono K, Shigemoto R, Nakanishi S. 1994. Induction mechanism of long term depression in cultured Purkinje neurons. Unknown (0388-6107), Biomedical Research, vol. 15. 79–81.
View
 

1994 | Journal Article | IST-REx-ID: 2549
Nakaya Y, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. 1994. Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat. Journal of Comparative Neurology. 347(2), 249–274.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2550
Okamoto N, Hori S, Akazawa C, Hayashi Y, Shigemoto R, Mizuno N, Nakanishi S. 1994. Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction. Journal of Biological Chemistry. 269(2), 1231–1236.
View
 

1994 | Journal Article | IST-REx-ID: 2551
Akazawa C, Ohishi H, Nakajima Y, Okamoto N, Shigemoto R, Nakanishi S, Mizuno N. 1994. Expression of mRNAs of l-AP4-sensitive metabotropic glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina. Neuroscience Letters. 171(1–2), 52–54.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2552
Ogawa Meguro R, Shigemoto R, Itoh K, Konishi A, Mizuno N. 1994. Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat. Neuroscience Letters. 166(2), 135–138.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2553
Sugimoto Y, Namba T, Shigemoto R, Negishi M, Ichikawa A, Narumiya S. 1994. Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney. American Journal of Physiology. 266(5), F823–F828.
View
 

1994 | Journal Article | IST-REx-ID: 2554
Nomura A, Shigemoto R, Nakamura Y, Okamoto N, Mizuno N, Nakanishi S. 1994. Developmentally regulated postsynaptic localization of a metabotropic glutamate receptor in rat rod bipolar cells. Cell. 77(3), 361–369.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2555
Shigemoto R, Abe T, Nomura S, Nakanishi S, Hirano T. 1994. Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells. Neuron. 12(6), 1245–1255.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2557
Ohishi H, Ogawa Meguro R, Shigemoto R, Kaneko T, Nakanishi S, Mizuno N. 1994. Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex. Neuron. 13(1), 55–66.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4032
Dey T, Edelsbrunner H. 1994. Counting triangle crossings and halving planes. Discrete & Computational Geometry. 12(1), 281–289.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4033
Chazelle B, Edelsbrunner H, Guibas L, Hershberger J, Seidel R, Sharir M. 1994. Selecting heavily covered points. SIAM Journal on Computing. 23(6), 1138–1151.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4037
Edelsbrunner H, Mücke E. 1994. Three-dimensional alpha shapes. ACM Transactions on Graphics. 13(1), 43–72.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4038
Chazelle B, Edelsbrunner H, Guibas L, Sharir M. 1994. Algorithms for bichromatic line-segment problems and polyhedral terrains. Algorithmica. 11(2), 116–132.
View | DOI
 

Search

Filter Publications