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.

5497 Publications


1998 | Conference Paper | IST-REx-ID: 4408
Raskin J, Schobbens P, Henzinger TA. Axioms for real-time logics. In: Vol 1466. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1998:219-236. doi:10.1007/BFb0055625
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4410
Preußig J, Kowalewski S, Wong Toi H, Henzinger TA. An algorithm for the approximative analysis of rectangular automata. In: Vol 1486. Springer; 1998:228-240. doi:10.1007/BFb0055350
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4489
Henzinger TA, Kupferman O, Qadeer S. From pre-historic to post-modern symbolic model checking. In: Vol 1427. Springer; 1998:195-206. doi:10.1007/BFb0028745
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4491
Henzinger TA, Ho P, Wong Toi H. Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. 1998;43(4):540-554. doi:10.1109/9.664156
View | DOI
 

1998 | Journal Article | IST-REx-ID: 1450   OA
Hausel T. Vanishing of intersection numbers on the moduli space of Higgs bundles. Advances in Theoretical and Mathematical Physics. 1998;2(5):1011-1040. doi:10.4310/ATMP.1998.v2.n5.a3
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 1955   OA
Burrows P, Sazanov LA, Sváb Z, Maliga P, Nixon P. Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes. EMBO Journal. 1998;17(4):868-876. doi:10.1093/emboj/17.4.868
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 2585
Wada E, Shigemoto R, Kinoshita A, Ohishi H, Mizuno N. Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat. Journal of Comparative Neurology. 1998;393(4):493-504. doi:10.1002/(SICI)1096-9861(19980420)393:4<493::AID-CNE8>3.0.CO;2-W
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3627
Barton NH. The effect of hitch-hiking on neutral genealogies. Genetical Research. 1998;72(2):123-133. doi:10.1017/S0016672398003462
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3521
Csicsvari JL, Hirase H, Czurkó A, Buzsáki G. Reliability and state dependence of pyramidal cell-interneuron synapses in the hippocampus: an ensemble approach in the behaving rat. Neuron. 1998;21(1):179-189. doi:10.1016/S0896-6273(00)80525-5
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3487
Jonas PM, Bischofberger J, Sandkühler J. Corelease of two fast neurotransmitters at a central synapse. Science. 1998;281(5375):419-424. doi:10.1126/science.281.5375.419
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4012
Liang J, Edelsbrunner H, Fu P, Sudhakar P, Subramaniam S. Analytical shape computation of macromolecules: II. Inaccessible cavities in proteins. Proteins: Structure, Function and Bioinformatics. 1998;33(1):18-29. doi:10.1002/(SICI)1097-0134(19981001)33:1<18::AID-PROT2>3.0.CO;2-H
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4017   OA
Liang J, Edelsbrunner H, Woodward C. Anatomy of protein pockets and cavities: Measurement of binding site geometry and implications for ligand design. Protein Science. 1998;7(9):1884-1897. doi:10.1002/pro.5560070905
View | DOI | Download (ext.)
 

1998 | Book Review | IST-REx-ID: 4283
Barton NH. The geometry of adaptation. Nature. 1998;395(6704):751-752.
View
 

1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger TA, Sastry S. HSCC: Hybrid Systems—Computation and Control. Vol 1386. Springer; 1998. doi:1260
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4492
Henzinger TA, Kopke P, Puri A, Varaiya P. What’s decidable about hybrid automata? Journal of Computer and System Sciences. 1998;57(1):94-124. doi:10.1006/jcss.1998.1581
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4606
Alur R, Henzinger TA, Rajamani S. Symbolic exploration of transition hierarchies. In: Vol 1384. Springer; 1998:330-344. doi: 10.1007/BFb0054181
View | DOI
 

1998 | Journal Article | IST-REx-ID: 1449   OA
Hausel T. Compactification of moduli of Higgs bundles. Journal fur die Reine und Angewandte Mathematik. 1998;1998(503):169-192. doi:10.1515/crll.1998.096
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 1956
Sazanov LA, Burrows P, Nixon P. The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes. PNAS. 1998;95(3):1319-1324. doi:10.1073/pnas.95.3.1319
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2586
Watanabe D, Inokawa H, Hashimoto K, et al. Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination. Cell. 1998;95(1):17-27. doi:10.1016/S0092-8674(00)81779-1
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3628
West S, Peters A, Barton NH. Testing for epistasis between deleterious mutations. Genetics. 1998;149(1):435-444.
View
 

1998 | Journal Article | IST-REx-ID: 3527
Csicsvari JL, Czurkó A, Hirase H, Buzsáki G. Monosynaptic interactions between CA1 Pyramidal cells and interneuron in the behaving rat. European Journal of Neuroscience. 1998;10(Suppl. 10):2553-2553.
View
 

1998 | Journal Article | IST-REx-ID: 3488
Martina M, Schultz J, Ehmke H, Monyer H, Jonas PM. Functional and molecular differences between voltage-gated K+ channels of fast-spiking interneurons and pyramidal neurons of rat hippocampus. Journal of Neuroscience. 1998;18(20):8111-8125.
View | Download (ext.)
 

1998 | Book Chapter | IST-REx-ID: 4020
Edelsbrunner H. Geometry for modeling biomolecules. In: Robotics: The Algorithmic Perspective. AK Peters; 1998:265-277.
View
 

1998 | Journal Article | IST-REx-ID: 3926
Cremer S, Greenfield M. Partitioning the components of sexual selection: attractiveness and agonistic behaviour in male wax moths, Achroia grisella (Lepidoptera, Pyralidae). Ethology. 1998;104(1):1-9. doi:10.1111/j.1439-0310.1998.tb00025.x
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4013
Edelsbrunner H, Facello M, Liang J. On the definition and the construction of pockets in macromolecules. Discrete Applied Mathematics. 1998;88(1-3):83-102. doi:10.1016/S0166-218X(98)00067-5
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4429
Henzinger TA, Rusu V. Reachability verification for hybrid automata. In: Vol 1386. Springer; 1998:190-204. doi:10.1007/3-540-64358-3_40
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4486
Henzinger TA, Qadeer S, Rajamani S, Tasiran S. An assume-guarantee rule for checking simulation. In: Vol 1522. Springer; 1998:421-432. doi:10.1007/3-540-49519-3_27
View | DOI
 

1998 | Journal Article | IST-REx-ID: 6160
de Bono M, Bargmann CI. Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans. Cell. 1998;94(5):679-689. doi:10.1016/s0092-8674(00)81609-8
View | DOI | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 2575
Li H, Ohishi H, Kinoshita A, Shigemoto R, Nomura S, Mizuno N. Localization of a metabotropic glutamate receptor, mGluR7, in axon terminals of presumed nociceptive, primary afferent fibers in the superficial layers of the spinal dorsal horn: An electron microscope study in the rat. Neuroscience Letters. 1997;223(3):153-156. doi:10.1016/S0304-3940(97)13429-2
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2582
Shigemoto R, Kinoshita A, Wada E, et al. Differential presynaptic localization of metabotropic glutamate receptor subtypes in the rat hippocampus. Journal of Neuroscience. 1997;17(19):7503-7522.
View
 

1997 | Journal Article | IST-REx-ID: 2493
Acsády L, Katona I, Gulyás A, Shigemoto R, Freund T. Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus. Journal of Comparative Neurology. 1997;378(3):320-336. doi:10.1002/(SICI)1096-9861(19970217)378:3<320::AID-CNE2>3.0.CO;2-5
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2727
Erdös L. Dia- and paramagnetism for nonhomogeneous magnetic fields. Journal of Mathematical Physics. 1997;38(3):1289-1317. doi:10.1063/1.531909
View | DOI
 

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: 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: 4021
Edelsbrunner H, Waupotitsch R. A combinatorial approach to cartograms. Computational Geometry: Theory and Applications. 1997;7(5-6):343-360. doi:387910.1016/S0925-7721(96)00006-5
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4285
Otto S, Barton NH. The evolution of recombination: Removing the limits to natural selection. Genetics. 1997;147(2):879-906.
View
 

1997 | Conference Paper | IST-REx-ID: 4494
Henzinger TA, Ho P, Wong Toi H. HyTech: A model checker for hybrid systems. In: Vol 1254. Springer; 1997:460-463. doi:10.1007/3-540-63166-6_48
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 | Conference Paper | IST-REx-ID: 4608
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. Partial-order reduction in symbolic state-space exploration. In: Vol 1254. Springer; 1997:340-351. doi:10.1007/3-540-63166-6_34
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2576
Li J, Kaneko T, Shigemoto R, Mizuno N. Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat. Journal of Comparative Neurology. 1997;378(4):508-521. doi:10.1002/(SICI)1096-9861(19970224)378:4<508::AID-CNE6>3.0.CO;2-6
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: 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: 4022
Edelsbrunner H, Valtr P, Welzl E. Cutting dense point sets in half. Discrete & Computational Geometry. 1997;17(3):243-255. doi:10.1007/PL00009291
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4286
Piálek J, Barton NH. The spread of an advantageous allele across a barrier: the effects of random drift and selection against heterozygotes. Genetics. 1997;145(2):493-504.
View
 

1997 | Book Chapter | IST-REx-ID: 4293
Barton NH, Whitlock M. The evolution of metapopulations. In: Metapopulation Biology. Academic Press; 1997:183-210. doi:10.1016/B978-012323445-2/50012-2
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4438
Henzinger TA, Kupferman O. From quantity to quality. In: Vol 1201. Springer; 1997:48-62. doi: 10.1007/BFb0014712
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 | Conference Paper | IST-REx-ID: 4609
Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. In: IEEE; 1997:100-109. doi: 10.1109/SFCS.1997.646098
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2577
Tone Y, Inoue H, Hara S, et al. The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase. European Journal of Cell Biology. 1997;72(3):268-277.
View
 

1997 | Journal Article | IST-REx-ID: 2729
Erdös L, Solovej J. Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates. Communications in Mathematical Physics. 1997;188(3):599-656. doi:10.1007/s002200050181
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
 

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: 4023
Edelsbrunner H, Ramos E. Inclusion-exclusion complexes for pseudodisk collections. Discrete & Computational Geometry. 1997;17(3):287-306. doi:10.1007/PL00009295
View | DOI
 

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

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

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

1997 | Conference Paper | IST-REx-ID: 4441
Henzinger TA, Kopke P. Discrete-time control for rectangular hybrid automata. In: Vol 1256. Springer; 1997:582-593. doi:10.1007/3-540-63165-8_213
View | DOI
 

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: 4605
Alur R, Henzinger TA, Wong Toi H. Symbolic analysis of hybrid systems. In: IEEE; 1997:702-707. doi:10.1109/CDC.1997.650717 
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2578
Seybold V, Grković I, Portbury A, et al. Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord. Journal of Comparative Neurology. 1997;381(4):439-448. doi: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. Differential plasma membrane distribution of metabotropic glutamate receptors mGluR1α, mGluR2 and mGluR5, relative to neurotransmitter release sites. Journal of Chemical Neuroanatomy. 1997;13(4):219-241. doi: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 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: 4288   OA
Fowler K, Semple C, Barton NH, Partridge L. Genetic variation for total fitness in Drosophila melanogaster. Proceedings of the Royal Society of London Series B Biological Sciences. 1997;264(1379):191-199. doi:10.1098/rspb.1997.0027
View | DOI | Download (ext.)
 

1997 | Book Review | IST-REx-ID: 4290
Barton NH. Natural hybridization and evolution. Genetical Research. 1997;70(2):178-180.
View
 

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

1997 | Journal Article | IST-REx-ID: 2581
Lee T, Kaneko T, Shigemoto R, Nomura S, Mizuno N. Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat. Journal of Comparative Neurology. 1997;388(2):250-264. doi: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 NH. The effective size of a subdivided population. Genetics. 1997;146(1):427-441.
View
 

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
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed