Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. Partial-order reduction in symbolic state-space exploration. In: 9th International Conference on Computer Aided Verification. Vol 1254. Springer; 1997:340-351. doi:10.1007/3-540-63166-6_34
LibreCat: https://research-explorer.ista.ac.at/record/4608
DOI: 10.1007/3-540-63166-6_34

Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. In: Proceedings of the 38th Annual Symposium on Foundations of Computer Science. Association for Computing Machinery (ACM); 1997:100-109. doi:10.1145/585265.585270
LibreCat: https://research-explorer.ista.ac.at/record/4609
DOI: 10.1145/585265.585270

Alur R, Courcoubetis C, Henzinger TA. Computing accumulated delays in real-time systems. Formal Methods in System Design. 1997;11(2):137-156. doi:10.1023/A:1008626013578
LibreCat: https://research-explorer.ista.ac.at/record/4607
DOI: 10.1023/A:1008626013578

Alur R, Henzinger TA, Wong Toi H. Symbolic analysis of hybrid systems. In: Proceedings of the 36th IEEE Conference on Decision and Control. IEEE; 1997:702-707. doi:10.1109/CDC.1997.650717Â  
LibreCat: https://research-explorer.ista.ac.at/record/4605
DOI: 10.1109/CDC.1997.650717  

Kaloshin V. Prevalence in the space of finitely smooth maps. Functional Analysis and Its Applications. 1997;31(2):95-99. doi:10.1007/bf02466014
LibreCat: https://research-explorer.ista.ac.at/record/8528
DOI: 10.1007/bf02466014

Hunt BR, Kaloshin V. How projections affect the dimension spectrum of fractal measures. Nonlinearity. 1997;10(5):1031-1046. doi:10.1088/0951-7715/10/5/002
LibreCat: https://research-explorer.ista.ac.at/record/8527
DOI: 10.1088/0951-7715/10/5/002