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.
52 Publications
1995 | Conference Paper | IST-REx-ID: 3551
Edelsbrunner, H., Facello, M., Fu, P., & Liang, J. (1995). Measuring proteins and voids in proteins. In Proceedings of the 28th Annual Hawaii International Conference on System Sciences (pp. 256–264). Wailea, HI, United States of America: IEEE. https://doi.org/10.1109/HICSS.1995.375331
View
| DOI
| Download None (ext.)
1995 | 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 (pp. 63–66). Presented at the GCG: International Computational Geometry Software Workshop, Elsevier.
View
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 3636 | 
Nürnberger, B., Barton, N. H., Maccallum, C., Gilchrist, J., & Appleby, M. (1995). Natural selection on quantitative traits in the Bombina hybrid zone. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1995.tb04449.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 | Journal Article | IST-REx-ID: 3637
Maccallum, C., Nürnberger, B., & Barton, N. H. (1995). Experimental evidence for habitat dependent selection in a Bombina hybrid zone. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society of London. https://doi.org/10.1098/rspb.1995.0089
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 3639
Barton, N. H. (1995). A general model for the evolution of recombination. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672300033140
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 3638
Barton, N. H., & Wilson, I. (1995). Genealogies and geography. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.1995.0090
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 4035
Chazelle, B., Edelsbrunner, H., Grigni, M., Guibas, L., Sharir, M., & Welzl, E. (1995). Improved bounds on weak ε-nets for convex sets. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02574025
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4034
Edelsbrunner, H. (1995). Algebraic decomposition of non-convex polyhedra. In Proceedings of IEEE 36th Annual Foundations of Computer Science (pp. 248–257). Milwaukee, WI, United States of America: IEEE.
View
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 4153
Ransom, D., Brownlie, A., Haffter, P., Odenthal, J., Kelsh, R., Brand, M., … Zon, L. (1995). Hematopoietic mutants identified in a saturation screen of the zebrafish genome. Blood. American Society of Hematology.
View
1995 | Journal Article | IST-REx-ID: 3479 |
Koh, D., Geiger, J., Jonas, P. M., & Sakmann, B. (1995). Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1995.sp020737
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 3481 |
Koh, D., Burnashev, N., & Jonas, P. M. (1995). Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1995.sp020813
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 3480 |
Geiger, J., Melcher, T., Koh, D., Sakmann, B., Seeburg, P., Jonas, P. M., & Monyer, H. (1995). Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons in rat CNS. Neuron. Elsevier. https://doi.org/10.1016/0896-6273(95)90076-4
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Book Review | IST-REx-ID: 3597
Kirkpatrick, M., & Barton, N. H. (1995). Déjà vu all over again. Nature. Nature Publishing Group. https://doi.org/10.1038/377388a0
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 3640 |
Barton, N. H. (1995). Linkage and the limits to natural selection. Genetics. Genetics Society of America. http://www.genetics.org/content/140/2/821.long
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 4028 |
Edelsbrunner, H. (1995). The union of balls and its dual shape. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02574053
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 | 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. Elsevier. https://doi.org/10.1016/0167-8396(95)00016-Y
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 4297 |
Sites, J., Barton, N. H., & 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. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1995.tb05955.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 4296 |
Partridge, L., Barrie, B., Barton, N. H., Fowler, K., & French, V. (1995). Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1995.tb02285.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 4298 |
Barton, N. H. (1995). Appendix to “A simulation study of multilocus clines” by S J E Baird. Evolution. Wiley. https://doi.org/10.1111/j.1558-5646.1995.tb04431.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 | Thesis | IST-REx-ID: 4428 |
Ho, P. (1995). Automatic analysis of hybrid systems. Cornell University.
[Published Version]
View
| Download Published Version (ext.)
1995 | Conference Paper | IST-REx-ID: 4450
Henzinger, T. A., & Ho, P. (1995). Algorithmic analysis of nonlinear hybrid systems. In 7th International Conference on Computer Aided Verification (Vol. 939, pp. 225–238). Liege, Belgium: Springer. https://doi.org/10.1007/3-540-60045-0_53
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4448
Henzinger, T. A., & Ho, P. (1995). A note on abstract-interpretation strategies for hybrid automata. In A. Panos, W. Kohn, A. Nerode, & S. Sastry (Eds.), 3rd International Hybrid Systems Workshop (Vol. 999, pp. 252–264). Ithaca, NY, United States of America: Springer. https://doi.org/10.1007/3-540-60472-3_13
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4447
Henzinger, T. A., & Ho, P. (1995). HyTech: The Cornell Hybrid Technology Tool. In A. Panos, W. Kohn, A. Nerode, & S. Sastry (Eds.), 4th International Hybrid Systems Workshop (Vol. 999, pp. 265–293). New Brunswick, NJ, United States of America: Springer. https://doi.org/10.1007/3-540-60472-3_14
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4497
Henzinger, T. A., Ho, P., & Wong Toi, H. (1995). A user guide to HyTech. In 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1019, pp. 41–71). Aarhus, Denmark: Springer. https://doi.org/10.1007/3-540-60630-0_3
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4499
Henzinger, T. A., Ho, P., & Wong Toi, H. (1995). HyTech: The next generation. In Proceedings 16th IEEE Real-Time Systems Symposium (pp. 56–65). Pisa, Italy: IEEE. https://doi.org/10.1109/REAL.1995.495196
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4498
Henzinger, M. H., Henzinger, T. A., & Kopke, P. (1995). Computing simulations on finite and infinite graphs. In Proceedings of IEEE 36th Annual Foundations of Computer Science (pp. 453–462). Milwaukee, WI, United States of America: IEEE. https://doi.org/10.1109/SFCS.1995.492576
View
| DOI
1995 | Conference Paper | IST-REx-ID: 4502 |
Henzinger, T. A., Kopke, P., Puri, A., & Varaiya, P. (1995). What’s decidable about hybrid automata? In Proceedings of the 27th annual ACM symposium on Theory of computing (pp. 373–382). Las Vegas, NV, United States of America: ACM. https://doi.org/10.1145/225058.225162
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 | Conference Paper | IST-REx-ID: 4500
Henzinger, T. A., Kopke, P., & Wong Toi, H. (1995). The expressive power of clocks. In 22nd International Colloquium on Automata, Languages and Programming (Vol. 944, pp. 417–428). Szeged, Hungary: Springer. https://doi.org/10.1007/3-540-60084-1_93
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4518
Henzinger, T. A. (1995). Hybrid automata with finite bisimulations. In 22nd International Colloquium on Automata, Languages and Programming (Vol. 944, pp. 324–335). Szeged, Hungary: Springer. https://doi.org/10.1007/3-540-60084-1_85
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4587
Alur, R., & Henzinger, T. A. (1995). Local liveness for compositional modeling of fair reactive systems. In 7th International Conference on Computer Aided Verification (Vol. 939, pp. 166–179). Liege, Belgium: Springer. https://doi.org/10.1007/3-540-60045-0_49
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 4613
Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T. A., Ho, P., Nicollin, X., … Yovine, S. (1995). The algorithmic analysis of hybrid systems. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/0304-3975(94)00202-T
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 6162
de Bono, M., Zarkower, D., & Hodgkin, J. (1995). Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1. Genes and Development. CSH Press. https://doi.org/10.1101/gad.9.2.155
View
| DOI
| PubMed | Europe PMC