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
Alur, Rajeev, et al. “Symbolic Analysis of Hybrid Systems.” Proceedings of the 36th IEEE Conference on Decision and Control, IEEE, 1997, pp. 702–07, doi:10.1109/CDC.1997.650717 .
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 4607
Alur, Rajeev, et al. “Computing Accumulated Delays in Real-Time Systems.” Formal Methods in System Design, vol. 11, no. 2, Springer, 1997, pp. 137–56, doi:10.1023/A:1008626013578.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4608
Alur, Rajeev, et al. “Partial-Order Reduction in Symbolic State-Space Exploration.” 9th International Conference on Computer Aided Verification, vol. 1254, Springer, 1997, pp. 340–51, doi:10.1007/3-540-63166-6_34.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4609
Alur, Rajeev, et al. “Alternating-Time Temporal Logic.” Proceedings of the 38th Annual Symposium on Foundations of Computer Science, Association for Computing Machinery (ACM), 1997, pp. 100–09, doi:10.1145/585265.585270.
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 8527
Hunt, Brian R., and Vadim Kaloshin. “How Projections Affect the Dimension Spectrum of Fractal Measures.” Nonlinearity, vol. 10, no. 5, IOP Publishing, 1997, pp. 1031–46, doi:10.1088/0951-7715/10/5/002.
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 8528
Kaloshin, Vadim. “Prevalence in the Space of Finitely Smooth Maps.” Functional Analysis and Its Applications, vol. 31, no. 2, Springer Nature, 1997, pp. 95–99, doi:10.1007/bf02466014.
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 11666
Anderson, Jennifer M., et al. “Continuous Profiling: Where Have All the Cycles Gone?” ACM Transactions on Computer Systems, vol. 15, no. 4, Association for Computing Machinery, 1997, pp. 357–90, doi:10.1145/265924.265925.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 11803
Henzinger, Monika H., and Valerie King. “Maintaining Minimum Spanning Trees in Dynamic Graphs.” 24th International Colloquium on Automata, Languages and Programming, vol. 1256, Springer Nature, 1997, pp. 594–604, doi:10.1007/3-540-63165-8_214.
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 11849 | 
Anderson, Jennifer M., et al. “Continuous Profiling: Where Have All the Cycles Gone?” ACM SIGOPS Operating Systems Review, vol. 31, no. 5, Association for Computing Machinery, 1997, pp. 1–14, doi:10.1145/269005.266637.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
1997 | Published | Journal Article | IST-REx-ID: 3482 |
Götz, Thomas, et al. “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, 1997, pp. 204–15, doi: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 |
Ceranik, Katya, 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, 1997, pp. 5380–94, doi: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 |
Geiger, Jörg, et al. “Submillisecond AMPA Receptor-Mediated Signaling at a Principal Neuron-Interneuron Synapse.” Neuron, vol. 18, no. 6, Elsevier, 1997, pp. 1009–23, doi:10.1016/S0896-6273(00)80339-6.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1997 | Published | Journal Article | IST-REx-ID: 3485 |
Martina, Marco, and Peter 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, 1997, pp. 593–603, doi: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 |
Bischofberger, Joseph, and Peter M. Jonas. “Action Potential Propagation into the Presynaptic Dendrites of Rat Mitral Cells.” Journal of Physiology, vol. 504, no. Pt 2, Wiley-Blackwell, 1997, pp. 359–65, doi: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, Anatol, et al. “Epileptic Afterdischarge in the Hippocampal-Entorhinal System: Current Source Density and Unit Studies.” Neuroscience, vol. 76, no. 4, Elsevier, 1997, pp. 1187–203, doi:10.1016/S0306-4522(96)00446-0.
View
| DOI
| PubMed | Europe PMC
1997 | Published | Journal Article | IST-REx-ID: 3630 |
Whitlock, Michael, and Nicholas H. Barton. “The Effective Size of a Subdivided Population.” Genetics, vol. 146, no. 1, Genetics Society of America, 1997, pp. 427–41, doi: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 |
Kawecki, Tadeusz, et al. “Mutational Collapse of Fitness in Marginal Habitats and the Evolution of Ecological Specialisation.” Journal of Evolutionary Biology, vol. 10, no. 3, Wiley-Blackwell, 1997, pp. 407–30, doi:10.1046/j.1420-9101.1997.10030407.x.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1997 | Published | Journal Article | IST-REx-ID: 3632 |
Kirkpatrick, Mark, and Nicholas H. Barton. “The Strength of Indirect Selection on Female Mating Preferences.” PNAS, vol. 94, no. 4, National Academy of Sciences, 1997, pp. 1282–86, doi: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, Mark, and Nicholas H. Barton. “Evolution of a Species’ Range.” American Naturalist, vol. 150, no. 1, University of Chicago Press, 1997, pp. 1–23, doi:10.1086/286054.
View
| DOI
| PubMed | Europe PMC
1996 | Published | Conference Paper | IST-REx-ID: 11927 |
Henzinger, Monika H., et al. “Constructing a Tree from Homeomorphic Subtrees, with Applications to Computational Evolutionary Biology.” 7th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1996, pp. 333–40.
[Published Version]
View
| Files available
| Download Published Version (ext.)