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.

6285 Publications


1997 | Conference Paper | IST-REx-ID: 4496
Henzinger TA, Kupferman O, Rajamani S. Fair simulation. In: Vol 1243. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1997:273-287. doi:10.1007/3-540-63141-0_19
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4520
Gupta V, Henzinger TA, Jagadeesan R. Robust timed automata. In: Vol 1201. Springer; 1997:331-345. doi:10.1007/BFb0014736
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4583
Alur R, Henzinger TA. Modularity for timed and hybrid systems. In: Vol 1243. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1997:74-88. doi:10.1007/3-540-63141-0_6
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4584
Alur R, Henzinger TA. Real-time system = discrete system + clock variables. Software Tools For Technology Transfer. 1997;1(1-2):86-109. doi:10.1007/s100090050007
View | DOI
 

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

1997 | Journal Article | IST-REx-ID: 3483
Ceranik K, Bender R, Geiger J, et al. A novel type of GABAergic interneuron connecting the input and the output regions of the hippocampus. Journal of Neuroscience. 1997;17(14):5380-5394.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 3484
Geiger J, Lubke J, Roth A, Frotscher M, Jonas PM. Submillisecond AMPA receptor-mediated signaling at a principal neuron-interneuron synapse. Neuron. 1997;18(6):1009-1023. doi:10.1016/S0896-6273(00)80339-6
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3485
Martina M, Jonas PM. Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus. Journal of Physiology. 1997;505(3):593-603. doi:10.1111/j.1469-7793.1997.593ba.x
View | DOI
 

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

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

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

1997 | Journal Article | IST-REx-ID: 3631
Kawecki T, Barton NH, Fry J. Mutational collapse of fitness in marginal habitats and the evolution of ecological specialisation. Journal of Evolutionary Biology. 1997;10(3):407-430. doi:10.1046/j.1420-9101.1997.10030407.x
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3632
Kirkpatrick M, Barton NH. The strength of indirect selection on female mating preferences. PNAS. 1997;94(4):1282-1286. doi:10.1073/pnas.94.4.1282
View | DOI
 

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

1996 | Journal Article | IST-REx-ID: 2492
Neki A, Ohishi H, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum. Neuroscience. 1996;75(3):815-826. doi:10.1016/0306-4522(96)00316-8
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2562
Neki A, Ohishi H, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody. Neuroscience Letters. 1996;202(3):197-200. doi:10.1016/0304-3940(95)12248-6
View | DOI
 

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

1996 | Journal Article | IST-REx-ID: 2565
Li J, Ohishi H, Kaneko T, et al. Immunohistochemical localization of a metabotropic glutamate receptor, mGluR7, in ganglion neurons of the rat; with special reference to the presence in glutamatergic ganglion neurons. Neuroscience Letters. 1996;204(1-2):9-12. doi:10.1016/0304-3940(95)12299-0
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2566
Kinoshita A, Ohishi H, Neki A, et al. Presynaptic localization of a metabotropic glutamate receptor, mGluR8, in the rhinencephalic areas: A light and electron microscope study in the rat. Neuroscience Letters. 1996;207(1):61-64. doi:10.1016/0304-3940(96)12489-7
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2567
Li J, Ding Y, Shigemoto R, Mizuno N. Distribution of trigeminothalamic and spinothalamic-tract neurons showing substance P receptor-like immunoreactivity in the rat. Brain Research. 1996;719(1-2):207-212. doi:10.1016/0006-8993(96)00064-9
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2568
Kinoshita A, Ohishi H, Nomura S, Shigemoto R, Nakanishi S, Mizuno N. Presynaptic localization of a metabotropic glutamate receptor, mGluR4a, in the cerebellar cortex: A light and electron microscope study in the rat. Neuroscience Letters. 1996;207(3):199-202. doi:10.1016/0304-3940(96)12519-2
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2569
Jia H, Wang B, Rao Z, et al. 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. 1996;210(1):49-52. doi:10.1016/0304-3940(96)12654-9
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2570
Shigemoto R, Kulik Á, Roberts J, et al. Target-cell-specific concentration of a metabotropic glutamate receptor in the presynaptic active zone. Nature. 1996;381(6582):523-525. doi:10.1038/381523a0
View | DOI
 

1996 | Book Review | IST-REx-ID: 2571
Yokoi M, Kobayashi K, Manabe T, et al. Impairment of hippocampal mossy fiber LTD in mice lacking mGluR2. Science. 1996;273(5275):645-647. doi:10.1126/science.273.5275.645
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2572
Hashimoto H, Nogi H, Mori K, et al. 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. 1996;371(4):567-577. doi: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. Patchy distribution of substance P receptor immunoreactivity in the developing rat striatum. Developmental Brain Research. 1996;95(1):107-117. doi: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. Perisynaptic location of metabotropic glutamate receptors mGluR1 and mGluR5 on dendrites and dendritic spines in the rat hippocampus. European Journal of Neuroscience. 1996;8(7):1488-1500. doi:10.1111/j.1460-9568.1996.tb01611.x
View | DOI
 

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

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

1996 | Conference Paper | IST-REx-ID: 1942
Sazanov LA, Burrows P, Nixon PJ. Presence of a large protein complex containing the ndhK gene product and possessing NADH-specific dehydrogenase activity in thylakoid membranes of higher plant chloroplasts. In: Vol 2. Kluwer; 1996:705-708.
View
 

1996 | Journal Article | IST-REx-ID: 1951
Sazanov LA, Burrows P, Nixon P. Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids. Biochemical Society Transactions. 1996;24(3):739-743.
View
 

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

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

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

1996 | Book (Editor) | IST-REx-ID: 4612
Alur R, Henzinger TA, Sontag ED, eds. Hybrid Systems III: Verification and Control. Vol 1066. Springer; 1996. doi:10.1007/BFb0020931
View | DOI
 

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

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

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

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

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

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

1996 | Conference Poster | IST-REx-ID: 4030
Liang J, Edelsbrunner H, Subramaniam S. Effects of Molecular Shape Representations on Boundary Element Method for Protein Electrostatics Computations. Vol 70. Cell Press; 1996:A224-A224. doi:10.1016/S0006-3495(96)79664-9
View | DOI
 

1996 | Conference Poster | IST-REx-ID: 4031
Liang J, Edelsbrunner H, Pamidghantam S, Subramaniam S. Analytical Method for Molecular Shapes: Area, Volume, Cavities, Interface and Pockets. Vol 70. Cell Press; 1996:A377-A377. doi:10.1016/S0006-3495(96)79670-4
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4142
Whitfield T, Granato M, Van Eeden F, et al. Mutations affecting development of the zebrafish inner ear and lateral line. Development. 1996;123:241-254.
View
 

1996 | Journal Article | IST-REx-ID: 4151
Schilling T, Piotrowski T, Grandel H, et al. Jaw and branchial arch mutants in zebrafish I: Branchial arches. Development. 1996;123:329-344.
View
 

1996 | Journal Article | IST-REx-ID: 4154
Ransom D, Haffter P, Odenthal J, et al. Characterization of zebrafish mutants with defects in embryonic hematopoiesis. Development. 1996;123:311-319.
View
 

1996 | Journal Article | IST-REx-ID: 4156
Piotrowski T, Schilling T, Brand M, et al. Jaw and branchial arch mutants in zebrafish II: Anterior arches and cartilage differentiation. Development. 1996;123:345-356.
View | Download None (ext.)
 

1996 | Journal Article | IST-REx-ID: 4164
Odenthal J, Rossnagel K, Haffter P, et al. Mutations affecting xanthophore pigmentation in the zebrafish, Danio rerio. Development. 1996;123:391-398.
View
 

1996 | Journal Article | IST-REx-ID: 4166
Odenthal J, Haffter P, Vogelsang E, et al. Mutations affecting the formation of the notochord in the zebrafish, Danio rerio. Development. 1996;123:103-115.
View
 

1996 | Journal Article | IST-REx-ID: 4170
Mullins M, Hammerschmidt M, Kane D, et al. Genes establishing dorsoventral pattern formation in the zebrafish embryo: The ventral specifying genes. Development. 1996;123:81-93.
View
 

Search

Filter Publications