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.

6065 Publications


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

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: 4191
Jiang Y, Brand M, Heisenberg C-PJ, 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: 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: 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: 4203
Heisenberg C-PJ, Brand M, Jiang Y, et al. Genes involved in forebrain development in the zebrafish, Danio rerio. Development. 1996;123:191-203.
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 | Journal Article | IST-REx-ID: 4210
Haffter P, Odenthal J, Mullins M, et al. Mutations affecting pigmentation and shape of the adult zebrafish. Development Genes and Evolution. 1996;206(4):260-276. doi:10.1007/s004270050051
View | DOI
 

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: 4208
Hammerschmidt M, Pelegri F, Mullins M, et al. Mutations affecting morphogenesis during gastrulation and tail formation in the zebrafish, Danio rerio. Development. 1996;123:143-151.
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-PJ, 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: 4214
Granato M, Van Eeden F, Schach U, et al. Genes controlling and mediating locomotion behavior of the zebrafish embryo and larva. Development. 1996;123:399-413.
View
 

1996 | Journal Article | IST-REx-ID: 4219
Brand M, Heisenberg C-PJ, Jiang Y, et al. Mutations in zebrafish genes affecting the formation of the boundary between midbrain and hindbrain. Development. 1996;123:179-190.
View
 

1996 | Journal Article | IST-REx-ID: 4222
Van Eeden F, Granato M, Schach U, et al. Mutations affecting somite formation and patterning in the zebrafish, Danio rerio. Development. 1996;123:153-164.
View
 

1996 | Journal Article | IST-REx-ID: 4215
Chen J, Haffter P, Odenthal J, et al. Mutations affecting the cardiovascular system and other internal organs in zebrafish. Development. 1996;123:293-302.
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 | Thesis | IST-REx-ID: 4419
Kopke P. The Theory of Rectangular Hybrid Automata. Cornell University; 1996.
View
 

1995 | Book Chapter | IST-REx-ID: 2465
Morris D, Friml J, Zažímalová E. Auxin transport. In: Davies P, ed. Plant Hormones: Biosynthesis, Signal Transduction, Action!. Kluwer; 1995:451-484. doi:10.1007/978-1-4020-2686-7_21
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2491
Ohishi H, Akazawa C, Shigemoto R, Nakanishi S, Mizuno N. Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain. Journal of Comparative Neurology. 1995;360(4):555-570. doi:10.1002/cne.903600402
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2556
Ding Y, Takada M, Shigemoto R, Mizuno N. Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat. Brain Research. 1995;674(2):336-340. doi:10.1016/0006-8993(95)00022-I
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2558
Mick G, Shigemoto R, Kitahama K. Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents. Comptes Rendus de l’Academie des Sciences - Series III. 1995;318(2):209-217.
View
 

1995 | Journal Article | IST-REx-ID: 2559
Masu M, Iwakabe H, Tagawa Y, et al. Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene. Cell. 1995;80(5):757-765. doi:10.1016/0092-8674(95)90354-2
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2560
Lü Y, Jin S, Xu T, et al. Expression of c-fos protein in substance P receptor-like immunoreactive neurons in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord segments of the rat. Neuroscience Letters. 1995;198(2):139-142. doi:10.1016/0304-3940(95)11991-5
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2561
Ohishi H, Nomura S, Ding Y, et al. Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat. Neuroscience Letters. 1995;202(1-2):85-88. doi:10.1016/0304-3940(95)12207-9
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2563
Ding Y, Takada M, Shigemoto R, Mizuno N. Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat. Neuroscience Research. 1995;23(4):415-418. doi:10.1016/0168-0102(95)00961-R
View | DOI
 

1995 | Journal Article | IST-REx-ID: 4028
Edelsbrunner H. The union of balls and its dual shape. Discrete & Computational Geometry. 1995;13(1):415-440. doi:10.1007/BF02574053
View | DOI
 

1995 | Journal Article | IST-REx-ID: 4029
Delfinado C, Edelsbrunner H. An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere. Computer Aided Geometric Design. 1995;12(7):771-784. doi:10.1016/0167-8396(95)00016-Y
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4034
Edelsbrunner H. Algebraic decomposition of non-convex polyhedra. In: IEEE; 1995:248-257.
View
 

1995 | Journal Article | IST-REx-ID: 4035
Chazelle B, Edelsbrunner H, Grigni M, Guibas L, Sharir M, Welzl E. Improved bounds on weak ε-nets for convex sets. Discrete & Computational Geometry. 1995;13(1):1-15. doi:10.1007/BF02574025
View | DOI
 

1995 | Journal Article | IST-REx-ID: 4296
Partridge L, Barrie B, Barton NH, Fowler K, French V. Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature. Evolution; International Journal of Organic Evolution. 1995;49(3):538-544.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 4297
Sites J, Barton NH, Reed K. The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico. Evolution; International Journal of Organic Evolution. 1995;49(1):9-36.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 4298
Barton NH. Appendix to "The mixing of genotypes in hybrid zones: a simulation study of multilocus clines", by S J E Baird. Evolution; International Journal of Organic Evolution. 1995;49:1038-1045.
View
 

1995 | Book Chapter | IST-REx-ID: 4447
Henzinger TA, Ho P. HyTech: The Cornell Hybrid Technology Tool. In: Panos A, Kohn W, Nerode A, Sastry S, eds. Hybrid Systems II. Vol 999. Springer; 1995:265-293. doi:10.1007/3-540-60472-3_14
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 4448
Henzinger TA, Ho P. A note on abstract-interpretation strategies for hybrid automata. In: Panos A, Kohn W, Nerode A, Sastry S, eds. Hybrid Systems II. Vol 999. Springer; 1995:252-264. doi:10.1007/3-540-60472-3_13
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4450
Henzinger TA, Ho P. Algorithmic analysis of nonlinear hybrid systems. In: Vol 939. Springer; 1995:225-238. doi:10.1007/3-540-60045-0_53
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4497
Henzinger TA, Ho P, Wong Toi H. A user guide to HyTech. In: Vol 1019. Springer; 1995:41-71. doi:10.1007/3-540-60630-0_3
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4498
Henzinger M, Henzinger TA, Kopke P. Computing simulations on finite and infinite graphs. In: IEEE; 1995:453-462. doi:10.1109/SFCS.1995.492576
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4499
Henzinger TA, Ho P, Wong Toi H. HyTech: The next generation. In: IEEE; 1995:56-65. doi:10.1109/REAL.1995.495196
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4500
Henzinger TA, Kopke P, Wong Toi H. The expressive power of clocks. In: Vol 944. Springer; 1995:417-428. doi:10.1007/3-540-60084-1_93
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4502
Henzinger TA, Kopke P, Puri A, Varaiya P. What’s decidable about hybrid automata? In: ACM; 1995:373-382. doi:10.1145/225058.225162
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4518
Henzinger TA. Hybrid automata with finite bisimulations. In: Vol 944. Springer; 1995:324-335. doi:0.1007/3-540-60084-1_85
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4587
Alur R, Henzinger TA. Local liveness for compositional modeling of fair reactive systems. In: Vol 939. Springer; 1995:166-179. doi:10.1007/3-540-60045-0_49
View | DOI
 

1995 | Journal Article | IST-REx-ID: 4613
Alur R, Courcoubetis C, Halbwachs N, et al. The algorithmic analysis of hybrid systems. Theoretical Computer Science. 1995;138(1):3-34. doi:10.1016/0304-3975(94)00202-T
View | DOI
 

1995 | Journal Article | IST-REx-ID: 6162
de Bono M, Zarkower D, Hodgkin J. Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1. Genes and Development. 1995;9(2):155-167. doi:10.1101/gad.9.2.155
View | DOI | PubMed | Europe PMC
 

1995 | Conference Paper | IST-REx-ID: 2712
Erdös L. Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals. In: Vol 78. Birkhäuser; 1995:127-132. doi:10.1007/978-3-0348-9092-2_13
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2724
Erdös L. Magnetic Lieb-Thirring inequalities. Communications in Mathematical Physics. 1995;170(3):629-668. doi:10.1007/BF02099152
View | DOI
 

1995 | Journal Article | IST-REx-ID: 1943
Sazanov LA, Jackson B. Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation. Biochimica et Biophysica Acta - Bioenergetics. 1995;1231(3):304-312. doi:10.1016/0005-2728(95)00096-2
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 3454
Monyer H, Jonas PM. Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices. In: Sakmann B, Neher E, eds. Single-Channel Recording. Plenum; 1995:357-373.
View | Download (ext.)
 

1995 | Book Chapter | IST-REx-ID: 3455
Jonas PM. Fast application of agonists to isolated membrane patches. In: Sakmann B, Neher E, eds. Single-Channel Recording. Plenum; 1995:231-243.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3461
Jonas PM, Burnashev N. Molecular mechanisms controlling calcium entry through  AMPA-type glutamate receptor channels. Neuron. 1995;15(5):987-990. doi:10.1016/0896-6273(95)90087-X
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3478
Spruston N, Jonas PM, Sakmann B. Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons. Journal of Physiology. 1995;482(Pt 2):325-352.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3479 | OA
Koh D, Geiger J, Jonas PM, Sakmann B. Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus. Journal of Physiology. 1995;485(Pt 2):383-402. doi:10.1113/jphysiol.1995.sp020737
View | DOI | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3480
Geiger J, Melcher T, Koh D, et al. Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons in rat CNS. Neuron. 1995;15(1):193-204. doi:10.1016/0896-6273(95)90076-4
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3481 | OA
Koh D, Burnashev N, Jonas PM. Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification. Journal of Physiology. 1995;486(Pt 2):305-312. doi:10.1113/jphysiol.1995.sp020813
View | DOI | Download (ext.)
 

1995 | Conference Paper | IST-REx-ID: 3551
Edelsbrunner H, Facello M, Fu P, Liang J. Measuring proteins and voids in proteins. In: IEEE; 1995:256-264. doi:10.1109/HICSS.1995.375331
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 3552
Akkiraju N, Edelsbrunner H, Facello M, Fu P, Mücke E, Varela C. Alpha shapes: definition and software. In: Elsevier; 1995:63-66.
View | Download (ext.)
 

1995 | Book Review | IST-REx-ID: 3597
Kirkpatrick M, Barton NH. Déjà vu all over again. Nature. 1995;377:388-389. doi:10.1038/377388a0
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3636
Nürnberger B, Barton NH, Maccallum C, Gilchrist J, Appleby M. Natural selection on quantitative traits in the Bombina hybrid zone. Evolution. 1995;49(6):1224-1238.
View
 

1995 | Journal Article | IST-REx-ID: 3637
Maccallum C, Nürnberger B, Barton NH. Experimental evidence for habitat dependent selection in a Bombina hybrid zone. Proceedings of the Royal Society of London Series B Biological Sciences. 1995;260(1359):257-264. doi:10.1098/rspb.1995.0089
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3638
Barton NH, Wilson I. Genealogies and geography. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 1995;349(1327):49-59. doi:10.1098/rstb.1995.0090
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3639
Barton NH. A general model for the evolution of recombination. Genetical Research. 1995;65(2):123-144. doi:10.1017/S0016672300033140
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3640 | OA
Barton NH. Linkage and the limits to natural selection. Genetics. 1995;140(2):821-841. doi:http://www.genetics.org/content/140/2/821.long
View | DOI | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 4153
Ransom D, Brownlie A, Haffter P, et al. Hematopoietic mutants identified in a saturation screen of the zebrafish genome. Blood. 1995;86(10):1912-1912.
View
 

1995 | Thesis | IST-REx-ID: 4428
Ho P. Automatic Analysis of Hybrid Systems. Cornell University; 1995:1-188. doi:CSD-TR95-1536
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2488
Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex. Neuroscience. 1994;60(1):199-211. doi:10.1016/0306-4522(94)90215-1
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2489
Akazawa C, Shigemoto R, Bessho Y, Nakanishi S, Mizuno N. Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats. Journal of Comparative Neurology. 1994;347(1):150-160. doi:10.1002/cne.903470112
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2490
Sugimoto Y, Shigemoto R, Namba T, et al. Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system. Neuroscience. 1994;62(3):919-928. doi:10.1016/0306-4522(94)90483-9
View | DOI
 

1994 | Book Review | IST-REx-ID: 2545
Nakanishi S, Masu M, Bessho Y, Nakajima Y, Hayashi Y, Shigemoto R. Molecular diversity of glutamate receptors and their physiological functions. Experientia Supplementum. 1994;71:71-80. doi:10.1007/978-3-0348-7330-7_8
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2547
Sugimoto Y, Hamba T, Shigemoto R, Negishi M, Ichikawa A, Narumiya S. Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney. American Journal of Physiology. 1994;266(5 part 2):F823-F828.
View
 

1994 | Conference Paper | IST-REx-ID: 2548
Hirano T, Kasono K, Shigemoto R, Nakanishi S. Induction mechanism of long term depression in cultured Purkinje neurons. In: Vol 15. Biomedical Research Foundation; 1994:79-81.
View
 

1994 | Journal Article | IST-REx-ID: 2549
Nakaya Y, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat. Journal of Comparative Neurology. 1994;347(2):249-274. doi:10.1002/cne.903470208
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2550
Okamoto N, Hori S, Akazawa C, et al. Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction. Journal of Biological Chemistry. 1994;269(2):1231-1236.
View
 

1994 | Journal Article | IST-REx-ID: 2551
Akazawa C, Ohishi H, Nakajima Y, et al. Expression of mRNAs of l-AP4-sensitive metabotropic glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina. Neuroscience Letters. 1994;171(1-2):52-54. doi:10.1016/0304-3940(94)90602-5
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2552
Ogawa Meguro R, Shigemoto R, Itoh K, Konishi A, Mizuno N. Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat. Neuroscience Letters. 1994;166(2):135-138. doi:10.1016/0304-3940(94)90469-3
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2553
Sugimoto Y, Namba T, Shigemoto R, Negishi M, Ichikawa A, Narumiya S. Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney. American Journal of Physiology. 1994;266(5):F823-F828.
View
 

1994 | Journal Article | IST-REx-ID: 2554
Nomura A, Shigemoto R, Nakamura Y, Okamoto N, Mizuno N, Nakanishi S. Developmentally regulated postsynaptic localization of a metabotropic glutamate receptor in rat rod bipolar cells. Cell. 1994;77(3):361-369. doi:10.1016/0092-8674(94)90151-1
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2555
Shigemoto R, Abe T, Nomura S, Nakanishi S, Hirano T. Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells. Neuron. 1994;12(6):1245-1255. doi:10.1016/0896-6273(94)90441-3
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2557
Ohishi H, Ogawa Meguro R, Shigemoto R, Kaneko T, Nakanishi S, Mizuno N. Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex. Neuron. 1994;13(1):55-66. doi:10.1016/0896-6273(94)90459-6
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4032
Dey T, Edelsbrunner H. Counting triangle crossings and halving planes. Discrete & Computational Geometry. 1994;12(1):281-289. doi:10.1007/BF02574381
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4033
Chazelle B, Edelsbrunner H, Guibas L, Hershberger J, Seidel R, Sharir M. Selecting heavily covered points. SIAM Journal on Computing. 1994;23(6):1138-1151. doi:10.1137/S0097539790179919
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4037
Edelsbrunner H, Mücke E. Three-dimensional alpha shapes. ACM Transactions on Graphics. 1994;13(1):43-72. doi:10.1145/174462.156635
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4038
Chazelle B, Edelsbrunner H, Guibas L, Sharir M. Algorithms for bichromatic line-segment problems and polyhedral terrains. Algorithmica. 1994;11(2):116-132. doi:10.1007/BF01182771
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4039
Chazelle B, Edelsbrunner H, Grigni M, et al. Ray shooting in polygons using geodesic triangulations. Algorithmica. 1994;12(1):54-68. doi:10.1007/BF01377183
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4299
Partridge L, Barton NH. Evolution of aging: Testing the theory using Drosophila. Genetica. 1994;91(1-3):89-98. doi:10.1007/BF01435990
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4420
Kapur A, Henzinger TA, Manna Z, Pnueli A. Proving safety properties of hybrid systems. In: Vol 863. Springer; 1994:431-454. doi:10.1007/3-540-58468-4_177
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4440
Henzinger TA, Kopke P. Verification methods for the divergent runs of clock systems. In: Vol 863. Springer; 1994:351-372. doi:10.1007/3-540-58468-4_173
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4501
Henzinger TA, Manna Z, Pnueli A. Temporal proof methodologies for timed transition systems. Information and Computation. 1994;112(2):273-337. doi:10.1006/inco.1994.1060
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4503
Henzinger TA, Nicollin X, Sifakis J, Yovine S. Symbolic model checking for real-time systems. Information and Computation. 1994;111(2):193-244. doi:10.1006/inco.1994.1045
View | DOI | Download (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4586
Alur R, Henzinger TA. Finitary fairness. In: IEEE; 1994:52-61. doi:10.1109/LICS.1994.316087
View | DOI
 

1994 | Book Chapter | IST-REx-ID: 4590
Alur R, Henzinger TA. Real-time system = discrete system + clock variables. In: Rus T, Rattray C, eds. Theories and Experiences for Real-Time System Development. Vol 2. World Scientific Publishing; 1994:1-29.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4591
Alur R, Henzinger TA. A really temporal logic. Journal of the ACM. 1994;41(1):181-204. doi:10.1145/174644.174651
View | DOI | Download (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4614
Alur R, Courcoubetis C, Henzinger TA. The observational power of clocks. In: Vol 836. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1994:162-177. doi:10.1007/BFb0015008
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4615
Alur R, Fix L, Henzinger TA. A determinizable class of timed automata. In: Vol 818. Springer; 1994:1-13. doi:10.1007/3-540-58179-0_39
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4617
Alur R, Courcoubetis C, Henzinger TA, et al. The algorithmic analysis of hybrid systems. In: Vol 199. Springer; 1994:331-351. doi:10.1007/BFb0033565
View | DOI
 

1994 | Journal Article | IST-REx-ID: 6167
Zarkower D, de Bono M, Aronoff R, Hodgkin J. Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1. Developmental Genetics. 1994;15(3):240-250. doi:10.1002/dvg.1020150306
View | DOI | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2713
Erdös L. Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator. Duke Mathematical Journal. 1994;76(2):541-566. doi:10.1215/S0012-7094-94-07619-9
View | DOI
 

Search

Filter Publications