Barton, Nicholas H, and I Wilson. “Genealogies and Geography.”https://doi.org/10.1098/rstb.1995.0090__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The, 1995.https://doi.org/10.1098/rstb.1995.0090 .
LibreCat: https://research-explorer.ista.ac.at/record/3638
DOI: 10.1098/rstb.1995.0090
PMID: 8748019

Chazelle, Bernard, Herbert Edelsbrunner, Michelangelo Grigni, Leonidas Guibas, Micha Sharir, and Emo Welzl. “Improved Bounds on Weak ;5-Nets for Convex Sets.”https://doi.org/10.1007/BF02574025__Discrete &; Computational Geometry. Springer, 1995.https://doi.org/10.1007/BF02574025 .
LibreCat: https://research-explorer.ista.ac.at/record/4035
DOI: 10.1007/BF02574025

Edelsbrunner, Herbert. “Algebraic Decomposition of Non-Convex Polyhedra.” In Proceedings of IEEE 36th Annual Foundations of Computer Science, 248–57. IEEE, 1995.
LibreCat: https://research-explorer.ista.ac.at/record/4034

Ransom, D., Alison Brownlie, Pascal Haffter, Jörg Odenthal, Robert Kelsh, Michael Brand, Makoto Furutani Seiki, et al. “Hematopoietic Mutants Identified in a Saturation Screen of the Zebrafish Genome.” Blood. American Society of Hematology, 1995.
LibreCat: https://research-explorer.ista.ac.at/record/4153

Koh, Duk, Jörg Geiger, Peter M Jonas, and Bert Sakmann. “Ca(2+)-Permeable AMPA and NMDA Receptor Channels in Basket Cells of Rat Hippocampal Dentate Gyrus.”https://doi.org/10.1113/jphysiol.1995.sp020737__Journal of Physiology. Wiley-Blackwell, 1995.https://doi.org/10.1113/jphysiol.1995.sp020737 .
LibreCat: https://research-explorer.ista.ac.at/record/3479
DOI: 10.1113/jphysiol.1995.sp020737
PMID: 7545230

Koh, Duk, Nail Burnashev, and Peter M Jonas. “Block of Native Ca(2+)-Permeable AMPA Receptors in Rat Brain by Intracellular Polyamines Generates Double Rectification.”https://doi.org/10.1113/jphysiol.1995.sp020813__Journal of Physiology. Wiley-Blackwell, 1995.https://doi.org/10.1113/jphysiol.1995.sp020813 .
LibreCat: https://research-explorer.ista.ac.at/record/3481
DOI: 10.1113/jphysiol.1995.sp020813
PMID: 7473198

Geiger, Jörg, Thorsten Melcher, Duk Koh, Bert Sakmann, Peter Seeburg, Peter M Jonas, and Hannah Monyer. “Relative Abundance of Subunit MRNAs Determines Gating and Ca(2+) Permeability of AMPA Receptors in Principal Neurons and Interneurons in Rat CNS.”https://doi.org/10.1016/0896-6273(95)90076-4__Neuron. Elsevier, 1995.https://doi.org/10.1016/0896-6273(95)90076-4 .
LibreCat: https://research-explorer.ista.ac.at/record/3480
DOI: 10.1016/0896-6273(95)90076-4
PMID: 7619522

Kirkpatrick, Mark, and Nicholas H Barton. “Déjà vu All over Again.”https://doi.org/10.1038/377388a0__Nature. Nature Publishing Group, 1995.https://doi.org/10.1038/377388a0 .
LibreCat: https://research-explorer.ista.ac.at/record/3597
DOI: 10.1038/377388a0
PMID: 7566112 

Barton, Nicholas H. “Linkage and the Limits to Natural Selection.”http://www.genetics.org/content/140/2/821.long__Genetics. Genetics Society of America, 1995.http://www.genetics.org/content/140/2/821.long .
LibreCat: https://research-explorer.ista.ac.at/record/3640
DOI: http://www.genetics.org/content/140/2/821.long
PMID: 7498757

Edelsbrunner, Herbert. “The Union of Balls and Its Dual Shape.”https://doi.org/10.1007/BF02574053__Discrete &; Computational Geometry. Springer, 1995.https://doi.org/10.1007/BF02574053 .
LibreCat: https://research-explorer.ista.ac.at/record/4028
DOI: 10.1007/BF02574053

Delfinado, Cecil, and Herbert Edelsbrunner. “An Incremental Algorithm for Betti Numbers of Simplicial Complexes on the 3-Sphere.”https://doi.org/10.1016/0167-8396(95)00016-Y__Computer Aided Geometric Design. Elsevier, 1995.https://doi.org/10.1016/0167-8396(95)00016-Y .
LibreCat: https://research-explorer.ista.ac.at/record/4029
DOI: 10.1016/0167-8396(95)00016-Y

Sites, Jack, Nicholas H Barton, and Kent Reed. “The Genetic Structure of a Mosaic Hybrid Zone between Two Chromosome Races of the Sceloporus Grammicus Complex (Sauria, Phrynosomatidae) in Central Mexico.”https://doi.org/10.1111/j.1558-5646.1995.tb05955.x__Evolution. Wiley-Blackwell, 1995.https://doi.org/10.1111/j.1558-5646.1995.tb05955.x .
LibreCat: https://research-explorer.ista.ac.at/record/4297
DOI: 10.1111/j.1558-5646.1995.tb05955.x
PMID: 28593667

Partridge, Linda, Brian Barrie, Nicholas H Barton, Kevin Fowler, and Vernon French. “Rapid Laboratory Evolution of Adult Life History Traits in Drosophila Melanogaster in Response to Temperature.”https://doi.org/10.1111/j.1558-5646.1995.tb02285.x__Evolution. Wiley-Blackwell, 1995.https://doi.org/10.1111/j.1558-5646.1995.tb02285.x .
LibreCat: https://research-explorer.ista.ac.at/record/4296
DOI: 10.1111/j.1558-5646.1995.tb02285.x
PMID: 28565092 

Barton, Nicholas H. “Appendix to ‘A Simulation Study of Multilocus Clines’ by S J E Baird.”https://doi.org/10.1111/j.1558-5646.1995.tb04431.x__Evolution. Wiley, 1995.https://doi.org/10.1111/j.1558-5646.1995.tb04431.x .
LibreCat: https://research-explorer.ista.ac.at/record/4298
DOI: 10.1111/j.1558-5646.1995.tb04431.x

Ho, Pei. “Automatic Analysis of Hybrid Systems.” Cornell University, 1995.
LibreCat: https://research-explorer.ista.ac.at/record/4428

Henzinger, Thomas A, and Pei Ho. “Algorithmic Analysis of Nonlinear Hybrid Systems.”https://doi.org/10.1007/3-540-60045-0_53__In 7th International Conference on Computer Aided Verification, 939:225–38. Springer, 1995.https://doi.org/10.1007/3-540-60045-0_53 .
LibreCat: https://research-explorer.ista.ac.at/record/4450
DOI: 10.1007/3-540-60045-0_53

Henzinger, Thomas A, and Pei Ho. “A Note on Abstract-Interpretation Strategies for Hybrid Automata.”https://doi.org/10.1007/3-540-60472-3_13__In 3rd International Hybrid Systems Workshop, edited by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:252–64. Springer, 1995.https://doi.org/10.1007/3-540-60472-3_13 .
LibreCat: https://research-explorer.ista.ac.at/record/4448
DOI: 10.1007/3-540-60472-3_13

Henzinger, Thomas A, and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.”https://doi.org/10.1007/3-540-60472-3_14__In 4th International Hybrid Systems Workshop, edited by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:265–93. LNCS. Springer, 1995.https://doi.org/10.1007/3-540-60472-3_14 .
LibreCat: https://research-explorer.ista.ac.at/record/4447
DOI: 10.1007/3-540-60472-3_14

Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “A User Guide to HyTech.”https://doi.org/10.1007/3-540-60630-0_3__In 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, 1019:41–71. Springer, 1995.https://doi.org/10.1007/3-540-60630-0_3 .
LibreCat: https://research-explorer.ista.ac.at/record/4497
DOI: 10.1007/3-540-60630-0_3

Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: The next Generation.”https://doi.org/10.1109/REAL.1995.495196 __In Proceedings 16th IEEE Real-Time Systems Symposium, 56–65. IEEE, 1995.https://doi.org/10.1109/REAL.1995.495196  .
LibreCat: https://research-explorer.ista.ac.at/record/4499
DOI: 10.1109/REAL.1995.495196 

Henzinger, Monika H, Thomas A Henzinger, and Peter Kopke. “Computing Simulations on Finite and Infinite Graphs.”https://doi.org/10.1109/SFCS.1995.492576__In Proceedings of IEEE 36th Annual Foundations of Computer Science, 453–62. IEEE, 1995.https://doi.org/10.1109/SFCS.1995.492576 .
LibreCat: https://research-explorer.ista.ac.at/record/4498
DOI: 10.1109/SFCS.1995.492576

Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable about Hybrid Automata?”https://doi.org/10.1145/225058.225162__In Proceedings of the 27th Annual ACM Symposium on Theory of Computing, 373–82. ACM, 1995.https://doi.org/10.1145/225058.225162 .
LibreCat: https://research-explorer.ista.ac.at/record/4502
DOI: 10.1145/225058.225162

Henzinger, Thomas A, Peter Kopke, and Howard Wong Toi. “The Expressive Power of Clocks.”https://doi.org/10.1007/3-540-60084-1_93__In 22nd International Colloquium on Automata, Languages and Programming , 944:417–28. Springer, 1995.https://doi.org/10.1007/3-540-60084-1_93 .
LibreCat: https://research-explorer.ista.ac.at/record/4500
DOI: 10.1007/3-540-60084-1_93

Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations.”https://doi.org/10.1007/3-540-60084-1_85__In 22nd International Colloquium on Automata, Languages and Programming , 944:324–35. Springer, 1995.https://doi.org/10.1007/3-540-60084-1_85 .
LibreCat: https://research-explorer.ista.ac.at/record/4518
DOI: 10.1007/3-540-60084-1_85

Alur, Rajeev, and Thomas A Henzinger. “Local Liveness for Compositional Modeling of Fair Reactive Systems.”https://doi.org/10.1007/3-540-60045-0_49__In 7th International Conference on Computer Aided Verification, 939:166–79. Springer, 1995.https://doi.org/10.1007/3-540-60045-0_49 .
LibreCat: https://research-explorer.ista.ac.at/record/4587
DOI: 10.1007/3-540-60045-0_49

Alur, Rajeev, Costas Courcoubetis, Nicolas Halbwachs, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems.”https://doi.org/10.1016/0304-3975(94)00202-T__Theoretical Computer Science. Elsevier, 1995.https://doi.org/10.1016/0304-3975(94)00202-T .
LibreCat: https://research-explorer.ista.ac.at/record/4613
DOI: 10.1016/0304-3975(94)00202-T

Bono, Mario de, D. Zarkower, and J. Hodgkin. “Dominant Feminizing Mutations Implicate Protein-Protein Interactions as the Main Mode of Regulation of the Nematode Sex-Determining Gene Tra-1.”https://doi.org/10.1101/gad.9.2.155__Genes and Development. CSH Press, 1995.https://doi.org/10.1101/gad.9.2.155 .
LibreCat: https://research-explorer.ista.ac.at/record/6162
DOI: 10.1101/gad.9.2.155
PMID: 7851791