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.

5295 Publications


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
 

1993 | Journal Article | IST-REx-ID: 3643
Rouhani, S., & Barton, N. H. (1993). Group selection and the “shifting balance.” Genetical Research, 61(2), 127–136. https://doi.org/10.1017/S0016672300031232
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4040
Edelsbrunner, H., & Tan, T. (1993). An upper bound for conforming Delaunay triangulations. Discrete & Computational Geometry, 10(1), 197–213. https://doi.org/10.1007/BF02573974
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4045
Chazelle, B., Edelsbrunner, H., Guibas, L., & Sharir, M. (1993). Diameter, width, closest line pair, and parametric searching. Discrete & Computational Geometry, 10(1), 183–196. https://doi.org/10.1007/BF02573973
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4177
Lindholm, D., Castrén, E., Tsoulfas, P., Kolbeck, R., Berzaghi, M., Leingärtner, A., … Thoenen, H. (1993). Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation. Journal of Cell Biology, 122(2), 443–450. https://doi.org/10.1083/jcb.122.2.443
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4300
Partridge, L., & Barton, N. H. (1993). Optimality, mutation and the evolution of ageing. Nature, 362, 305–311. https://doi.org/10.1038/362305a0
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2538
Iwai, M., Hori, S., Shigemoto, R., Kanzaki, H., Mori, T., & Nakanishi, S. (1993). Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization. Biology of Reproduction, 49(4), 675–680.
View
 

1993 | Journal Article | IST-REx-ID: 2540
Ohishi, H., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1993). Distribution of the messenger RNA for a metabotropic glutamate receptor, mGluR2, in the central nervous system of the rat. Neuroscience, 53(4), 1009–1018. https://doi.org/10.1016/0306-4522(93)90485-X
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2487
Ohishi, H., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1993). Distribution of the mRNA for a metabotropic glutamate receptor (mGluR3) in the rat brain: An in situ hybridization study. Journal of Comparative Neurology, 335(2), 252–266. https://doi.org/10.1002/cne.903350209
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2723
Erdös, L. (1993). Ground-state density of the Pauli operator in the large field limit. Letters in Mathematical Physics, 29(3), 219–240. https://doi.org/10.1007/BF00761110
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3644
Barton, N. H., & Rouhani, S. (1993). Adaptation and the “shifting balance.” Genetical Research, 61(1), 57–74. https://doi.org/10.1017/S0016672300031098
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3473
Ruppersberg, P., Ermler, M., Knopf, M., Kues, W., Jonas, P. M., & Koenen, M. (1993). Properties of Shaker-homologous potassium channels expressed in the mammalian brain. Cellular Physiology and Biochemistry, 3, 250–269. https://doi.org/10.1159/000154691
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4041
Edelsbrunner, H., Seidel, R., & Sharir, M. (1993). On the zone theorem for hyperplane arrangements. SIAM Journal on Computing, 22(2), 418–429. https://doi.org/10.1137/0222031
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4301
Barton, N. H., & Gale, K. (1993). Genetic analysis of hybrid zones. In R. Harrison (Ed.), Hybrid zones and the evolutionary process (pp. 13–45). Oxford University Press.
View
 

1993 | Journal Article | IST-REx-ID: 4589
Alur, R., & Henzinger, T. A. (1993). Real-time logics: Complexity and expressiveness. Information and Computation, 104(1), 35–77. https://doi.org/10.1006/inco.1993.1025
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4616
Alur, R., Henzinger, T. A., & Ho, P. (1993). Automatic symbolic verification of embedded systems (pp. 2–11). Presented at the RTSS: Real-Time Systems Symposium, IEEE. https://doi.org/10.1109/REAL.1993.393520
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1947
Sazanov, L. A., & Jackson, J. (1993). Activation and inhibition of mitochondrial transhydrogenase by metal ions. Biochimica et Biophysica Acta - Bioenergetics, 1144(2), 225–228. https://doi.org/10.1016/0005-2728(93)90177-H
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2539
Ishii, T., Moriyoshi, K., Sugihara, H., Sakurada, K., Kadotani, H., Yokoi, M., … Nakanishi, S. (1993). Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits. Journal of Biological Chemistry, 268(4), 2836–2843.
View
 

1993 | Journal Article | IST-REx-ID: 2541
Shigemoto, R., Nakaya, Y., Nomura, S., Ogawa Meguro, R., Ohishi, H., Kaneko, T., … Mizuno, N. (1993). Immunocytochemical localization of rat substance P receptor in the striatum. Neuroscience Letters, 153(2), 157–160. https://doi.org/10.1016/0304-3940(93)90311-8
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2546
Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1993). Substance P receptor-immunoreactive neurons in the rat neostriatum are segregated into somatostatinergic and cholinergic aspiny neurons. Brain Research, 631(2), 297–303. https://doi.org/10.1016/0006-8993(93)91548-7
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 3568
Edelsbrunner, H. (1993). Geometric algorithms. In Handbook of Convex Geometry (pp. 699–735). North Holland.
View | Download (ext.)
 

1993 | Journal Article | IST-REx-ID: 3474   OA
Jonas, P. M., Major, G., & Sakmann, B. (1993). Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus. Journal of Physiology, 472, 615–663. https://doi.org/10.1113/jphysiol.1993.sp019965
View | DOI | Download (ext.)
 

1993 | Journal Article | IST-REx-ID: 4042
Edelsbrunner, H., & Tan, T. (1993). A quadratic time algorithm for the minmax length triangulation. SIAM Journal on Computing, 22(3), 527–551. https://doi.org/10.1137/0222036
View | DOI
 

1993 | Book Review | IST-REx-ID: 4302
Barton, N. H. (1993). Review of "The causes of molecular evolution" by J.H. Gillespie. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S001667230003158X
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1948
Sazanov, L. A., & Jackson, J. (1993). Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria . Biochemical Society Transactions, 21(3).
View
 

1993 | Journal Article | IST-REx-ID: 1950
Jackson, J., Cotton, N. P. J., Williams, R., Bizouarn, T., Hutton, M., Sazanov, L. A., & Thomas, C. (1993). Proton-translocating transhydrogenase in bacteria. Biochemical Society Transactions, 21(4), 1010–1013.
View
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed