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.

5620 Publications


1996 | Journal Article | IST-REx-ID: 4208
Hammerschmidt, M., Pelegri, F., Mullins, M., Kane, D., Brand, M., Van Eeden, F., … Nüsslein Volhard, C. (1996). Mutations affecting morphogenesis during gastrulation and tail formation in the zebrafish, Danio rerio. Development, 123, 143–151.
View
 

1996 | Journal Article | IST-REx-ID: 4210
Haffter, P., Odenthal, J., Mullins, M., Lin, S., Farrell, M., Vogelsang, E., … Nüsslein Volhard, C. (1996). Mutations affecting pigmentation and shape of the adult zebrafish. Development Genes and Evolution, 206(4), 260–276. https://doi.org/10.1007/s004270050051
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4215
Chen, J., Haffter, P., Odenthal, J., Vogelsang, E., Brand, M., Van Eeden, F., … Nüsslein Volhard, C. (1996). Mutations affecting the cardiovascular system and other internal organs in zebrafish. Development, 123, 293–302.
View
 

1996 | Journal Article | IST-REx-ID: 4164
Odenthal, J., Rossnagel, K., Haffter, P., Kelsh, R., Vogelsang, E., Brand, M., … Nüsslein Volhard, C. (1996). Mutations affecting xanthophore pigmentation in the zebrafish, Danio rerio. Development, 123, 391–398.
View
 

1996 | Journal Article | IST-REx-ID: 4222
Van Eeden, F., Granato, M., Schach, U., Brand, M., Furutani Seiki, M., Haffter, P., … Nüsslein Volhard, C. (1996). Mutations affecting somite formation and patterning in the zebrafish, Danio rerio. Development, 123, 153–164.
View
 

1996 | Conference Paper | IST-REx-ID: 4443
Henzinger, T. A., & Kopke, P. (1996). State equivalences for rectangular hybrid automata (Vol. 1119, pp. 530–545). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-61604-7_74
View | DOI
 

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

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

1995 | Book Review | IST-REx-ID: 3597
Kirkpatrick, M., & Barton, N. H. (1995). Déjà vu all over again. Nature. Nature Publishing Group. https://doi.org/10.1038/377388a0
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3636
Nürnberger, B., Barton, N. H., 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: 4153
Ransom, D., Brownlie, A., Haffter, P., Odenthal, J., Kelsh, R., Brand, M., … Zon, L. (1995). Hematopoietic mutants identified in a saturation screen of the zebrafish genome. Blood, 86(10), 1912–1912.
View
 

1995 | Journal Article | IST-REx-ID: 4297
Sites, J., Barton, N. H., & Reed, K. (1995). The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico. Evolution; International Journal of Organic Evolution, 49(1), 9–36.
View | Download (ext.)
 

1995 | Conference Paper | IST-REx-ID: 4499
Henzinger, T. A., Ho, P., & Wong Toi, H. (1995). HyTech: The next generation (pp. 56–65). Presented at the RTSS: Real-Time Systems Symposium, IEEE. https://doi.org/10.1109/REAL.1995.495196
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4502
Henzinger, T. A., Kopke, P., Puri, A., & Varaiya, P. (1995). What’s decidable about hybrid automata? (pp. 373–382). Presented at the STOC: Symposium on the Theory of Computing, ACM. https://doi.org/10.1145/225058.225162
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 3454
Monyer, H., & Jonas, P. M. (1995). Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices. In B. Sakmann & E. Neher (Eds.), Single-channel recording (pp. 357–373). Plenum.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3461
Jonas, P. M., & Burnashev, N. (1995). Molecular mechanisms controlling calcium entry through  AMPA-type glutamate receptor channels. Neuron, 15(5), 987–990. https://doi.org/10.1016/0896-6273(95)90087-X
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3637
Maccallum, C., Nürnberger, B., & Barton, N. H. (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. https://doi.org/10.1098/rspb.1995.0089
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3478
Spruston, N., Jonas, P. M., & 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: 3480
Geiger, J., Melcher, T., Koh, D., Sakmann, B., Seeburg, P., Jonas, P. M., & 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. https://doi.org/10.1016/0896-6273(95)90076-4
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4034
Edelsbrunner, H. (1995). Algebraic decomposition of non-convex polyhedra (pp. 248–257). Presented at the FOCS: Foundations of Computer Science, IEEE.
View
 

1995 | Journal Article | IST-REx-ID: 4298
Barton, N. H. (1995). Appendix to "The mixing of genotypes in hybrid zones: a simulation study of multilocus clines", by S J E Baird. Evolution; International Journal of Organic Evolution, 49, 1038–1045.
View
 

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. https://doi.org/10.1101/gad.9.2.155
View | DOI | PubMed | Europe PMC
 

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

1995 | Journal Article | IST-REx-ID: 2560
Lü, Y., Jin, S., Xu, T., Qin, B., Li, J., Ding, Y., … Mizuno, N. (1995). 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, 198(2), 139–142. https://doi.org/10.1016/0304-3940(95)11991-5
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. https://doi.org/10.1007/BF02099152
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 2712
Erdös, L. (1995). Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals (Vol. 78, pp. 127–132). Presented at the Partial Differential Operators and Mathematical Physics, Birkhäuser. https://doi.org/10.1007/978-3-0348-9092-2_13
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 3455
Jonas, P. M. (1995). Fast application of agonists to isolated membrane patches. In B. Sakmann & E. Neher (Eds.), Single-channel recording (pp. 231–243). Plenum.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3638
Barton, N. H., & Wilson, I. (1995). Genealogies and geography. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, 349(1327), 49–59. https://doi.org/10.1098/rstb.1995.0090
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3640   OA
Barton, N. H. (1995). Linkage and the limits to natural selection. Genetics, 140(2), 821–841. http://www.genetics.org/content/140/2/821.long
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 (pp. 256–264). Presented at the HICSS: Hawaii International Conference on System Sciences, IEEE. https://doi.org/10.1109/HICSS.1995.375331
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3479   OA
Koh, D., Geiger, J., Jonas, P. M., & 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. https://doi.org/10.1113/jphysiol.1995.sp020737
View | DOI | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3481   OA
Koh, D., Burnashev, N., & Jonas, P. M. (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. https://doi.org/10.1113/jphysiol.1995.sp020813
View | DOI | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 4028
Edelsbrunner, H. (1995). The union of balls and its dual shape. Discrete & Computational Geometry, 13(1), 415–440. https://doi.org/10.1007/BF02574053
View | DOI
 

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

1995 | Journal Article | IST-REx-ID: 1943
Sazanov, L. A., & 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. https://doi.org/10.1016/0005-2728(95)00096-2
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2559
Masu, M., Iwakabe, H., Tagawa, Y., Miyoshi, T., Yamashita, M., Fukuda, Y., … Nakanishi, S. (1995). Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene. Cell, 80(5), 757–765. https://doi.org/10.1016/0092-8674(95)90354-2
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2561
Ohishi, H., Nomura, S., Ding, Y., Shigemoto, R., Wada, E., Kinoshita, A., … Mizuno, N. (1995). Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat. Neuroscience Letters, 202(1–2), 85–88. https://doi.org/10.1016/0304-3940(95)12207-9
View | DOI
 

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

1995 | Journal Article | IST-REx-ID: 2491
Ohishi, H., Akazawa, C., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1995). 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, 360(4), 555–570. https://doi.org/10.1002/cne.903600402
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3639
Barton, N. H. (1995). A general model for the evolution of recombination. Genetical Research, 65(2), 123–144. https://doi.org/10.1017/S0016672300033140
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 (pp. 63–66). Presented at the GCG: International Computational Geometry Software Workshop, Elsevier.
View | Download (ext.)
 

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

1995 | Thesis | IST-REx-ID: 4428
Ho, P. (1995). Automatic Analysis of Hybrid Systems (pp. 1–188). Cornell University. https://doi.org/CSD-TR95-1536
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 4447
Henzinger, T. A., & Ho, P. (1995). HyTech: The Cornell Hybrid Technology Tool. In A. Panos, W. Kohn, A. Nerode, & S. Sastry (Eds.), Hybrid Systems II (Vol. 999, pp. 265–293). Springer. https://doi.org/10.1007/3-540-60472-3_14
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4497
Henzinger, T. A., Ho, P., & Wong Toi, H. (1995). A user guide to HyTech (Vol. 1019, pp. 41–71). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/3-540-60630-0_3
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4500
Henzinger, T. A., Kopke, P., & Wong Toi, H. (1995). The expressive power of clocks (Vol. 944, pp. 417–428). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-60084-1_93
View | DOI
 

1995 | Journal Article | IST-REx-ID: 4613
Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T. A., Ho, P., Nicollin, X., … Yovine, S. (1995). The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1), 3–34. https://doi.org/10.1016/0304-3975(94)00202-T
View | DOI
 

1995 | Journal Article | IST-REx-ID: 4296
Partridge, L., Barrie, B., Barton, N. H., Fowler, K., & French, V. (1995). Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature. Evolution; International Journal of Organic Evolution, 49(3), 538–544.
View | Download (ext.)
 

1995 | Book Chapter | IST-REx-ID: 4448
Henzinger, T. A., & Ho, P. (1995). A note on abstract-interpretation strategies for hybrid automata. In A. Panos, W. Kohn, A. Nerode, & S. Sastry (Eds.), Hybrid Systems II (Vol. 999, pp. 252–264). Springer. https://doi.org/10.1007/3-540-60472-3_13
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4450
Henzinger, T. A., & Ho, P. (1995). Algorithmic analysis of nonlinear hybrid systems (Vol. 939, pp. 225–238). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-60045-0_53
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4587
Alur, R., & Henzinger, T. A. (1995). Local liveness for compositional modeling of fair reactive systems (Vol. 939, pp. 166–179). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-60045-0_49
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4498
Henzinger, M., Henzinger, T. A., & Kopke, P. (1995). Computing simulations on finite and infinite graphs (pp. 453–462). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/SFCS.1995.492576
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4518
Henzinger, T. A. (1995). Hybrid automata with finite bisimulations (Vol. 944, pp. 324–335). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/0.1007/3-540-60084-1_85
View | DOI
 

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. https://doi.org/10.1002/cne.903470208
View | DOI
 

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. https://doi.org/10.1016/0304-3940(94)90602-5
View | DOI
 

1994 | Book Chapter | IST-REx-ID: 3453
Von Kitzing, E., Jonas, P. M., & Sakmann, B. (1994). Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse. In L. Stjärne, P. Greengard, S. Grillner, T. Hökfelt, & D. Ottoson (Eds.), Molecular and cellular mechanisms of neurotransmitter release (Vol. 29, pp. 235–260). Raven Press. https://doi.org/10.1016/0166-2236(95)90088-8
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3460
Jonas, P. M., & Spruston, N. (1994). Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS. Current Opinion in Neurobiology, 4(3), 366–372. https://doi.org/10.1016/0959-4388(94)90098-1
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3477
Jonas, P. M., Racca, C., Sakmann, B., Seeburg, P., & Monyer, H. (1994). Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression. Neuron, 12(6), 1281–1289. https://doi.org/10.1016/0896-6273(94)90444-8
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. https://doi.org/10.1137/S0097539790179919
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. https://doi.org/10.1007/BF01182771
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4420
Kapur, A., Henzinger, T. A., Manna, Z., & Pnueli, A. (1994). Proving safety properties of hybrid systems (Vol. 863, pp. 431–454). Presented at the FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer. https://doi.org/10.1007/3-540-58468-4_177
View | DOI
 

1994 | Book Chapter | IST-REx-ID: 4590
Alur, R., & Henzinger, T. A. (1994). Real-time system = discrete system + clock variables. In T. Rus & C. Rattray (Eds.), Theories and Experiences for Real-Time System Development (Vol. 2, pp. 1–29). World Scientific Publishing.
View | Download (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4615
Alur, R., Fix, L., & Henzinger, T. A. (1994). A determinizable class of timed automata (Vol. 818, pp. 1–13). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-58179-0_39
View | DOI
 

1994 | Journal Article | IST-REx-ID: 1953
Efanov, A., Koshkin, A., Sazanov, L. A., Borodulina, O. I., Varfolomeev, S., & Zaǐtsev, S. (1994). Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism. FEBS Letters, 355(2), 114–116. https://doi.org/10.1016/0014-5793(94)01109-5
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. Birkhäuser. https://doi.org/10.1007/978-3-0348-7330-7_8
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. https://doi.org/10.1016/0304-3940(94)90469-3
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. https://doi.org/10.1016/0896-6273(94)90459-6
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 3550
Edelsbrunner, H. (1994). Modeling with simplicial complexes (topology, geometry and algorithms) (pp. 36–44). Presented at the CCCG: Canadian Conference on Computational Geometry, Unknown.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4039
Chazelle, B., Edelsbrunner, H., Grigni, M., Guibas, L., Hershberger, J., Sharir, M., & Snoeyink, J. (1994). Ray shooting in polygons using geodesic triangulations. Algorithmica, 12(1), 54–68. https://doi.org/10.1007/BF01377183
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4440
Henzinger, T. A., & Kopke, P. (1994). Verification methods for the divergent runs of clock systems (Vol. 863, pp. 351–372). Presented at the FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer. https://doi.org/10.1007/3-540-58468-4_173
View | DOI
 

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

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

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

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. https://doi.org/10.1016/0306-4522(94)90215-1
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. https://doi.org/10.1016/0306-4522(94)90483-9
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: 4179
Leingärtner, A., Heisenberg, C., Kolbeck, R., Thoenen, H., & Lindholm, D. (1994). Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons. Journal of Biological Chemistry, 269(2), 828–830.
View
 

1994 | Journal Article | IST-REx-ID: 4299
Partridge, L., & Barton, N. H. (1994). Evolution of aging: Testing the theory using Drosophila. Genetica, 91(1–3), 89–98. https://doi.org/10.1007/BF01435990
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4617
Alur, R., Courcoubetis, C., Henzinger, T. A., Ho, P., Nicollin, X., Olivero, A., … Yovine, S. (1994). The algorithmic analysis of hybrid systems (Vol. 199, pp. 331–351). Presented at the ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems, Springer. https://doi.org/10.1007/BFb0033565
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 | 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. https://doi.org/10.1016/0092-8674(94)90151-1
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. https://doi.org/10.1002/cne.903470112
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2713
Erdös, L. (1994). Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator. Duke Mathematical Journal, 76(2), 541–566. https://doi.org/10.1215/S0012-7094-94-07619-9
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3641
Barton, N. H. (1994). The reduction in fixation probability caused by substitutions at linked loci. Genetical Research, 64(3), 199–208. https://doi.org/10.1017/S0016672300032857
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3475   OA
Koh, D., Jonas, P. M., & Vogel, W. (1994). Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus. Journal of Physiology, 479, 183–197. https://doi.org/10.1113/jphysiol.1994.sp020287
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4202
Heisenberg, C., Cooper, J., Berke, J., & Sofroniew, M. (1994). NMDA potentiates NGF-induced sprouting of septal cholinergic fibres. Neuroreport, 5(4), 413–416.
View
 

1994 | Conference Paper | IST-REx-ID: 4586
Alur, R., & Henzinger, T. A. (1994). Finitary fairness (pp. 52–61). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.1994.316087
View | DOI
 

1994 | Journal Article | IST-REx-ID: 1949
Sazanov, L. A., & Jackson, J. (1994). Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria. FEBS Letters, 344(2–3), 109–116. https://doi.org/10.1016/0014-5793(94)00370-X
View | DOI
 

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 (Vol. 15, pp. 79–81). Presented at the Unknown (0388-6107), Biomedical Research Foundation.
View
 

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: 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. https://doi.org/10.1016/0896-6273(94)90441-3
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3642
Turelli, M., & Barton, N. H. (1994). Genetic and statistical analyses of strong selection on polygenic traits: What, me normal? Genetics, 138(3), 913–941.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 3476
Major, G., Larkman, A., Jonas, P. M., Sakmann, B., & Jack, J. (1994). Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices. Journal of Neuroscience, 14(8), 4613–4638.
View | Download (ext.)
 

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. https://doi.org/10.1007/BF02574381
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. https://doi.org/10.1145/174462.156635
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4501
Henzinger, T. A., Manna, Z., & Pnueli, A. (1994). Temporal proof methodologies for timed transition systems. Information and Computation, 112(2), 273–337. https://doi.org/10.1006/inco.1994.1060
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4614
Alur, R., Courcoubetis, C., & Henzinger, T. A. (1994). The observational power of clocks (Vol. 836, pp. 162–177). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/BFb0015008
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2537
Tanabe, Y., Nomura, A., Masu, M., Shigemoto, R., Mizuno, N., & Nakanishi, S. (1993). Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4. Journal of Neuroscience, 13(4), 1372–1378.
View
 

1993 | Journal Article | IST-REx-ID: 2544
Hayashi, Y., Momiyama, A., Takahashi, T., Ohishi, H., Ogawa Meguro, R., Shigemoto, R., … Nakanishi, S. (1993). Role of a metabotropic glutamate receptor in synaptic modulation in the accessory olfactory bulb. Nature, 366(6456), 687–690. https://doi.org/10.1038/366687a0
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3446
Sziranyi, T., & Csicsvari, J. L. (1993). High-speed character recognition using a dual cellular neural network architecture (CNND). IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing, 40(3), 223–231. https://doi.org/10.1109/82.222823
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed