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.

2543 Publications


2021 | Preprint | IST-REx-ID: 9200 | OA
Synthesis of hybrid automata with affine dynamics from time-series data
M. Garcia Soto, T.A. Henzinger, C. Schilling, ArXiv (n.d.).
View | Files available | arXiv
 

2021 | Preprint | IST-REx-ID: 9199 | OA
Equidistribution and freeness on Grassmannians
T.D. Browning, T. Horesh, F.A. Wilsch, ArXiv (n.d.).
View | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9205 | OA
Cryo-EM grid optimization for membrane proteins
D. Kampjut, J. Steiner, L.A. Sazanov, IScience 24 (2021).
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9206 | OA
Synthesis, bottom up assembly and thermoelectric properties of Sb-doped PbS nanocrystal building blocks
D. Cadavid, K. Wei, Y. Liu, Y. Zhang, M. Li, A. Genç, T. Berestok, M. Ibáñez, A. Shavel, G.S. Nolas, A. Cabot, Materials 14 (2021).
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9202 | OA
Hybridization for stability verification of nonlinear switched systems
M. Garcia Soto, P. Prabhakar, in:, 2020 IEEE Real-Time Systems Symposium, IEEE, 2021, pp. 244–256.
View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications