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: 4488
Henzinger, T. A., Qadeer, S., & Rajamani, S. (1998). You assume, we guarantee: Methodology and case studies. In Proceedings of the 10th International Conference on Computer Aided Verification (Vol. 1427, pp. 440–451). Vancouver, Canada: Springer. https://doi.org/10.1007/BFb0028765
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4489
Henzinger, T. A., Kupferman, O., & Qadeer, S. (1998). From pre-historic to post-modern symbolic model checking. In Proceedings of the 10th International Conference on Computer Aided Verification (Vol. 1427, pp. 195–206). Vancouver, Canada: Springer. https://doi.org/10.1007/BFb0028745
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4490
Henzinger, T. A., Raskin, J., & Schobbens, P. (1998). The regular real-time languages. In Proceedings of the 25th International Colloqium on Automata, Languages and Programming (Vol. 1443, pp. 580–591). Aalborg, Denmark: Springer. https://doi.org/10.1007/BFb0055086
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 4491
Henzinger, T. A., Ho, P., & Wong Toi, H. (1998). Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. IEEE. https://doi.org/10.1109/9.664156
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 4492 | 
Henzinger, T. A., Kopke, P., Puri, A., & Varaiya, P. (1998). What’s decidable about hybrid automata? Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1006/jcss.1998.1581
[Published Version]
View
| DOI
| Download Published Version (ext.)
1998 | Published | Conference Paper | IST-REx-ID: 4515
Henzinger, T. A. (1998). It’s about time: Real-time logics reviewed. In Proceedings of the 9th Interantional Conference on Concurrency Theory (Vol. 1466, pp. 439–454). Nice, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/BFb0055640
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4603
Alur, R., Henzinger, T. A., Kupferman, O., & Vardi, M. (1998). Alternating refinement relations. In Proceedings of the 9th Interantional Conference on Concurrency Theory (Vol. 1466, pp. 163–178). Nice, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/BFb0055622
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4604
Alur, R., Henzinger, T. A., Mang, F., Qadeer, S., Rajamani, S., & Tasiran, S. (1998). Mocha: Modularity in model checking. In Proceedings of the 10th International Conference on Computer Aided Verification (Vol. 1427, pp. 521–525). Vancouver, Canada: Springer. https://doi.org/10.1007/BFb0028774
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4606
Alur, R., Henzinger, T. A., & Rajamani, S. (1998). Symbolic exploration of transition hierarchies. In Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1384, pp. 330–344). Lisbon, Portugal: Springer. https://doi.org/10.1007/BFb0054181
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4639
De Alfaro, L., Henzinger, T. A., & Kupferman, O. (1998). Concurrent reachability games. In Proceedings 39th Annual Symposium on Foundations of Computer Science (pp. 564–575). Palo Alto, CA, United States of America: IEEE. https://doi.org/10.1109/SFCS.1998.743507
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 11680
Alberts, D., & Henzinger, M. H. (1998). Average-case analysis of dynamic graph algorithms. Algorithmica. Springer Nature. https://doi.org/10.1007/pl00009186
View
| Files available
| DOI
1998 | Published | Journal Article | IST-REx-ID: 11681
Henzinger, M. H., & Fredman, M. L. (1998). Lower bounds for fully dynamic connectivity problems in graphs. Algorithmica. Springer Nature. https://doi.org/10.1007/pl00009228
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 11682
Agarwal, P. K., EppsteinL. J. Guibas, D., & Henzinger, M. H. (1998). Parametric and kinetic minimum spanning trees. In Proceedings of the 39th Annual Symposium on Foundations of Computer Science (pp. 596–605). Palo Alto, CA, United States. https://doi.org/10.1109/SFCS.1998.743510
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 1449 |
Hausel, T. (1998). Compactification of moduli of Higgs bundles. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter. https://doi.org/10.1515/crll.1998.096
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
1998 | Published | Journal Article | IST-REx-ID: 1450 |
Hausel, T. (1998). Vanishing of intersection numbers on the moduli space of Higgs bundles. Advances in Theoretical and Mathematical Physics. International Press. 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
de Bono, M., & Bargmann, C. I. (1998). Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans. Cell. Elsevier. https://doi.org/10.1016/s0092-8674(00)81609-8
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 3487
Jonas, P. M., Bischofberger, J., & Sandkühler, J. (1998). Corelease of two fast neurotransmitters at a central synapse. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.281.5375.419
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 3488 |
Martina, M., Schultz, J., Ehmke, H., Monyer, H., & Jonas, P. M. (1998). 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. 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, H., & Fu, P. (1998). Apparatus and method for geometric morphing.
[Published Version]
View
| Download Published Version (ext.)
1998 | Published | Journal Article | IST-REx-ID: 3521
Csicsvari, J. L., Hirase, H., Czurkó, A., & Buzsáki, G. (1998). Reliability and state dependence of pyramidal cell-interneuron synapses in the hippocampus: an ensemble approach in the behaving rat. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(00)80525-5
View
| DOI
| PubMed | Europe PMC