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.
2019 | Conference Paper | IST-REx-ID: 6428 |
T. Ferrere, D. Nickovic, A. Donzé, H. Ito, and J. Kapinski, “Interface-aware signal temporal logic,” in Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, Montreal, Canada, 2019, pp. 57–66.View | Files available | DOI
2019 | Journal Article | IST-REx-ID: 6418 |
A. K. Huylmans, M. A. Toups, A. Macon, W. J. Gammerdinger, and B. Vicoso, “Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome,” Genome biology and evolution, vol. 11, no. 4. Oxford University Press, pp. 1033–1044, 2019.View | Files available | DOI
2019 | Conference Paper | IST-REx-ID: 6462 |
G. Avni, R. Bloem, K. Chatterjee, T. A. Henzinger, B. Konighofer, and S. Pranger, “Run-time optimization for learned controllers through quantitative games,” in 31st International Conference on Computer-Aided Verification, New York, NY, United States, 2019, vol. 11561, pp. 630–649.View | Files available | DOI