Please note that IST 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.

5761 Publications


1994 | Journal Article | IST-REx-ID: 4591
Alur, Rajeev, and Thomas A Henzinger. “A Really Temporal Logic.” Journal of the ACM 41, no. 1 (1994): 181–204. https://doi.org/10.1145/174644.174651.
View | DOI | Download (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4614
Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “The Observational Power of Clocks,” 836:162–77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994. https://doi.org/10.1007/BFb0015008.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4615
Alur, Rajeev, Limor Fix, and Thomas A Henzinger. “A Determinizable Class of Timed Automata,” 818:1–13. Springer, 1994. https://doi.org/10.1007/3-540-58179-0_39.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4617
Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems,” 199:331–51. Springer, 1994. https://doi.org/10.1007/BFb0033565.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 6167
Zarkower, David, Mario de Bono, Rachel Aronoff, and Jonathan Hodgkin. “Regulatory Rearrangements and Smg-Sensitive Allels of the C. Elegans Sex-Determining Gene Tra-1.” Developmental Genetics 15, no. 3 (1994): 240–50. https://doi.org/10.1002/dvg.1020150306.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications