Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
56 Publications
1997 | Journal Article | IST-REx-ID: 3485 | 
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Martina, P.M. Jonas, Journal of Physiology 505 (1997) 593–603.
1997 | Journal Article | IST-REx-ID: 3482 |
Functional properties of AMPA and NMDA receptors expressed in identified types of basal ganglia neurons
T. Götz, U. Kraushaar, J. Geiger, J. Lubke, T. Berger, P.M. Jonas, Journal of Neuroscience 17 (1997) 204–215.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
T. Götz, U. Kraushaar, J. Geiger, J. Lubke, T. Berger, P.M. Jonas, Journal of Neuroscience 17 (1997) 204–215.
1997 | Journal Article | IST-REx-ID: 3486 |
Action potential propagation into the presynaptic dendrites of rat mitral cells
J. Bischofberger, P.M. Jonas, Journal of Physiology 504 (1997) 359–365.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Bischofberger, P.M. Jonas, Journal of Physiology 504 (1997) 359–365.
1997 | Journal Article | IST-REx-ID: 3484 |
Submillisecond AMPA receptor-mediated signaling at a principal neuron-interneuron synapse
J. Geiger, J. Lubke, A. Roth, M. Frotscher, P.M. Jonas, Neuron 18 (1997) 1009–1023.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
J. Geiger, J. Lubke, A. Roth, M. Frotscher, P.M. Jonas, Neuron 18 (1997) 1009–1023.
1997 | Journal Article | IST-REx-ID: 3541
Epileptic afterdischarge in the hippocampal-entorhinal system: Current source density and unit studies
A. Bragin, J.L. Csicsvari, M. Penttonen, G. Buzsáki, Neuroscience 76 (1997) 1187–1203.
View
| DOI
| PubMed | Europe PMC
A. Bragin, J.L. Csicsvari, M. Penttonen, G. Buzsáki, Neuroscience 76 (1997) 1187–1203.
1997 | Journal Article | IST-REx-ID: 3630 |
The effective size of a subdivided population
M. Whitlock, N.H. Barton, Genetics 146 (1997) 427–441.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Whitlock, N.H. Barton, Genetics 146 (1997) 427–441.
1997 | Journal Article | IST-REx-ID: 3631 |
Mutational collapse of fitness in marginal habitats and the evolution of ecological specialisation
T. Kawecki, N.H. Barton, J. Fry, Journal of Evolutionary Biology 10 (1997) 407–430.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T. Kawecki, N.H. Barton, J. Fry, Journal of Evolutionary Biology 10 (1997) 407–430.
1997 | Journal Article | IST-REx-ID: 4018
Triangulating topological spaces
H. Edelsbrunner, N. Shah, International Journal of Computational Geometry & Applications 7 (1997) 365–378.
View
| DOI
H. Edelsbrunner, N. Shah, International Journal of Computational Geometry & Applications 7 (1997) 365–378.
1997 | Journal Article | IST-REx-ID: 4174 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
I. Masai, C.-P.J. Heisenberg, K.A. Barth, R. Macdonald, S. Adamek, S. Wilson, Neuron 18 (1997) 43–57.
1997 | Journal Article | IST-REx-ID: 4201 |
The function of silberblick in the positioning of the eye anlage in the zebrafish embryo
C.-P.J. Heisenberg, C. Nüsslein Volhard, Developmental Biology 184 (1997) 85–94.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
C.-P.J. Heisenberg, C. Nüsslein Volhard, Developmental Biology 184 (1997) 85–94.
1997 | Journal Article | IST-REx-ID: 4285 |
The evolution of recombination: Removing the limits to natural selection
S. Otto, N.H. Barton, Genetics 147 (1997) 879–906.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S. Otto, N.H. Barton, Genetics 147 (1997) 879–906.
1997 | Book Chapter | IST-REx-ID: 4284
Natural selection and random genetic drift as causes of evolution on islands
N.H. Barton, in:, Evolution on Islands, Oxford University Press, 1997, pp. 102–123.
View
| DOI
| PubMed | Europe PMC
N.H. Barton, in:, Evolution on Islands, Oxford University Press, 1997, pp. 102–123.
1997 | Conference Paper | IST-REx-ID: 4438
From quantity to quality
T.A. Henzinger, O. Kupferman, in:, Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Springer, 1997, pp. 48–62.
View
| DOI
T.A. Henzinger, O. Kupferman, in:, Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Springer, 1997, pp. 48–62.
1997 | Conference Paper | IST-REx-ID: 4441
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.
View
| DOI
T.A. Henzinger, P. Kopke, in:, Proceedings of the 24th International Colloquium on Automata, Languages and Programming, Springer, 1997, pp. 582–593.
1997 | Conference Paper | IST-REx-ID: 4496
Fair simulation
T.A. Henzinger, O. Kupferman, S. Rajamani, in:, Proceedings of the 8th International Conference on Concurrency Theory, Springer, 1997, pp. 273–287.
View
| DOI
T.A. Henzinger, O. Kupferman, S. Rajamani, in:, Proceedings of the 8th International Conference on Concurrency Theory, Springer, 1997, pp. 273–287.
1997 | Conference Paper | IST-REx-ID: 4494
HyTech: A model checker for hybrid systems
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Springer, 1997, pp. 460–463.
View
| DOI
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Springer, 1997, pp. 460–463.
1997 | Journal Article | IST-REx-ID: 4493
HyTech: A model checker for hybrid systems
T.A. Henzinger, P. Ho, H. Wong Toi, Software Tools For Technology Transfer 1 (1997) 110–122.
View
| DOI
T.A. Henzinger, P. Ho, H. Wong Toi, Software Tools For Technology Transfer 1 (1997) 110–122.
1997 | Conference Paper | IST-REx-ID: 4520
Robust timed automata
V. Gupta, T.A. Henzinger, R. Jagadeesan, in:, Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Springer, 1997, pp. 331–345.
View
| DOI
V. Gupta, T.A. Henzinger, R. Jagadeesan, in:, Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Springer, 1997, pp. 331–345.
1997 | Conference Paper | IST-REx-ID: 4583
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.
View
| DOI
R. Alur, T.A. Henzinger, in:, 8th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88.
1997 | Journal Article | IST-REx-ID: 4584
Real-time system = discrete system + clock variables
R. Alur, T.A. Henzinger, Software Tools For Technology Transfer 1 (1997) 86–109.
View
| DOI
R. Alur, T.A. Henzinger, Software Tools For Technology Transfer 1 (1997) 86–109.