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.
545 Publications
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 10045 | 
Generalized minimum 0-extension problem and discrete convexity
M. Dvorak, V. Kolmogorov, Mathematical Programming (2024).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
M. Dvorak, V. Kolmogorov, Mathematical Programming (2024).
2024 |Published| Journal Article | IST-REx-ID: 15350 |
Quantum Talagrand, KKL and Friedgut’s theorems and the learnability of quantum boolean functions
C. Rouzé, M. Wirth, H. Zhang, Communications in Mathematical Physics 405 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
C. Rouzé, M. Wirth, H. Zhang, Communications in Mathematical Physics 405 (2024).
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 15323 |
SCAF1 drives the compositional diversity of mammalian respirasomes
I. Vercellino, L.A. Sazanov, Nature Structural and Molecular Biology (2024).
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
I. Vercellino, L.A. Sazanov, Nature Structural and Molecular Biology (2024).
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17128
Directed percolation and puff jamming near the transition to pipe turbulence
G.M. Lemoult, M. Vasudevan, H.Y. Shih, G. Linga, J. Mathiesen, N. Goldenfeld, B. Hof, Nature Physics (2024).
View
| DOI
G.M. Lemoult, M. Vasudevan, H.Y. Shih, G. Linga, J. Mathiesen, N. Goldenfeld, B. Hof, Nature Physics (2024).
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17127 |
Paucity phenomena for polynomial products
V. Wang, M.W. Xu, Bulletin of the London Mathematical Society (2024).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Wang, M.W. Xu, Bulletin of the London Mathematical Society (2024).
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17094 |
Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).
2024 |Published| Thesis | IST-REx-ID: 17133 |
Superconducting qubits capable of dynamic switching between protected and high-speed control regimes
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
F. Hassani, Superconducting Qubits Capable of Dynamic Switching between Protected and High-Speed Control Regimes, Institute of Science and Technology Austria, 2024.
2024 | Conference Paper | IST-REx-ID: 17214 |
Primal–Dual Non-Smooth Friction for Rigid Body Animation
Y.-L. Chen, M. Ly, C. Wojtan, in:, Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24 (SIGGRAPH Conference Papers ’24), Association for Computing Machinery, 2024.
[Published Version]
View
| Files available
| DOI
Y.-L. Chen, M. Ly, C. Wojtan, in:, Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24 (SIGGRAPH Conference Papers ’24), Association for Computing Machinery, 2024.
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17240 |
Almost optimal upper bound for the ground state energy of a dilute Fermi gas via cluster expansion
A.B. Lauritsen, Annales Henri Poincare (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
A.B. Lauritsen, Annales Henri Poincare (2024).
2024 |Published| Journal Article | IST-REx-ID: 14447 |
New fluorescent auxin derivatives: Anti-auxin activity and accumulation patterns in Arabidopsis thaliana
K. Bieleszová, P. Hladík, M. Kubala, R. Napier, F. Brunoni, Z. Gelová, L. Fiedler, I. Kulich, M. Strnad, K. Doležal, O. Novák, J. Friml, A. Žukauskaitė, Plant Growth Regulation 102 (2024) 589–602.
[Published Version]
View
| Files available
| DOI
| WoS
K. Bieleszová, P. Hladík, M. Kubala, R. Napier, F. Brunoni, Z. Gelová, L. Fiedler, I. Kulich, M. Strnad, K. Doležal, O. Novák, J. Friml, A. Žukauskaitė, Plant Growth Regulation 102 (2024) 589–602.
2024 |Published| Journal Article | IST-REx-ID: 9651 |
Divergence of separated nets with respect to displacement equivalence
M. Dymond, V. Kaluza, Geometriae Dedicata 218 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Dymond, V. Kaluza, Geometriae Dedicata 218 (2024).
2024 |Published| Journal Article | IST-REx-ID: 14660 |
Quantitative Steinitz theorem: A polynomial bound
G. Ivanov, M. Naszódi, Bulletin of the London Mathematical Society 56 (2024) 796–802.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Ivanov, M. Naszódi, Bulletin of the London Mathematical Society 56 (2024) 796–802.
2024 |Published| Journal Article | IST-REx-ID: 14665 |
Multiple packing: Lower bounds via error exponents
Y. Zhang, S. Vatedka, IEEE Transactions on Information Theory 70 (2024) 1008–1039.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Zhang, S. Vatedka, IEEE Transactions on Information Theory 70 (2024) 1008–1039.
2024 |Published| Journal Article | IST-REx-ID: 14820 |
Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
S. Schmid, J. Svoboda, M.X. Yeo, Theoretical Computer Science 989 (2024).
[Published Version]
View
| Files available
| DOI
S. Schmid, J. Svoboda, M.X. Yeo, Theoretical Computer Science 989 (2024).
2023 |Published| Conference Paper | IST-REx-ID: 12760 |
Dynamic maintenance of monotone dynamic programs and applications
M.H. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 40th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
M.H. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 40th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 |Published| Book Chapter | IST-REx-ID: 12866
Altered childhood brain development in autism and epilepsy
C. Currin, C. Beyer, in:, B. Halpern-Felsher (Ed.), Encyclopedia of Child and Adolescent Health, 1st ed., Elsevier, 2023, pp. 86–98.
View
| DOI
C. Currin, C. Beyer, in:, B. Halpern-Felsher (Ed.), Encyclopedia of Child and Adolescent Health, 1st ed., Elsevier, 2023, pp. 86–98.
2023 |Published| Journal Article | IST-REx-ID: 9652 |
Highly irregular separated nets
M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.
2023 |Published| Conference Paper | IST-REx-ID: 14084 |
Parameter estimation for Gibbs distributions
D.G. Harris, V. Kolmogorov, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
D.G. Harris, V. Kolmogorov, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 |Published| Conference Paper | IST-REx-ID: 13120 |
Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 |Published| Conference Paper | IST-REx-ID: 14344 |
Fast algorithms for solving the Hamilton cycle problem with high probability
M. Anastos, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 2286–2323.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Anastos, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 2286–2323.