Henzinger, Thomas A, and Rajeev Alur, eds. https://doi.org/10.1007/3-540-61474-5__8th International Conference on Computer Aided Verification. Vol. 1102. Springer, 1996.https://doi.org/10.1007/3-540-61474-5 .
LibreCat: https://research-explorer.ista.ac.at/record/4585
DOI: 10.1007/3-540-61474-5

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 .
LibreCat: https://research-explorer.ista.ac.at/record/4588
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4611
DOI: 10.1109/32.489079

Alur, Rajeev, Tomás Feder, and Thomas A Henzinger. “The Benefits of Relaxing Punctuality.”https://doi.org/10.1145/227595.227602__Journal of the ACM. ACM, 1996.https://doi.org/10.1145/227595.227602 .
LibreCat: https://research-explorer.ista.ac.at/record/4610
DOI: 10.1145/227595.227602

Alur, Rajeev, Thomas A Henzinger, and Eduardo D Sontag, eds. Hybrid Systems III: Verification and Control. Vol. 1066. Lecture Notes in Computer Science. Berlinf; Heidelberg: Springer, 1996.https://doi.org/10.1007/BFb0020931 .
LibreCat: https://research-explorer.ista.ac.at/record/4612
DOI: 10.1007/BFb0020931

Bono, Mario de, and J. Hodgkin. “Evolution of Sex Determination in Caenorhabditis: Unusually High Divergence of Tra-1 and Its Functional Consequences.” Genetics. Genetics Society of America, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/6161
PMID: 8889522