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.
8923 Publications
1997 |
Published |
Journal Article |
IST-REx-ID: 11765
Henzinger, Monika H. “A Static 2-Approximation Algorithm for Vertex Connectivity and Incremental Approximation Algorithms for Edge and Vertex Connectivity.” Journal of Algorithms. Elsevier, 1997. https://doi.org/10.1006/jagm.1997.0855.
View
| DOI
1997 |
Published |
Journal Article |
IST-REx-ID: 11767 |
Henzinger, Monika H, Philip Klein, Satish Rao, and Sairam Subramanian. “Faster Shortest-Path Algorithms for Planar Graphs.” Journal of Computer and System Sciences. Elsevier, 1997. https://doi.org/10.1006/jcss.1997.1493.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1997 |
Published |
Journal Article |
IST-REx-ID: 8527
Hunt, Brian R, and Vadim Kaloshin. “How Projections Affect the Dimension Spectrum of Fractal Measures.” Nonlinearity. IOP Publishing, 1997. https://doi.org/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. Springer Nature, 1997. https://doi.org/10.1007/bf02466014.
View
| DOI
1997 |
Published |
Conference Paper |
IST-REx-ID: 4583
Alur, Rajeev, and Thomas A Henzinger. “Modularity for Timed and Hybrid Systems.” In 8th International Conference on Concurrency Theory, 1243:74–88. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997. https://doi.org/10.1007/3-540-63141-0_6.
View
| DOI
1997 |
Published |
Journal Article |
IST-REx-ID: 4584
Alur, Rajeev, and Thomas A Henzinger. “Real-Time System = Discrete System + Clock Variables.” Software Tools For Technology Transfer. Springer, 1997. https://doi.org/10.1007/s100090050007.
View
| DOI
1997 |
Published |
Conference Paper |
IST-REx-ID: 4605
Alur, Rajeev, Thomas A Henzinger, and Howard Wong Toi. “Symbolic Analysis of Hybrid Systems.” In Proceedings of the 36th IEEE Conference on Decision and Control, 702–7. IEEE, 1997. https://doi.org/10.1109/CDC.1997.650717 .
View
| DOI
1997 |
Published |
Journal Article |
IST-REx-ID: 4607
Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “Computing Accumulated Delays in Real-Time Systems.” Formal Methods in System Design. Springer, 1997. https://doi.org/10.1023/A:1008626013578.
View
| DOI
1997 |
Published |
Conference Paper |
IST-REx-ID: 4608
Alur, Rajeev, Robert Brayton, Thomas A Henzinger, Shaz Qadeer, and Sriram Rajamani. “Partial-Order Reduction in Symbolic State-Space Exploration.” In 9th International Conference on Computer Aided Verification, 1254:340–51. Springer, 1997. https://doi.org/10.1007/3-540-63166-6_34.
View
| DOI
1997 |
Published |
Conference Paper |
IST-REx-ID: 4609
Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.” In Proceedings of the 38th Annual Symposium on Foundations of Computer Science, 100–109. Association for Computing Machinery (ACM), 1997. https://doi.org/10.1145/585265.585270.
View
| DOI
1997 |
Published |
Conference Paper |
IST-REx-ID: 11803
Henzinger, Monika H, and Valerie King. “Maintaining Minimum Spanning Trees in Dynamic Graphs.” In 24th International Colloquium on Automata, Languages and Programming, 1256:594–604. Springer Nature, 1997. https://doi.org/10.1007/3-540-63165-8_214.
View
| DOI
1997 |
Published |
Journal Article |
IST-REx-ID: 11849 |
Anderson, Jennifer M., Lance M. Berc, Jeffrey Dean, Sanjay Ghemawat, Monika H Henzinger, Shun-Tak A. Leung, Richard L. Sites, Mark T. Vandevoorde, Carl A. Waldspurger, and William E. Weihl. “Continuous Profiling: Where Have All the Cycles Gone?” ACM SIGOPS Operating Systems Review. Association for Computing Machinery, 1997. 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, Monika H, and Mikkel Thorup. “Sampling to Provide or to Bound: With Applications to Fully Dynamic Graph Algorithms.” Random Structures and Algorithms. Wiley, 1997. 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 |
Götz, Thomas, Udo Kraushaar, Jörg Geiger, Joachim Lubke, Thomas Berger, and Peter M Jonas. “Functional Properties of AMPA and NMDA Receptors Expressed in Identified Types of Basal Ganglia Neurons.” Journal of Neuroscience. Society for Neuroscience, 1997. 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 |
Ceranik, Katya, Roland Bender, Jörg Geiger, Hannah Monyer, Peter M Jonas, Michael Frotscher, and Joachim Lubke. “A Novel Type of GABAergic Interneuron Connecting the Input and the Output Regions of the Hippocampus.” Journal of Neuroscience. Society for Neuroscience, 1997. 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 |
Geiger, Jörg, Joachim Lubke, Arnd Roth, Michael Frotscher, and Peter M Jonas. “Submillisecond AMPA Receptor-Mediated Signaling at a Principal Neuron-Interneuron Synapse.” Neuron. Elsevier, 1997. 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 |
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. Wiley-Blackwell, 1997. 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 |
Bischofberger, Joseph, and Peter M Jonas. “Action Potential Propagation into the Presynaptic Dendrites of Rat Mitral Cells.” Journal of Physiology. Wiley-Blackwell, 1997. 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, Anatol, Jozsef L Csicsvari, Markku Penttonen, and György Buzsáki. “Epileptic Afterdischarge in the Hippocampal-Entorhinal System: Current Source Density and Unit Studies.” Neuroscience. Elsevier, 1997. https://doi.org/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. Genetics Society of America, 1997. https://doi.org/10.1093/genetics/146.1.427.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC