Please note that IST 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.

5429 Publications


1993 | Journal Article | IST-REx-ID: 4041
Edelsbrunner, H., Seidel, R., & Sharir, M. (1993). On the zone theorem for hyperplane arrangements. SIAM Journal on Computing, 22(2), 418–429. https://doi.org/10.1137/0222031
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4301
Barton, N. H., & Gale, K. (1993). Genetic analysis of hybrid zones. In R. Harrison (Ed.), Hybrid zones and the evolutionary process (pp. 13–45). Oxford University Press.
View
 

1993 | Journal Article | IST-REx-ID: 4589
Alur, R., & Henzinger, T. A. (1993). Real-time logics: Complexity and expressiveness. Information and Computation, 104(1), 35–77. https://doi.org/10.1006/inco.1993.1025
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4616
Alur, R., Henzinger, T. A., & Ho, P. (1993). Automatic symbolic verification of embedded systems (pp. 2–11). Presented at the RTSS: Real-Time Systems Symposium, IEEE. https://doi.org/10.1109/REAL.1993.393520
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1947
Sazanov, L. A., & Jackson, J. (1993). Activation and inhibition of mitochondrial transhydrogenase by metal ions. Biochimica et Biophysica Acta - Bioenergetics, 1144(2), 225–228. https://doi.org/10.1016/0005-2728(93)90177-H
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed