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: 4021 | 
Edelsbrunner H, Waupotitsch R. A combinatorial approach to cartograms. Computational Geometry: Theory and Applications. 1997;7(5-6):343-360. doi:10.1016/S0925-7721(96)00006-5
[Published Version]
View
| DOI
| Download Published Version (ext.)
1997 | Journal Article | IST-REx-ID: 4023
Edelsbrunner H, Ramos E. Inclusion-exclusion complexes for pseudodisk collections. Discrete & Computational Geometry. 1997;17(3):287-306. doi:10.1007/PL00009295
View
| DOI
1997 | Journal Article | IST-REx-ID: 4287 |
Coyne J, Barton NH, Turelli M. Perspective: A critique of Sewall Wright’s shifting balance theory of evolutionight’s shifting balance theory of evolution. Evolution; International Journal of Organic Evolution. 1997;51(3):643-671. doi:10.1111/j.1558-5646.1997.tb03650.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 4286 |
Piálek J, Barton NH. The spread of an advantageous allele across a barrier: the effects of random drift and selection against heterozygotes. Genetics. 1997;145(2):493-504. doi:10.1093/genetics/145.2.493
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 4288 |
Fowler K, Semple C, Barton NH, Partridge L. Genetic variation for total fitness in Drosophila melanogaster. Proceedings of the Royal Society of London Series B Biological Sciences. 1997;264(1379):191-199. doi:10.1098/rspb.1997.0027
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Book Chapter | IST-REx-ID: 4293
Barton NH, Whitlock M. The evolution of metapopulations. In: Hanski I, Gilpin ME, eds. Metapopulation Biology. Academic Press; 1997:183-210. doi:10.1016/B978-012323445-2/50012-2
View
| DOI
1997 | Journal Article | IST-REx-ID: 4289 |
Barton NH. Population genetics: A new apportionment of human diversity. Current Biology. 1997;7(12):757-758. doi:10.1016/S0960-9822(06)00397-6
[Published Version]
View
| DOI
| Download Published Version (ext.)
1997 | Book Review | IST-REx-ID: 4291
Barton NH. The ecological detective: Confronting models with data. Genetical Research. 1997;70(2):180-181.
View
| Download None (ext.)
1997 | Book Review | IST-REx-ID: 4290
Barton NH. Natural hybridization and evolution. Genetical Research. 1997;70(2):178-180.
View
1997 | Journal Article | IST-REx-ID: 3483 |
Ceranik K, Bender R, Geiger J, et al. A novel type of GABAergic interneuron connecting the input and the output regions of the hippocampus. Journal of Neuroscience. 1997;17(14):5380-5394. doi:10.1523/JNEUROSCI.17-14-05380.1997
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3485 |
Martina M, Jonas PM. Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus. Journal of Physiology. 1997;505(3):593-603. doi:10.1111/j.1469-7793.1997.593ba.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3482 |
Götz T, Kraushaar U, Geiger J, Lubke J, Berger T, Jonas PM. Functional properties of AMPA and NMDA receptors expressed in identified types of basal ganglia neurons. Journal of Neuroscience. 1997;17(1):204-215. doi:10.1523/JNEUROSCI.17-01-00204.1997
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3486 |
Bischofberger J, Jonas PM. Action potential propagation into the presynaptic dendrites of rat mitral cells. Journal of Physiology. 1997;504(Pt 2):359-365. doi:10.1111/j.1469-7793.1997.359be.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3484 |
Geiger J, Lubke J, Roth A, Frotscher M, Jonas PM. Submillisecond AMPA receptor-mediated signaling at a principal neuron-interneuron synapse. Neuron. 1997;18(6):1009-1023. doi:10.1016/S0896-6273(00)80339-6
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3541
Bragin A, Csicsvari JL, Penttonen M, Buzsáki G. Epileptic afterdischarge in the hippocampal-entorhinal system: Current source density and unit studies. Neuroscience. 1997;76(4):1187-1203. doi:10.1016/S0306-4522(96)00446-0
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3630 |
Whitlock M, Barton NH. The effective size of a subdivided population. Genetics. 1997;146(1):427-441. doi:10.1093/genetics/146.1.427
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3631 |
Kawecki T, Barton NH, Fry J. Mutational collapse of fitness in marginal habitats and the evolution of ecological specialisation. Journal of Evolutionary Biology. 1997;10(3):407-430. doi:10.1046/j.1420-9101.1997.10030407.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
1997 | Journal Article | IST-REx-ID: 4018
Edelsbrunner H, Shah N. Triangulating topological spaces. International Journal of Computational Geometry & Applications. 1997;7(4):365-378. doi:10.1142/S0218195997000223
View
| DOI
1997 | Journal Article | IST-REx-ID: 4174 |
Masai I, Heisenberg C-PJ, Barth KA, Macdonald R, Adamek S, Wilson S. Floating head and masterblind regulate neuronal patterning in the roof of the forebrain. Neuron. 1997;18(1):43-57. doi:10.1016/S0896-6273(01)80045-3
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 4201 |
Heisenberg C-PJ, Nüsslein Volhard C. The function of silberblick in the positioning of the eye anlage in the zebrafish embryo. Developmental Biology. 1997;184(1):85-94. doi:10.1006/dbio.1997.8511
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 4285 |
Otto S, Barton NH. The evolution of recombination: Removing the limits to natural selection. Genetics. 1997;147(2):879-906. doi:10.1093/genetics/147.2.879
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Book Chapter | IST-REx-ID: 4284
Barton NH. Natural selection and random genetic drift as causes of evolution on islands. In: Evolution on Islands. Oxford University Press; 1997:102-123. doi:10.1098/rstb.1996.0073
View
| DOI
| PubMed | Europe PMC
1997 | Conference Paper | IST-REx-ID: 4438
Henzinger TA, Kupferman O. From quantity to quality. In: Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems. Vol 1201. Springer; 1997:48-62. doi:10.1007/BFb0014712
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4441
Henzinger TA, Kopke P. Discrete-time control for rectangular hybrid automata. In: Proceedings of the 24th International Colloquium on Automata, Languages and Programming. Vol 1256. Springer; 1997:582-593. doi:10.1007/3-540-63165-8_213
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4496
Henzinger TA, Kupferman O, Rajamani S. Fair simulation. In: Proceedings of the 8th International Conference on Concurrency Theory. Vol 1243. Springer; 1997:273-287. doi:10.1007/3-540-63141-0_19
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4494
Henzinger TA, Ho P, Wong Toi H. HyTech: A model checker for hybrid systems. In: Vol 1254. Springer; 1997:460-463. doi:10.1007/3-540-63166-6_48
View
| DOI
1997 | Journal Article | IST-REx-ID: 4493
Henzinger TA, Ho P, Wong Toi H. HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. 1997;1(1-2):110-122. doi:10.1007/s100090050008
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4520
Gupta V, Henzinger TA, Jagadeesan R. Robust timed automata. In: Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems. Vol 1201. Springer; 1997:331-345. doi:10.1007/BFb0014736
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4583
Alur R, Henzinger TA. Modularity for timed and hybrid systems. In: 8th International Conference on Concurrency Theory. Vol 1243. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1997:74-88. doi:10.1007/3-540-63141-0_6
View
| DOI
1997 | Journal Article | IST-REx-ID: 4584
Alur R, Henzinger TA. Real-time system = discrete system + clock variables. Software Tools For Technology Transfer. 1997;1(1-2):86-109. doi:10.1007/s100090050007
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4608
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. Partial-order reduction in symbolic state-space exploration. In: 9th International Conference on Computer Aided Verification. Vol 1254. Springer; 1997:340-351. doi:10.1007/3-540-63166-6_34
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4609
Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. In: Proceedings of the 38th Annual Symposium on Foundations of Computer Science. Association for Computing Machinery (ACM); 1997:100-109. doi:10.1145/585265.585270
View
| DOI
1997 | Journal Article | IST-REx-ID: 4607
Alur R, Courcoubetis C, Henzinger TA. Computing accumulated delays in real-time systems. Formal Methods in System Design. 1997;11(2):137-156. doi:10.1023/A:1008626013578
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4605
Alur R, Henzinger TA, Wong Toi H. Symbolic analysis of hybrid systems. In: Proceedings of the 36th IEEE Conference on Decision and Control. IEEE; 1997:702-707. doi:10.1109/CDC.1997.650717
View
| DOI
1997 | Journal Article | IST-REx-ID: 8528
Kaloshin V. Prevalence in the space of finitely smooth maps. Functional Analysis and Its Applications. 1997;31(2):95-99. doi:10.1007/bf02466014
View
| DOI
1997 | Journal Article | IST-REx-ID: 8527
Hunt BR, Kaloshin V. How projections affect the dimension spectrum of fractal measures. Nonlinearity. 1997;10(5):1031-1046. doi:10.1088/0951-7715/10/5/002
View
| DOI