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.




3103 Publications

2021 | Preprint | IST-REx-ID: 9200 | OA
Garcia Soto, Miriam, Thomas A Henzinger, and Christian Schilling. “Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data.” ArXiv, n.d.
View | Files available | arXiv
 
2021 | Preprint | IST-REx-ID: 9199 | OA
Browning, Timothy D, Tal Horesh, and Florian Alexander Wilsch. “Equidistribution and Freeness on Grassmannians.” ArXiv, n.d.
View | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9205 | OA
Kampjut, Domen, Julia Steiner, and Leonid A Sazanov. “Cryo-EM Grid Optimization for Membrane Proteins.” IScience. Elsevier, 2021. https://doi.org/10.1016/j.isci.2021.102139.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 9206 | OA
Cadavid, Doris, Kaya Wei, Yu Liu, Yu Zhang, Mengyao Li, Aziz Genç, Taisiia Berestok, et al. “Synthesis, Bottom up Assembly and Thermoelectric Properties of Sb-Doped PbS Nanocrystal Building Blocks.” Materials. MDPI, 2021. https://doi.org/10.3390/ma14040853.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9202 | OA
Garcia Soto, Miriam, and Pavithra Prabhakar. “Hybridization for Stability Verification of Nonlinear Switched Systems.” In 2020 IEEE Real-Time Systems Symposium, 244–56. IEEE, 2021. https://doi.org/10.1109/RTSS49844.2020.00031.
View | Files available | DOI
 

Search

Filter Publications