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.
43 Publications
1994 | Conference Paper | IST-REx-ID: 4615
R. Alur, L. Fix, and T. A. Henzinger, “A determinizable class of timed automata,” in International Conference on Computer Aided Verification, Stanford, CA, United States of America, 1994, vol. 818, pp. 1–13.
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4617
R. Alur et al., “The algorithmic analysis of hybrid systems,” in 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, Sophia-Antipolis, France, 1994, vol. 199, pp. 331–351.
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 6167
D. Zarkower, M. de Bono, R. Aronoff, and J. Hodgkin, “Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1,” Developmental Genetics, vol. 15, no. 3. Wiley, pp. 240–250, 1994.
View
| DOI
| PubMed | Europe PMC