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.

7642 Publications


1996 | Journal Article | IST-REx-ID: 4170
Mullins M, Hammerschmidt M, Kane D, et al. Genes establishing dorsoventral pattern formation in the zebrafish embryo: The ventral specifying genes. Development. 1996;123(1):81-93. doi:10.1242/dev.123.1.81
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4166 | OA
Odenthal J, Haffter P, Vogelsang E, et al. Mutations affecting the formation of the notochord in the zebrafish, Danio rerio. Development. 1996;123(1):103-115. doi:10.1242/dev.123.1.103
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4164
Odenthal J, Rossnagel K, Haffter P, et al. Mutations affecting xanthophore pigmentation in the zebrafish, Danio rerio. Development. 1996;123(1):391-398. doi:10.1242/dev.123.1.391
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4154
Ransom D, Haffter P, Odenthal J, et al. Characterization of zebrafish mutants with defects in embryonic hematopoiesis. Development. 1996;123(1):311-319. doi:10.1242/dev.123.1.311
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4156
Piotrowski T, Schilling T, Brand M, et al. Jaw and branchial arch mutants in zebrafish II: Anterior arches and cartilage differentiation. Development. 1996;123(1):345-356. doi:10.1242/dev.123.1.345
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4151
Schilling T, Piotrowski T, Grandel H, et al. Jaw and branchial arch mutants in zebrafish I: Branchial arches. Development. 1996;123(1):329-344. doi:10.1242/dev.123.1.329
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4142
Whitfield T, Granato M, Van Eeden F, et al. Mutations affecting development of the zebrafish inner ear and lateral line. Development. 1996;123:241-254. doi:10.1242/dev.123.1.241
View | DOI | PubMed | Europe PMC
 

1996 | Conference Poster | IST-REx-ID: 4030 | OA
Liang J, Edelsbrunner H, Subramaniam S. Effects of Molecular Shape Representations on Boundary Element Method for Protein Electrostatics Computations. Vol 70. Cell Press; 1996:A224-A224. doi:10.1016/S0006-3495(96)79664-9
View | DOI | Download None (ext.)
 

1996 | Conference Poster | IST-REx-ID: 4031 | OA
Liang J, Edelsbrunner H, Pamidghantam S, Subramaniam S. Analytical Method for Molecular Shapes: Area, Volume, Cavities, Interface and Pockets. Vol 70. Cell Press; 1996:A377-A377. doi:10.1016/S0006-3495(96)79670-4
View | DOI | Download None (ext.)
 

1996 | Journal Article | IST-REx-ID: 3756 | OA
Dogterom M, Felix M, Guet CC, Leibler S. Influence of M-phase chromatin on the anisotropy of microtubule asters. Journal of Cell Biology. 1996;133(1):125-140. doi:doi: 10.1083/jcb.133.1.125
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4027
Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Stolfi J. Lines in space: Combinatorics and algorithms. Algorithmica. 1996;15(5):428-447. doi:10.1007/BF01955043
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4024
Akkiraju N, Edelsbrunner H, Fu P, Qian J. Viewing geometric protein structures from inside a CAVE. IEEE Computer Graphics and Applications. 1996;16(4):58-61. doi:10.1109/38.511855
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4025 | OA
Akkiraju N, Edelsbrunner H. Triangulating the surface of a molecule. Discrete Applied Mathematics. 1996;71(1-3):5-22. doi:10.1016/S0166-218X(96)00054-6
View | DOI | Download Published Version (ext.)
 

1996 | Journal Article | IST-REx-ID: 4026
Edelsbrunner H, Shah N. Incremental topological flipping works for regular triangulations. Algorithmica. 1996;15(3):223-241. doi:10.1007/BF01975867
View | DOI
 

1996 | Journal Article | IST-REx-ID: 3635
Charlesworth B, Barton NH. Recombination load associated with selection for increased recombination. Genetical Research. 1996;67(1):27-41. doi:10.1017/S0016672300033450
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 3634
Barton NH, Mallet J. Natural selection and random genetic drift as causes of evolution on islands. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 1996;351(1341):785-795. doi:10.1098/rstb.1996.0073
View | DOI | PubMed | Europe PMC
 

1996 | Conference Paper | IST-REx-ID: 3553
Edelsbrunner H, Fu P, Quian J. Geometric modeling in CAVE. In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology. ACM; 1996:35-41 and-193-194. doi:10.1145/3304181.3304190
View | DOI
 

1996 | Journal Article | IST-REx-ID: 3462
Melcher T, Geiger J, Jonas PM, Monyer H. Analysis of molecular determinants in native AMPA receptors. Neurochemistry International. 1996;28(2):141-144. doi:10.1016/0197-0186(95)00077-1
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2726
Erdös L. Gaussian decay of the magnetic eigenfunctions. Geometric and Functional Analysis. 1996;6(2):231-248. doi:10.1007/BF02247886
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2574
Luján R, Nusser Z, Roberts J, Shigemoto R, Somogyi P. Perisynaptic location of metabotropic glutamate receptors mGluR1 and mGluR5 on dendrites and dendritic spines in the rat hippocampus. European Journal of Neuroscience. 1996;8(7):1488-1500. doi:10.1111/j.1460-9568.1996.tb01611.x
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2573
Tokuno H, Takada M, Kaneko T, Shigemoto R, Mizuno N. Patchy distribution of substance P receptor immunoreactivity in the developing rat striatum. Developmental Brain Research. 1996;95(1):107-117. doi:10.1016/0165-3806(96)00080-6
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2572
Hashimoto H, Nogi H, Mori K, et al. Distribution of the mRNA for a pituitary adenylate cyclase-activating polypeptide receptor in the rat brain: An in situ hybridization study. Journal of Comparative Neurology. 1996;371(4):567-577. doi:10.1002/(SICI)1096-9861(19960805)371:4<567::AID-CNE6>3.3.CO;2-M
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2571
Yokoi M, Kobayashi K, Manabe T, et al. Impairment of hippocampal mossy fiber LTD in mice lacking mGluR2. Science. 1996;273:645-647. doi:10.1126/science.273.5275.645
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2570
Shigemoto R, Kulik Á, Roberts J, et al. Target-cell-specific concentration of a metabotropic glutamate receptor in the presynaptic active zone. Nature. 1996;381(6582):523-525. doi:10.1038/381523a0
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2569
Jia H, Wang B, Rao Z, et al. GABAergic synapses upon neurons expressing substance P receptors in the nucleus of the solitary tract: An immunocytochemical electron microscope study in the rat. Neuroscience Letters. 1996;210(1):49-52. doi:10.1016/0304-3940(96)12654-9
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2567
Li J, Ding Y, Shigemoto R, Mizuno N. Distribution of trigeminothalamic and spinothalamic-tract neurons showing substance P receptor-like immunoreactivity in the rat. Brain Research. 1996;719(1-2):207-212. doi:10.1016/0006-8993(96)00064-9
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2564
Ding Y, Shigemoto R, Takada M, Ohishi H, Nakanishi S, Mizuno N. Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat. Journal of Comparative Neurology. 1996;364(2):290-310. doi:10.1002/(SICI)1096-9861(19960108)364:2<290::AID-CNE8>3.0.CO;2-0
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2566
Kinoshita A, Ohishi H, Neki A, et al. Presynaptic localization of a metabotropic glutamate receptor, mGluR8, in the rhinencephalic areas: A light and electron microscope study in the rat. Neuroscience Letters. 1996;207(1):61-64. doi:10.1016/0304-3940(96)12489-7
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2565
Li J, Ohishi H, Kaneko T, et al. Immunohistochemical localization of a metabotropic glutamate receptor, mGluR7, in ganglion neurons of the rat; with special reference to the presence in glutamatergic ganglion neurons. Neuroscience Letters. 1996;204(1-2):9-12. doi:10.1016/0304-3940(95)12299-0
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2568
Kinoshita A, Ohishi H, Nomura S, Shigemoto R, Nakanishi S, Mizuno N. Presynaptic localization of a metabotropic glutamate receptor, mGluR4a, in the cerebellar cortex: A light and electron microscope study in the rat. Neuroscience Letters. 1996;207(3):199-202. doi:10.1016/0304-3940(96)12519-2
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2492
Neki A, Ohishi H, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum. Neuroscience. 1996;75(3):815-826. doi:10.1016/0306-4522(96)00316-8
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2562
Neki A, Ohishi H, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody. Neuroscience Letters. 1996;202(3):197-200. doi:10.1016/0304-3940(95)12248-6
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 1951
Sazanov LA, Burrows P, Nixon P. Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids. Biochemical Society Transactions. 1996;24(3):739-743. doi:10.1042/bst0240739
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 1952
Bizouarn T, Sazanov LA, Aubourg S, Jackson J. Estimation of the H+/H- ratio of the reaction catalysed by the nicotinamide nucleotide transhydrogenase in chromatophores from over-expressing strains of Rhodospirillum rubrum and in liposomes inlaid with the purified bovine enzyme. Biochimica et Biophysica Acta - Bioenergetics. 1996;1273(1):4-12. doi:10.1016/0005-2728(95)00125-5
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 11761
Henzinger MH, Williamson DP. On the number of small cuts in a graph. Information Processing Letters. 1996;59(1):41-44. doi:10.1016/0020-0190(96)00079-8
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 11804
Henzinger MH, Telle JA. Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning. In: 5th Scandinavian Workshop on Algorithm Theory. Vol 1097. Springer Nature; 1996:16–27. doi:10.1007/3-540-61422-2_117
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 11910
Henzinger MH, Thorup M. Improved sampling with applications to dynamic graph algorithms. In: 23rd International Colloquium on Automata, Languages, and Programming. Vol 1099. Springer Nature; 1996:290-299. doi:10.1007/3-540-61440-0_136
View | DOI
 

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

1995 | Conference Paper | IST-REx-ID: 4502 | OA
Henzinger TA, Kopke P, Puri A, Varaiya P. What’s decidable about hybrid automata? In: Proceedings of the 27th Annual ACM Symposium on Theory of Computing. ACM; 1995:373-382. doi:10.1145/225058.225162
View | DOI | Download Published Version (ext.)
 

1995 | Conference Paper | IST-REx-ID: 4587
Alur R, Henzinger TA. Local liveness for compositional modeling of fair reactive systems. In: 7th International Conference on Computer Aided Verification. Vol 939. Springer; 1995:166-179. doi:10.1007/3-540-60045-0_49
View | DOI | Download None (ext.)
 

1995 | Conference Paper | IST-REx-ID: 4518
Henzinger TA. Hybrid automata with finite bisimulations. In: 22nd International Colloquium on Automata, Languages and Programming . Vol 944. Springer; 1995:324-335. doi:10.1007/3-540-60084-1_85
View | DOI | Download None (ext.)
 

1995 | Journal Article | IST-REx-ID: 4613
Alur R, Courcoubetis C, Halbwachs N, et al. The algorithmic analysis of hybrid systems. Theoretical Computer Science. 1995;138(1):3-34. doi:10.1016/0304-3975(94)00202-T
View | DOI | Download None (ext.)
 

1995 | Conference Paper | IST-REx-ID: 4500
Henzinger TA, Kopke P, Wong Toi H. The expressive power of clocks. In: 22nd International Colloquium on Automata, Languages and Programming . Vol 944. Springer; 1995:417-428. doi:10.1007/3-540-60084-1_93
View | DOI | Download None (ext.)
 

1995 | Conference Paper | IST-REx-ID: 4497
Henzinger TA, Ho P, Wong Toi H. A user guide to HyTech. In: 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. Vol 1019. Springer; 1995:41-71. doi:10.1007/3-540-60630-0_3
View | DOI | Download None (ext.)
 

1995 | Conference Paper | IST-REx-ID: 4450
Henzinger TA, Ho P. Algorithmic analysis of nonlinear hybrid systems. In: 7th International Conference on Computer Aided Verification. Vol 939. Springer; 1995:225-238. doi:10.1007/3-540-60045-0_53
View | DOI | Download None (ext.)
 

1995 | Conference Paper | IST-REx-ID: 4499
Henzinger TA, Ho P, Wong Toi H. HyTech: The next generation. In: Proceedings 16th IEEE Real-Time Systems Symposium. IEEE; 1995:56-65. doi:10.1109/REAL.1995.495196
View | DOI | Download None (ext.)
 

1995 | Conference Paper | IST-REx-ID: 4448
Henzinger TA, Ho P. A note on abstract-interpretation strategies for hybrid automata. In: Panos A, Kohn W, Nerode A, Sastry S, eds. 3rd International Hybrid Systems Workshop. Vol 999. Springer; 1995:252-264. doi:10.1007/3-540-60472-3_13
View | DOI | Download None (ext.)
 

1995 | Conference Paper | IST-REx-ID: 4447
Henzinger TA, Ho P. HyTech: The Cornell Hybrid Technology Tool. In: Panos A, Kohn W, Nerode A, Sastry S, eds. 4th International Hybrid Systems Workshop. Vol 999. LNCS. Springer; 1995:265-293. doi:10.1007/3-540-60472-3_14
View | DOI | Download None (ext.)
 

1995 | Journal Article | IST-REx-ID: 4296 | OA
Partridge L, Barrie B, Barton NH, Fowler K, French V. Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature. Evolution. 1995;49(3):538-544. doi:10.1111/j.1558-5646.1995.tb02285.x
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 4297 | OA
Sites J, Barton NH, Reed K. The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico. Evolution. 1995;49(1):9-36. doi:10.1111/j.1558-5646.1995.tb05955.x
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 4035
Chazelle B, Edelsbrunner H, Grigni M, Guibas L, Sharir M, Welzl E. Improved bounds on weak ε-nets for convex sets. Discrete & Computational Geometry. 1995;13(1):1-15. doi:10.1007/BF02574025
View | DOI | Download None (ext.)
 

1995 | Conference Paper | IST-REx-ID: 4034
Edelsbrunner H. Algebraic decomposition of non-convex polyhedra. In: Proceedings of IEEE 36th Annual Foundations of Computer Science. IEEE; 1995:248-257.
View | Download None (ext.)
 

1995 | Journal Article | IST-REx-ID: 4153
Ransom D, Brownlie A, Haffter P, et al. Hematopoietic mutants identified in a saturation screen of the zebrafish genome. Blood. 1995;86(10):1912-1912.
View
 

1995 | Journal Article | IST-REx-ID: 3639
Barton NH. A general model for the evolution of recombination. Genetical Research. 1995;65(2):123-144. doi:10.1017/S0016672300033140
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 3640 | OA
Barton NH. Linkage and the limits to natural selection. Genetics. 1995;140(2):821-841. doi:http://www.genetics.org/content/140/2/821.long
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 4029
Delfinado C, Edelsbrunner H. An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere. Computer Aided Geometric Design. 1995;12(7):771-784. doi:10.1016/0167-8396(95)00016-Y
View | DOI | Download None (ext.)
 

1995 | Journal Article | IST-REx-ID: 3636 | OA
Nürnberger B, Barton NH, Maccallum C, Gilchrist J, Appleby M. Natural selection on quantitative traits in the Bombina hybrid zone. Evolution. 1995;49(6):1224-1238. doi:10.1111/j.1558-5646.1995.tb04449.x
View | DOI | Download Published Version (ext.)
 

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

1995 | Journal Article | IST-REx-ID: 3638
Barton NH, Wilson I. Genealogies and geography. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 1995;349(1327):49-59. doi:10.1098/rstb.1995.0090
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Conference Paper | IST-REx-ID: 3551
Edelsbrunner H, Facello M, Fu P, Liang J. Measuring proteins and voids in proteins. In: Proceedings of the 28th Annual Hawaii International Conference on System Sciences. IEEE; 1995:256-264. doi:10.1109/HICSS.1995.375331
View | DOI | Download None (ext.)
 

1995 | Journal Article | IST-REx-ID: 4028 | OA
Edelsbrunner H. The union of balls and its dual shape. Discrete & Computational Geometry. 1995;13(1):415-440. doi:10.1007/BF02574053
View | DOI | Download Published Version (ext.)
 

1995 | Conference Paper | IST-REx-ID: 3552
Akkiraju N, Edelsbrunner H, Facello M, Fu P, Mücke E, Varela C. Alpha shapes: definition and software. In: Elsevier; 1995:63-66.
View | Download None (ext.)
 

1995 | Book Review | IST-REx-ID: 3597
Kirkpatrick M, Barton NH. Déjà vu all over again. Nature. 1995;377:388-389. doi:10.1038/377388a0
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

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

1995 | Thesis | IST-REx-ID: 4428 | OA
Ho P. Automatic analysis of hybrid systems. 1995:1-188.
View | Download Published Version (ext.)
 

1995 | Journal Article | IST-REx-ID: 3478 | OA
Spruston N, Jonas PM, Sakmann B. Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons. Journal of Physiology. 1995;482(Pt 2):325-352. doi:10.1113/jphysiol.1995.sp020521
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

1995 | Journal Article | IST-REx-ID: 3480 | OA
Geiger J, Melcher T, Koh D, et al. Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons in rat CNS. Neuron. 1995;15(1):193-204. doi:10.1016/0896-6273(95)90076-4
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Book Chapter | IST-REx-ID: 3454
Monyer H, Jonas PM. Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices. In: Sakmann B, Neher E, eds. Single-Channel Recording. Plenum; 1995:357-373. doi:10.1007/978-1-4419-1229-9_16
View | DOI | Download None (ext.)
 

1995 | Book Chapter | IST-REx-ID: 3455
Jonas PM. Fast application of agonists to isolated membrane patches. In: Sakmann B, Neher E, eds. Single-Channel Recording. Plenum; 1995:231-243. doi:10.1007/978-1-4419-1229-9_10
View | DOI | Download None (ext.)
 

1995 | Journal Article | IST-REx-ID: 3461 | OA
Jonas PM, Burnashev N. Molecular mechanisms controlling calcium entry through  AMPA-type glutamate receptor channels. Neuron. 1995;15(5):987-990. doi:10.1016/0896-6273(95)90087-X
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 4298 | OA
Barton NH. Appendix to “A simulation study of multilocus clines” by S J E Baird. Evolution. 1995;49(6):1038-1045. doi:10.1111/j.1558-5646.1995.tb04431.x
View | DOI | Download Published Version (ext.)
 

1995 | Journal Article | IST-REx-ID: 2559 | OA
Masu M, Iwakabe H, Tagawa Y, et al. Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene. Cell. 1995;80(5):757-765. doi:10.1016/0092-8674(95)90354-2
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 2561
Ohishi H, Nomura S, Ding Y, et al. Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat. Neuroscience Letters. 1995;202(1-2):85-88. doi:10.1016/0304-3940(95)12207-9
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 2560
Lü Y, Jin S, Xu T, et al. Expression of c-fos protein in substance P receptor-like immunoreactive neurons in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord segments of the rat. Neuroscience Letters. 1995;198(2):139-142. doi:10.1016/0304-3940(95)11991-5
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 2563
Ding Y, Takada M, Shigemoto R, Mizuno N. Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat. Neuroscience Research. 1995;23(4):415-418. doi:10.1016/0168-0102(95)00961-R
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Conference Paper | IST-REx-ID: 2712
Erdös L. Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals. In: Vol 78. Birkhäuser; 1995:127-132. doi:10.1007/978-3-0348-9092-2_13
View | DOI | Download None (ext.)
 

1995 | Journal Article | IST-REx-ID: 2724
Erdös L. Magnetic Lieb-Thirring inequalities. Communications in Mathematical Physics. 1995;170(3):629-668. doi:10.1007/BF02099152
View | DOI | Download None (ext.)
 

1995 | Journal Article | IST-REx-ID: 1943 | OA
Sazanov LA, Jackson B. 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. 1995;1231(3):304-312. doi:10.1016/0005-2728(95)00096-2
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 2491
Ohishi H, Akazawa C, Shigemoto R, Nakanishi S, Mizuno N. Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain. Journal of Comparative Neurology. 1995;360(4):555-570. doi:10.1002/cne.903600402
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 2558
Mick G, Shigemoto R, Kitahama K. Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents. Comptes Rendus de l’Academie des Sciences - Series III. 1995;318(2):209-217.
View | Download None (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 2556
Ding Y, Takada M, Shigemoto R, Mizuno N. Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat. Brain Research. 1995;674(2):336-340. doi:10.1016/0006-8993(95)00022-I
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Book Chapter | IST-REx-ID: 2465
Morris D, Friml J, Zažímalová E. Auxin transport. In: Davies P, ed. Plant Hormones: Biosynthesis, Signal Transduction, Action!. Kluwer; 1995:451-484. doi:10.1007/978-1-4020-2686-7_21
View | DOI | Download None (ext.)
 

1995 | Journal Article | IST-REx-ID: 11677
Henzinger MH. Fully dynamic biconnectivity in graphs. Algorithmica. 1995;13(6):503-538. doi:10.1007/bf01189067
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 11684
Henzinger MH, King V. Fully dynamic biconnectivity and transitive closure. In: Proceedings of IEEE 36th Annual Foundations of Computer Science. Institute of Electrical and Electronics Engineers; 1995:664-672. doi:10.1109/SFCS.1995.492668
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 11806
Henzinger MH. Approximating minimum cuts under insertions. In: 22nd International Colloquium on Automata, Languages and Programming. Vol 944. Springer Nature; 1995:280–291. doi:10.1007/3-540-60084-1_81
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 11805
Henzinger MH, Poutré H. Certificates and fast algorithms for biconnectivity in fully-dynamic graphs. In: 3rd Annual European Symposium on Algorithms. Vol 979. Springer Nature; 1995:171–184. doi:10.1007/3-540-60313-1_142
View | DOI
 

1994 | Journal Article | IST-REx-ID: 6167
Zarkower D, de Bono M, Aronoff R, Hodgkin J. Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1. Developmental Genetics. 1994;15(3):240-250. doi:10.1002/dvg.1020150306
View | DOI | PubMed | Europe PMC
 

1994 | Conference Paper | IST-REx-ID: 2548
Hirano T, Kasono K, Shigemoto R, Nakanishi S. Induction mechanism of long term depression in cultured Purkinje neurons. In: Vol 15. Biomedical Research Foundation; 1994:79-81.
View
 

1994 | Conference Paper | IST-REx-ID: 4615
Alur R, Fix L, Henzinger TA. A determinizable class of timed automata. In: International Conference on Computer Aided Verification. Vol 818. Springer; 1994:1-13. doi:10.1007/3-540-58179-0_39
View | DOI | Download None (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4617
Alur R, Courcoubetis C, Henzinger TA, et al. The algorithmic analysis of hybrid systems. In: 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. Vol 199. Springer; 1994:331-351. doi:10.1007/BFb0033565
View | DOI | Download None (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4614
Alur R, Courcoubetis C, Henzinger TA. The observational power of clocks. In: 5th International Conference on Concurrency Theory. Vol 836. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1994:162-177. doi:10.1007/BFb0015008
View | DOI | Download None (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4440
Henzinger TA, Kopke P. Verification methods for the divergent runs of clock systems. In: 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. Vol 863. Springer; 1994:351-372. doi:10.1007/3-540-58468-4_173
View | DOI | Download None (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4420
Kapur A, Henzinger TA, Manna Z, Pnueli A. Proving safety properties of hybrid systems. In: 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. Vol 863. Springer; 1994:431-454. doi:10.1007/3-540-58468-4_177
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 4501 | OA
Henzinger TA, Manna Z, Pnueli A. Temporal proof methodologies for timed transition systems. Information and Computation. 1994;112(2):273-337. doi:10.1006/inco.1994.1060
View | DOI | Download None (ext.)
 

1994 | Book Chapter | IST-REx-ID: 4590
Alur R, Henzinger TA. Real-time system = discrete system + clock variables. In: Rus T, Rattray C, eds. Theories and Experiences for Real-Time System Development. Vol 2. AMAST Series in Computing. World Scientific Publishing; 1994:1-29. doi:10.1142/9789812831583_0001
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 4503
Henzinger TA, Nicollin X, Sifakis J, Yovine S. Symbolic model checking for real-time systems. Information and Computation. 1994;111(2):193-244. doi:10.1006/inco.1994.1045
View | DOI | Download None (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4586
Alur R, Henzinger TA. Finitary fairness. In: Proceedings 9th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1994:52-61. doi:10.1109/LICS.1994.316087
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 4591
Alur R, Henzinger TA. A really temporal logic. Journal of the ACM. 1994;41(1):181-204. doi:10.1145/174644.174651
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 4179 | OA
Leingärtner A, Heisenberg C-PJ, Kolbeck R, Thoenen H, Lindholm D. Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons. Journal of Biological Chemistry. 1994;269(2):828-830. doi:10.1016/s0021-9258(17)42186-7
View | DOI | Download None (ext.)
 

Search

Filter Publications