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.
539 Publications
2024 | 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
| DOI
| Download Published Version (ext.)
S. Schmid, J. Svoboda, M.X. Yeo, Theoretical Computer Science 989 (2024).
2024 | Journal Article | IST-REx-ID: 14793 |
Parity-conserving Cooper-pair transport and ideal superconducting diode in planar germanium
M. Valentini, O. Sagi, L. Baghumyan, T. de Gijsel, J. Jung, S. Calcaterra, A. Ballabio, J.L. Aguilera Servin, K. Aggarwal, M. Janik, T. Adletzberger, R. Seoane Souto, M. Leijnse, J. Danon, C. Schrade, E. Bakkers, D. Chrastina, G. Isella, G. Katsaros, Nature Communications 15 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M. Valentini, O. Sagi, L. Baghumyan, T. de Gijsel, J. Jung, S. Calcaterra, A. Ballabio, J.L. Aguilera Servin, K. Aggarwal, M. Janik, T. Adletzberger, R. Seoane Souto, M. Leijnse, J. Danon, C. Schrade, E. Bakkers, D. Chrastina, G. Isella, G. Katsaros, Nature Communications 15 (2024).
2024 | Journal Article | IST-REx-ID: 14797 |
Annealed quantitative estimates for the quadratic 2D-discrete random matching problem
N. Clozeau, F. Mattesini, Probability Theory and Related Fields (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
N. Clozeau, F. Mattesini, Probability Theory and Related Fields (2024).
2024 | Journal Article | IST-REx-ID: 14828
Interface engineering modulation combined with electronic structure modification of Zn-doped NiO heterostructure for efficient water-splitting activity
G.K. Kiran, S. Singh, N. Mahato, T.V.M. Sreekanth, G.R. Dillip, K. Yoo, J. Kim, ACS Applied Energy Materials 7 (2024) 214–229.
View
| DOI
| WoS
G.K. Kiran, S. Singh, N. Mahato, T.V.M. Sreekanth, G.R. Dillip, K. Yoo, J. Kim, ACS Applied Energy Materials 7 (2024) 214–229.
2024 | Journal Article | IST-REx-ID: 14934 |
A discovery tour in random Riemannian geometry
L. Dello Schiavo, E. Kopfer, K.T. Sturm, Potential Analysis (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
L. Dello Schiavo, E. Kopfer, K.T. Sturm, Potential Analysis (2024).
2024 | Journal Article | IST-REx-ID: 12312 |
On the local-global principle for isogenies of abelian surfaces
D. Lombardo, M. Verzobio, Selecta Mathematica 30 (2024).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D. Lombardo, M. Verzobio, Selecta Mathematica 30 (2024).
2024 | Journal Article | IST-REx-ID: 15098 |
Global well-posedness and interior regularity of 2D Navier-Stokes equations with stochastic boundary conditions
A. Agresti, E. Luongo, Mathematische Annalen (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
A. Agresti, E. Luongo, Mathematische Annalen (2024).
2024 | Journal Article | IST-REx-ID: 15119 |
Stochastic maximal Lp(Lq)-regularity for second order systems with periodic boundary conditions
A. Agresti, M. Veraar, Annales de l’institut Henri Poincare Probability and Statistics 60 (2024) 413–430.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Agresti, M. Veraar, Annales de l’institut Henri Poincare Probability and Statistics 60 (2024) 413–430.
2024 | Journal Article | IST-REx-ID: 15121 |
Multiplicative auction algorithm for approximate maximum weight bipartite matching
D.W. Zheng, M.H. Henzinger, Mathematical Programming (2024).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
D.W. Zheng, M.H. Henzinger, Mathematical Programming (2024).
2024 | Journal Article | IST-REx-ID: 15163 |
Decompositions into two linear forests of bounded lengths
R. Campbell, F. Hörsch, B. Moore, Discrete Mathematics 347 (2024).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Campbell, F. Hörsch, B. Moore, Discrete Mathematics 347 (2024).
2024 | 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).
View
| DOI
| PubMed | Europe PMC
I. Vercellino, L.A. Sazanov, Nature Structural and Molecular Biology (2024).
2024 | Journal Article | IST-REx-ID: 15334 |
Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility
H. Abels, M. Fei, M. Moser, Calculus of Variations and Partial Differential Equations 63 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
H. Abels, M. Fei, M. Moser, Calculus of Variations and Partial Differential Equations 63 (2024).
2024 | 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 | 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).
2023 | 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 | 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 | 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 | 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 | 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 | 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.
2023 | Journal Article | IST-REx-ID: 11706 |
Asymmetric Ramsey properties of random graphs involving cliques and cycles
A. Liebenau, L. Mattos, W. Mendonca dos Santos, J. Skokan, Random Structures and Algorithms 62 (2023) 1035–1055.
[Published Version]
View
| Files available
| DOI
| WoS
A. Liebenau, L. Mattos, W. Mendonca dos Santos, J. Skokan, Random Structures and Algorithms 62 (2023) 1035–1055.
2023 | Journal Article | IST-REx-ID: 12349 |
Panoramic visual statistics shape retina-wide organization of receptive fields
D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience 26 (2023) 606–614.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience 26 (2023) 606–614.
2023 | Journal Article | IST-REx-ID: 14408 |
Mesoscopic central limit theorem for non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2023).
2023 | Journal Article | IST-REx-ID: 12960 |
Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations
J.D. Boissonnat, S. Kachanovich, M. Wintraecken, SIAM Journal on Computing 52 (2023) 452–486.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
J.D. Boissonnat, S. Kachanovich, M. Wintraecken, SIAM Journal on Computing 52 (2023) 452–486.
2023 | Journal Article | IST-REx-ID: 12683 |
Dynamics of a rank-one perturbation of a Hermitian matrix
G. Dubach, L. Erdös, Electronic Communications in Probability 28 (2023) 1–13.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Dubach, L. Erdös, Electronic Communications in Probability 28 (2023) 1–13.
2023 | Conference Paper | IST-REx-ID: 14457 |
Stronger lower bounds for leakage-resilient secret sharing
C. Hoffmann, M. Simkin, in:, 8th International Conference on Cryptology and Information Security in Latin America, Springer Nature, 2023, pp. 215–228.
[Preprint]
View
| DOI
| Download Preprint (ext.)
C. Hoffmann, M. Simkin, in:, 8th International Conference on Cryptology and Information Security in Latin America, Springer Nature, 2023, pp. 215–228.
2023 | Journal Article | IST-REx-ID: 14444 |
Substructures in Latin squares
M.A. Kwan, A. Sah, M. Sawhney, M. Simkin, Israel Journal of Mathematics 256 (2023) 363–416.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.A. Kwan, A. Sah, M. Sawhney, M. Simkin, Israel Journal of Mathematics 256 (2023) 363–416.
2023 | Conference Paper | IST-REx-ID: 13238 |
Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
S. Schmid, J. Svoboda, M.X. Yeo, in:, SIROCCO 2023: Structural Information and Communication Complexity , Springer Nature, 2023, pp. 576–594.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S. Schmid, J. Svoboda, M.X. Yeo, in:, SIROCCO 2023: Structural Information and Communication Complexity , Springer Nature, 2023, pp. 576–594.
2023 | Journal Article | IST-REx-ID: 14660 |
Quantitative Steinitz theorem: A polynomial bound
G. Ivanov, M. Naszódi, Bulletin of the London Mathematical Society (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
G. Ivanov, M. Naszódi, Bulletin of the London Mathematical Society (2023).
2023 | Journal Article | IST-REx-ID: 12838 |
Multiple packing: Lower bounds via infinite constellations
Y. Zhang, S. Vatedka, IEEE Transactions on Information Theory 69 (2023) 4513–4527.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Y. Zhang, S. Vatedka, IEEE Transactions on Information Theory 69 (2023) 4513–4527.
2023 | Journal Article | IST-REx-ID: 13318 |
Noncommutative Bohnenblust–Hille inequalities
A. Volberg, H. Zhang, Mathematische Annalen (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
A. Volberg, H. Zhang, Mathematische Annalen (2023).
2023 | Thesis | IST-REx-ID: 14058 |
The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation
G. Puixeu Sala, The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
G. Puixeu Sala, The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation, Institute of Science and Technology Austria, 2023.
2023 | Journal Article | IST-REx-ID: 14421 |
Creation rate of Dirac particles at a point source
S.J. Henheik, R. Tumulka, Journal of Physics A: Mathematical and Theoretical 56 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S.J. Henheik, R. Tumulka, Journal of Physics A: Mathematical and Theoretical 56 (2023).
2023 | Journal Article | IST-REx-ID: 14445 |
Coboundary expansion, equivariant overlap, and crossing numbers of simplicial complexes
U. Wagner, P. Wild, Israel Journal of Mathematics 256 (2023) 675–717.
[Published Version]
View
| Files available
| DOI
| WoS
U. Wagner, P. Wild, Israel Journal of Mathematics 256 (2023) 675–717.
2023 | 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 (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| 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 (2023).
2023 | Journal Article | IST-REx-ID: 14665 |
Multiple packing: Lower bounds via error exponents
Y. Zhang, S. Vatedka, IEEE Transactions on Information Theory (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Zhang, S. Vatedka, IEEE Transactions on Information Theory (2023).
2023 | Conference Paper | IST-REx-ID: 14718 |
Binary decision diagrams on modern hardware
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.
[Published Version]
View
| Files available
| DOI
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.
2023 | Journal Article | IST-REx-ID: 14755 |
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
M. Moser, Asymptotic Analysis 131 (2023) 297–383.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Moser, Asymptotic Analysis 131 (2023) 297–383.
2023 | Journal Article | IST-REx-ID: 9651 |
Divergence of separated nets with respect to displacement equivalence
M. Dymond, V. Kaluza, Geometriae Dedicata (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
M. Dymond, V. Kaluza, Geometriae Dedicata (2023).
2023 | Journal Article | IST-REx-ID: 14815 |
On biased compression for distributed learning
A. Beznosikov, S. Horvath, P. Richtarik, M. Safaryan, Journal of Machine Learning Research 24 (2023) 1–50.
[Published Version]
View
| Files available
| WoS
| arXiv
A. Beznosikov, S. Horvath, P. Richtarik, M. Safaryan, Journal of Machine Learning Research 24 (2023) 1–50.
2023 | Journal Article | IST-REx-ID: 13270 |
Iterated medial triangle subdivision in surfaces of constant curvature
F.R. Brunck, Discrete and Computational Geometry 70 (2023) 1059–1089.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
F.R. Brunck, Discrete and Computational Geometry 70 (2023) 1059–1089.
2023 | Journal Article | IST-REx-ID: 13269 |
Codes for the Z-channel
N. Polyanskii, Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 6340–6357.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
N. Polyanskii, Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 6340–6357.
2023 | Journal Article | IST-REx-ID: 14043 |
A combinatorial cut-toggling algorithm for solving Laplacian linear systems
M.H. Henzinger, B. Jin, R. Peng, D.P. Williamson, Algorithmica 85 (2023) 2680–3716.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M.H. Henzinger, B. Jin, R. Peng, D.P. Williamson, Algorithmica 85 (2023) 2680–3716.
2023 | Preprint | IST-REx-ID: 14963 |
Object-centric multiple object tracking
Z. Zhao, J. Wang, M. Horn, Y. Ding, T. He, Z. Bai, D. Zietlow, C.-J.S.-G. Carl-Johann Simon-Gabriel, B. Shuai, Z. Tu, T. Brox, B. Schiele, Y. Fu, F. Locatello, Z. Zhang, T. Xiao, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Z. Zhao, J. Wang, M. Horn, Y. Ding, T. He, Z. Bai, D. Zietlow, C.-J.S.-G. Carl-Johann Simon-Gabriel, B. Shuai, Z. Tu, T. Brox, B. Schiele, Y. Fu, F. Locatello, Z. Zhang, T. Xiao, ArXiv (n.d.).
2023 | Journal Article | IST-REx-ID: 14985 |
Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS
Z. Liu, T. Hong, L. Xu, S. Wang, X. Gao, C. Chang, X. Ding, Y. Xiao, L. Zhao, Interdisciplinary Materials 2 (2023) 161–170.
[Published Version]
View
| Files available
| DOI
Z. Liu, T. Hong, L. Xu, S. Wang, X. Gao, C. Chang, X. Ding, Y. Xiao, L. Zhao, Interdisciplinary Materials 2 (2023) 161–170.
2023 | Conference Paper | IST-REx-ID: 13262 |
Provably-efficient and internally-deterministic parallel Union-Find
A. Fedorov, D. Hashemi, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–271.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Fedorov, D. Hashemi, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–271.
2023 | Thesis | IST-REx-ID: 14226 |
Generalizing medial axes with homology switches
E.R. Stephenson, Generalizing Medial Axes with Homology Switches, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
E.R. Stephenson, Generalizing Medial Axes with Homology Switches, Institute of Science and Technology Austria, 2023.
2022 | Journal Article | IST-REx-ID: 11511 |
On the variation in stellar α-enhancements of star-forming galaxies in the EAGLE simulation
A. Gebek, J.J. Matthee, The Astrophysical Journal 924 (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
A. Gebek, J.J. Matthee, The Astrophysical Journal 924 (2022).
2022 | Conference Paper | IST-REx-ID: 11812 |
Fully dynamic four-vertex subgraph counting
K. Hanauer, M.H. Henzinger, Q.C. Hua, in:, 1st Symposium on Algorithmic Foundations of Dynamic Networks, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
K. Hanauer, M.H. Henzinger, Q.C. Hua, in:, 1st Symposium on Algorithmic Foundations of Dynamic Networks, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
2022 | Conference Paper | IST-REx-ID: 12018
Lower bounds on list decoding capacity using error exponents
Y. Zhang, S. Vatedka, in:, 2022 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2022, pp. 1324–1329.
View
| DOI
Y. Zhang, S. Vatedka, in:, 2022 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2022, pp. 1324–1329.