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.
1621 Publications
1996 |Published| Conference Paper | IST-REx-ID: 4495
Henzinger TA, Kupferman O, Vardi M. 1996. A space-efficient on-the-fly algorithm for real-time model checking. 7th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1119, 514–529.
View
| DOI
| Download None (ext.)
1996 |Published| Conference (Editor) | IST-REx-ID: 4585
Henzinger TA, Alur R eds. 1996. 8th International Conference on Computer Aided Verification, Springer,p.
View
| DOI
| Download None (ext.)
1995 |Published| Book Chapter | IST-REx-ID: 2465
Morris D, Friml J, Zažímalová E. 1995.Auxin transport. In: Plant Hormones: Biosynthesis, Signal Transduction, Action! , 451–484.
View
| DOI
| Download None (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 2712
Erdös L. 1995. Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals. International Conference on Partial Differential Operators and Mathematical Physics, Operator Theory: Advances and Applications, vol. 78, 127–132.
View
| DOI
| Download None (ext.)
1995 |Published| Journal Article | IST-REx-ID: 3478 | 
Spruston N, Jonas PM, Sakmann B. 1995. Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons. Journal of Physiology. 482(Pt 2), 325–352.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 |Published| Conference Paper | IST-REx-ID: 3551
Edelsbrunner H, Facello M, Fu P, Liang J. 1995. Measuring proteins and voids in proteins. Proceedings of the 28th Annual Hawaii International Conference on System Sciences. HICSS: Hawaii International Conference on System Sciences, 256–264.
View
| DOI
| Download None (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 3552
Akkiraju N, Edelsbrunner H, Facello M, Fu P, Mücke E, Varela C. 1995. Alpha shapes: definition and software. GCG: International Computational Geometry Software Workshop, 63–66.
View
| Download None (ext.)
1995 |Published| Journal Article | IST-REx-ID: 3639
Barton NH. 1995. A general model for the evolution of recombination. Genetical Research. 65(2), 123–144.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 3479 |
Koh D, Geiger J, Jonas PM, Sakmann B. 1995. Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus. Journal of Physiology. 485(Pt 2), 383–402.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 3481 |
Koh D, Burnashev N, Jonas PM. 1995. Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification. Journal of Physiology. 486(Pt 2), 305–312.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 4028 |
Edelsbrunner H. 1995. The union of balls and its dual shape. Discrete & Computational Geometry. 13(1), 415–440.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 |Published| Journal Article | IST-REx-ID: 4029
Delfinado C, Edelsbrunner H. 1995. An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere. Computer Aided Geometric Design. 12(7), 771–784.
View
| DOI
| Download None (ext.)
1995 |Published| Journal Article | IST-REx-ID: 4297 |
Sites J, Barton NH, Reed K. 1995. The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico. Evolution. 49(1), 9–36.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 |Published| Conference Paper | IST-REx-ID: 4450
Henzinger TA, Ho P. 1995. Algorithmic analysis of nonlinear hybrid systems. 7th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 939, 225–238.
View
| DOI
| Download None (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 4448
Henzinger TA, Ho P. 1995. A note on abstract-interpretation strategies for hybrid automata. 3rd International Hybrid Systems Workshop. Hybrid Systems II, LNCS, vol. 999, 252–264.
View
| DOI
| Download None (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 4447
Henzinger TA, Ho P. 1995. HyTech: The Cornell Hybrid Technology Tool. 4th International Hybrid Systems Workshop. Hybrid Systems IIILNCS, LNCS, vol. 999, 265–293.
View
| DOI
| Download None (ext.)