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 | Published | Conference Paper | IST-REx-ID: 4608
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. 1997. Partial-order reduction in symbolic state-space exploration. 9th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1254, 340–351.
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 4609
Alur R, Henzinger TA, Kupferman O. 1997. Alternating-time temporal logic. Proceedings of the 38th Annual Symposium on Foundations of Computer Science. FOCS: Foundations of Computer Science, 100–109.
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 11803
Henzinger MH, King V. 1997. Maintaining minimum spanning trees in dynamic graphs. 24th International Colloquium on Automata, Languages and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 1256, 594–604.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 11849 | OA
Anderson JM, Berc LM, Dean J, Ghemawat S, Henzinger MH, Leung S-TA, Sites RL, Vandevoorde MT, Waldspurger CA, Weihl WE. 1997. Continuous profiling: Where have all the cycles gone? ACM SIGOPS Operating Systems Review. 31(5), 1–14.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

1997 | Published | Journal Article | IST-REx-ID: 11883
Henzinger MH, Thorup M. 1997. Sampling to provide or to bound: With applications to fully dynamic graph algorithms. Random Structures and Algorithms. 11(4), 369–379.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 3482 | OA
Götz T, Kraushaar U, Geiger J, Lubke J, Berger T, Jonas PM. 1997. Functional properties of AMPA and NMDA receptors expressed in identified types of basal ganglia neurons. Journal of Neuroscience. 17(1), 204–215.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 3483 | OA
Ceranik K, Bender R, Geiger J, Monyer H, Jonas PM, Frotscher M, Lubke J. 1997. A novel type of GABAergic interneuron connecting the input and the output regions of the hippocampus. Journal of Neuroscience. 17(14), 5380–5394.
[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 PM. 1997. Submillisecond AMPA receptor-mediated signaling at a principal neuron-interneuron synapse. Neuron. 18(6), 1009–1023.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 3485 | OA
Martina M, Jonas PM. 1997. Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus. Journal of Physiology. 505(3), 593–603.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 3486 | OA
Bischofberger J, Jonas PM. 1997. Action potential propagation into the presynaptic dendrites of rat mitral cells. Journal of Physiology. 504(Pt 2), 359–365.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 3541
Bragin A, Csicsvari JL, Penttonen M, Buzsáki G. 1997. Epileptic afterdischarge in the hippocampal-entorhinal system: Current source density and unit studies. Neuroscience. 76(4), 1187–1203.
View | DOI | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 3630 | OA
Whitlock M, Barton NH. 1997. The effective size of a subdivided population. Genetics. 146(1), 427–441.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 3631 | OA
Kawecki T, Barton NH, Fry J. 1997. Mutational collapse of fitness in marginal habitats and the evolution of ecological specialisation. Journal of Evolutionary Biology. 10(3), 407–430.
[Published Version] View | DOI | Download Published Version (ext.)
 

1997 | Published | Journal Article | IST-REx-ID: 3632 | OA
Kirkpatrick M, Barton NH. 1997. The strength of indirect selection on female mating preferences. PNAS. 94(4), 1282–1286.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 3633
Kirkpatrick M, Barton NH. 1997. Evolution of a species’ range. American Naturalist. 150(1), 1–23.
View | DOI | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 4018
Edelsbrunner H, Shah N. 1997. Triangulating topological spaces. International Journal of Computational Geometry & Applications. 7(4), 365–378.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 4021 | OA
Edelsbrunner H, Waupotitsch R. 1997. A combinatorial approach to cartograms. Computational Geometry: Theory and Applications. 7(5–6), 343–360.
[Published Version] View | DOI | Download Published Version (ext.)
 

1997 | Published | Journal Article | IST-REx-ID: 4022
Edelsbrunner H, Valtr P, Welzl E. 1997. Cutting dense point sets in half. Discrete & Computational Geometry. 17(3), 243–255.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 4023
Edelsbrunner H, Ramos E. 1997. Inclusion-exclusion complexes for pseudodisk collections. Discrete & Computational Geometry. 17(3), 287–306.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 4174 | OA
Masai I, Heisenberg C-PJ, Barth KA, Macdonald R, Adamek S, Wilson S. 1997. Floating head and masterblind regulate neuronal patterning in the roof of the forebrain. Neuron. 18(1), 43–57.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

year=1997

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed