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, T. A., Qadeer, S., & Rajamani, S. (1997). Partial-order reduction in symbolic state-space exploration. In 9th International Conference on Computer Aided Verification (Vol. 1254, pp. 340–351). Haifa, Israel: Springer. https://doi.org/10.1007/3-540-63166-6_34
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 4609
Alur, R., Henzinger, T. A., & Kupferman, O. (1997). Alternating-time temporal logic. In Proceedings of the 38th Annual Symposium on Foundations of Computer Science (pp. 100–109). Washington, DC, United States: Association for Computing Machinery (ACM). https://doi.org/10.1145/585265.585270
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 11803
Henzinger, M. H., & King, V. (1997). Maintaining minimum spanning trees in dynamic graphs. In 24th International Colloquium on Automata, Languages and Programming (Vol. 1256, pp. 594–604). Bologna, Italy: Springer Nature. https://doi.org/10.1007/3-540-63165-8_214
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 11849 | OA
Anderson, J. M., Berc, L. M., Dean, J., Ghemawat, S., Henzinger, M. H., Leung, S.-T. A., … Weihl, W. E. (1997). Continuous profiling: Where have all the cycles gone? ACM SIGOPS Operating Systems Review. Association for Computing Machinery. https://doi.org/10.1145/269005.266637
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

1997 | Published | Journal Article | IST-REx-ID: 11883
Henzinger, M. H., & Thorup, M. (1997). Sampling to provide or to bound: With applications to fully dynamic graph algorithms. Random Structures and Algorithms. Wiley. https://doi.org/10.1002/(sici)1098-2418(199712)11:4<369::aid-rsa5>3.0.co;2-x
View | DOI
 

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: 3483 | OA
Ceranik, K., Bender, R., Geiger, J., Monyer, H., Jonas, P. M., Frotscher, M., & Lubke, J. (1997). A novel type of GABAergic interneuron connecting the input and the output regions of the hippocampus. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.17-14-05380.1997
[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: 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: 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: 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: 3632 | OA
Kirkpatrick, M., & Barton, N. H. (1997). The strength of indirect selection on female mating preferences. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.94.4.1282
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 3633
Kirkpatrick, M., & Barton, N. H. (1997). Evolution of a species’ range. American Naturalist. University of Chicago Press. https://doi.org/10.1086/286054
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. World Scientific Publishing. https://doi.org/10.1142/S0218195997000223
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. Elsevier. https://doi.org/10.1016/S0925-7721(96)00006-5
[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. Springer. https://doi.org/10.1007/PL00009291
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 4023
Edelsbrunner, H., & Ramos, E. (1997). Inclusion-exclusion complexes for pseudodisk collections. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/PL00009295
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
 

Filters and Search Terms

year=1997

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed