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.
3149 Publications
2020 | Scientific Software | IST-REx-ID: 8181 | 
Hauschild, Robert. Amplified Centrosomes in Dendritic Cells Promote Immune Cell Effector Functions. IST Austria, 2020, doi:10.15479/AT:ISTA:8181.
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8186 |
Henderson, Paul M., et al. “Leveraging 2D Data to Learn Textured 3D Mesh Generation.” Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVF, 2020, pp. 7498–507.
View
| Files available
| Download Submitted Version (ext.)
| arXiv
2020 | Preprint | IST-REx-ID: 8188 |
Henderson, Paul M., and Christoph Lampert. “Unsupervised Object-Centric Video Generation and Decomposition in 3D.” ArXiv, 2007.06705.
View
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 8194 |
Baranowski, Marek, et al. “An SMT Theory of Fixed-Point Arithmetic.” Automated Reasoning, vol. 12166, Springer Nature, 2020, pp. 13–31, doi:10.1007/978-3-030-51074-9_2.
View
| DOI
| Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 8195 |
Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” Computer Aided Verification, vol. 12224, Springer Nature, 2020, pp. 275–98, doi:10.1007/978-3-030-53288-8_14.
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8196 |
Shehu, Yekini, et al. “New Strong Convergence Method for the Sum of Two Maximal Monotone Operators.” Optimization and Engineering, Springer Nature, 2020, doi:10.1007/s11081-020-09544-5.
View
| Files available
| DOI
2020 | Preprint | IST-REx-ID: 8198 |
Diringer, Asaf A., and Tobias Gulden. “Robustness of the Floquet Many-Body Localized Phase in the Presence of a Smooth and a Non-Smooth Drive.” ArXiv, 2007.14879, arXiv.
View
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8199 |
Gulden, Tobias, et al. “Exponentially Long Lifetime of Universal Quasi-Steady States in Topological Floquet Pumps.” SciPost Physics, vol. 9, 015, SciPost Foundation, 2020, doi:10.21468/scipostphys.9.1.015.
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8203 |
Katsaros, Georgios, et al. “Zero Field Splitting of Heavy-Hole States in Quantum Dots.” Nano Letters, vol. 20, no. 7, ACS Publications, 2020, pp. 5201–06, doi:10.1021/acs.nanolett.0c01466.
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8225 |
Köhler, Verena K., 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, vol. 21, no. 16, 5693, MDPI, 2020, doi:10.3390/ijms21165693.
View
| Files available
| DOI
| PubMed | Europe PMC