Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




3104 Publications

2021 | Preprint | IST-REx-ID: 9200 | OA
M. Garcia Soto, T. A. Henzinger, and C. Schilling, “Synthesis of hybrid automata with affine dynamics from time-series data,” arXiv. .
View | Files available | arXiv
 
2021 | Preprint | IST-REx-ID: 9199 | OA
T. D. Browning, T. Horesh, and F. A. Wilsch, “Equidistribution and freeness on Grassmannians,” arXiv. .
View | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9205 | OA
D. Kampjut, J. Steiner, and L. A. Sazanov, “Cryo-EM grid optimization for membrane proteins,” iScience, vol. 24, no. 3. Elsevier, 2021.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 9206 | OA
D. Cadavid et al., “Synthesis, bottom up assembly and thermoelectric properties of Sb-doped PbS nanocrystal building blocks,” Materials, vol. 14, no. 4. MDPI, 2021.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9202 | OA
M. Garcia Soto and P. Prabhakar, “Hybridization for stability verification of nonlinear switched systems,” in 2020 IEEE Real-Time Systems Symposium, Houston, TX, USA , 2021, pp. 244–256.
View | Files available | DOI
 

Search

Filter Publications