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.
538 Publications
2024 | Journal Article | IST-REx-ID: 14820 | 
Schmid S, Svoboda J, Yeo MX. 2024. Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation. Theoretical Computer Science. 989, 114353.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Journal Article | IST-REx-ID: 14793 |
Valentini M, Sagi O, Baghumyan L, de Gijsel T, Jung J, Calcaterra S, Ballabio A, Aguilera Servin JL, Aggarwal K, Janik M, Adletzberger T, Seoane Souto R, Leijnse M, Danon J, Schrade C, Bakkers E, Chrastina D, Isella G, Katsaros G. 2024. Parity-conserving Cooper-pair transport and ideal superconducting diode in planar germanium. Nature Communications. 15, 169.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 14797 |
Clozeau N, Mattesini F. 2024. Annealed quantitative estimates for the quadratic 2D-discrete random matching problem. Probability Theory and Related Fields.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 14828
Kiran GK, Singh S, Mahato N, Sreekanth TVM, Dillip GR, Yoo K, Kim J. 2024. Interface engineering modulation combined with electronic structure modification of Zn-doped NiO heterostructure for efficient water-splitting activity. ACS Applied Energy Materials. 7(1), 214–229.
View
| DOI
| WoS
2024 | Journal Article | IST-REx-ID: 14934 |
Dello Schiavo L, Kopfer E, Sturm KT. 2024. A discovery tour in random Riemannian geometry. Potential Analysis.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Journal Article | IST-REx-ID: 12312 |
Lombardo D, Verzobio M. 2024. On the local-global principle for isogenies of abelian surfaces. Selecta Mathematica. 30(2), 18.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 15098 |
Agresti A, Luongo E. 2024. Global well-posedness and interior regularity of 2D Navier-Stokes equations with stochastic boundary conditions. Mathematische Annalen.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 15119 |
Agresti A, Veraar M. 2024. Stochastic maximal Lp(Lq)-regularity for second order systems with periodic boundary conditions. Annales de l’institut Henri Poincare Probability and Statistics. 60(1), 413–430.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 15121 |
Zheng DW, Henzinger MH. 2024. Multiplicative auction algorithm for approximate maximum weight bipartite matching. Mathematical Programming.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 15163 |
Campbell R, Hörsch F, Moore B. 2024. Decompositions into two linear forests of bounded lengths. Discrete Mathematics. 347(6), 113962.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 15323
Vercellino I, Sazanov LA. 2024. SCAF1 drives the compositional diversity of mammalian respirasomes. Nature Structural and Molecular Biology.
View
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15334 |
Abels H, Fei M, Moser M. 2024. Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility. Calculus of Variations and Partial Differential Equations. 63(4), 94.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 10045 |
Dvorak M, Kolmogorov V. 2024. Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 12760 |
Henzinger MH, Neumann S, Räcke H, Schmid S. 2023. Dynamic maintenance of monotone dynamic programs and applications. 40th International Symposium on Theoretical Aspects of Computer Science. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 254, 36.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 9652 |
Dymond M, Kaluza V. 2023. Highly irregular separated nets. Israel Journal of Mathematics. 253, 501–554.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Conference Paper | IST-REx-ID: 14084 |
Harris DG, Kolmogorov V. 2023. Parameter estimation for Gibbs distributions. 50th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 261, 72.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 13120 |
Dvorak M, Blanchette J. 2023. Closure properties of general grammars - formally verified. 14th International Conference on Interactive Theorem Proving. ITP: International Conference on Interactive Theorem Proving, LIPIcs, vol. 268, 15.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14344 |
Anastos M. 2023. Fast algorithms for solving the Hamilton cycle problem with high probability. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 2023, 2286–2323.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 11706 |
Liebenau A, Mattos L, Mendonca dos Santos W, Skokan J. 2023. Asymmetric Ramsey properties of random graphs involving cliques and cycles. Random Structures and Algorithms. 62(4), 1035–1055.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 12349 |
Gupta D, Mlynarski WF, Sumser AL, Symonova O, Svaton J, Jösch MA. 2023. Panoramic visual statistics shape retina-wide organization of receptive fields. Nature Neuroscience. 26, 606–614.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14408 |
Cipolloni G, Erdös L, Schröder DJ. 2023. Mesoscopic central limit theorem for non-Hermitian random matrices. Probability Theory and Related Fields.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12960 |
Boissonnat JD, Kachanovich S, Wintraecken M. 2023. Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations. SIAM Journal on Computing. 52(2), 452–486.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2023 | Journal Article | IST-REx-ID: 12683 |
Dubach G, Erdös L. 2023. Dynamics of a rank-one perturbation of a Hermitian matrix. Electronic Communications in Probability. 28, 1–13.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Conference Paper | IST-REx-ID: 14457 |
Hoffmann C, Simkin M. 2023. Stronger lower bounds for leakage-resilient secret sharing. 8th International Conference on Cryptology and Information Security in Latin America. LATINCRYPT: Conference on Cryptology and Information Security in Latin America, LNCS, vol. 14168, 215–228.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Journal Article | IST-REx-ID: 14444 |
Kwan MA, Sah A, Sawhney M, Simkin M. 2023. Substructures in Latin squares. Israel Journal of Mathematics. 256(2), 363–416.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 13238 |
Schmid S, Svoboda J, Yeo MX. 2023. Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation. SIROCCO 2023: Structural Information and Communication Complexity . SIROCCO: Structural Information and Communication Complexity, LNCS, vol. 13892, 576–594.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14660 |
Ivanov G, Naszódi M. 2023. Quantitative Steinitz theorem: A polynomial bound. Bulletin of the London Mathematical Society.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12838 |
Zhang Y, Vatedka S. 2023. Multiple packing: Lower bounds via infinite constellations. IEEE Transactions on Information Theory. 69(7), 4513–4527.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13318 |
Volberg A, Zhang H. 2023. Noncommutative Bohnenblust–Hille inequalities. Mathematische Annalen.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2023 | Thesis | IST-REx-ID: 14058 |
Puixeu Sala G. 2023. 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.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14421 |
Henheik SJ, Tumulka R. 2023. Creation rate of Dirac particles at a point source. Journal of Physics A: Mathematical and Theoretical. 56(44), 445201.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14445 |
Wagner U, Wild P. 2023. Coboundary expansion, equivariant overlap, and crossing numbers of simplicial complexes. Israel Journal of Mathematics. 256(2), 675–717.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14447 |
Bieleszová K, Hladík P, Kubala M, Napier R, Brunoni F, Gelová Z, Fiedler L, Kulich I, Strnad M, Doležal K, Novák O, Friml J, Žukauskaitė A. 2023. New fluorescent auxin derivatives: anti-auxin activity and accumulation patterns in Arabidopsis thaliana. Plant Growth Regulation.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 | Journal Article | IST-REx-ID: 14665 |
Zhang Y, Vatedka S. 2023. Multiple packing: Lower bounds via error exponents. IEEE Transactions on Information Theory.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14718 |
Pastva S, Henzinger TA. 2023. Binary decision diagrams on modern hardware. Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. FMCAD: Conference on Formal Methods in Computer-aided design, 122–131.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14755 |
Moser M. 2023. 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. 131(3–4), 297–383.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 9651 |
Dymond M, Kaluza V. 2023. Divergence of separated nets with respect to displacement equivalence. Geometriae Dedicata., 15.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14815 |
Beznosikov A, Horvath S, Richtarik P, Safaryan M. 2023. On biased compression for distributed learning. Journal of Machine Learning Research. 24, 1–50.
[Published Version]
View
| Files available
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13270 |
Brunck FR. 2023. Iterated medial triangle subdivision in surfaces of constant curvature. Discrete and Computational Geometry. 70(3), 1059–1089.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13269 |
Polyanskii N, Zhang Y. 2023. Codes for the Z-channel. IEEE Transactions on Information Theory. 69(10), 6340–6357.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14043 |
Henzinger MH, Jin B, Peng R, Williamson DP. 2023. A combinatorial cut-toggling algorithm for solving Laplacian linear systems. Algorithmica. 85, 2680–3716.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Preprint | IST-REx-ID: 14963 |
Zhao Z, Wang J, Horn M, Ding Y, He T, Bai Z, Zietlow D, Carl-Johann Simon-Gabriel C-JS-G, Shuai B, Tu Z, Brox T, Schiele B, Fu Y, Locatello F, Zhang Z, Xiao T. Object-centric multiple object tracking. arXiv, 2309.00233.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14985 |
Liu Z, Hong T, Xu L, Wang S, Gao X, Chang C, Ding X, Xiao Y, Zhao L. 2023. Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS. Interdisciplinary Materials. 2(1), 161–170.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13262 |
Fedorov A, Hashemi D, Nadiradze G, Alistarh D-A. 2023. Provably-efficient and internally-deterministic parallel Union-Find. Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures, 261–271.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Thesis | IST-REx-ID: 14226 |
Stephenson ER. 2023. Generalizing medial axes with homology switches. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 11511 |
Gebek A, Matthee JJ. 2022. On the variation in stellar α-enhancements of star-forming galaxies in the EAGLE simulation. The Astrophysical Journal. 924(2), 73.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 11812 |
Hanauer K, Henzinger MH, Hua QC. 2022. Fully dynamic four-vertex subgraph counting. 1st Symposium on Algorithmic Foundations of Dynamic Networks. SAND: Symposium on Algorithmic Foundations of Dynamic Networks, LIPIcs, vol. 221, 18.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 | Thesis | IST-REx-ID: 12072 |
Shute AL. 2022. Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 11777 |
Wild P. 2022. High-dimensional expansion and crossing numbers of simplicial complexes. Institute of Science and Technology.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 9649 |
Boissonnat J-D, Wintraecken M. 2022. The topological correctness of PL approximations of isomanifolds. Foundations of Computational Mathematics . 22, 967–1012.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 9364 |
Bonolis D. 2022. On the size of the maximum of incomplete Kloosterman sums. Mathematical Proceedings of the Cambridge Philosophical Society. 172(3), 563–590.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 10182
Vercellino I, Sazanov LA. 2022. The assembly, regulation and function of the mitochondrial respiratory chain. Nature Reviews Molecular Cell Biology. 23, 141–161.
View
| DOI
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 10604 |
Turelli M, Barton NH. 2022. Why did the Wolbachia transinfection cross the road? Drift, deterministic dynamics, and disease control. Evolution Letters. 6(1), 92–105.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 10623 |
Henheik SJ. 2022. The BCS critical temperature at high density. Mathematical Physics, Analysis and Geometry. 25(1), 3.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Research Data Reference | IST-REx-ID: 11686 |
Turelli M, Barton NH. 2022. Wolbachia frequency data from: Why did the Wolbachia transinfection cross the road? Drift, deterministic dynamics and disease control, Dryad, 10.25338/B81931.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2022 | Journal Article | IST-REx-ID: 10827 |
Lee JG, Pickard CJ, Cheng B. 2022. High-pressure phase behaviors of titanium dioxide revealed by a Δ-learning potential. The Journal of chemical physics. 156(7), 074106.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 10887 |
Ivanov G, Naszódi M. 2022. Functional John ellipsoids. Journal of Functional Analysis. 282(11), 109441.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 11341 |
Lukacisin M, Espinosa-Cantú A, Bollenbach MT. 2022. Intron-mediated induction of phenotypic heterogeneity. Nature. 605, 113–118.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 11179 |
Gauto DF, Macek P, Malinverni D, Fraga H, Paloni M, Sučec I, Hessel A, Bustamante JP, Barducci A, Schanda P. 2022. Functional control of a 0.5 MDa TET aminopeptidase by a flexible loop revealed by MAS NMR. Nature Communications. 13, 1927.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 11186 |
Kwan MA, Sah A, Sawhney M. 2022. Large deviations in random latin squares. Bulletin of the London Mathematical Society. 54(4), 1420–1438.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 11587 |
Zhang R, Kuo R, Coulter M, Calixto CPG, Entizne JC, Guo W, Marquez Y, Milne L, Riegler S, Matsui A, Tanaka M, Harvey S, Gao Y, Wießner-Kroh T, Paniagua A, Crespi M, Denby K, Hur AB, Huq E, Jantsch M, Jarmolowski A, Koester T, Laubinger S, Li QQ, Gu L, Seki M, Staiger D, Sunkar R, Szweykowska-Kulinska Z, Tu SL, Wachter A, Waugh R, Xiong L, Zhang XN, Conesa A, Reddy ASN, Barta A, Kalyna M, Brown JWS. 2022. A high-resolution single-molecule sequencing-based Arabidopsis transcriptome using novel methods of Iso-seq analysis. Genome Biology. 23, 149.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 12079 |
Hensel S, Moser M. 2022. Convergence rates for the Allen–Cahn equation with boundary contact energy: The non-perturbative regime. Calculus of Variations and Partial Differential Equations. 61(6), 201.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 12085 |
Mulla Y, Avellaneda Sarrió M, Roland A, Baldauf L, Jung W, Kim T, Tans SJ, Koenderink GH. 2022. Weak catch bonds make strong networks. Nature Materials. 21(9), 1019–1023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12210 |
Akylzhanov R, Kuznetsova Y, Ruzhansky M, Zhang H. 2022. Norms of certain functions of a distinguished Laplacian on the ax + b groups. Mathematische Zeitschrift. 302(4), 2327–2352.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 12214 |
Gehér GP, Titkos T, Virosztek D. 2022. The isometry group of Wasserstein spaces: The Hilbertian case. Journal of the London Mathematical Society. 106(4), 3865–3894.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 13452 |
Keszthelyi Z, de Koter A, Götberg YLL, Meynet G, Brands SA, Petit V, Carrington M, David-Uraz A, Geen ST, Georgy C, Hirschi R, Puls J, Ramalatswa KJ, Shultz ME, ud-Doula A. 2022. The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at Solar, LMC, and SMC metallicities. Monthly Notices of the Royal Astronomical Society. 517(2), 2028–2055.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 14098 |
Keszthelyi Z, Koter A de, Götberg YLL, Meynet G, Brands SA, Petit V, Carrington M, A. David-Uraz AD-U, Geen ST, Georgy C, Hirschi R, Puls J, Ramalatswa KJ, Shultz ME, A. ud-Doula A ud-Doula. 2022. The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at solar, LMC, and SMC metallicities. Monthly Notices of the Royal Astronomical Society. 517(2), 2028–2055.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12274 |
Azkanaz M, Corominas-Murtra B, Ellenbroek SIJ, Bruens L, Webb AT, Laskaris D, Oost KC, Lafirenze SJA, Annusver K, Messal HA, Iqbal S, Flanagan DJ, Huels DJ, Rojas-Rodríguez F, Vizoso M, Kasper M, Sansom OJ, Snippert HJ, Liberali P, Simons BD, Katajisto P, Hannezo EB, van Rheenen J. 2022. Retrograde movements determine effective stem cell numbers in the intestine. Nature. 607(7919), 548–554.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 14437
Utzat H, Ibáñez M. 2022. Molecular engineering enables bright blue LEDs. Nature. 612(7941), 638–639.
View
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 10850 |
Roos B, Seiringer R. 2022. Two-particle bound states at interfaces and corners. Journal of Functional Analysis. 282(12), 109455.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Thesis | IST-REx-ID: 11626 |
Gallei MC. 2022. Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 7791 |
Akopyan A, Karasev R. 2022. When different norms lead to same billiard trajectories? European Journal of Mathematics. 8(4), 1309–1312.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Preprint | IST-REx-ID: 14597 |
Fischer JL, Marveggio A. Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow. arXiv, 10.48550/ARXIV.2203.17143.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Thesis | IST-REx-ID: 11879 |
Artner C. 2022. Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 12366 |
Redchenko E. 2022. Controllable states of superconducting Qubit ensembles. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 | Conference Paper | IST-REx-ID: 10552 |
Kolmogorov V, Pock T. 2021. One-sided Frank-Wolfe algorithms for saddle problems. 38th International Conference on Machine Learning. ICML: International Conference on Machine Learning.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10595 |
Nguyen Q, Mondelli M, Montufar GF. 2021. Tight bounds on the smallest eigenvalue of the neural tangent kernel for deep ReLU networks. Proceedings of the 38th International Conference on Machine Learning. ICML: International Conference on Machine Learning, Proceedings of Machine Learning Research, vol. 139, 8119–8129.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10630 |
Arrighi E, Fernau H, Hoffmann S, Holzer M, Jecker IR, De Oliveira Oliveira M, Wolf P. 2021. On the complexity of intersection non-emptiness for star-free language classes. 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 213, 34.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Conference Paper | IST-REx-ID: 10629 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2021. Quantitative verification on product graphs of small treewidth. 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 213, 42.
[Published Version]
View
| Files available
| DOI
2021 | Conference Paper | IST-REx-ID: 10688 |
Kragl B, Qadeer S. 2021. The Civl verifier. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, Conference Series, vol. 2, 143–152.
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 11512 |
Boogaard LA, Bouwens RJ, Riechers D, van der Werf P, Bacon R, Matthee JJ, Stefanon M, Feltre A, Maseda M, Inami H, Aravena M, Brinchmann J, Carilli C, Contini T, Decarli R, González-López J, Nanayakkara T, Walter F. 2021. Measuring the average molecular gas content of star-forming galaxies at z = 3–4. The Astrophysical Journal. 916(1), 12.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 11585 |
Matthee JJ. 2021. Differences in galaxy colours are not just about the mass. Nature Astronomy. 5, 984–985.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 11609 |
Park J, Prat V, Mathis S, Bugnet LA. 2021. Horizontal shear instabilities in rotating stellar radiation zones: II. Effects of the full Coriolis acceleration. Astronomy & Astrophysics. 646, A64.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 11756 |
Henzinger MH, Peng P. 2021. Constant-time dynamic weight approximation for minimum spanning forest. Information and Computation. 281(12), 104805.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 11771 |
Henzinger MH, Wu X. 2021. Upper and lower bounds for fully retroactive graph problems. 17th International Symposium on Algorithms and Data Structures. WADS: Workshop on Algorithms and Data Structures, LNCS, vol. 12808, 471–484.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 11814 |
Fichtenberger H, Henzinger MH, Ost W. 2021. Differentially private algorithms for graphs under continual observation. 29th Annual European Symposium on Algorithms. ESA: Annual European Symposium on Algorithms, LIPIcs, vol. 204, 42.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 11919 |
Bergamaschi T, Henzinger MH, Gutenberg MP, Williams VV, Wein N. 2021. New techniques and fine-grained hardness for dynamic near-additive spanners. 32nd Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1836–1855.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 11923 |
Henzinger MH, Neumann S, Räcke H, Schmid S. 2021. Tight bounds for online graph partitioning. 32nd Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 2799–2818.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Preprint | IST-REx-ID: 12077 |
Shute AL. On the leading constant in the Manin-type conjecture for Campana points. arXiv, 2104.14946.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Preprint | IST-REx-ID: 12076 |
Shute AL. Sums of four squareful numbers. arXiv, 2104.06966.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Preprint | IST-REx-ID: 12314 |
Verzobio M. A recurrence relation for elliptic divisibility sequences. arXiv, 2102.07573.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Book Chapter | IST-REx-ID: 9403 |
Schmid L, Hilbe C. 2021.The evolution of strategic ignorance in strategic interaction. In: Deliberate Ignorance: Choosing Not To Know. vol. 29, 139–152.
[Published Version]
View
| Download Published Version (ext.)
2021 | Journal Article | IST-REx-ID: 9465 |
Edelsbrunner H, Nikitenko A, Osang GF. 2021. A step in the Delaunay mosaic of order k. Journal of Geometry. 112(1), 15.
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 12308 |
Verzobio M. 2021. Primitive divisors of sequences associated to elliptic curves with complex multiplication. Research in Number Theory. 7(2), 37.
[Published Version]
View
| DOI
| Download Published Version (ext.)