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.

2467 Publications


2020 | Journal Article | IST-REx-ID: 8168 | OA
J. Kulmuni, R. K. Butlin, K. Lucek, V. Savolainen, and A. M. Westram, “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. The Royal Society, 2020.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8169 | OA
H. Shang 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. The Royal Society, 2020.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8170 | OA
A. S. Chatterley et al., “Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains,” Physical Review Letters, vol. 125, no. 1. American Physical Society, 2020.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Scientific Software | IST-REx-ID: 8181 | OA
R. Hauschild, “Amplified centrosomes in dendritic cells promote immune cell effector functions.” IST Austria, 2020.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8186 | OA
P. M. Henderson, V. Tsiminaki, and C. Lampert, “Leveraging 2D data to learn textured 3D mesh generation,” in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, Virtual, 2020, pp. 7498–7507.
View | Files available | Download Submitted Version (ext.) | arXiv
 

2020 | Preprint | IST-REx-ID: 8188 | OA
P. M. Henderson and C. Lampert, “Unsupervised object-centric video generation and decomposition in 3D,” arXiv. .
View | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8194 | OA
M. Baranowski, S. He, M. Lechner, T. S. Nguyen, and Z. Rakamarić, “An SMT theory of fixed-point arithmetic,” in Automated Reasoning, Paris, France, 2020, vol. 12166, pp. 13–31.
View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8195 | OA
B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent programs,” in Computer Aided Verification, 2020, vol. 12224, pp. 275–298.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8196 | OA
Y. Shehu, Q.-L. Dong, L.-L. Liu, and J.-C. Yao, “New strong convergence method for the sum of two maximal monotone operators,” Optimization and Engineering. Springer Nature, 2020.
View | Files available | DOI
 

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

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications