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 | 
Pastva S, Henzinger TA. Binary decision diagrams on modern hardware. In: Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. TU Vienna Academic Press; 2023:122-131. doi:10.34727/2023/isbn.978-3-85448-060-0_20
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 14755 |
Moser M. 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. 2023;131(3-4):297-383. doi:10.3233/asy-221775
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 9651 |
Dymond M, Kaluza V. Divergence of separated nets with respect to displacement equivalence. Geometriae Dedicata. 2023. doi:10.1007/s10711-023-00862-3
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14815 |
Beznosikov A, Horvath S, Richtarik P, Safaryan M. On biased compression for distributed learning. Journal of Machine Learning Research. 2023;24:1-50.
[Published Version]
View
| Files available
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 13270 |
Brunck FR. Iterated medial triangle subdivision in surfaces of constant curvature. Discrete and Computational Geometry. 2023;70(3):1059-1089. doi:10.1007/s00454-023-00500-5
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 13269 |
Polyanskii N, Zhang Y. Codes for the Z-channel. IEEE Transactions on Information Theory. 2023;69(10):6340-6357. doi:10.1109/TIT.2023.3292219
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14043 |
Henzinger MH, Jin B, Peng R, Williamson DP. A combinatorial cut-toggling algorithm for solving Laplacian linear systems. Algorithmica. 2023;85:2680-3716. doi:10.1007/s00453-023-01154-8
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Submitted| Preprint | IST-REx-ID: 14963 |
Zhao Z, Wang J, Horn M, et al. Object-centric multiple object tracking. arXiv. doi:10.48550/arXiv.2309.00233
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14985 |
Liu Z, Hong T, Xu L, et al. Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS. Interdisciplinary Materials. 2023;2(1):161-170. doi:10.1002/idm2.12056
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 13262 |
Fedorov A, Hashemi D, Nadiradze G, Alistarh D-A. Provably-efficient and internally-deterministic parallel Union-Find. In: Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery; 2023:261-271. doi:10.1145/3558481.3591082
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Thesis | IST-REx-ID: 14226 |
Stephenson ER. Generalizing medial axes with homology switches. 2023. doi:10.15479/at:ista:14226
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 11511 |
Gebek A, Matthee JJ. On the variation in stellar α-enhancements of star-forming galaxies in the EAGLE simulation. The Astrophysical Journal. 2022;924(2). doi:10.3847/1538-4357/ac350b
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 11812 |
Hanauer K, Henzinger MH, Hua QC. Fully dynamic four-vertex subgraph counting. In: 1st Symposium on Algorithmic Foundations of Dynamic Networks. Vol 221. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:10.4230/LIPIcs.SAND.2022.18
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12018
Zhang Y, Vatedka S. Lower bounds on list decoding capacity using error exponents. In: 2022 IEEE International Symposium on Information Theory. Vol 2022. Institute of Electrical and Electronics Engineers; 2022:1324-1329. doi:10.1109/ISIT50566.2022.9834815
View
| DOI
2022 |Published| Conference Paper | IST-REx-ID: 12015
Zhang Y, Vatedka S. Lower bounds for multiple packing. In: 2022 IEEE International Symposium on Information Theory. Vol 2022. IEEE; 2022:3085-3090. doi:10.1109/ISIT50566.2022.9834443
View
| DOI
2022 |Published| Conference Paper | IST-REx-ID: 12014
Zhang Y, Vatedka S. List-decodability of Poisson Point Processes. In: 2022 IEEE International Symposium on Information Theory. Vol 2022. IEEE; 2022:2559-2564. doi:10.1109/ISIT50566.2022.9834512
View
| DOI
2022 |Published| Conference Paper | IST-REx-ID: 12019
Polyanskii N, Zhang Y. List-decodable zero-rate codes for the Z-channel. In: 2022 IEEE International Symposium on Information Theory. Vol 2022. Institute of Electrical and Electronics Engineers; 2022:2553-2558. doi:10.1109/ISIT50566.2022.9834829
View
| DOI
2022 |Published| Thesis | IST-REx-ID: 12072 |
Shute AL. Existence and density problems in Diophantine geometry: From norm forms to Campana points. 2022. doi:10.15479/at:ista:12072
[Published Version]
View
| Files available
| DOI
2022 |Published| Thesis | IST-REx-ID: 11777 |
Wild P. High-dimensional expansion and crossing numbers of simplicial complexes. 2022. doi:10.15479/at:ista:11777
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 9649 |
Boissonnat J-D, Wintraecken M. The topological correctness of PL approximations of isomanifolds. Foundations of Computational Mathematics . 2022;22:967-1012. doi:10.1007/s10208-021-09520-0
[Published Version]
View
| Files available
| DOI
| WoS