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.
1780 Publications
1996 | Conference (Editor) | IST-REx-ID: 4585
T. A. Henzinger and R. Alur, Eds., 8th International Conference on Computer Aided Verification, vol. 1102. Springer, 1996.
View
| DOI
| Download None (ext.)
1995 | Book Chapter | IST-REx-ID: 2465
D. Morris, J. Friml, and E. Zažímalová, “Auxin transport,” in Plant Hormones: Biosynthesis, Signal Transduction, Action!, P. Davies, Ed. Kluwer, 1995, pp. 451–484.
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 2561
H. Ohishi et al., “Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat,” Neuroscience Letters, vol. 202, no. 1–2. Elsevier, pp. 85–88, 1995.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 | Conference Paper | IST-REx-ID: 2712
L. Erdös, “Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals,” presented at the International Conference on Partial Differential Operators and Mathematical Physics, Holzhau, Germany, 1995, vol. 78, pp. 127–132.
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 3478 | 
N. Spruston, P. M. Jonas, and B. Sakmann, “Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons,” Journal of Physiology, vol. 482, no. Pt 2. Wiley-Blackwell, pp. 325–352, 1995.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Conference Paper | IST-REx-ID: 3551
H. Edelsbrunner, M. Facello, P. Fu, and J. Liang, “Measuring proteins and voids in proteins,” in Proceedings of the 28th Annual Hawaii International Conference on System Sciences, Wailea, HI, United States of America, 1995, pp. 256–264.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 3552
N. Akkiraju, H. Edelsbrunner, M. Facello, P. Fu, E. Mücke, and C. Varela, “Alpha shapes: definition and software,” presented at the GCG: International Computational Geometry Software Workshop, 1995, pp. 63–66.
View
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 3639
N. H. Barton, “A general model for the evolution of recombination,” Genetical Research, vol. 65, no. 2. Cambridge University Press, pp. 123–144, 1995.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 3479 |
D. Koh, J. Geiger, P. M. Jonas, and B. Sakmann, “Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus,” Journal of Physiology, vol. 485, no. Pt 2. Wiley-Blackwell, pp. 383–402, 1995.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 3481 |
D. Koh, N. Burnashev, and P. M. Jonas, “Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification,” Journal of Physiology, vol. 486, no. Pt 2. Wiley-Blackwell, pp. 305–312, 1995.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 4028 |
H. Edelsbrunner, “The union of balls and its dual shape,” Discrete & Computational Geometry, vol. 13, no. 1. Springer, pp. 415–440, 1995.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 | Journal Article | IST-REx-ID: 4029
C. Delfinado and H. Edelsbrunner, “An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere,” Computer Aided Geometric Design, vol. 12, no. 7. Elsevier, pp. 771–784, 1995.
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 4297 |
J. Sites, N. H. Barton, and K. Reed, “The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico,” Evolution, vol. 49, no. 1. Wiley-Blackwell, pp. 9–36, 1995.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Conference Paper | IST-REx-ID: 4450
T. A. Henzinger and P. Ho, “Algorithmic analysis of nonlinear hybrid systems,” in 7th International Conference on Computer Aided Verification, Liege, Belgium, 1995, vol. 939, pp. 225–238.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4448
T. A. Henzinger and P. Ho, “A note on abstract-interpretation strategies for hybrid automata,” in 3rd International Hybrid Systems Workshop, Ithaca, NY, United States of America, 1995, vol. 999, pp. 252–264.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4447
T. A. Henzinger and P. Ho, “HyTech: The Cornell Hybrid Technology Tool,” in 4th International Hybrid Systems Workshop, New Brunswick, NJ, United States of America, 1995, vol. 999, pp. 265–293.
View
| DOI
| Download None (ext.)