Please note that ISTA 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.

5772 Publications


1996 | Conference Paper | IST-REx-ID: 11927 | OA
Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology
M.H. Henzinger, V. King, T. Warnow, in:, 7th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1996, pp. 333–340.
[Published Version] View | Files available | Download Published Version (ext.)
 

1996 | Journal Article | IST-REx-ID: 4025 | OA
Triangulating the surface of a molecule
N. Akkiraju, H. Edelsbrunner, Discrete Applied Mathematics 71 (1996) 5–22.
[Published Version] View | DOI | Download Published Version (ext.)
 

1996 | Journal Article | IST-REx-ID: 4166 | OA
Mutations affecting the formation of the notochord in the zebrafish, Danio rerio
J. Odenthal, P. Haffter, E. Vogelsang, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, R. Warga, M. Allende, E. Weinberg, C. Nüsslein Volhard, Development 123 (1996) 103–115.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4215 | OA
Mutations affecting the cardiovascular system and other internal organs in zebrafish
J. Chen, P. Haffter, J. Odenthal, E. Vogelsang, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, C. Nüsslein Volhard, Development 123 (1996) 293–302.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 3756 | OA
Influence of M-phase chromatin on the anisotropy of microtubule asters
M. Dogterom, M. Felix, C.C. Guet, S. Leibler, Journal of Cell Biology 133 (1996) 125–140.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Conference Poster | IST-REx-ID: 4030 | OA
Effects of molecular shape representations on boundary element method for protein electrostatics computations
J. Liang, H. Edelsbrunner, S. Subramaniam, Effects of Molecular Shape Representations on Boundary Element Method for Protein Electrostatics Computations, Cell Press, 1996.
View | DOI | Download None (ext.)
 

1996 | Conference Poster | IST-REx-ID: 4031 | OA
Analytical method for molecular shapes: Area, volume, cavities, interface and pockets
J. Liang, H. Edelsbrunner, S. Pamidghantam, S. Subramaniam, Analytical Method for Molecular Shapes: Area, Volume, Cavities, Interface and Pockets, Cell Press, 1996.
View | DOI | Download None (ext.)
 

1996 | Journal Article | IST-REx-ID: 4216 | OA
Mutations affecting development of the midline and general body shape during zebrafish embryogenesis
M. Brand, C.-P.J. Heisenberg, R. Warga, F. Pelegri, R. Karlstrom, D. Beuchle, A. Picker, Y. Jiang, M. Furutani Seiki, F. Van Eeden, M. Granato, P. Haffter, M. Hammerschmidt, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, C. Nüsslein Volhard, Development 123 (1996) 129–142.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4219 | OA
Mutations in zebrafish genes affecting the formation of the boundary between midbrain and hindbrain
M. Brand, C.-P.J. Heisenberg, Y. Jiang, D. Beuchle, K. Lun, M. Furutani Seiki, M. Granato, P. Haffter, M. Hammerschmidt, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, F. Van Eeden, C. Nüsslein Volhard, Development 123 (1996) 179–190.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4222 | OA
Mutations affecting somite formation and patterning in the zebrafish, Danio rerio
F. Van Eeden, M. Granato, U. Schach, M. Brand, M. Furutani Seiki, P. Haffter, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, R. Warga, M. Allende, E. Weinberg, C. Nüsslein Volhard, Development 123 (1996) 153–164.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4220 | OA
Genetic analysis of fin formation in the zebrafish, Danio rerio
F. Van Eeden, M. Granato, U. Schach, M. Brand, M. Furutani Seiki, P. Haffter, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, R. Warga, C. Nüsslein Volhard, Development 123 (1996) 255–262.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Book Chapter | IST-REx-ID: 4295 | OA
Speciation: more than the sum of its parts
N.H. Barton, in:, Current Biology, Cell Press, 1996, pp. 1244–1246.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4611 | OA
Automatic symbolic verification of embedded systems
R. Alur, T.A. Henzinger, P. Ho, IEEE Transactions on Software Engineering 22 (1996) 181–201.
[Published Version] View | DOI | Download Published Version (ext.)
 

1996 | Journal Article | IST-REx-ID: 6161 | OA [Published Version] View | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Conference Paper | IST-REx-ID: 11928 | OA
Average case analysis of dynamic graph algorithms
D. Alberts, M.H. Henzinger, in:, 6th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1995, pp. 312–321.
[Published Version] View | Files available | Download Published Version (ext.)
 

1995 | Journal Article | IST-REx-ID: 1943 | OA [Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 2559 | OA
Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene
M. Masu, H. Iwakabe, Y. Tagawa, T. Miyoshi, M. Yamashita, Y. Fukuda, H. Sasaki, K. Hiroi, Y. Nakamura, R. Shigemoto, M. Takada, K. Nakamura, K. Nakao, M. Katsuki, S. Nakanishi, Cell 80 (1995) 757–765.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 3461 | OA [Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 3478 | OA
Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons
N. Spruston, P.M. Jonas, B. Sakmann, Journal of Physiology 482 (1995) 325–352.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 3636 | OA
Natural selection on quantitative traits in the Bombina hybrid zone
B. Nürnberger, N.H. Barton, C. Maccallum, J. Gilchrist, M. Appleby, Evolution 49 (1995) 1224–1238.
[Published Version] View | DOI | Download Published Version (ext.)
 

1995 | Journal Article | IST-REx-ID: 3479 | OA
Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus
D. Koh, J. Geiger, P.M. Jonas, B. Sakmann, Journal of Physiology 485 (1995) 383–402.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 3481 | OA
Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification
D. Koh, N. Burnashev, P.M. Jonas, Journal of Physiology 486 (1995) 305–312.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 3480 | OA
Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons in rat CNS
J. Geiger, T. Melcher, D. Koh, B. Sakmann, P. Seeburg, P.M. Jonas, H. Monyer, Neuron 15 (1995) 193–204.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 3640 | OA
Linkage and the limits to natural selection
N.H. Barton, Genetics 140 (1995) 821–841.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 4028 | OA
The union of balls and its dual shape
H. Edelsbrunner, Discrete & Computational Geometry 13 (1995) 415–440.
[Published Version] View | DOI | Download Published Version (ext.)
 
 

1995 | Journal Article | IST-REx-ID: 4296 | OA
Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature
L. Partridge, B. Barrie, N.H. Barton, K. Fowler, V. French, Evolution 49 (1995) 538–544.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 4298 | OA
Appendix to "A simulation study of multilocus clines" by S J E Baird
N.H. Barton, Evolution 49 (1995) 1038–1045.
[Published Version] View | DOI | Download Published Version (ext.)
 

1995 | Thesis | IST-REx-ID: 4428 | OA
Automatic analysis of hybrid systems
P. Ho, Automatic Analysis of Hybrid Systems, Cornell University, 1995.
[Published Version] View | Download Published Version (ext.)
 

1995 | Conference Paper | IST-REx-ID: 4502 | OA
What's decidable about hybrid automata?
T.A. Henzinger, P. Kopke, A. Puri, P. Varaiya, in:, Proceedings of the 27th Annual ACM Symposium on Theory of Computing, ACM, 1995, pp. 373–382.
[Published Version] View | DOI | Download Published Version (ext.)
 
 

1994 | Journal Article | IST-REx-ID: 1953 | OA
Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism
A. Efanov, A. Koshkin, L.A. Sazanov, O.I. Borodulina, S. Varfolomeev, S. Zaǐtsev, FEBS Letters 355 (1994) 114–116.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2550 | OA
Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction
N. Okamoto, S. Hori, C. Akazawa, Y. Hayashi, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 269 (1994) 1231–1236.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 3476 | OA
Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices
G. Major, A. Larkman, P.M. Jonas, B. Sakmann, J. Jack, Journal of Neuroscience 14 (1994) 4613–4638.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 3475 | OA
Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus
D. Koh, P.M. Jonas, W. Vogel, Journal of Physiology 479 (1994) 183–197.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 4037 | OA
Three-dimensional alpha shapes
H. Edelsbrunner, E. Mücke, ACM Transactions on Graphics 13 (1994) 43–72.
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 3642 | OA [Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 4179 | OA
Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons
A. Leingärtner, C.-P.J. Heisenberg, R. Kolbeck, H. Thoenen, D. Lindholm, Journal of Biological Chemistry 269 (1994) 828–830.
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 4501 | OA
Temporal proof methodologies for timed transition systems
T.A. Henzinger, Z. Manna, A. Pnueli, Information and Computation 112 (1994) 273–337.
View | DOI | Download None (ext.)
 

1993 | Journal Article | IST-REx-ID: 2536 | OA
Molecular characterization of a novel retinal metabotropic glutamate receptor mGluR6 with a high agonist selectivity for L-2-amino-4- phosphonobutyrate
Y. Nakajima, H. Iwakabe, C. Akazawa, H. Nawa, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 268 (1993) 11868–11873.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Journal Article | IST-REx-ID: 2537 | OA
Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4
Y. Tanabe, A. Nomura, M. Masu, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Neuroscience 13 (1993) 1372–1378.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Journal Article | IST-REx-ID: 2539 | OA
Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits
T. Ishii, K. Moriyoshi, H. Sugihara, K. Sakurada, H. Kadotani, M. Yokoi, C. Akazawa, R. Shigemoto, N. Mizuno, M. Masu, S. Nakanishi, Journal of Biological Chemistry 268 (1993) 2836–2843.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Journal Article | IST-REx-ID: 2538 | OA
Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization
M. Iwai, S. Hori, R. Shigemoto, H. Kanzaki, T. Mori, S. Nakanishi, Biology of Reproduction 49 (1993) 675–680.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Journal Article | IST-REx-ID: 3474 | OA
Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus
P.M. Jonas, G. Major, B. Sakmann, Journal of Physiology 472 (1993) 615–663.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Journal Article | IST-REx-ID: 4303 | OA
The probability of fixation of a favoured allele in a subdivided population
N.H. Barton, Genetics Research 62 (1993) 149–158.
View | DOI | Download None (ext.)
 

1993 | Journal Article | IST-REx-ID: 4177 | OA
Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation
D. Lindholm, E. Castrén, P. Tsoulfas, R. Kolbeck, M. Berzaghi, A. Leingärtner, C.-P.J. Heisenberg, L. Tesarollo, L. Parada, H. Thoenen, Journal of Cell Biology 122 (1993) 443–450.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1993 | Journal Article | IST-REx-ID: 4589 | OA
Real-time logics: Complexity and expressiveness
R. Alur, T.A. Henzinger, Information and Computation 104 (1993) 35–77.
[Published Version] View | DOI | Download Published Version (ext.)
 

1992 | Journal Article | IST-REx-ID: 2533 | OA
Molecular characterization of a novel metabotropic glutamate receptor mGluR5 coupled to inositol phosphate/Ca2+ signal transduction
T. Abe, H. Sugihara, H. Nawa, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 267 (1992) 13361–13368.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1992 | Journal Article | IST-REx-ID: 2535 | OA
Two mammalian helix-loop-helix factors structurally related to Drosophila hairy and Enhancer of split
Y. Sasai, R. Kageyama, Y. Tagawa, R. Shigemoto, S. Nakanishi, Genes and Development 6 (1992) 2620–2634.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1992 | Journal Article | IST-REx-ID: 2722 | OA
Central limit theorems for the one-dimensional Rayleigh gas with semipermeable barriers
L. Erdös, D. Tuyen, Communications in Mathematical Physics 143 (1992) 451–466.
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications