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.
59 Publications
1997 | Published | Journal Article | IST-REx-ID: 4607
Computing accumulated delays in real-time systems
R. Alur, C. Courcoubetis, T.A. Henzinger, Formal Methods in System Design 11 (1997) 137–156.
View
| DOI
R. Alur, C. Courcoubetis, T.A. Henzinger, Formal Methods in System Design 11 (1997) 137–156.
1997 | Published | 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
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, in:, 9th International Conference on Computer Aided Verification, Springer, 1997, pp. 340–351.
1997 | Published | 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
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.
1997 | Published | 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 | Published | Journal Article | IST-REx-ID: 3483 |
A novel type of GABAergic interneuron connecting the input and the output regions of the hippocampus.
K. Ceranik, R. Bender, J. Geiger, H. Monyer, P.M. Jonas, M. Frotscher, J. Lubke, Journal of Neuroscience 17 (1997) 5380–5394.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
K. Ceranik, R. Bender, J. Geiger, H. Monyer, P.M. Jonas, M. Frotscher, J. Lubke, Journal of Neuroscience 17 (1997) 5380–5394.
1997 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | Journal Article | IST-REx-ID: 3632 |
The strength of indirect selection on female mating preferences
M. Kirkpatrick, N.H. Barton, PNAS 94 (1997) 1282–1286.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Kirkpatrick, N.H. Barton, PNAS 94 (1997) 1282–1286.
1997 | Published | Journal Article | IST-REx-ID: 3633
Evolution of a species' range
M. Kirkpatrick, N.H. Barton, American Naturalist 150 (1997) 1–23.
View
| DOI
| PubMed | Europe PMC
M. Kirkpatrick, N.H. Barton, American Naturalist 150 (1997) 1–23.
1997 | Published | 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 | Published | Journal Article | IST-REx-ID: 4021 |
A combinatorial approach to cartograms
H. Edelsbrunner, R. Waupotitsch, Computational Geometry: Theory and Applications 7 (1997) 343–360.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, R. Waupotitsch, Computational Geometry: Theory and Applications 7 (1997) 343–360.
1997 | Published | Journal Article | IST-REx-ID: 4022
Cutting dense point sets in half
H. Edelsbrunner, P. Valtr, E. Welzl, Discrete & Computational Geometry 17 (1997) 243–255.
View
| DOI
H. Edelsbrunner, P. Valtr, E. Welzl, Discrete & Computational Geometry 17 (1997) 243–255.
1997 | Published | Journal Article | IST-REx-ID: 4023
Inclusion-exclusion complexes for pseudodisk collections
H. Edelsbrunner, E. Ramos, Discrete & Computational Geometry 17 (1997) 287–306.
View
| DOI
H. Edelsbrunner, E. Ramos, Discrete & Computational Geometry 17 (1997) 287–306.
1997 | Published | 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 | Published | 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.