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
1998 | Published | Conference Paper | IST-REx-ID: 4408
Raskin, Jean, et al. “Axioms for Real-Time Logics.” Proceedings of the 9th Interantional Conference on Concurrency Theory, vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 219–36, doi:10.1007/BFb0055625.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4410
Preußig, Jörg, et al. “An Algorithm for the Approximative Analysis of Rectangular Automata.” Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, vol. 1486, Springer, 1998, pp. 228–40, doi:10.1007/BFb0055350.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4429
Henzinger, Thomas A., and Vlad Rusu. “Reachability Verification for Hybrid Automata.” Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control, vol. 1386, Springer, 1998, pp. 190–204, doi:10.1007/3-540-64358-3_40.
View
| DOI
1998 | Published | Conference (Editor) | IST-REx-ID: 4430
Henzinger, Thomas A., editor. HSCC: Hybrid Systems—Computation and Control. Vol. 1386, Springer, 1998, doi:10.1007/3-540-64358-3.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4486
Henzinger, Thomas A., et al. “An Assume-Guarantee Rule for Checking Simulation.” Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, vol. 1522, Springer, 1998, pp. 421–32, doi:10.1007/3-540-49519-3_27.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4488
Henzinger, Thomas A., et al. “You Assume, We Guarantee: Methodology and Case Studies.” Proceedings of the 10th International Conference on Computer Aided Verification, vol. 1427, Springer, 1998, pp. 440–51, doi:10.1007/BFb0028765.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4489
Henzinger, Thomas A., et al. “From Pre-Historic to Post-Modern Symbolic Model Checking.” Proceedings of the 10th International Conference on Computer Aided Verification, vol. 1427, Springer, 1998, pp. 195–206, doi:10.1007/BFb0028745.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4490
Henzinger, Thomas A., et al. “The Regular Real-Time Languages.” Proceedings of the 25th International Colloqium on Automata, Languages and Programming, vol. 1443, Springer, 1998, pp. 580–91, doi:10.1007/BFb0055086.
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 4491
Henzinger, Thomas A., et al. “Algorithmic Analysis of Nonlinear Hybrid Systems.” IEEE Transactions on Automatic Control, vol. 43, no. 4, IEEE, 1998, pp. 540–54, doi:10.1109/9.664156 .
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 4492 | 
Henzinger, Thomas A., et al. “What’s Decidable about Hybrid Automata?” Journal of Computer and System Sciences, vol. 57, no. 1, Elsevier, 1998, pp. 94–124, doi:10.1006/jcss.1998.1581.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1998 | Published | Conference Paper | IST-REx-ID: 4515
Henzinger, Thomas A. “It’s about Time: Real-Time Logics Reviewed.” Proceedings of the 9th Interantional Conference on Concurrency Theory, vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 439–54, doi:10.1007/BFb0055640.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4603
Alur, Rajeev, et al. “Alternating Refinement Relations.” Proceedings of the 9th Interantional Conference on Concurrency Theory, vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–78, doi:10.1007/BFb0055622.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4604
Alur, Rajeev, et al. “Mocha: Modularity in Model Checking.” Proceedings of the 10th International Conference on Computer Aided Verification, vol. 1427, Springer, 1998, pp. 521–25, doi:10.1007/BFb0028774.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4606
Alur, Rajeev, et al. “Symbolic Exploration of Transition Hierarchies.” Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 1384, Springer, 1998, pp. 330–44, doi:10.1007/BFb0054181.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4639
De Alfaro, Luca, et al. “Concurrent Reachability Games.” Proceedings 39th Annual Symposium on Foundations of Computer Science, IEEE, 1998, pp. 564–75, doi: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, vol. 20, Springer Nature, 1998, pp. 31–60, doi: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, vol. 22, no. 3, Springer Nature, 1998, pp. 351–62, doi:10.1007/pl00009228.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 11682
Agarwal, P. K., et al. “Parametric and Kinetic Minimum Spanning Trees.” Proceedings of the 39th Annual Symposium on Foundations of Computer Science, 1998, pp. 596–605, doi: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, vol. 1998, no. 503, Walter de Gruyter, 1998, pp. 169–92, doi: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, vol. 2, no. 5, International Press, 1998, pp. 1011–40, doi:10.4310/ATMP.1998.v2.n5.a3.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv