Henzinger, T. A., Ho, P., &; Wong Toi, H. (1998). Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. IEEE.https://doi.org/10.1109/9.664156  
LibreCat: https://research-explorer.ista.ac.at/record/4491
DOI: 10.1109/9.664156 

Akkiraju, N., Edelsbrunner, H., Fu, P., &; Qian, J. (1996). Viewing geometric protein structures from inside a CAVE. IEEE Computer Graphics and Applications. IEEE.https://doi.org/10.1109/38.511855 
LibreCat: https://research-explorer.ista.ac.at/record/4024
DOI: 10.1109/38.511855

Alur, R., &; Henzinger, T. A. (1996). Reactive modules. In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (pp. 207–218). New Brunswick, NJ, USA: IEEE.https://doi.org/10.1109/LICS.1996.561320 
LibreCat: https://research-explorer.ista.ac.at/record/4588
DOI: 10.1109/LICS.1996.561320

Alur, R., Henzinger, T. A., &; Ho, P. (1996). Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. IEEE.https://doi.org/10.1109/32.489079 
LibreCat: https://research-explorer.ista.ac.at/record/4611
DOI: 10.1109/32.489079

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. (1989). A really temporal logic. In 30th Annual Symposium on Foundations of Computer Science (pp. 164–169). Research Triangle Park, NC, USA: IEEE.https://doi.org/10.1109/SFCS.1989.63473 
LibreCat: https://research-explorer.ista.ac.at/record/4596
DOI: 10.1109/SFCS.1989.63473

Edelsbrunner, H., Kirkpatrick, D., &; Seidel, R. (1983). On the shape of a set of points in the plane. IEEE Transactions on Information Theory. IEEE.https://doi.org/10.1109/TIT.1983.1056714  
LibreCat: https://research-explorer.ista.ac.at/record/4128
DOI: 10.1109/TIT.1983.1056714