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

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

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

Specific deficit of the ON response in visual transmission by targeted disruption of the mGIu gene
M. Masu, H. Iwakabe, Y. Tagawa, T. Miyoshi, M. Yamashita, Y. Fukuda, H. Sasaki, K. Hiroi, Y. Nakamura, R. Shigemoto, M. Takada, K. Nakamura, K. Nakao, M. Katsuki, S. Nakanishi, Cell 80 (1995) 757–765.
LibreCat: https://research-explorer.ista.ac.at/record/2559
DOI: 10.1016/0092-8674(95)90354-2
PMID: 7889569

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

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

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
Y. Lü, S. Jin, T. Xu, B. Qin, J. Li, Y. Ding, R. Shigemoto, N. Mizuno, Neuroscience Letters 198 (1995) 139–142.
LibreCat: https://research-explorer.ista.ac.at/record/2560
DOI: 10.1016/0304-3940(95)11991-5
PMID: 8592640

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

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

Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals
L. Erdös, in:, Birkhäuser, 1995, pp. 127–132.
LibreCat: https://research-explorer.ista.ac.at/record/2712
DOI: 10.1007/978-3-0348-9092-2_13

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

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

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

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

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

Measuring proteins and voids in proteins
H. Edelsbrunner, M. Facello, P. Fu, J. Liang, in:, Proceedings of the 28th Annual Hawaii International Conference on System Sciences, IEEE, 1995, pp. 256–264.
LibreCat: https://research-explorer.ista.ac.at/record/3551
DOI: 10.1109/HICSS.1995.375331

Alpha shapes: definition and software
N. Akkiraju, H. Edelsbrunner, M. Facello, P. Fu, E. Mücke, C. Varela, in:, Elsevier, 1995, pp. 63–66.
LibreCat: https://research-explorer.ista.ac.at/record/3552

Natural selection on quantitative traits in the Bombina hybrid zone
B. Nürnberger, N.H. Barton, C. Maccallum, J. Gilchrist, M. Appleby, Evolution 49 (1995) 1224–1238.
LibreCat: https://research-explorer.ista.ac.at/record/3636
DOI: 10.1111/j.1558-5646.1995.tb04449.x

Experimental evidence for habitat dependent selection in a Bombina hybrid zone
C. Maccallum, B. Nürnberger, N.H. Barton, Proceedings of the Royal Society of London Series B Biological Sciences 260 (1995) 257–264.
LibreCat: https://research-explorer.ista.ac.at/record/3637
DOI: 10.1098/rspb.1995.0089

A general model for the evolution of recombination
N.H. Barton, Genetical Research 65 (1995) 123–144.
LibreCat: https://research-explorer.ista.ac.at/record/3639
DOI: 10.1017/S0016672300033140
PMID: 7605514

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 

Computing simulations on finite and infinite graphs
M.H. Henzinger, T.A. Henzinger, P. Kopke, in:, Proceedings of IEEE 36th Annual Foundations of Computer Science, IEEE, 1995, pp. 453–462.
LibreCat: https://research-explorer.ista.ac.at/record/4498
DOI: 10.1109/SFCS.1995.492576

What's decidable about hybrid automata?
T.A. Henzinger, P. Kopke, A. Puri, P. Varaiya, in:, Proceedings of the 27th Annual ACM Symposium on Theory of Computing, ACM, 1995, pp. 373–382.
LibreCat: https://research-explorer.ista.ac.at/record/4502
DOI: 10.1145/225058.225162

The expressive power of clocks
T.A. Henzinger, P. Kopke, H. Wong Toi, in:, 22nd International Colloquium on Automata, Languages and Programming , Springer, 1995, pp. 417–428.
LibreCat: https://research-explorer.ista.ac.at/record/4500
DOI: 10.1007/3-540-60084-1_93

Hybrid automata with finite bisimulations
T.A. Henzinger, in:, 22nd International Colloquium on Automata, Languages and Programming , Springer, 1995, pp. 324–335.
LibreCat: https://research-explorer.ista.ac.at/record/4518
DOI: 10.1007/3-540-60084-1_85

Local liveness for compositional modeling of fair reactive systems
R. Alur, T.A. Henzinger, in:, 7th International Conference on Computer Aided Verification, Springer, 1995, pp. 166–179.
LibreCat: https://research-explorer.ista.ac.at/record/4587
DOI: 10.1007/3-540-60045-0_49

The algorithmic analysis of hybrid systems
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, Theoretical Computer Science 138 (1995) 3–34.
LibreCat: https://research-explorer.ista.ac.at/record/4613
DOI: 10.1016/0304-3975(94)00202-T

Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1
M. de Bono, D. Zarkower, J. Hodgkin, Genes and Development 9 (1995) 155–167.
LibreCat: https://research-explorer.ista.ac.at/record/6162
DOI: 10.1101/gad.9.2.155
PMID: 7851791