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.
43 Publications
1994 | Journal Article | IST-REx-ID: 4503
Henzinger TA, Nicollin X, Sifakis J, Yovine S. 1994. Symbolic model checking for real-time systems. Information and Computation. 111(2), 193–244.
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4586
Alur R, Henzinger TA. 1994. Finitary fairness. Proceedings 9th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 52–61.
View
| DOI
| Download None (ext.)
1994 | Book Chapter | IST-REx-ID: 4590
Alur R, Henzinger TA. 1994.Real-time system = discrete system + clock variables. In: Theories and Experiences for Real-Time System Development. AMAST Series in Computing, vol. 2, 1–29.
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4591
Alur R, Henzinger TA. 1994. A really temporal logic. Journal of the ACM. 41(1), 181–204.
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4614
Alur R, Courcoubetis C, Henzinger TA. 1994. The observational power of clocks. 5th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 836, 162–177.
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4615
Alur R, Fix L, Henzinger TA. 1994. A determinizable class of timed automata. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 818, 1–13.
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4617
Alur R, Courcoubetis C, Henzinger TA, Ho P, Nicollin X, Olivero A, Sifakis J, Yovine S. 1994. The algorithmic analysis of hybrid systems. 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems, LNCIS, vol. 199, 331–351.
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 6167
Zarkower D, de Bono M, Aronoff R, Hodgkin J. 1994. Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1. Developmental Genetics. 15(3), 240–250.
View
| DOI
| PubMed | Europe PMC