Genealogies and geography
N.H. Barton, I. Wilson, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 349 (1995) 49–59.
LibreCat: https://research-explorer.ista.ac.at/record/3638
DOI: 10.1098/rstb.1995.0090
PMID: 8748019

Improved bounds on weak ;5-nets for convex sets
B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, M. Sharir, E. Welzl, Discrete &; Computational Geometry 13 (1995) 1–15.
LibreCat: https://research-explorer.ista.ac.at/record/4035
DOI: 10.1007/BF02574025

Algebraic decomposition of non-convex polyhedra
H. Edelsbrunner, in:, Proceedings of IEEE 36th Annual Foundations of Computer Science, IEEE, 1995, pp. 248–257.
LibreCat: https://research-explorer.ista.ac.at/record/4034

Hematopoietic mutants identified in a saturation screen of the zebrafish genome
D. Ransom, A. Brownlie, P. Haffter, J. Odenthal, R. Kelsh, M. Brand, M. Furutani Seiki, M. Granato, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, M. Mullins, F. Van Eden, R. Warga, C. Nüsslein Volhard, L. Zon, Blood 86 (1995) 1912–1912.
LibreCat: https://research-explorer.ista.ac.at/record/4153

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.
LibreCat: https://research-explorer.ista.ac.at/record/3479
DOI: 10.1113/jphysiol.1995.sp020737
PMID: 7545230

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.
LibreCat: https://research-explorer.ista.ac.at/record/3481
DOI: 10.1113/jphysiol.1995.sp020813
PMID: 7473198

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.
LibreCat: https://research-explorer.ista.ac.at/record/3480
DOI: 10.1016/0896-6273(95)90076-4
PMID: 7619522

Déjà vu all over again
M. Kirkpatrick, N.H. Barton, Nature 377 (1995) 388–389.
LibreCat: https://research-explorer.ista.ac.at/record/3597
DOI: 10.1038/377388a0
PMID: 7566112 

Linkage and the limits to natural selection
N.H. Barton, Genetics 140 (1995) 821–841.
LibreCat: https://research-explorer.ista.ac.at/record/3640
DOI: http://www.genetics.org/content/140/2/821.long
PMID: 7498757

The union of balls and its dual shape
H. Edelsbrunner, Discrete &; Computational Geometry 13 (1995) 415–440.
LibreCat: https://research-explorer.ista.ac.at/record/4028
DOI: 10.1007/BF02574053

An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere
C. Delfinado, H. Edelsbrunner, Computer Aided Geometric Design 12 (1995) 771–784.
LibreCat: https://research-explorer.ista.ac.at/record/4029
DOI: 10.1016/0167-8396(95)00016-Y

The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico
J. Sites, N.H. Barton, K. Reed, Evolution 49 (1995) 9–36.
LibreCat: https://research-explorer.ista.ac.at/record/4297
DOI: 10.1111/j.1558-5646.1995.tb05955.x
PMID: 28593667

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.
LibreCat: https://research-explorer.ista.ac.at/record/4296
DOI: 10.1111/j.1558-5646.1995.tb02285.x
PMID: 28565092 

Appendix to "A simulation study of multilocus clines" by S J E Baird
N.H. Barton, Evolution 49 (1995) 1038–1045.
LibreCat: https://research-explorer.ista.ac.at/record/4298
DOI: 10.1111/j.1558-5646.1995.tb04431.x

Automatic analysis of hybrid systems
P. Ho, Automatic Analysis of Hybrid Systems, Cornell University, 1995.
LibreCat: https://research-explorer.ista.ac.at/record/4428

Algorithmic analysis of nonlinear hybrid systems
T.A. Henzinger, P. Ho, in:, 7th International Conference on Computer Aided Verification, Springer, 1995, pp. 225–238.
LibreCat: https://research-explorer.ista.ac.at/record/4450
DOI: 10.1007/3-540-60045-0_53

A note on abstract-interpretation strategies for hybrid automata
T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), 3rd International Hybrid Systems Workshop, Springer, 1995, pp. 252–264.
LibreCat: https://research-explorer.ista.ac.at/record/4448
DOI: 10.1007/3-540-60472-3_13

HyTech: The Cornell Hybrid Technology Tool
T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), 4th International Hybrid Systems Workshop, Springer, 1995, pp. 265–293.
LibreCat: https://research-explorer.ista.ac.at/record/4447
DOI: 10.1007/3-540-60472-3_14

A user guide to HyTech
T.A. Henzinger, P. Ho, H. Wong Toi, in:, 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 1995, pp. 41–71.
LibreCat: https://research-explorer.ista.ac.at/record/4497
DOI: 10.1007/3-540-60630-0_3

HyTech: The next generation
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Proceedings 16th IEEE Real-Time Systems Symposium, IEEE, 1995, pp. 56–65.
LibreCat: https://research-explorer.ista.ac.at/record/4499
DOI: 10.1109/REAL.1995.495196