Henzinger, T. A., Nicollin, X., Sifakis, J., &; Yovine, S. (1994). Symbolic model checking for real-time systems. Information and Computation. Elsevier.https://doi.org/10.1006/inco.1994.1045 
LibreCat: https://research-explorer.ista.ac.at/record/4503
DOI: 10.1006/inco.1994.1045

Alur, R., &; Henzinger, T. A. (1994). Finitary fairness. In Proceedings 9th Annual IEEE Symposium on Logic in Computer Science (pp. 52–61). Paris, France: IEEE.https://doi.org/10.1109/LICS.1994.316087  
LibreCat: https://research-explorer.ista.ac.at/record/4586
DOI: 10.1109/LICS.1994.316087 

Alur, R., &; Henzinger, T. A. (1994). Real-time system = discrete system + clock variables. In T. Rus &; C. Rattray (Eds.), Theories and Experiences for Real-Time System Development (Vol. 2, pp. 1–29). World Scientific Publishing.https://doi.org/10.1142/9789812831583_0001 
LibreCat: https://research-explorer.ista.ac.at/record/4590
DOI: 10.1142/9789812831583_0001

Alur, R., &; Henzinger, T. A. (1994). A really temporal logic. Journal of the ACM. ACM.https://doi.org/10.1145/174644.174651 
LibreCat: https://research-explorer.ista.ac.at/record/4591
DOI: 10.1145/174644.174651

Alur, R., Courcoubetis, C., &; Henzinger, T. A. (1994). The observational power of clocks. In 5th International Conference on Concurrency Theory (Vol. 836, pp. 162–177). Uppsala, Sweden: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/BFb0015008 
LibreCat: https://research-explorer.ista.ac.at/record/4614
DOI: 10.1007/BFb0015008

Alur, R., Fix, L., &; Henzinger, T. A. (1994). A determinizable class of timed automata. In International Conference on Computer Aided Verification (Vol. 818, pp. 1–13). Stanford, CA, United States of America: Springer.https://doi.org/10.1007/3-540-58179-0_39 
LibreCat: https://research-explorer.ista.ac.at/record/4615
DOI: 10.1007/3-540-58179-0_39

Alur, R., Courcoubetis, C., Henzinger, T. A., Ho, P., Nicollin, X., Olivero, A.,https://doi.org/10.1007/BFb0033565__Yovine, S. (1994). The algorithmic analysis of hybrid systems. In 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems (Vol. 199, pp. 331–351). Sophia-Antipolis, France: Springer.https://doi.org/10.1007/BFb0033565 
LibreCat: https://research-explorer.ista.ac.at/record/4617
DOI: 10.1007/BFb0033565

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. Wiley.https://doi.org/10.1002/dvg.1020150306 
LibreCat: https://research-explorer.ista.ac.at/record/6167
DOI: 10.1002/dvg.1020150306
PMID: 7520378