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.

5761 Publications


1996 | Journal Article | IST-REx-ID: 2569
Jia, H., Wang, B., Rao, Z., Shi, J., Shigemoto, R., Kaneko, T., & Mizuno, N. (1996). 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, 210(1), 49–52. https://doi.org/10.1016/0304-3940(96)12654-9
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2570
Shigemoto, R., Kulik, Á., Roberts, J., Ohishi, H., Nusser, Z., Kaneko, T., & Somogyi, P. (1996). Target-cell-specific concentration of a metabotropic glutamate receptor in the presynaptic active zone. Nature, 381(6582), 523–525. https://doi.org/10.1038/381523a0
View | DOI
 

1996 | Book Review | IST-REx-ID: 2571
Yokoi, M., Kobayashi, K., Manabe, T., Takahashi, T., Sakaguchi, I., Katsuura, G., … Nakanishi, S. (1996). Impairment of hippocampal mossy fiber LTD in mice lacking mGluR2. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.273.5275.645
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2572
Hashimoto, H., Nogi, H., Mori, K., Ohishi, H., Shigemoto, R., Yamamoto, K., … Baba, A. (1996). 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, 371(4), 567–577. https://doi.org/10.1002/(SICI)1096-9861(19960805)371:4<567::AID-CNE6>3.3.CO;2-M
View | DOI
 

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

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

1996 | Journal Article | IST-REx-ID: 2725
Erdös, L. (1996). Rayleigh-type isoperimetric inequality with a homogeneous magnetic field. Calculus of Variations and Partial Differential Equations, 4(3), 283–292. https://doi.org/10.1007/BF01254348
View | DOI
 

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

1996 | Journal Article | IST-REx-ID: 4151
Schilling, T., Piotrowski, T., Grandel, H., Brand, M., Heisenberg, C., Jiang, Y., … Nüsslein Volhard, C. (1996). Jaw and branchial arch mutants in zebrafish I: Branchial arches. Development, 123, 329–344.
View
 

1996 | Journal Article | IST-REx-ID: 4154
Ransom, D., Haffter, P., Odenthal, J., Brownlie, A., Vogelsang, E., Kelsh, R., … Nüsslein Volhard, C. (1996). Characterization of zebrafish mutants with defects in embryonic hematopoiesis. Development, 123, 311–319.
View
 

1996 | Journal Article | IST-REx-ID: 4156
Piotrowski, T., Schilling, T., Brand, M., Jiang, Y., Heisenberg, C., Beuchle, D., … Nüsslein Volhard, C. (1996). Jaw and branchial arch mutants in zebrafish II: Anterior arches and cartilage differentiation. Development, 123, 345–356.
View | Download (ext.)
 

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: 4166
Odenthal, J., Haffter, P., Vogelsang, E., Brand, M., Van Eeden, F., Furutani Seiki, M., … Nüsslein Volhard, C. (1996). Mutations affecting the formation of the notochord in the zebrafish, Danio rerio. Development, 123, 103–115.
View
 

1996 | Journal Article | IST-REx-ID: 4170
Mullins, M., Hammerschmidt, M., Kane, D., Odenthal, J., Brand, M., Van Eeden, F., … Nüsslein Volhard, C. (1996). Genes establishing dorsoventral pattern formation in the zebrafish embryo: The ventral specifying genes. Development, 123, 81–93.
View
 

1996 | Journal Article | IST-REx-ID: 4186
Kelsh, R., Brand, M., Jiang, Y., Heisenberg, C., Lin, S., Haffter, P., … Nüsslein Volhard, C. (1996). Zebrafish pigmentation mutations and the processes of neural crest development. Development, 123, 369–389.
View
 

1996 | Journal Article | IST-REx-ID: 4188
Kane, D., Hammerschmidt, M., Mullins, M., Maischein, H., Brand, M., Van Eeden, F., … Nüsslein Volhard, C. (1996). The zebrafish epiboly mutants. Development, 123, 47–55.
View
 

1996 | Journal Article | IST-REx-ID: 4189
Kane, D., Maischein, H., Brand, M., Van Eeden, F., Furutani Seiki, M., Granato, M., … Nüsslein Volhard, C. (1996). The zebrafish early arrest mutants. Development, 123, 57–66.
View
 

1996 | Journal Article | IST-REx-ID: 4191
Jiang, Y., Brand, M., Heisenberg, C., Beuchle, D., Furutani Seiki, M., Kelsh, R., … Nüsslein Volhard, C. (1996). Mutations affecting neurogenesis and brain morphology in the zebrafish, Danio rerio. Development, 123, 205–216.
View
 

1996 | Journal Article | IST-REx-ID: 4203
Heisenberg, C., Brand, M., Jiang, Y., Warga, R., Beuchle, D., Van Eeden, F., … Nüsslein Volhard, C. (1996). Genes involved in forebrain development in the zebrafish, Danio rerio. Development, 123, 191–203.
View
 

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: 4211
Hammerschmidt, M., Pelegri, F., Mullins, M., Kane, D., Van Eeden, F., Granato, M., … Nüsslein Volhard, C. (1996). dino and mercedes, two genes regulating dorsal development in the zebrafish embryo. Development, 123, 95–102.
View
 

1996 | Journal Article | IST-REx-ID: 4212
Haffter, P., Granato, M., Brand, M., Mullins, M., Hammerschmidt, M., Kane, D., … Nüsslein Volhard, C. (1996). The identification of genes with unique and essential functions in the development of the zebrafish, Danio rerio. Development, 123, 1–36.
View
 

1996 | Journal Article | IST-REx-ID: 4213
Furutani Seiki, M., Jiang, Y., Brand, M., Heisenberg, C., Houart, C., Beuchle, D., … Nüsslein Volhard, C. (1996). Neural degeneration mutants in the zebrafish, Danio rerio. Development, 123, 229–239.
View
 

1996 | Journal Article | IST-REx-ID: 4214
Granato, M., Van Eeden, F., Schach, U., Trowe, T., Brand, M., Furutani Seiki, M., … Nüsslein Volhard, C. (1996). Genes controlling and mediating locomotion behavior of the zebrafish embryo and larva. Development, 123, 399–413.
View
 

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: 4216
Brand, M., Heisenberg, C., Warga, R., Pelegri, F., Karlstrom, R., Beuchle, D., … Nüsslein Volhard, C. (1996). Mutations affecting development of the midline and general body shape during zebrafish embryogenesis. Development, 123, 129–142.
View
 

1996 | Journal Article | IST-REx-ID: 4219
Brand, M., Heisenberg, C., Jiang, Y., Beuchle, D., Lun, K., Furutani Seiki, M., … Nüsslein Volhard, C. (1996). Mutations in zebrafish genes affecting the formation of the boundary between midbrain and hindbrain. Development, 123, 179–190.
View
 

1996 | Journal Article | IST-REx-ID: 4220
Van Eeden, F., Granato, M., Schach, U., Brand, M., Furutani Seiki, M., Haffter, P., … Nüsslein Volhard, C. (1996). Genetic analysis of fin formation in the zebrafish, Danio rerio. Development, 123, 255–262.
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 | Journal Article | IST-REx-ID: 4292
Partridge, L., & Barton, N. H. (1996). On measuring the rate of ageing. Proceedings of the Royal Society of London Series B Biological Sciences, 263(1375), 1365–1371. https://doi.org/10.1098/rspb.1996.0200
View | DOI
 

1996 | Book Chapter | IST-REx-ID: 4294
Barton, N. H., & Wilson, I. (1996). Genealogies and geography. In New uses for new phylogenies (pp. 23–56). Oxford University Press.
View
 

1996 | Book Review | IST-REx-ID: 4295
Barton, N. H. (1996). Speciation: more than the sum of its parts. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(02)70707-0
View | DOI
 

1996 | Thesis | IST-REx-ID: 4419
Kopke, P. (1996). The Theory of Rectangular Hybrid Automata. Cornell University.
View
 

1996 | Book Chapter | IST-REx-ID: 4426
Henzinger, T. A., & Wong Toi, H. (1996). Linear phase-portrait approximations for nonlinear hybrid systems. In R. Alur, T. A. Henzinger, & E. Sontag (Eds.), Hybrid Systems III: Verification and Control (Vol. 1066, pp. 377–388). Springer. https://doi.org/10.1007/BFb0020961
View | DOI
 

1996 | Book Chapter | IST-REx-ID: 4427
Henzinger, T. A., & Wong Toi, H. (1996). Using HyTech to synthesize control parameters for a steam boiler. In Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Vol. 1165, pp. 265–282). Springer. https://doi.org/10.1007/BFb0027241
View | DOI
 

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
 

1996 | Conference Paper | IST-REx-ID: 4495
Henzinger, T. A., Kupferman, O., & Vardi, M. (1996). A space-efficient on-the-fly algorithm for real-time model checking (Vol. 1119, pp. 514–529). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-61604-7_73
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4519
Henzinger, T. A. (1996). The theory of hybrid automata (pp. 278–292). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.1996.561342
View | DOI
 

1996 | Conference (Editor) | IST-REx-ID: 4585
Alur, R., & Henzinger, T. A. (1996). CAV: Computer Aided Verification. CAV: Computer Aided Verification (Vol. 1102). Springer. https://doi.org/1075
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4588
Alur, R., & Henzinger, T. A. (1996). Reactive modules (pp. 207–218). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.1996.561320
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4610
Alur, R., Feder, T., & Henzinger, T. A. (1996). The benefits of relaxing punctuality. Journal of the ACM, 43(1), 116–146. https://doi.org/10.1145/227595.227602
View | DOI | Download (ext.)
 

1996 | Journal Article | IST-REx-ID: 4611
Alur, R., Henzinger, T. A., & Ho, P. (1996). Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering, 22(3), 181–201. https://doi.org/10.1109/32.489079
View | DOI
 

1996 | Book (Editor) | IST-REx-ID: 4612
Alur, R., Henzinger, T. A., & Sontag, E. D. (Eds.). (1996). Hybrid Systems III: Verification and Control (Vol. 1066). Springer. https://doi.org/10.1007/BFb0020931
View | DOI
 

1996 | Journal Article | IST-REx-ID: 6161 | OA
de Bono, M., & Hodgkin, J. (1996). Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences. Genetics, 144(2), 587–595.
View | Download Published Version (ext.) | PubMed | Europe PMC
 

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

1996 | Conference Paper | IST-REx-ID: 3553
Edelsbrunner, H., Fu, P., & Quian, J. (1996). Geometric modeling in CAVE (pp. 35-41 and-193–194). Presented at the VRST: Symposium on Virtual Reality Software and Technology, ACM.
View | Download (ext.)
 

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

1996 | Journal Article | IST-REx-ID: 3635
Charlesworth, B., & Barton, N. H. (1996). Recombination load associated with selection for increased recombination. Genetical Research, 67(1), 27–41. https://doi.org/10.1017/S0016672300033450
View | DOI
 

1996 | Journal Article | IST-REx-ID: 3756
Dogterom, M., Felix, M., Guet, C. C., & Leibler, S. (1996). Influence of M-phase chromatin on the anisotropy of microtubule asters. Journal of Cell Biology, 133(1), 125–140. https://doi.org/doi: 10.1083/jcb.133.1.125
View | DOI
 

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

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

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

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

1996 | Conference Poster | IST-REx-ID: 4030
Liang, J., Edelsbrunner, H., & Subramaniam, S. (1996). Effects of molecular shape representations on boundary element method for protein electrostatics computations. Fortieth Annual Meeting (Vol. 70, pp. A224–A224). Cell Press. https://doi.org/10.1016/S0006-3495(96)79664-9
View | DOI
 

1996 | Conference Poster | IST-REx-ID: 4031
Liang, J., Edelsbrunner, H., Pamidghantam, S., & Subramaniam, S. (1996). Analytical method for molecular shapes: Area, volume, cavities, interface and pockets. Fortieth Annual Meeting (Vol. 70, pp. A377–A377). Cell Press. https://doi.org/10.1016/S0006-3495(96)79670-4
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4142
Whitfield, T., Granato, M., Van Eeden, F., Schach, U., Brand, M., Furutani Seiki, M., … Nüsslein Volhard, C. (1996). Mutations affecting development of the zebrafish inner ear and lateral line. Development, 123, 241–254.
View
 

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 | 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: 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: 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: 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: 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: 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 | 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 | 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 | 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 | 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: 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 | 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 | 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 | 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 | 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: 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: 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: 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: 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 | 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 | 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
 

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 | 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: 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 | 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 | 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: 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: 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: 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: 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 | 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 | 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 | 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 | 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: 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: 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: 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 | 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.)
 

Search

Filter Publications