Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
71 Publications
1996 | Conference (Editor) | IST-REx-ID: 4585
T. A. Henzinger and R. Alur, Eds., 8th International Conference on Computer Aided Verification, vol. 1102. Springer, 1996.
View
| DOI
| Download None (ext.)
1996 | Conference Paper | IST-REx-ID: 4588
R. Alur and T. A. Henzinger, “Reactive modules,” in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, NJ, USA, 1996, pp. 207–218.
View
| DOI
| Download None (ext.)
1996 | Journal Article | IST-REx-ID: 4611 | 
R. Alur, T. A. Henzinger, and P. Ho, “Automatic symbolic verification of embedded systems,” IEEE Transactions on Software Engineering, vol. 22, no. 3. IEEE, pp. 181–201, 1996.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1996 | Journal Article | IST-REx-ID: 4610
R. Alur, T. Feder, and T. A. Henzinger, “The benefits of relaxing punctuality,” Journal of the ACM, vol. 43, no. 1. ACM, pp. 116–146, 1996.
View
| DOI
| Download None (ext.)
1996 | Journal Article | IST-REx-ID: 6161 |
M. de Bono and J. Hodgkin, “Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences,” Genetics, vol. 144, no. 2. Genetics Society of America, pp. 587–595, 1996.
[Published Version]
View
| Download Published Version (ext.)
| PubMed | Europe PMC