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.
45 Publications
1993 |Published| Conference Paper | IST-REx-ID: 4618
Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, and Pei Ho. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.” In Hybrid Systems, edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:209–29. Springer, 1993. https://doi.org/10.1007/3-540-57318-6_30.
View
| DOI
| Download None (ext.)
1993 |Published| Conference Paper | IST-REx-ID: 4616
Alur, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems.” In 1993 Proceedings Real-Time Systems Symposium, 2–11. IEEE, 1993. https://doi.org/10.1109/REAL.1993.393520 .
View
| DOI
| Download None (ext.)
1993 |Published| Conference Paper | IST-REx-ID: 4620
Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “Computing Accumulated Delays in Real-Time Systems.” In 5th International Conference on Computer Aided Verification, 697:181–93. Springer, 1993. https://doi.org/10.1007/3-540-56922-7_16.
View
| DOI
| Download None (ext.)
1993 |Published| Conference Paper | IST-REx-ID: 4619
Alur, Rajeev, Thomas A Henzinger, and Moshe Vardi. “Parametric Real-Time Reasoning.” In Proceedings of the 25th Annual ACM Symposium on Theory of Computing, 592–601. ACM, 1993. https://doi.org/10.1145/167088.167242.
View
| DOI
| Download None (ext.)
1993 |Published| Journal Article | IST-REx-ID: 18050
Jishi, R.A., Latha Venkataraman, M.S. Dresselhaus, and G. Dresselhaus. “Phonon Modes in Carbon Nanotubules.” Chemical Physics Letters. Elsevier, 1993. https://doi.org/10.1016/0009-2614(93)87205-h.
View
| DOI