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.

3165 Publications


2020 | Journal Article | IST-REx-ID: 8168 | OA
Kulmuni, Jonna, et al. “Towards the Completion of Speciation: The Evolution of Reproductive Isolation beyond the First Barriers.” Philosophical Transactions of the Royal Society. Series B: Biological Sciences, vol. 375, no. 1806, 20190528, The Royal Society, 2020, doi:10.1098/rstb.2019.0528.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8169 | OA
Shang, Huiying, et al. “Evolution of Strong Reproductive Isolation in Plants: Broad-Scale Patterns and Lessons from a Perennial Model Group.” Philosophical Transactions of the Royal Society. Series B: Biological Sciences, vol. 375, no. 1806, 20190544, The Royal Society, 2020, doi:10.1098/rstb.2019.0544.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8170 | OA
Chatterley, Adam S., et al. “Rotational Coherence Spectroscopy of Molecules in Helium Nanodroplets: Reconciling the Time and the Frequency Domains.” Physical Review Letters, vol. 125, no. 1, 013001, American Physical Society, 2020, doi:10.1103/PhysRevLett.125.013001.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Scientific Software | IST-REx-ID: 8181 | OA
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 | OA
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 | Conference Paper | IST-REx-ID: 8194 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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
 

Filters and Search Terms

oa=1

Search

Filter Publications