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.

5883 Publications


2020 | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point arithmetic. In: Automated Reasoning. Vol 12166. Springer Nature; 2020:13-31. doi:10.1007/978-3-030-51074-9_2
View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8195 | OA
Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298. doi:10.1007/978-3-030-53288-8_14
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8196 | OA
Shehu Y, Dong Q-L, Liu L-L, Yao J-C. New strong convergence method for the sum of two maximal monotone operators. Optimization and Engineering. 2020. doi:10.1007/s11081-020-09544-5
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8198 | OA
Diringer AA, Gulden T. Robustness of the Floquet many-body localized phase in the presence of a  smooth and a non-smooth drive. arXiv:200714879.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8199 | OA
Gulden T, Berg E, Rudner MS, Lindner N. Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. SciPost Physics. 2020;9. doi:10.21468/scipostphys.9.1.015
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8203 | OA
Katsaros G, Kukucka J, Vukušić L, et al. Zero field splitting of heavy-hole states in quantum dots. Nano Letters. 2020;20(7):5201-5206. doi:10.1021/acs.nanolett.0c01466
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8220 | OA
Corominas-Murtra B, Scheele CLGJ, Kishi K, et al. Stem cell lineage survival as a noisy competition for niche access. Proceedings of the National Academy of Sciences of the United States of America. 2020;117(29):16969-16975. doi:10.1073/pnas.1921205117
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8225 | OA
Köhler VK, Crescioli S, Singer J, et al. Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1. International Journal of Molecular Sciences. 2020;21(16). doi:10.3390/ijms21165693
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8226 | OA
Gotovina J, Bianchini R, Singer J, et al. Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro. Allergy. 2020. doi:10.1111/all.14299
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8248 | OA
Boissonnat J-D, Dyer R, Ghosh A, Lieutier A, Wintraecken M. Local conditions for triangulating submanifolds of Euclidean space. Discrete & Computational Geometry. 2020. doi:10.1007/s00454-020-00233-9
View | DOI | Download Published Version (ext.)
 

Search

Filter Publications