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.

5424 Publications


1997 | Journal Article | IST-REx-ID: 4174
Masai I, Heisenberg C, Barth KA, 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.
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.
View | DOI
 

1997 | Book Review | IST-REx-ID: 4287
Coyne J, Barton NH, 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. 51(3), 643–671.
View | Download (ext.)
 

1997 | Conference Paper | IST-REx-ID: 4441
Henzinger TA, Kopke P. 1997. Discrete-time control for rectangular hybrid automata. ICALP: Automata, Languages and Programming, LNCS, vol. 1256. 582–593.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4496
Henzinger TA, Kupferman O, Rajamani S. 1997. Fair simulation. CONCUR: Concurrency Theory, LNCS, vol. 1243. 273–287.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4605
Alur R, Henzinger TA, Wong Toi H. 1997. Symbolic analysis of hybrid systems. CDC: Decision and Control 702–707.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2578
Seybold V, Grković I, Portbury A, Ding Y, Shigemoto R, Mizuno N, Furness J, Southwell B. 1997. Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord. Journal of Comparative Neurology. 381(4), 439–448.
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.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3482
Götz T, Kraushaar U, Geiger J, Lubke J, Berger T, Jonas PM. 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 NH, 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.
View | DOI | Download (ext.)
 

1997 | Book Review | IST-REx-ID: 4290
Barton NH. 1997. Natural hybridization and evolution. Genetical Research. 70(2), 178–180.
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.
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.
View | DOI
 

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

1997 | Journal Article | IST-REx-ID: 3541
Bragin A, Csicsvari JL, Penttonen M, Buzsáki G. 1997. Epileptic afterdischarge in the hippocampal-entorhinal system: Current source density and unit studies. Neuroscience. 76(4), 1187–1203.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3483
Ceranik K, Bender R, Geiger J, Monyer H, Jonas PM, 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.
View | DOI
 

1997 | Book Chapter | IST-REx-ID: 4284
Barton NH. 1997. Natural selection and random genetic drift as causes of evolution on islands. Evolution on islands. 102–123.
View
 

1997 | Book Review | IST-REx-ID: 4289
Barton NH. 1997. Population genetics: A new apportionment of human diversity. Current Biology. 7(12), 757–758.
View | DOI
 

1997 | Book Review | IST-REx-ID: 4291
Barton NH. 1997. The ccological detective: Confronting models with data. Genetical Research. 70(2), 180–181.
View
 

1997 | Journal Article | IST-REx-ID: 4607
Alur R, Courcoubetis C, Henzinger TA. 1997. Computing accumulated delays in real-time systems. Formal Methods in System Design. 11(2), 137–156.
View | DOI
 

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

1997 | Conference Paper | IST-REx-ID: 4520
Gupta V, Henzinger TA, Jagadeesan R. 1997. Robust timed automata. HART: Hybrid and Real-Time Systems, LNCS, vol. 1201. 331–345.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 1952
Bizouarn T, Sazanov LA, 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.
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.
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.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 3756
Dogterom M, Felix M, Guet CC, Leibler S. 1996. Influence of M-phase chromatin on the anisotropy of microtubule asters. Journal of Cell Biology. 133(1), 125–140.
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.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4189
Kane D, Maischein H, Brand M, Van Eeden F, Furutani Seiki M, Granato M, Haffter P, Hammerschmidt M, Heisenberg C, Jiang Y, Kelsh R, Mullins M, Odenthal J, Warga R, 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, Warga R, Granato M, Haffter P, Hammerschmidt M, Kane D, Mullins M, Odenthal J, Van Eeden F, 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, Brand M, Furutani Seiki M, Haffter P, Heisenberg C, Jiang Y, Kelsh R, Odenthal J, Warga R, 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, Picker A, Jiang Y, Furutani Seiki M, Van Eeden F, Granato M, Haffter P, Hammerschmidt M, Kane D, Kelsh R, Mullins M, Odenthal J, 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 NH. 1996. On measuring the rate of ageing. Proceedings of the Royal Society of London Series B Biological Sciences. 263(1375), 1365–1371.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4519
Henzinger TA. 1996. The theory of hybrid automata. LICS: Logic in Computer Science 278–292.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4588
Alur R, Henzinger TA. 1996. Reactive modules. LICS: Logic in Computer Science 207–218.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4610
Alur R, Feder T, Henzinger TA. 1996. The benefits of relaxing punctuality. Journal of the ACM. 43(1), 116–146.
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.
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.
View | DOI
 

1996 | Book Review | IST-REx-ID: 2571
Yokoi M, Kobayashi K, Manabe T, Takahashi T, Sakaguchi I, Katsuura G, Shigemoto R, Ohishi H, Nomura S, Nakamura K, Nakao K, Katsuki M, Nakanishi S. 1996. Impairment of hippocampal mossy fiber LTD in mice lacking mGluR2. Science. 273(5275), 645–647.
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.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4142
Whitfield T, Granato M, Van Eeden F, Schach U, Brand M, Furutani Seiki M, Haffter P, Hammerschmidt M, Heisenberg C, Jiang Y, Kane D, Kelsh R, Mullins M, Odenthal J, 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, Brand M, Van Eeden F, Furutani Seiki M, Granato M, Hammerschmidt M, Heisenberg C, Jiang Y, Kane D, Mullins M, 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, Granato M, Hammerschmidt M, Heisenberg C, Jiang Y, Kane D, Kelsh R, Mullins M, Warga R, Allende M, Weinberg E, 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: 4212
Haffter P, Granato M, Brand M, Mullins M, Hammerschmidt M, Kane D, Odenthal J, Van Eeden F, Jiang Y, Heisenberg C, Kelsh R, Furutani Seiki M, Vogelsang E, Beuchle D, Schach U, Fabian C, 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 | Thesis | IST-REx-ID: 4419
Kopke P. 1996. The Theory of Rectangular Hybrid Automata, Cornell University,p.
View
 

1996 | Book Chapter | IST-REx-ID: 4426
Henzinger TA, Wong Toi H. 1996. Linear phase-portrait approximations for nonlinear hybrid systems. Hybrid Systems III: Verification and Control. , LNCS, vol. 1066. 377–388.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4495
Henzinger TA, Kupferman O, Vardi M. 1996. A space-efficient on-the-fly algorithm for real-time model checking. CONCUR: Concurrency Theory, LNCS, vol. 1119. 514–529.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4611
Alur R, Henzinger TA, Ho P. 1996. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. 22(3), 181–201.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 1942
Sazanov LA, Burrows P, Nixon PJ. 1996. Presence of a large protein complex containing the ndhK gene product and possessing NADH-specific dehydrogenase activity in thylakoid membranes of higher plant chloroplasts. IPC: International Photosynthesis Congress, Photosynthesis: from light to biosphere, vol. 2. 705–708.
View
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed