Henzinger, M. H. (1995). Fully dynamic biconnectivity in graphs. Algorithmica. Springer Nature.https://doi.org/10.1007/bf01189067 
LibreCat: https://research-explorer.ista.ac.at/record/11677
DOI: 10.1007/bf01189067

Henzinger, M. H., &; King, V. (1995). Fully dynamic biconnectivity and transitive closure. In Proceedings of IEEE 36th Annual Foundations of Computer Science (pp. 664–672). Milwaukee, WI, United States: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/SFCS.1995.492668 
LibreCat: https://research-explorer.ista.ac.at/record/11684
DOI: 10.1109/SFCS.1995.492668

Henzinger, M. H. (1995). Approximating minimum cuts under insertions. In 22nd International Colloquium on Automata, Languages and Programming (Vol. 944, pp. 280–291). Szeged, Hungary: Springer Nature.https://doi.org/10.1007/3-540-60084-1_81 
LibreCat: https://research-explorer.ista.ac.at/record/11806
DOI: 10.1007/3-540-60084-1_81

Henzinger, M. H., &; Poutré, H. (1995). Certificates and fast algorithms for biconnectivity in fully-dynamic graphs. In 3rd Annual European Symposium on Algorithms (Vol. 979, pp. 171–184). Corfu, Greece: Springer Nature.https://doi.org/10.1007/3-540-60313-1_142 
LibreCat: https://research-explorer.ista.ac.at/record/11805
DOI: 10.1007/3-540-60313-1_142

Alberts, D., &; Henzinger, M. H. (1995). Average case analysis of dynamic graph algorithms. In 6th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 312–321). San Francisco, CA, United States: Society for Industrial and Applied Mathematics.
LibreCat: https://research-explorer.ista.ac.at/record/11928

Sazanov, L. A., &; Jackson, B. (1995). Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation. Biochimica et Biophysica Acta - Bioenergetics. Elsevier.https://doi.org/10.1016/0005-2728(95)00096-2 
LibreCat: https://research-explorer.ista.ac.at/record/1943
DOI: 10.1016/0005-2728(95)00096-2
PMID: 7578218

Morris, D., Friml, J., &; Zaeímalová, E. (1995). Auxin transport. In P. Davies (Ed.), Plant Hormones: Biosynthesis, Signal Transduction, Action! (pp. 451–484). Kluwer.https://doi.org/10.1007/978-1-4020-2686-7_21 
LibreCat: https://research-explorer.ista.ac.at/record/2465
DOI: 10.1007/978-1-4020-2686-7_21

Ohishi, H., Akazawa, C., Shigemoto, R., Nakanishi, S., &; Mizuno, N. (1995). Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGlu and mGlu, in the rat brain. Journal of Comparative Neurology. Wiley-Blackwell.https://doi.org/10.1002/cne.903600402 
LibreCat: https://research-explorer.ista.ac.at/record/2491
DOI: 10.1002/cne.903600402
PMID: 8801249

Masu, M., Iwakabe, H., Tagawa, Y., Miyoshi, T., Yamashita, M., Fukuda, Y.,https://doi.org/10.1016/0092-8674(95)90354-2__Nakanishi, S. (1995). Specific deficit of the ON response in visual transmission by targeted disruption of the mGIu gene. Cell. Cell Press.https://doi.org/10.1016/0092-8674(95)90354-2 
LibreCat: https://research-explorer.ista.ac.at/record/2559
DOI: 10.1016/0092-8674(95)90354-2
PMID: 7889569

Mick, G., Shigemoto, R., &; Kitahama, K. (1995). Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents. Comptes Rendus de l’Academie Des Sciences - Series III. Gauthier Villars Editeur.
LibreCat: https://research-explorer.ista.ac.at/record/2558
PMID: 7757814 

Ohishi, H., Nomura, S., Ding, Y., Shigemoto, R., Wada, E., Kinoshita, A.,https://doi.org/10.1016/0304-3940(95)12207-9__Mizuno, N. (1995). Presynaptic localization of a metabotropic glutamate receptor, mGlu, in the primary afferent neurons: An immunohistochemical study in the rat. Neuroscience Letters. Elsevier.https://doi.org/10.1016/0304-3940(95)12207-9 
LibreCat: https://research-explorer.ista.ac.at/record/2561
DOI: 10.1016/0304-3940(95)12207-9
PMID: 8787837

Lü, Y., Jin, S., Xu, T., Qin, B., Li, J., Ding, Y.,https://doi.org/10.1016/0304-3940(95)11991-5__Mizuno, N. (1995). Expression of c-fos protein in substance P receptor-like immunoreactive neurons in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord segments of the rat. Neuroscience Letters. Elsevier.https://doi.org/10.1016/0304-3940(95)11991-5 
LibreCat: https://research-explorer.ista.ac.at/record/2560
DOI: 10.1016/0304-3940(95)11991-5
PMID: 8592640

Ding, Y., Takada, M., Shigemoto, R., &; Mizuno, N. (1995). Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat. Brain Research. Elsevier.https://doi.org/10.1016/0006-8993(95)00022-I 
LibreCat: https://research-explorer.ista.ac.at/record/2556
DOI: 10.1016/0006-8993(95)00022-I
PMID: 7796113

Ding, Y., Takada, M., Shigemoto, R., &; Mizuno, N. (1995). Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat. Neuroscience Research. Elsevier.https://doi.org/10.1016/0168-0102(95)00961-R 
LibreCat: https://research-explorer.ista.ac.at/record/2563
DOI: 10.1016/0168-0102(95)00961-R
PMID: 8602281

Erdös, L. (1995). Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals (Vol. 78, pp. 127–132). Presented at the International Conference on Partial Differential Operators and Mathematical Physics, Holzhau, Germany: Birkhäuser.https://doi.org/10.1007/978-3-0348-9092-2_13 
LibreCat: https://research-explorer.ista.ac.at/record/2712
DOI: 10.1007/978-3-0348-9092-2_13

Erdös, L. (1995). Magnetic Lieb-Thirring inequalities. Communications in Mathematical Physics. Springer.https://doi.org/10.1007/BF02099152 
LibreCat: https://research-explorer.ista.ac.at/record/2724
DOI: 10.1007/BF02099152

Monyer, H., &; Jonas, P. M. (1995). Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices. In B. Sakmann &; E. Neher (Eds.), Single-channel recording (pp. 357–373). Plenum.https://doi.org/10.1007/978-1-4419-1229-9_16 
LibreCat: https://research-explorer.ista.ac.at/record/3454
DOI: 10.1007/978-1-4419-1229-9_16

Jonas, P. M. (1995). Fast application of agonists to isolated membrane patches. In B. Sakmann &; E. Neher (Eds.), Single-channel recording (pp. 231–243). Plenum.https://doi.org/10.1007/978-1-4419-1229-9_10 
LibreCat: https://research-explorer.ista.ac.at/record/3455
DOI: 10.1007/978-1-4419-1229-9_10

Jonas, P. M., &; Burnashev, N. (1995). Molecular mechanisms controlling calcium entry through  AMPA-type glutamate receptor channels. Neuron. Elsevier.https://doi.org/10.1016/0896-6273(95)90087-X 
LibreCat: https://research-explorer.ista.ac.at/record/3461
DOI: 10.1016/0896-6273(95)90087-X
PMID: 7576666

Spruston, N., Jonas, P. M., &; Sakmann, B. (1995). Dendritic glutamate receptor channels in rat hippocampal C and C pyramidal neurons. Journal of Physiology. Wiley-Blackwell.https://doi.org/10.1113/jphysiol.1995.sp020521 
LibreCat: https://research-explorer.ista.ac.at/record/3478
DOI: 10.1113/jphysiol.1995.sp020521
PMID: 7536248

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 
LibreCat: https://research-explorer.ista.ac.at/record/3551
DOI: 10.1109/HICSS.1995.375331

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.
LibreCat: https://research-explorer.ista.ac.at/record/3552

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

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 
LibreCat: https://research-explorer.ista.ac.at/record/3637
DOI: 10.1098/rspb.1995.0089

Barton, N. H. (1995). A general model for the evolution of recombination. Genetical Research. Cambridge University Press.https://doi.org/10.1017/S0016672300033140 
LibreCat: https://research-explorer.ista.ac.at/record/3639
DOI: 10.1017/S0016672300033140
PMID: 7605514

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 
LibreCat: https://research-explorer.ista.ac.at/record/3638
DOI: 10.1098/rstb.1995.0090
PMID: 8748019

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

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.
LibreCat: https://research-explorer.ista.ac.at/record/4034

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.
LibreCat: https://research-explorer.ista.ac.at/record/4153

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

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

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

Kirkpatrick, M., &; Barton, N. H. (1995). Déjà vu all over again. Nature. Nature Publishing Group.https://doi.org/10.1038/377388a0 
LibreCat: https://research-explorer.ista.ac.at/record/3597
DOI: 10.1038/377388a0
PMID: 7566112 

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 
LibreCat: https://research-explorer.ista.ac.at/record/3640
DOI: http://www.genetics.org/content/140/2/821.long
PMID: 7498757

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

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 
LibreCat: https://research-explorer.ista.ac.at/record/4029
DOI: 10.1016/0167-8396(95)00016-Y

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

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

Barton, N. H. (1995). Appendix to “A simulation study of multilocus clines”https://doi.org/10.1111/j.1558-5646.1995.tb04431.x__by S J E Baird. Evolution. Wiley.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, P. (1995). Automatic analysis of hybrid systems. Cornell University.
LibreCat: https://research-explorer.ista.ac.at/record/4428

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 
LibreCat: https://research-explorer.ista.ac.at/record/4450
DOI: 10.1007/3-540-60045-0_53

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 
LibreCat: https://research-explorer.ista.ac.at/record/4448
DOI: 10.1007/3-540-60472-3_13

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).https://doi.org/10.1007/3-540-60472-3_14__New Brunswick, NJ, United States of America: Springer.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, 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 
LibreCat: https://research-explorer.ista.ac.at/record/4497
DOI: 10.1007/3-540-60630-0_3

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  
LibreCat: https://research-explorer.ista.ac.at/record/4499
DOI: 10.1109/REAL.1995.495196 

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 
LibreCat: https://research-explorer.ista.ac.at/record/4498
DOI: 10.1109/SFCS.1995.492576

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 
LibreCat: https://research-explorer.ista.ac.at/record/4502
DOI: 10.1145/225058.225162

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 
LibreCat: https://research-explorer.ista.ac.at/record/4500
DOI: 10.1007/3-540-60084-1_93

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 
LibreCat: https://research-explorer.ista.ac.at/record/4518
DOI: 10.1007/3-540-60084-1_85

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 
LibreCat: https://research-explorer.ista.ac.at/record/4587
DOI: 10.1007/3-540-60045-0_49

Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T. A., Ho, P., Nicollin, X.,https://doi.org/10.1016/0304-3975(94)00202-T__Yovine, S. (1995). The algorithmic analysis of hybrid systems. Theoretical Computer Science. Elsevier.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

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 
LibreCat: https://research-explorer.ista.ac.at/record/6162
DOI: 10.1101/gad.9.2.155
PMID: 7851791