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.

5430 Publications


1997 | Conference Paper | IST-REx-ID: 4609
Alur, R., Henzinger, T. A., & Kupferman, O. (1997). Alternating-time temporal logic (pp. 100–109). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/ 10.1109/SFCS.1997.646098
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2577
Tone, Y., Inoue, H., Hara, S., Yokoyama, C., Hatae, T., Oida, H., … Tanabe, T. (1997). The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase. European Journal of Cell Biology, 72(3), 268–277.
View
 

1997 | Journal Article | IST-REx-ID: 2729
Erdös, L., & Solovej, J. (1997). Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates. Communications in Mathematical Physics, 188(3), 599–656. https://doi.org/10.1007/s002200050181
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3633
Kirkpatrick, M., & Barton, N. H. (1997). Evolution of a species’ range. American Naturalist, 150(1), 1–23. https://doi.org/10.1086/286054
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3486
Bischofberger, J., & Jonas, P. M. (1997). Action potential propagation into the presynaptic dendrites of rat mitral cells. Journal of Physiology, 504(Pt 2), 359–365. https://doi.org/10.1111/j.1469-7793.1997.359be.x
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4023
Edelsbrunner, H., & Ramos, E. (1997). Inclusion-exclusion complexes for pseudodisk collections. Discrete & Computational Geometry, 17(3), 287–306. https://doi.org/10.1007/PL00009295
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4174
Masai, I., Heisenberg, C., Barth, K. A., Macdonald, R., Adamek, S., & Wilson, S. (1997). Floating head and masterblind regulate neuronal patterning in the roof of the forebrain. Neuron, 18(1), 43–57. https://doi.org/10.1016/S0896-6273(01)80045-3
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4201
Heisenberg, C., & Nüsslein Volhard, C. (1997). The function of silberblick in the positioning of the eye anlage in the zebrafish embryo. Developmental Biology, 184(1), 85–94. https://doi.org/10.1006/dbio.1997.8511
View | DOI
 

1997 | Book Review | IST-REx-ID: 4287
Coyne, J., Barton, N. H., & Turelli, M. (1997). Perspective: A critique of Sewall Wright’s shifting balance theory of evolutionight’s shifting balance theory of evolution. Evolution; International Journal of Organic Evolution. Wiley-Blackwell.
View | Download (ext.)
 

1997 | Conference Paper | IST-REx-ID: 4441
Henzinger, T. A., & Kopke, P. (1997). Discrete-time control for rectangular hybrid automata (Vol. 1256, pp. 582–593). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-63165-8_213
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4496
Henzinger, T. A., Kupferman, O., & Rajamani, S. (1997). Fair simulation (Vol. 1243, pp. 273–287). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-63141-0_19
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4605
Alur, R., Henzinger, T. A., & Wong Toi, H. (1997). Symbolic analysis of hybrid systems (pp. 702–707). Presented at the CDC: Decision and Control, IEEE. https://doi.org/10.1109/CDC.1997.650717 
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2578
Seybold, V., Grković, I., Portbury, A., Ding, Y., Shigemoto, R., Mizuno, N., … Southwell, B. (1997). Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord. Journal of Comparative Neurology, 381(4), 439–448. https://doi.org/10.1002/(SICI)1096-9861(19970519)381:4<439::AID-CNE4>3.0.CO;2-3
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2580
Luján, R., Roberts, J., Shigemoto, R., Ohishi, H., & Somogyi, P. (1997). Differential plasma membrane distribution of metabotropic glutamate receptors mGluR1α, mGluR2 and mGluR5, relative to neurotransmitter release sites. Journal of Chemical Neuroanatomy, 13(4), 219–241. https://doi.org/10.1016/S0891-0618(97)00051-3
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3482
Götz, T., Kraushaar, U., Geiger, J., Lubke, J., Berger, T., & Jonas, P. M. (1997). Functional properties of AMPA and NMDA receptors expressed in identified types of basal ganglia neurons. Journal of Neuroscience, 17(1), 204–215.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 4288   OA
Fowler, K., Semple, C., Barton, N. H., & Partridge, L. (1997). Genetic variation for total fitness in Drosophila melanogaster. Proceedings of the Royal Society of London Series B Biological Sciences, 264(1379), 191–199. https://doi.org/10.1098/rspb.1997.0027
View | DOI | Download (ext.)
 

1997 | Book Review | IST-REx-ID: 4290
Barton, N. H. (1997). Natural hybridization and evolution. Genetical Research. Cambridge University Press.
View
 

1997 | Journal Article | IST-REx-ID: 2579
Mann, P., Southwell, B., Ding, Y., Shigemoto, R., Mizuno, N., & Furness, J. (1997). Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract. Cell and Tissue Research, 289(1), 1–9. https://doi.org/10.1007/s004410050846
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2581
Lee, T., Kaneko, T., Shigemoto, R., Nomura, S., & Mizuno, N. (1997). Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat. Journal of Comparative Neurology, 388(2), 250–264. https://doi.org/10.1002/(SICI)1096-9861(19971117)388:2<250::AID-CNE5>3.0.CO;2-0
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3630
Whitlock, M., & Barton, N. H. (1997). The effective size of a subdivided population. Genetics, 146(1), 427–441.
View
 

1997 | Journal Article | IST-REx-ID: 3541
Bragin, A., Csicsvari, J. L., Penttonen, M., & Buzsáki, G. (1997). Epileptic afterdischarge in the hippocampal-entorhinal system: Current source density and unit studies. Neuroscience, 76(4), 1187–1203. https://doi.org/10.1016/S0306-4522(96)00446-0
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3483
Ceranik, K., Bender, R., Geiger, J., Monyer, H., Jonas, P. M., Frotscher, M., & Lubke, J. (1997). A novel type of GABAergic interneuron connecting the input and the output regions of the hippocampus. Journal of Neuroscience, 17(14), 5380–5394.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 4018
Edelsbrunner, H., & Shah, N. (1997). Triangulating topological spaces. International Journal of Computational Geometry and Applications, 7(4), 365–378. https://doi.org/10.1142/S0218195997000223
View | DOI
 

1997 | Book Chapter | IST-REx-ID: 4284
Barton, N. H. (1997). Natural selection and random genetic drift as causes of evolution on islands. In Evolution on islands (pp. 102–123). Oxford University Press.
View
 

1997 | Book Review | IST-REx-ID: 4289
Barton, N. H. (1997). Population genetics: A new apportionment of human diversity. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(06)00397-6
View | DOI
 

1997 | Book Review | IST-REx-ID: 4291
Barton, N. H. (1997). The ccological detective: Confronting models with data. Genetical Research. Cambridge University Press.
View
 

1997 | Journal Article | IST-REx-ID: 4607
Alur, R., Courcoubetis, C., & Henzinger, T. A. (1997). Computing accumulated delays in real-time systems. Formal Methods in System Design, 11(2), 137–156. https://doi.org/10.1023/A:1008626013578
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4493
Henzinger, T. A., Ho, P., & Wong Toi, H. (1997). HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer, 1(1–2), 110–122. https://doi.org/10.1007/s100090050008
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4520
Gupta, V., Henzinger, T. A., & Jagadeesan, R. (1997). Robust timed automata (Vol. 1201, pp. 331–345). Presented at the HART: Hybrid and Real-Time Systems, Springer. https://doi.org/10.1007/BFb0014736
View | DOI
 

1996 | Journal Article | IST-REx-ID: 1952
Bizouarn, T., Sazanov, L. A., Aubourg, S., & Jackson, J. (1996). 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, 1273(1), 4–12. https://doi.org/10.1016/0005-2728(95)00125-5
View | DOI
 

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

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

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

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

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed