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: 6493 |
M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based synthesis of linear hybrid automata,” in 31st International Conference on Computer-Aided Verification, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.View | Files available | DOI
2019 | Journal Article | IST-REx-ID: 6554 |
Y. Xian, C. Lampert, B. Schiele, and Z. Akata, “Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 41, no. 9, pp. 2251–2265, 2019.View | DOI | Download Preprint (ext.) | arXiv
2019 | Journal Article | IST-REx-ID: 6564 |
A.-M. Tichy, E. J. Gerrard, J. M. D. Legrand, R. M. Hobbs, and H. L. Janovjak, “Engineering strategy and vector library for the rapid generation of modular light-controlled protein–protein interactions,” Journal of Molecular Biology, vol. 431, no. 17, pp. 3046–3055, 2019.View | DOI | Download Preprint (ext.)