Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus
L. Acsády, I. Katona, A. Gulyás, R. Shigemoto, T. Freund, Journal of Comparative Neurology 378 (1997) 320–336.
LibreCat: https://research-explorer.ista.ac.at/record/2493
DOI: 10.1002/(SICI)1096-9861(19970217)378:3&lt;320::AID-CNE2&gt;3.0.CO;2-5
PMID: 9034894

Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord
V. Seybold, I. Grkovi, A. Portbury, Y. Ding, R. Shigemoto, N. Mizuno, J. Furness, B. Southwell, Journal of Comparative Neurology 381 (1997) 439–448.
LibreCat: https://research-explorer.ista.ac.at/record/2578
DOI: 10.1002/(SICI)1096-9861(19970519)381:4&lt;439::AID-CNE4&gt;3.0.CO;2-3
PMID: 9136801 

Differential plasma membrane distribution of metabotropic glutamate receptors mGlu;1, mGlu and mGlu, relative to neurotransmitter release sites
R. Luján, J. Roberts, R. Shigemoto, H. Ohishi, P. Somogyi, Journal of Chemical Neuroanatomy 13 (1997) 219–241.
LibreCat: https://research-explorer.ista.ac.at/record/2580
DOI: 10.1016/S0891-0618(97)00051-3
PMID: 9412905

Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract
P. Mann, B. Southwell, Y. Ding, R. Shigemoto, N. Mizuno, J. Furness, Cell and Tissue Research 289 (1997) 1–9.
LibreCat: https://research-explorer.ista.ac.at/record/2579
DOI: 10.1007/s004410050846
PMID: 9182595

Cutting dense point sets in half
H. Edelsbrunner, P. Valtr, E. Welzl, Discrete &; Computational Geometry 17 (1997) 243–255.
LibreCat: https://research-explorer.ista.ac.at/record/4022
DOI: 10.1007/PL00009291

Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus
M. Martina, P.M. Jonas, Journal of Physiology 505 (1997) 593–603.
LibreCat: https://research-explorer.ista.ac.at/record/3485
DOI: 10.1111/j.1469-7793.1997.593ba.x
PMID: 9457638

Action potential propagation into the presynaptic dendrites of rat mitral cells
J. Bischofberger, P.M. Jonas, Journal of Physiology 504 (1997) 359–365.
LibreCat: https://research-explorer.ista.ac.at/record/3486
DOI: 10.1111/j.1469-7793.1997.359be.x
PMID: 9365910

Floating head and masterblind regulate neuronal patterning in the roof of the forebrain
I. Masai, C.-P.J. Heisenberg, K.A. Barth, R. Macdonald, S. Adamek, S. Wilson, Neuron 18 (1997) 43–57.
LibreCat: https://research-explorer.ista.ac.at/record/4174
DOI: 10.1016/S0896-6273(01)80045-3
PMID: 9010204

The evolution of recombination: Removing the limits to natural selection
S. Otto, N.H. Barton, Genetics 147 (1997) 879–906.
LibreCat: https://research-explorer.ista.ac.at/record/4285
DOI: 10.1093/genetics/147.2.879
PMID: 9335621

Discrete-time control for rectangular hybrid automata
T.A. Henzinger, P. Kopke, in:, Proceedings of the 24th International Colloquium on Automata, Languages and Programming, Springer, 1997, pp. 582–593.
LibreCat: https://research-explorer.ista.ac.at/record/4441
DOI: 10.1007/3-540-63165-8_213

Fair simulation
T.A. Henzinger, O. Kupferman, S. Rajamani, in:, Proceedings of the 8th International Conference on Concurrency Theory, Springer, 1997, pp. 273–287.
LibreCat: https://research-explorer.ista.ac.at/record/4496
DOI: 10.1007/3-540-63141-0_19

HyTech: A model checker for hybrid systems
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Springer, 1997, pp. 460–463.
LibreCat: https://research-explorer.ista.ac.at/record/4494
DOI: 10.1007/3-540-63166-6_48

Modularity for timed and hybrid systems
R. Alur, T.A. Henzinger, in:, 8th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88.
LibreCat: https://research-explorer.ista.ac.at/record/4583
DOI: 10.1007/3-540-63141-0_6

Partial-order reduction in symbolic state-space exploration
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, in:, 9th International Conference on Computer Aided Verification, Springer, 1997, pp. 340–351.
LibreCat: https://research-explorer.ista.ac.at/record/4608
DOI: 10.1007/3-540-63166-6_34

Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning
M.H. Henzinger, J.A. Telle, in:, 5th Scandinavian Workshop on Algorithm Theory, Springer Nature, 1996, pp. 16–27.
LibreCat: https://research-explorer.ista.ac.at/record/11804
DOI: 10.1007/3-540-61422-2_117

Improved sampling with applications to dynamic graph algorithms
M.H. Henzinger, M. Thorup, in:, 23rd International Colloquium on Automata, Languages, and Programming, Springer Nature, 1996, pp. 290–299.
LibreCat: https://research-explorer.ista.ac.at/record/11910
DOI: 10.1007/3-540-61440-0_136

Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology
M.H. Henzinger, V. King, T. Warnow, in:, 7th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1996, pp. 333–340.
LibreCat: https://research-explorer.ista.ac.at/record/11927

Mutations affecting xanthophore pigmentation in the zebrafish, Danio rerio
J. Odenthal, K. Rossnagel, P. Haffter, R. Kelsh, E. Vogelsang, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, M. Mullins, C. Nüsslein Volhard, Development 123 (1996) 391–398.
LibreCat: https://research-explorer.ista.ac.at/record/4164
DOI: 10.1242/dev.123.1.391
PMID: 9007257 

The identification of genes with unique and essential functions in the development of the zebrafish, Danio rerio
P. Haffter, M. Granato, M. Brand, M. Mullins, M. Hammerschmidt, D. Kane, J. Odenthal, F. Van Eeden, Y. Jiang, C.-P.J. Heisenberg, R. Kelsh, M. Furutani Seiki, E. Vogelsang, D. Beuchle, U. Schach, C. Fabian, C. Nüsslein Volhard, Development 123 (1996) 1–36.
LibreCat: https://research-explorer.ista.ac.at/record/4212
DOI: 10.1242/dev.123.1.1 
PMID: 9007226 

Lines in space: Combinatorics and algorithms
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, J. Stolfi, Algorithmica 15 (1996) 428–447.
LibreCat: https://research-explorer.ista.ac.at/record/4027
DOI: 10.1007/BF01955043