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.
58 Publications
1998 | Published | Conference Paper | IST-REx-ID: 4515
Henzinger, Thomas A. “It’s about Time: Real-Time Logics Reviewed.” In Proceedings of the 9th Interantional Conference on Concurrency Theory, 1466:439–54. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998. https://doi.org/10.1007/BFb0055640.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4603
Alur, Rajeev, Thomas A Henzinger, Orna Kupferman, and Moshe Vardi. “Alternating Refinement Relations.” In Proceedings of the 9th Interantional Conference on Concurrency Theory, 1466:163–78. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998. https://doi.org/10.1007/BFb0055622.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4604
Alur, Rajeev, Thomas A Henzinger, Freddy Mang, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “Mocha: Modularity in Model Checking.” In Proceedings of the 10th International Conference on Computer Aided Verification, 1427:521–25. Springer, 1998. https://doi.org/10.1007/BFb0028774.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4606
Alur, Rajeev, Thomas A Henzinger, and Sriram Rajamani. “Symbolic Exploration of Transition Hierarchies.” In Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 1384:330–44. Springer, 1998. https://doi.org/10.1007/BFb0054181.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4639
De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games.” In Proceedings 39th Annual Symposium on Foundations of Computer Science, 564–75. IEEE, 1998. https://doi.org/10.1109/SFCS.1998.743507 .
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 11680
Alberts, D., and Monika H Henzinger. “Average-Case Analysis of Dynamic Graph Algorithms.” Algorithmica. Springer Nature, 1998. https://doi.org/10.1007/pl00009186.
View
| Files available
| DOI
1998 | Published | Journal Article | IST-REx-ID: 11681
Henzinger, Monika H, and M. L. Fredman. “Lower Bounds for Fully Dynamic Connectivity Problems in Graphs.” Algorithmica. Springer Nature, 1998. https://doi.org/10.1007/pl00009228.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 11682
Agarwal, P. K., D. EppsteinL. J. Guibas, and Monika H Henzinger. “Parametric and Kinetic Minimum Spanning Trees.” In Proceedings of the 39th Annual Symposium on Foundations of Computer Science, 596–605, 1998. https://doi.org/10.1109/SFCS.1998.743510.
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 1449 |
Hausel, Tamás. “Compactification of Moduli of Higgs Bundles.” Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter, 1998. https://doi.org/10.1515/crll.1998.096.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
1998 | Published | Journal Article | IST-REx-ID: 1450 |
Hausel, Tamás. “Vanishing of Intersection Numbers on the Moduli Space of Higgs Bundles.” Advances in Theoretical and Mathematical Physics. International Press, 1998. https://doi.org/10.4310/ATMP.1998.v2.n5.a3.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
1998 | Published | Journal Article | IST-REx-ID: 6160
Bono, Mario de, and Cornelia I Bargmann. “Natural Variation in a Neuropeptide Y Receptor Homolog Modifies Social Behavior and Food Response in C. Elegans.” Cell. Elsevier, 1998. https://doi.org/10.1016/s0092-8674(00)81609-8.
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 3487
Jonas, Peter M, Joseph Bischofberger, and Jürgen Sandkühler. “Corelease of Two Fast Neurotransmitters at a Central Synapse.” Science. American Association for the Advancement of Science, 1998. https://doi.org/10.1126/science.281.5375.419.
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 3488 |
Martina, Marco, Jobst Schultz, Heimo Ehmke, Hannah Monyer, and Peter M Jonas. “Functional and Molecular Differences between Voltage-Gated K+ Channels of Fast-Spiking Interneurons and Pyramidal Neurons of Rat Hippocampus.” Journal of Neuroscience. Society for Neuroscience, 1998. https://doi.org/10.1523/JNEUROSCI.18-20-08111.1998.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1998 | Patent | IST-REx-ID: 3506 |
Edelsbrunner, Herbert, and Ping Fu. “Apparatus and Method for Geometric Morphing,” 1998.
[Published Version]
View
| Download Published Version (ext.)
1998 | Published | Journal Article | IST-REx-ID: 3521
Csicsvari, Jozsef L, Hajima Hirase, András Czurkó, and György Buzsáki. “Reliability and State Dependence of Pyramidal Cell-Interneuron Synapses in the Hippocampus: An Ensemble Approach in the Behaving Rat.” Neuron. Elsevier, 1998. https://doi.org/10.1016/S0896-6273(00)80525-5.
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 3525
Nádasdy, Zoltán, Jozsef L Csicsvari, Hajima Hirase, András Czurkó, and György Buzsáki. “Persistence and Temporal Compression of Spike Sequences during Fast Field Oscillation in the Hippocampus.” European Journal of Neuroscience. Wiley-Blackwell, 1998.
View
1998 | Published | Journal Article | IST-REx-ID: 3527
Csicsvari, Jozsef L, András Czurkó, Hajima Hirase, and György Buzsáki. “Monosynaptic Interactions between CA1 Pyramidal Cells and Interneuron in the Behaving Rat.” European Journal of Neuroscience. Wiley-Blackwell, 1998.
View
1998 | Published | Journal Article | IST-REx-ID: 3535
Hirase, Hajima, András Czurkó, Jozsef L Csicsvari, and György Buzsáki. “Hippocampal Pyramidal Neutrons ‘Space-Clamped’ in a Running Wheel Task: Place Cells or Path Integrators?” European Journal of Neuroscience. Wiley-Blackwell, 1998.
View
1998 | Published | Book Chapter | IST-REx-ID: 3570
Axen, Ulrike, and Herbert Edelsbrunner. “Auditory Morse Analysis of Triangulated Manifolds.” In Mathematical Visualization, 223–36. Springer, 1998. https://doi.org/10.1007/978-3-662-03567-2_17.
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 3627
Barton, Nicholas H. “The Effect of Hitch-Hiking on Neutral Genealogies.” Genetical Research. Cambridge University Press, 1998. https://doi.org/10.1017/S0016672398003462.
View
| DOI