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.

2764 Publications


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

2020 | Journal Article | IST-REx-ID: 8199 | OA
T. Gulden, E. Berg, M. S. Rudner, and N. Lindner, “Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps,” SciPost Physics, vol. 9, 2020.
View | Files available | DOI
 

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 | 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:2007.14879. arXiv.
View | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications