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.

9133 Publications


1997 | Journal Article | IST-REx-ID: 3486 | OA
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
 

1997 | Journal Article | IST-REx-ID: 3484 | OA
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
 

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
 

1997 | Journal Article | IST-REx-ID: 3630 | OA
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
 

1997 | Journal Article | IST-REx-ID: 3631 | OA
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.)
 

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
 

1997 | Journal Article | IST-REx-ID: 4174 | OA
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
 

1997 | Journal Article | IST-REx-ID: 4201 | OA
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
 

1997 | Journal Article | IST-REx-ID: 4285 | OA
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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

1997 | Conference Paper | IST-REx-ID: 4608
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.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4609
Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, in:, Proceedings of the 38th Annual Symposium on Foundations of Computer Science, Association for Computing Machinery (ACM), 1997, pp. 100–109.
View | DOI
 

Search

Filter Publications