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.

9789 Publications


1997 | Published | Conference Paper | IST-REx-ID: 4605
R. Alur, T. A. Henzinger, and H. Wong Toi, “Symbolic analysis of hybrid systems,” in Proceedings of the 36th IEEE Conference on Decision and Control, San Diego, CA, USA, 1997, pp. 702–707.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 4607
R. Alur, C. Courcoubetis, and T. A. Henzinger, “Computing accumulated delays in real-time systems,” Formal Methods in System Design, vol. 11, no. 2. Springer, pp. 137–156, 1997.
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 4608
R. Alur, R. Brayton, T. A. Henzinger, S. Qadeer, and S. Rajamani, “Partial-order reduction in symbolic state-space exploration,” in 9th International Conference on Computer Aided Verification, Haifa, Israel, 1997, vol. 1254, pp. 340–351.
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 4609
R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” in Proceedings of the 38th Annual Symposium on Foundations of Computer Science, Washington, DC, United States, 1997, pp. 100–109.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 8527
B. R. Hunt and V. Kaloshin, “How projections affect the dimension spectrum of fractal measures,” Nonlinearity, vol. 10, no. 5. IOP Publishing, pp. 1031–1046, 1997.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 8528
V. Kaloshin, “Prevalence in the space of finitely smooth maps,” Functional Analysis and Its Applications, vol. 31, no. 2. Springer Nature, pp. 95–99, 1997.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 11666
J. M. Anderson et al., “Continuous profiling: Where have all the cycles gone?,” ACM Transactions on Computer Systems, vol. 15, no. 4. Association for Computing Machinery, pp. 357–390, 1997.
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 11803
M. H. Henzinger and V. King, “Maintaining minimum spanning trees in dynamic graphs,” in 24th International Colloquium on Automata, Languages and Programming, Bologna, Italy, 1997, vol. 1256, pp. 594–604.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 11849 | OA
J. M. Anderson et al., “Continuous profiling: Where have all the cycles gone?,” ACM SIGOPS Operating Systems Review, vol. 31, no. 5. Association for Computing Machinery, pp. 1–14, 1997.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

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

1997 | Published | Journal Article | IST-REx-ID: 3483 | OA
K. Ceranik et al., “A novel type of GABAergic interneuron connecting the input and the output regions of the hippocampus.,” Journal of Neuroscience, vol. 17, no. 14. Society for Neuroscience, pp. 5380–5394, 1997.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 3484 | OA
J. Geiger, J. Lubke, A. Roth, M. Frotscher, and P. M. Jonas, “Submillisecond AMPA receptor-mediated signaling at a principal neuron-interneuron synapse,” Neuron, vol. 18, no. 6. Elsevier, pp. 1009–1023, 1997.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

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

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

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

1997 | Published | Journal Article | IST-REx-ID: 3630 | OA
M. Whitlock and N. H. Barton, “The effective size of a subdivided population,” Genetics, vol. 146, no. 1. Genetics Society of America, pp. 427–441, 1997.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

1997 | Published | Journal Article | IST-REx-ID: 3632 | OA
M. Kirkpatrick and N. H. Barton, “The strength of indirect selection on female mating preferences,” PNAS, vol. 94, no. 4. National Academy of Sciences, pp. 1282–1286, 1997.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 3633
M. Kirkpatrick and N. H. Barton, “Evolution of a species’ range,” American Naturalist, vol. 150, no. 1. University of Chicago Press, pp. 1–23, 1997.
View | DOI | PubMed | Europe PMC
 

1996 | Published | Conference Paper | IST-REx-ID: 11927 | OA
M. H. Henzinger, V. King, and T. Warnow, “Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology,” in 7th Annual ACM-SIAM Symposium on Discrete Algorithms, Atlanta, GA, United States, 1996, pp. 333–340.
[Published Version] View | Files available | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed