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 | 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: 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: 4018
Edelsbrunner H, Shah N. Triangulating topological spaces. International Journal of Computational Geometry and Applications. 1997;7(4):365-378. doi:10.1142/S0218195997000223
View | DOI
 

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

1997 | Book Review | IST-REx-ID: 4289
Barton NH. Population genetics: A new apportionment of human diversity. Current Biology. 1997;7(12):757-758. doi:10.1016/S0960-9822(06)00397-6
View | DOI
 

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

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

1997 | Journal Article | IST-REx-ID: 4493
Henzinger TA, Ho P, Wong Toi H. HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. 1997;1(1-2):110-122. doi:10.1007/s100090050008
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
 

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: 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: 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 | 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: 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: 4189
Kane D, Maischein H, Brand M, et al. The zebrafish early arrest mutants. Development. 1996;123:57-66.
View
 

1996 | Journal Article | IST-REx-ID: 4191
Jiang Y, Brand M, Heisenberg C, et al. Mutations affecting neurogenesis and brain morphology in the zebrafish, Danio rerio. Development. 1996;123:205-216.
View
 

1996 | Journal Article | IST-REx-ID: 4211
Hammerschmidt M, Pelegri F, Mullins M, et al. dino and mercedes, two genes regulating dorsal development in the zebrafish embryo. Development. 1996;123:95-102.
View
 

1996 | Journal Article | IST-REx-ID: 4216
Brand M, Heisenberg C, Warga R, et al. Mutations affecting development of the midline and general body shape during zebrafish embryogenesis. Development. 1996;123:129-142.
View
 

1996 | Journal Article | IST-REx-ID: 4292
Partridge L, Barton NH. On measuring the rate of ageing. Proceedings of the Royal Society of London Series B Biological Sciences. 1996;263(1375):1365-1371. doi:10.1098/rspb.1996.0200
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4519
Henzinger TA. The theory of hybrid automata. In: IEEE; 1996:278-292. doi:10.1109/LICS.1996.561342
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4588
Alur R, Henzinger TA. Reactive modules. In: IEEE; 1996:207-218. doi:10.1109/LICS.1996.561320
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: 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 (ext.) | PubMed | Europe PMC
 

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: 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 | 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: 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 | 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: 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: 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: 4212
Haffter P, Granato M, Brand M, et al. The identification of genes with unique and essential functions in the development of the zebrafish, Danio rerio. Development. 1996;123:1-36.
View
 

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

1996 | Book Chapter | IST-REx-ID: 4426
Henzinger TA, Wong Toi H. Linear phase-portrait approximations for nonlinear hybrid systems. In: Alur R, Henzinger TA, Sontag E, eds. Hybrid Systems III: Verification and Control. Vol 1066. Springer; 1996:377-388. doi:10.1007/BFb0020961
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4495
Henzinger TA, Kupferman O, Vardi M. A space-efficient on-the-fly algorithm for real-time model checking. In: Vol 1119. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1996:514-529. doi:10.1007/3-540-61604-7_73
View | DOI
 

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 | 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: 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: 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: 3462
Melcher T, Geiger J, Jonas PM, Monyer H. Analysis of molecular determinants in native AMPA receptors. Neurochemistry International. 1996;28(2):141-144. doi:10.1016/0197-0186(95)00077-1
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 | Journal Article | IST-REx-ID: 4186
Kelsh R, Brand M, Jiang Y, et al. Zebrafish pigmentation mutations and the processes of neural crest development. Development. 1996;123:369-389.
View
 

1996 | Journal Article | IST-REx-ID: 4213
Furutani Seiki M, Jiang Y, Brand M, et al. Neural degeneration mutants in the zebrafish, Danio rerio. Development. 1996;123:229-239.
View
 

1996 | Journal Article | IST-REx-ID: 4220
Van Eeden F, Granato M, Schach U, et al. Genetic analysis of fin formation in the zebrafish, Danio rerio. Development. 1996;123:255-262.
View
 

1996 | Book Chapter | IST-REx-ID: 4294
Barton NH, Wilson I. Genealogies and geography. In: New Uses for New Phylogenies. Oxford University Press; 1996:23-56.
View
 

1996 | Book Chapter | IST-REx-ID: 4427
Henzinger TA, Wong Toi H. 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. Springer; 1996:265-282. doi:10.1007/BFb0027241
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 | Conference (Editor) | IST-REx-ID: 4585
Alur R, Henzinger TA. CAV: Computer Aided Verification. Vol 1102. Springer; 1996. doi:1075
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: 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: 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
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed