Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “Algorithmic Analysis of Nonlinear Hybrid Systems.”https://doi.org/10.1109/9.664156 __IEEE Transactions on Automatic Control. IEEE, 1998.https://doi.org/10.1109/9.664156  .

Akkiraju, Nataraj, Herbert Edelsbrunner, Ping Fu, and Jiang Qian. “Viewing Geometric Protein Structures from inside a CAVE.”https://doi.org/10.1109/38.511855__IEEE Computer Graphics and Applications. IEEE, 1996.https://doi.org/10.1109/38.511855 .

Alur, Rajeev, and Thomas A Henzinger. “Reactive Modules.”https://doi.org/10.1109/LICS.1996.561320__In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 207–18. IEEE, 1996.https://doi.org/10.1109/LICS.1996.561320 .

Alur, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems.”https://doi.org/10.1109/32.489079__IEEE Transactions on Software Engineering. IEEE, 1996.https://doi.org/10.1109/32.489079 .

Alur, Rajeev, and Thomas A Henzinger. “Finitary Fairness.”https://doi.org/10.1109/LICS.1994.316087 __In Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, 52–61. IEEE, 1994.https://doi.org/10.1109/LICS.1994.316087  .

Alur, Rajeev, and Thomas A Henzinger. “A Really Temporal Logic.”https://doi.org/10.1109/SFCS.1989.63473__In 30th Annual Symposium on Foundations of Computer Science, 164–69. FCOS. IEEE, 1989.https://doi.org/10.1109/SFCS.1989.63473 .

Edelsbrunner, Herbert, David Kirkpatrick, and Raimund Seidel. “On the Shape of a Set of Points in the Plane.”https://doi.org/10.1109/TIT.1983.1056714 __IEEE Transactions on Information Theory. IEEE, 1983.https://doi.org/10.1109/TIT.1983.1056714  .