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
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17127 | 
V. Wang and M. W. Xu, “Paucity phenomena for polynomial products,” Bulletin of the London Mathematical Society. London Mathematical Society, 2024.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17094 |
E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. Oliveira da Costa, “Information-flow interfaces,” Formal Methods in System Design. Springer Nature, 2024.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2024 |Published| Thesis | IST-REx-ID: 17133 |
F. Hassani, “Superconducting qubits capable of dynamic switching between protected and high-speed control regimes,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12760 |
M. H. Henzinger, S. Neumann, H. Räcke, and S. Schmid, “Dynamic maintenance of monotone dynamic programs and applications,” in 40th International Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, 2023, vol. 254.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 9652 |
M. Dymond and V. Kaluza, “Highly irregular separated nets,” Israel Journal of Mathematics, vol. 253. Springer Nature, pp. 501–554, 2023.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14084 |
D. G. Harris and V. Kolmogorov, “Parameter estimation for Gibbs distributions,” in 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 2023, vol. 261.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 13120 |
M. Dvorak and J. Blanchette, “Closure properties of general grammars - formally verified,” in 14th International Conference on Interactive Theorem Proving, Bialystok, Poland, 2023, vol. 268.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14344 |
M. Anastos, “Fast algorithms for solving the Hamilton cycle problem with high probability,” in Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Florence, Italy, 2023, vol. 2023, pp. 2286–2323.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 11706 |
A. Liebenau, L. Mattos, W. Mendonca dos Santos, and J. Skokan, “Asymmetric Ramsey properties of random graphs involving cliques and cycles,” Random Structures and Algorithms, vol. 62, no. 4. Wiley, pp. 1035–1055, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 12349 |
D. Gupta, W. F. Mlynarski, A. L. Sumser, O. Symonova, J. Svaton, and M. A. Jösch, “Panoramic visual statistics shape retina-wide organization of receptive fields,” Nature Neuroscience, vol. 26. Springer Nature, pp. 606–614, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 14408 |
G. Cipolloni, L. Erdös, and D. J. Schröder, “Mesoscopic central limit theorem for non-Hermitian random matrices,” Probability Theory and Related Fields. Springer Nature, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12960 |
J. D. Boissonnat, S. Kachanovich, and M. Wintraecken, “Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations,” SIAM Journal on Computing, vol. 52, no. 2. Society for Industrial and Applied Mathematics, pp. 452–486, 2023.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2023 |Published| Journal Article | IST-REx-ID: 12683 |
G. Dubach and L. Erdös, “Dynamics of a rank-one perturbation of a Hermitian matrix,” Electronic Communications in Probability, vol. 28. Institute of Mathematical Statistics, pp. 1–13, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14457 |
C. Hoffmann and M. Simkin, “Stronger lower bounds for leakage-resilient secret sharing,” in 8th International Conference on Cryptology and Information Security in Latin America, Quito, Ecuador, 2023, vol. 14168, pp. 215–228.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 |Published| Journal Article | IST-REx-ID: 14444 |
M. A. Kwan, A. Sah, M. Sawhney, and M. Simkin, “Substructures in Latin squares,” Israel Journal of Mathematics, vol. 256, no. 2. Springer Nature, pp. 363–416, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 13238 |
S. Schmid, J. Svoboda, and M. X. Yeo, “Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation,” in SIROCCO 2023: Structural Information and Communication Complexity , Alcala de Henares, Spain, 2023, vol. 13892, pp. 576–594.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 14660 |
G. Ivanov and M. Naszódi, “Quantitative Steinitz theorem: A polynomial bound,” Bulletin of the London Mathematical Society. London Mathematical Society, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12838 |
Y. Zhang and S. Vatedka, “Multiple packing: Lower bounds via infinite constellations,” IEEE Transactions on Information Theory, vol. 69, no. 7. IEEE, pp. 4513–4527, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 13318 |
A. Volberg and H. Zhang, “Noncommutative Bohnenblust–Hille inequalities,” Mathematische Annalen. Springer Nature, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv