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.
87 Publications
- 1
- 2
- 3
- 4
- 5 (current)
2000 |
Published |
Conference Paper |
IST-REx-ID: 4439
A classification of symbolic transition systems
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, Springer, 2000, pp. 13–34.
View
| DOI
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, Springer, 2000, pp. 13–34.
2000 |
Published |
Conference Paper |
IST-REx-ID: 4481
Beyond HyTech: Hybrid systems analysis using interval numerical methods
T.A. Henzinger, B. Horowitz, R. Majumdar, H. Wong Toi, in:, Proceedings of the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 130–144.
View
| DOI
T.A. Henzinger, B. Horowitz, R. Majumdar, H. Wong Toi, in:, Proceedings of the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 130–144.
2000 |
Published |
Conference Paper |
IST-REx-ID: 4482
Abstract interpretation of game properties
T.A. Henzinger, R. Majumdar, F. Mang, J. Raskin, in:, Proceedings of the 7th International Symposium on Static Analysis, Springer, 2000, pp. 220–239.
View
| DOI
T.A. Henzinger, R. Majumdar, F. Mang, J. Raskin, in:, Proceedings of the 7th International Symposium on Static Analysis, Springer, 2000, pp. 220–239.
2000 |
Published |
Conference Paper |
IST-REx-ID: 4483
Decomposing refinement proofs using assume-guarantee reasoning
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 2000 International Conference on Computer-Aided Design, IEEE, 2000, pp. 245–252.
View
| DOI
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 2000 International Conference on Computer-Aided Design, IEEE, 2000, pp. 245–252.
2000 |
Published |
Conference Paper |
IST-REx-ID: 4512
Masaccio: A formal model for embedded components
T.A. Henzinger, in:, Proceedings of the 1st International Conference on Theoretical Computer Science , Springer, 2000, pp. 549–563.
View
| DOI
T.A. Henzinger, in:, Proceedings of the 1st International Conference on Theoretical Computer Science , Springer, 2000, pp. 549–563.
2000 |
Published |
Book Chapter |
IST-REx-ID: 4513
The theory of hybrid automata
T.A. Henzinger, in:, M. Inan, R. Kurshan (Eds.), Verification of Digital and Hybrid Systems, Springer, 2000, pp. 265–292.
View
| DOI
T.A. Henzinger, in:, M. Inan, R. Kurshan (Eds.), Verification of Digital and Hybrid Systems, Springer, 2000, pp. 265–292.
2000 |
Published |
Journal Article |
IST-REx-ID: 21551
F+ and F centers in α-Al2O3 by electron-induced x-ray emission spectroscopy and cathodoluminescence
P. Jonnard, C. Bonnelle, G. Blaise, G. Rémond, C. Roques-Carmes, Journal of Applied Physics 88 (2000) 6413–6417.
View
| DOI
P. Jonnard, C. Bonnelle, G. Blaise, G. Rémond, C. Roques-Carmes, Journal of Applied Physics 88 (2000) 6413–6417.
- 1
- 2
- 3
- 4
- 5 (current)