Please note that ISTA 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.
543 Publications
2023 |Published| Conference Paper | IST-REx-ID: 14718 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Pastva and T. A. Henzinger, “Binary decision diagrams on modern hardware,” in Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, Ames, IA, United States, 2023, pp. 122–131.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 14755 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Moser, “Convergence of the scalar- and vector-valued Allen–Cahn equation to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence result,” Asymptotic Analysis, vol. 131, no. 3–4. IOS Press, pp. 297–383, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 9651 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Dymond and V. Kaluza, “Divergence of separated nets with respect to displacement equivalence,” Geometriae Dedicata. Springer Nature, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14815 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Beznosikov, S. Horvath, P. Richtarik, and M. Safaryan, “On biased compression for distributed learning,” Journal of Machine Learning Research, vol. 24. Journal of Machine Learning Research, pp. 1–50, 2023.
[Published Version]
View
| Files available
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 13270 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
F. R. Brunck, “Iterated medial triangle subdivision in surfaces of constant curvature,” Discrete and Computational Geometry, vol. 70, no. 3. Springer Nature, pp. 1059–1089, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 13269 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
N. Polyanskii and Y. Zhang, “Codes for the Z-channel,” IEEE Transactions on Information Theory, vol. 69, no. 10. Institute of Electrical and Electronics Engineers, pp. 6340–6357, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14043 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. H. Henzinger, B. Jin, R. Peng, and D. P. Williamson, “A combinatorial cut-toggling algorithm for solving Laplacian linear systems,” Algorithmica, vol. 85. Springer Nature, pp. 2680–3716, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Submitted| Preprint | IST-REx-ID: 14963 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Z. Zhao et al., “Object-centric multiple object tracking,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14985 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Z. Liu et al., “Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS,” Interdisciplinary Materials, vol. 2, no. 1. Wiley, pp. 161–170, 2023.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 13262 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Fedorov, D. Hashemi, G. Nadiradze, and D.-A. Alistarh, “Provably-efficient and internally-deterministic parallel Union-Find,” in Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Orlando, FL, United States, 2023, pp. 261–271.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Thesis | IST-REx-ID: 14226 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
E. R. Stephenson, “Generalizing medial axes with homology switches,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 11511 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Gebek and J. J. Matthee, “On the variation in stellar α-enhancements of star-forming galaxies in the EAGLE simulation,” The Astrophysical Journal, vol. 924, no. 2. IOP Publishing, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 11812 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Hanauer, M. H. Henzinger, and Q. C. Hua, “Fully dynamic four-vertex subgraph counting,” in 1st Symposium on Algorithmic Foundations of Dynamic Networks, Virtual, 2022, vol. 221.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 |Published| Thesis | IST-REx-ID: 12072 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. L. Shute, “Existence and density problems in Diophantine geometry: From norm forms to Campana points,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |Published| Thesis | IST-REx-ID: 11777 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
P. Wild, “High-dimensional expansion and crossing numbers of simplicial complexes,” Institute of Science and Technology, 2022.
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 9649 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J.-D. Boissonnat and M. Wintraecken, “The topological correctness of PL approximations of isomanifolds,” Foundations of Computational Mathematics , vol. 22. Springer Nature, pp. 967–1012, 2022.
[Published Version]
View
| Files available
| DOI
| WoS