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.

3471 Publications

2021 | Conference Paper | IST-REx-ID: 9356 | OA
Henzinger, T. A., & Sarac, N. E. (n.d.). Quantitative and approximate monitoring. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Online: Association for Computing Machinery.
View | Files available | arXiv

2021 | Journal Article | IST-REx-ID: 8198 | OA
Diringer, A. A., & Gulden, T. (2021). Impact of drive harmonics on the stability of Floquet many-body localization. Physical Review B. American Physical Society.
View | DOI | Download Preprint (ext.) | arXiv

2021 | Journal Article | IST-REx-ID: 8317 | OA
Aichholzer, O., Akitaya, H. A., Cheung, K. C., Demaine, E. D., Demaine, M. L., Fekete, S. P., … Schmidt, C. (2021). Folding polyominoes with holes into a cube. Computational Geometry: Theory and Applications. Elsevier.
View | Files available | DOI | Download Preprint (ext.) | arXiv

2021 | Journal Article | IST-REx-ID: 7463 | OA
Lombardi, F., Shriki, O., Herrmann, H. J., & de Arcangelis, L. (n.d.). Long-range temporal correlations in the broadband resting state activity of the human brain revealed by neuronal avalanches. Neurocomputing. Elsevier.
View | DOI | Download Preprint (ext.)

2021 | Conference Paper | IST-REx-ID: 9605 | OA
Corbet, R., Kerber, M., Lesnick, M., & Osang, G. F. (2021). Computing the multicover bifiltration. In Leibniz International Proceedings in Informatics (Vol. 189). Online: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
View | Files available | DOI | arXiv

Filters and Search Terms



Filter Publications