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.
2550 Publications
2021 | Preprint | IST-REx-ID: 9200 | 
Garcia Soto M, Henzinger TA, Schilling C. Synthesis of hybrid automata with affine dynamics from time-series data. arXiv, .
View
| Files available
| arXiv
2021 | Preprint | IST-REx-ID: 9199 |
Browning TD, Horesh T, Wilsch FA. Equidistribution and freeness on Grassmannians. arXiv, 2102.11552.
View
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 9205 |
Kampjut D, Steiner J, Sazanov LA. 2021. Cryo-EM grid optimization for membrane proteins. iScience. 24(3), 102139.
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 9206 |
Cadavid D, Wei K, Liu Y, Zhang Y, Li M, Genç A, Berestok T, Ibáñez M, Shavel A, Nolas GS, Cabot A. 2021. Synthesis, bottom up assembly and thermoelectric properties of Sb-doped PbS nanocrystal building blocks. Materials. 14(4), 853.
View
| Files available
| DOI
2021 | Conference Paper | IST-REx-ID: 9202 |
Garcia Soto M, Prabhakar P. 2021. Hybridization for stability verification of nonlinear switched systems. 2020 IEEE Real-Time Systems Symposium. RTTS: Real-Time Systems Symposium, 244–256.
View
| Files available
| DOI