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.

6978 Publications


1997 |Published| Journal Article | IST-REx-ID: 3485 | OA
Martina, M., & Jonas, P. M. (1997). Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1111/j.1469-7793.1997.593ba.x
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 |Published| Journal Article | IST-REx-ID: 3482 | OA
Götz, T., Kraushaar, U., Geiger, J., Lubke, J., Berger, T., & Jonas, P. M. (1997). Functional properties of AMPA and NMDA receptors expressed in identified types of basal ganglia neurons. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.17-01-00204.1997
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 |Published| Journal Article | IST-REx-ID: 3486 | OA
Bischofberger, J., & Jonas, P. M. (1997). Action potential propagation into the presynaptic dendrites of rat mitral cells. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1111/j.1469-7793.1997.359be.x
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 |Published| Journal Article | IST-REx-ID: 3484 | OA
Geiger, J., Lubke, J., Roth, A., Frotscher, M., & Jonas, P. M. (1997). Submillisecond AMPA receptor-mediated signaling at a principal neuron-interneuron synapse. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(00)80339-6
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1997 |Published| Journal Article | IST-REx-ID: 3541
Bragin, A., Csicsvari, J. L., Penttonen, M., & Buzsáki, G. (1997). Epileptic afterdischarge in the hippocampal-entorhinal system: Current source density and unit studies. Neuroscience. Elsevier. https://doi.org/10.1016/S0306-4522(96)00446-0
View | DOI | PubMed | Europe PMC
 

1997 |Published| Journal Article | IST-REx-ID: 3630 | OA
Whitlock, M., & Barton, N. H. (1997). The effective size of a subdivided population. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/146.1.427
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 |Published| Journal Article | IST-REx-ID: 3631 | OA
Kawecki, T., Barton, N. H., & Fry, J. (1997). Mutational collapse of fitness in marginal habitats and the evolution of ecological specialisation. Journal of Evolutionary Biology. Wiley-Blackwell. https://doi.org/10.1046/j.1420-9101.1997.10030407.x
[Published Version] View | DOI | Download Published Version (ext.)
 

1997 |Published| Journal Article | IST-REx-ID: 4018
Edelsbrunner, H., & Shah, N. (1997). Triangulating topological spaces. International Journal of Computational Geometry & Applications. World Scientific Publishing. https://doi.org/10.1142/S0218195997000223
View | DOI
 

1997 |Published| Journal Article | IST-REx-ID: 4174 | OA
Masai, I., Heisenberg, C.-P. J., Barth, K. A., Macdonald, R., Adamek, S., & Wilson, S. (1997). Floating head and masterblind regulate neuronal patterning in the roof of the forebrain. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(01)80045-3
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 |Published| Journal Article | IST-REx-ID: 4201 | OA
Heisenberg, C.-P. J., & Nüsslein Volhard, C. (1997). The function of silberblick in the positioning of the eye anlage in the zebrafish embryo. Developmental Biology. Elsevier. https://doi.org/10.1006/dbio.1997.8511
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 |Published| Journal Article | IST-REx-ID: 4285 | OA
Otto, S., & Barton, N. H. (1997). The evolution of recombination: Removing the limits to natural selection. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/147.2.879
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 |Published| Book Chapter | IST-REx-ID: 4284
Barton, N. H. (1997). Natural selection and random genetic drift as causes of evolution on islands. In Evolution on islands (pp. 102–123). Oxford University Press. https://doi.org/10.1098/rstb.1996.0073
View | DOI | PubMed | Europe PMC
 

1997 |Published| Conference Paper | IST-REx-ID: 4438
Henzinger, T. A., & Kupferman, O. (1997). From quantity to quality. In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems (Vol. 1201, pp. 48–62). Grenoble, France: Springer. https://doi.org/10.1007/BFb0014712
View | DOI
 

1997 |Published| Conference Paper | IST-REx-ID: 4441
Henzinger, T. A., & Kopke, P. (1997). Discrete-time control for rectangular hybrid automata. In Proceedings of the 24th International Colloquium on Automata, Languages and Programming (Vol. 1256, pp. 582–593). Bologna, Italy: Springer. https://doi.org/10.1007/3-540-63165-8_213
View | DOI
 

1997 |Published| Conference Paper | IST-REx-ID: 4496
Henzinger, T. A., Kupferman, O., & Rajamani, S. (1997). Fair simulation. In Proceedings of the 8th International Conference on Concurrency Theory (Vol. 1243, pp. 273–287). Warsaw, Poland: Springer. https://doi.org/10.1007/3-540-63141-0_19
View | DOI
 

1997 |Published| Conference Paper | IST-REx-ID: 4494
Henzinger, T. A., Ho, P., & Wong Toi, H. (1997). HyTech: A model checker for hybrid systems (Vol. 1254, pp. 460–463). Presented at the CAV: Computer Aided Verification, Haifa, Israel: Springer. https://doi.org/10.1007/3-540-63166-6_48
View | DOI
 

1997 |Published| Journal Article | IST-REx-ID: 4493
Henzinger, T. A., Ho, P., & Wong Toi, H. (1997). HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. Springer. https://doi.org/10.1007/s100090050008
View | DOI
 

1997 |Published| Conference Paper | IST-REx-ID: 4520
Gupta, V., Henzinger, T. A., & Jagadeesan, R. (1997). Robust timed automata. In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems (Vol. 1201, pp. 331–345). Grenoble, France: Springer. https://doi.org/10.1007/BFb0014736
View | DOI
 

1997 |Published| Conference Paper | IST-REx-ID: 4583
Alur, R., & Henzinger, T. A. (1997). Modularity for timed and hybrid systems. In 8th International Conference on Concurrency Theory (Vol. 1243, pp. 74–88). Warsaw, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-63141-0_6
View | DOI
 

1997 |Published| Journal Article | IST-REx-ID: 4584
Alur, R., & Henzinger, T. A. (1997). Real-time system = discrete system + clock variables. Software Tools For Technology Transfer. Springer. https://doi.org/10.1007/s100090050007
View | DOI
 

Filters and Search Terms

supervisor%3D40876CD8-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications