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.

1606 Publications


2024 | Journal Article | IST-REx-ID: 14820 | OA
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: 14794 | OA
Hansen AH, Hippenmeyer S. 2024. Time-lapse imaging of cortical projection neuron migration in mice using mosaic analysis with double markers. STAR Protocols. 5(1), 102795.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2024 | Journal Article | IST-REx-ID: 14852 | OA
Kramarenko I, Kerutt J, Verhamme A, Oesch PA, Barrufet L, Matthee JJ, Kusakabe H, Goovaerts I, Thai TT. 2024. Linking UV spectral properties of MUSE Ly α emitters at z ≳ 3 to Lyman continuum escape. Monthly Notices of the Royal Astronomical Society. 527(4), 9853–9871.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Conference Paper | IST-REx-ID: 14888 | OA
De Nooijer P, Terziadis S, Weinberger A, Masárová Z, Mchedlidze T, Löffler M, Rote G. 2024. Removing popular faces in curve arrangements. 31st International Symposium on Graph Drawing and Network Visualization. GD: Graph Drawing and Network Visualization, LNCS, vol. 14466, 18–33.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 14884 | OA
Davoli E, D’Elia L, Ingmanns J. 2024. Stochastic homogenization of micromagnetic energies and emergence of magnetic skyrmions. Journal of Nonlinear Science. 34(2), 30.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 14885 | OA
Shaw T, Buri P, McCarthy M, Miles ES, Pellicciotti F. 2024. Local controls on near-surface glacier cooling under warm atmospheric conditions. Journal of Geophysical Research: Atmospheres. 129(2), e2023JD040214.
[Published Version] View | Files available | DOI
 

2024 | Conference Paper | IST-REx-ID: 15012 | OA
Pach J, Saghafian M, Schnider P. 2024. Decomposition of geometric graphs into star-forests. 31st International Symposium on Graph Drawing and Network Visualization. GD: Graph Drawing and Network Visualization, LNCS, vol. 14465, 339–346.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Conference Paper | IST-REx-ID: 15008 | OA
Goranci G, Henzinger MH, Räcke H, Sachdeva S, Sricharan AR. 2024. Electrical flows for polylogarithmic competitive oblivious routing. 15th Innovations in Theoretical Computer Science Conference. ITCS: Innovations in Theoretical Computer Science Conference, LIPIcs, vol. 287, 55.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Journal Article | IST-REx-ID: 15003
Franco DG, Avalos R, Hafner D, Modic KA, Prots Y, Stockert O, Hoser A, Moll PJW, Brando M, Aligia AA, Geibel C. 2024. Frustrated magnetism in octahedra-based Ce6 Ni6 P17. Physical Review B. 109(5), 054405.
View | DOI
 

2024 | Journal Article | IST-REx-ID: 15018 | OA
Shimura Y, Godfrin C, Hikavyy A, Li R, Aguilera Servin JL, Katsaros G, Favia P, Han H, Wan D, de Greve K, Loo R. 2024. Compressively strained epitaxial Ge layers for quantum computing applications. Materials Science in Semiconductor Processing. 174(5), 108231.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Thesis | IST-REx-ID: 15020 | OA
Hledik M. 2024. Genetic information and biological optimization. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 15121 | OA
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: 15170 | OA
Greene JE, Labbe I, Goulding AD, Furtak LJ, Chemerynska I, Kokorev V, Dayal P, Volonteri M, Williams CC, Wang B, Setton DJ, Burgasser AJ, Bezanson R, Atek H, Brammer G, Cutler SE, Feldmann R, Fujimoto S, Glazebrook K, De Graaff A, Khullar G, Leja J, Marchesini D, Maseda MV, Matthee JJ, Miller TB, Naidu RP, Nanayakkara T, Oesch PA, Pan R, Papovich C, Price SH, Van Dokkum P, Weaver JR, Whitaker KE, Zitrin A. 2024. UNCOVER spectroscopy confirms the surprising ubiquity of active galactic nuclei in red sources at z > 5. Astrophysical Journal. 964, 39.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Conference Paper | IST-REx-ID: 15168 | OA
Filakovský M, Nakajima TV, Opršal J, Tasinato G, Wagner U. 2024. Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs. 41st International Symposium on Theoretical Aspects of Computer Science. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 289, 34.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Journal Article | IST-REx-ID: 15163 | OA
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: 15180 | OA
Matthee JJ, Naidu RP, Brammer G, Chisholm J, Eilers A-C, Goulding A, Greene J, Kashino D, Labbe I, Lilly SJ, Mackenzie R, Oesch PA, Weibel A, Wuyts S, Xiao M, Bordoloi R, Bouwens R, van Dokkum P, Illingworth G, Kramarenko I, Maseda MV, Mason C, Meyer RA, Nelson EJ, Reddy NA, Shivaei I, Simcoe RA, Yue M. 2024. Little Red Dots: An abundant population of faint active galactic nuclei at z ∼ 5 revealed by the EIGER and FRESCO JWST surveys. The Astrophysical Journal. 963(2), 129.
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 15249 | OA
Matthee JJ, Golling C, Mackenzie R, Pezzulli G, Lilly S, Schaye J, Bacon R, Kusakabe H, Urrutia T, Boogaard L, Brinchmann J, Maseda MV, Garel T, Bouché NF, Wisotzki L. 2024. Large-scale excess H I absorption around z ≈ 4 galaxies detected in a background galaxy spectrum in the MUSE eXtremely deep field. Monthly Notices of the Royal Astronomical Society. 529(3), 2794–2806.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Thesis | IST-REx-ID: 14711 | OA
Olusanya OO. 2024. Local adaptation, genetic load and extinction in metapopulations. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 15314
Mahato N, Singh S, Sreekanth TVM, Yoo K, Kim J. 2024. Polycrystalline phases engineered in-situ in polyaniline-graphene composite evoluting an exceptional stability and high charge storage capacity: An EIS investigative approach to evaluate material’s stability. Journal of Energy Storage. 88, 111464.
View | DOI
 

2024 | Journal Article | IST-REx-ID: 15336 | OA
Pensabene A, Cantalupo S, Cicone C, Decarli R, Galbiati M, Ginolfi M, De Beer S, Fossati M, Fumagalli M, Lazeyras T, Pezzulli G, Travascio A, Wang W, Matthee JJ, Maseda MV. 2024. ALMA survey of a massive node of the Cosmic Web at z ∼ 3: I. Discovery of a large overdensity of CO emitters. Astronomy and Astrophysics. 684, A119.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Journal Article | IST-REx-ID: 15311 | OA
Zeng Z, Shen X, Cheng R, Perez O, Ouyang N, Fan Z, Lemoine P, Raveau B, Guilmeau E, Chen Y. 2024. Pushing thermal conductivity to its lower limit in crystals with simple structures. Nature Communications. 15, 3007.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Journal Article | IST-REx-ID: 15312 | OA
Browning TD, Shparlinski IE. 2024. Square-free values of random polynomials. Journal of Number Theory. 261, 220–240.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2024 | Conference Paper | IST-REx-ID: 15333 | OA
Chalupa M, Richter C. 2024. Bubaak-SpLit: Split what you cannot verify (Competition contribution). 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 14572, 353–358.
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 15348
Mahato N, Singh S, Sreekanth TVM, Yoo K, Kim J. 2024. In-situ engineered highly crystalline polythiophene empowered electrochemical capacitor-I: Synthesis, characterization, and electrochemical charge storage. Materials Letters. 365, 136483.
View | DOI
 

2023 | Journal Article | IST-REx-ID: 12158 | OA
Zeller P, Yeung J, Viñas Gaza H, de Barbanson BA, Bhardwaj V, Florescu M, van der Linden R, van Oudenaarden A. 2023. Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. 55, 333–345.
[Published Version] View | Files available | DOI
 

2023 | Book Chapter | IST-REx-ID: 12720
Arroyo-Urea S, Watson J, García-Nafría J. 2023.Molecular Cloning Using In Vivo DNA Assembly. In: DNA Manipulation and Analysis. Methods in Molecular Biology, vol. 2633, 33–44.
View | DOI | PubMed | Europe PMC
 

2023 | Conference Poster | IST-REx-ID: 12736 | OA
Aksenov V, Brown TA, Fedorov A, Kokorin I. 2023. Unexpected scaling in path copying trees, Association for Computing Machinery,p.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 12854 | OA
Chalupa M, Henzinger TA. 2023. Bubaak: Runtime monitoring of program verifiers. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13994, 535–540.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 12856 | OA
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. Vamos: Middleware for best-effort third-party monitoring. Fundamental Approaches to Software Engineering. FASE: Fundamental Approaches to Software Engineering, LNCS, vol. 13991, 260–281.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13143 | OA
Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. 2023. Certifying giant nonprimes. Public-Key Cryptography - PKC 2023. PKC: Public-Key Cryptography, LNCS, vol. 13940, 530–553.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 13142 | OA
Chatterjee K, Henzinger TA, Lechner M, Zikelic D. 2023. A learner-verifier framework for neural network controllers and certificates of stochastic systems. Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13993, 3–25.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13141 | OA
Anand A, Mallik K, Nayak SP, Schmuck AK. 2023. Computing adequately permissive assumptions for synthesis. TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13994, 211–228.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 12467 | OA
Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Quantitative safety and liveness. 26th International Conference Foundations of Software Science and Computation Structures. FOSSACS: Foundations of Software Science and Computation Structures, LNCS, vol. 13992, 349–370.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 12737
García-Romero Á, Waters JE, Jethwa RB, Bond AD, Colebatch AL, García-Rodríguez R, Wright DS. 2023. Highly adaptive nature of group 15 tris(quinolyl) ligands─studies with coinage metals. Inorganic Chemistry. 62(11), 4625–4636.
View | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12788 | OA
Karle V, Ghazaryan A, Lemeshko M. 2023. Topological charges of periodically kicked molecules. Physical Review Letters. 130(10), 103202.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12839 | OA
Ljubotina M, Desaules JY, Serbyn M, Papić Z. 2023. Superdiffusive energy transport in kinetically constrained models. Physical Review X. 13(1), 011033.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 13129 | OA
Clozeau N, Josien M, Otto F, Xu Q. 2023. Bias in the representative volume element method: Periodize the ensemble instead of its realizations. Foundations of Computational Mathematics.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2023 | Thesis | IST-REx-ID: 12964
Boocock DR. 2023. Mechanochemical pattern formation across biological scales. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13970 | OA
Madani A, Sletten ET, Cavedon C, Seeberger PH, Pieber B. 2023. Visible-light-mediated oxidative debenzylation of 3-O-Benzyl-1,2:5,6-di-O-isopropylidene-α-D-glucofuranose. Organic Syntheses. 100, 271–286.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Thesis | IST-REx-ID: 12885 | OA
Calcabrini M. 2023. Nanoparticle-based semiconductor solids: From synthesis to consolidation. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 12331 | OA
Wang S, Chang C, Bai S, Qin B, Zhu Y, Zhan S, Zheng J, Tang S, Zhao LD. 2023. Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe. Chemistry of Materials. 35(2), 755–763.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12106 | OA
Yeung J, Florescu M, Zeller P, De Barbanson BA, Wellenstein MD, Van Oudenaarden A. 2023. scChIX-seq infers dynamic relationships between histone modifications in single cells. Nature Biotechnology. 41, 813–823.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12183 | OA
Boccato C, Seiringer R. 2023. The Bose Gas in a box with Neumann boundary conditions. Annales Henri Poincare. 24, 1505–1560.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13989 | OA
Hales J, Bajpai U, Liu T, Baykusheva DR, Li M, Mitrano M, Wang Y. 2023. Witnessing light-driven entanglement using time-resolved resonant inelastic X-ray scattering. Nature Communications. 14, 3512.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2023 | Thesis | IST-REx-ID: 13175 | OA
Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12900
Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13310 | OA
Henzinger TA, Karimi M, Kueffner K, Mallik K. 2023. Monitoring algorithmic fairness. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13965, 358–382.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 12205 | OA
Glajzer J, Castillo-Tong DC, Richter R, Vergote I, Kulbe H, Vanderstichele A, Ruscito I, Trillsch F, Mustea A, Kreuzinger C, Gourley C, Gabra H, Taube ET, Dorigo O, Horst D, Keunecke C, Baum J, Angelotti T, Sehouli J, Braicu EI. 2023. Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium. Annals of Surgical Oncology. 30, 35–45.
[Published Version] View | Files available | DOI | WoS
 

2023 | Conference Paper | IST-REx-ID: 14259 | OA
Kretinsky J, Meggendorfer T, Prokop M, Rieder S. 2023. Guessing winning policies in LTL synthesis by semantic learning. 35th International Conference on Computer Aided Verification . CAV: Computer Aided Verification, LNCS, vol. 13964, 390–414.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14318 | OA
Sun Y, Fu H, Chatterjee K, Goharshady AK. 2023. Automated tail bound analysis for probabilistic recurrence relations. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13966, 16–39.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14317 | OA
Akshay S, Chatterjee K, Meggendorfer T, Zikelic D. 2023. MDPs as distribution transformers: Affine invariant synthesis for safety objectives. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13966, 86–112.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13120 | OA
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 | Journal Article | IST-REx-ID: 10770 | OA
Graham T, Kleshnina M, Filar JA. 2023. Where do mistakes lead? A survey of games with incompetent players. Dynamic Games and Applications. 13, 231–264.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12961
Wagner B, Šlipogor V, Oh J, Varga M, Hoeschele M. 2023. A comparison between common marmosets (Callithrix jacchus) and human infants sheds light on traits proposed to be at the root of human octave equivalence. Developmental Science. 26(5), e13395.
View | DOI | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12709 | OA
Corbet R, Kerber M, Lesnick M, Osang GF. 2023. Computing the multicover bifiltration. Discrete and Computational Geometry. 70, 376–405.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12763 | OA
Boissonnat JD, Wintraecken M. 2023. The reach of subsets of manifolds. Journal of Applied and Computational Topology. 7, 619–641.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14410
Tomaszewska P, Lampert C. 2023. On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift. International Workshop on Reproducible Research in Pattern Recognition. RRPR: Reproducible Research in Pattern Recognition, LNCS, vol. 14068, 67–73.
View | DOI
 

2023 | Conference Paper | IST-REx-ID: 14428 | OA
Dodis Y, Ferguson N, Goldin E, Hall P, Pietrzak KZ. 2023. Random oracle combiners: Breaking the concatenation barrier for collision-resistance. 43rd Annual International Cryptology Conference. CRYPTO: Advances in Cryptology, LNCS, vol. 14082, 514–546.
[Preprint] View | DOI | Download Preprint (ext.)
 

2023 | Journal Article | IST-REx-ID: 13200 | OA
Qiu L, Sahu R, Hease WJ, Arnold GM, Fink JM. 2023. Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action. Nature Communications. 14, 3784.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2023 | Journal Article | IST-REx-ID: 12683 | OA
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 | Journal Article | IST-REx-ID: 8682 | OA
Browning TD, Boudec PL, Sawin W. 2023. The Hasse principle for random Fano hypersurfaces. Annals of Mathematics. 197(3), 1115–1203.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14457 | OA
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 | Conference Paper | IST-REx-ID: 14454 | OA
Henzinger TA, Kueffner K, Mallik K. 2023. Monitoring algorithmic fairness under partial observations. 23rd International Conference on Runtime Verification. RV: Conference on Runtime Verification, LNCS, vol. 14245, 291–311.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 14441 | OA
Brooks M, Seiringer R. 2023. The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy. Communications in Mathematical Physics. 404, 287–337.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 14488 | OA
Rao P, Mallikarjun BR, Fox G, Weyrich T, Bickel B, Pfister H, Matusik W, Zhan F, Tewari A, Theobalt C, Elgharib M. 2023. A deeper analysis of volumetric relightiable faces. International Journal of Computer Vision.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14516 | OA
Beaver D, Kelkar M, Lewi K, Nikolaenko V, Sonnino A, Chalkias K, Kokoris Kogias E, Naurois LD, Roy A. 2023. STROBE: Streaming Threshold Random Beacons. 5th Conference on Advances in Financial Technologies. AFT: Conference on Advances in Financial Technologies, LIPIcs, vol. 282, 7.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 13119 | OA
Helson V, Zwettler T, Mivehvar F, Colella E, Roux KER, Konishi H, Ritsch H, Brantut JP. 2023. Density-wave ordering in a unitary Fermi gas with photon-mediated interactions. Nature. 618, 716–720.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 14558
Bhattacharya S, Henzinger MH, Nanongkai D, Wu X. 2023. Deterministic near-optimal approximation algorithms for dynamic set cover. SIAM Journal on Computing. 52(5), 1132–1192.
View | DOI
 

2023 | Conference Paper | IST-REx-ID: 14559
Ansaripour M, Chatterjee K, Henzinger TA, Lechner M, Zikelic D. 2023. Learning provably stabilizing neural controllers for discrete-time stochastic systems. 21st International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 14215, 357–379.
View | DOI
 

2023 | Journal Article | IST-REx-ID: 12334 | OA
Fäßler F, Javoor M, Datler J, Döring H, Hofer F, Dimchev GA, Hodirnau V-V, Faix J, Rottner K, Schur FK. 2023. ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion through differential Ena/VASP positioning. Science Advances. 9(3), add6495.
[Published Version] View | Files available | DOI | WoS
 

2023 | Research Data | IST-REx-ID: 14562 | OA
Schur FK. 2023. Research data of the publication ‘ArpC5 isoforms regulate Arp2/3 complex-dependent protrusion through differential Ena/VASP positioning’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:14562.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14610 | OA
Bussi C, Mangiarotti A, Vanhille-Campos CE, Aylan B, Pellegrino E, Athanasiadi N, Fearns A, Rodgers A, Franzmann TM, Šarić A, Dimova R, Gutierrez MG. 2023. Stress granules plug and stabilize damaged endolysosomal membranes. Nature.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 13238 | OA
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: 12487 | OA
Scarpetta S, Morrisi N, Mutti C, Azzi N, Trippi I, Ciliento R, Apicella I, Messuti G, Angiolelli M, Lombardi F, Parrino L, Vaudano AE. 2023. Criticality of neuronal avalanches in human sleep and their relationship with sleep macro- and micro-architecture. iScience. 26(10), 107840.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 13227 | OA
Hassani F, Peruzzo M, Kapoor L, Trioni A, Zemlicka M, Fink JM. 2023. Inductively shunted transmons exhibit noise insensitive plasmon states and a fluxon decay exceeding 3 hours. Nature Communications. 14, 3968.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 13271 | OA
Zhang H. 2023. Some convexity and monotonicity results of trace functionals. Annales Henri Poincare.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13317 | OA
Sugimoto S, Henheik SJ, Riabov V, Erdös L. 2023. Eigenstate thermalisation hypothesis for translation invariant spin systems. Journal of Statistical Physics. 190(7), 128.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13974 | OA
Fulek R, Gärtner B, Kupavskii A, Valtr P, Wagner U. 2023. The crossing Tverberg theorem. Discrete and Computational Geometry.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14041 | OA
Méhes E, Mones E, Varga M, Zsigmond Á, Biri-Kovács B, Nyitray L, Barone V, Krens G, Heisenberg C-PJ, Vicsek T. 2023. 3D cell segregation geometry and dynamics are governed by tissue surface tension regulation. Communications Biology. 6, 817.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Thesis | IST-REx-ID: 14058 | OA
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: 14077 | OA
Puixeu Sala G, Macon A, Vicoso B. 2023. Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. G3: Genes, Genomes, Genetics. 13(8).
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 14435
Zeng G, Sun Q, Horta S, Wang S, Lu X, Zhang C, Li J, Li J, Ci L, Tian Y, Ibáñez M, Cabot A. A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries. Advanced Materials., 2305128.
View | DOI | WoS | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 14693 | OA
Hoffmann C, Hubáček P, Kamath C, Krňák T. 2023. (Verifiable) delay functions from Lucas sequences. 21st International Conference on Theory of Cryptography. TCC: Theory of Cryptography, LNCS, vol. 14372, 336–362.
[Preprint] View | DOI | Download Preprint (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14691 | OA
Auerbach B, Cueto Noval M, Pascual Perez G, Pietrzak KZ. 2023. On the cost of post-compromise security in concurrent Continuous Group-Key Agreement. 21st International Conference on Theory of Cryptography. TCC: Theory of Cryptography, LNCS, vol. 14371, 271–300.
[Preprint] View | DOI | Download Preprint (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14692 | OA
Auerbach B, Hoffmann C, Pascual Perez G. 2023. Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing. 21st International Conference on Theory of Cryptography. , LNCS, vol. 14371, 301–330.
[Preprint] View | DOI | Download Preprint (ext.)
 

2023 | Thesis | IST-REx-ID: 14697
Stopp JA. 2023. Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14718 | OA
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: 14726 | OA
Zhou L-Z, Wang L, Chen X, Ge Z, Mergner J, Li X, Küster B, Längst G, Qu L-J, Dresselhaus T. 2023. The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize. The Plant Cell., koad324.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 12833 | OA
Biniaz A, Jain K, Lubiw A, Masárová Z, Miltzow T, Mondal D, Naredla AM, Tkadlec J, Turcotte A. 2023. Token swapping on trees. Discrete Mathematics and Theoretical Computer Science. 24(2), 9.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14735 | OA
Stefo C, Xiang Z, Kokoris Kogias E. 2023. Executing and proving over dirty ledgers. 27th International Conference on Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 13950, 3–20.
[Preprint] View | DOI | Download Preprint (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14736
Bastankhah M, Chatterjee K, Maddah-Ali MA, Schmid S, Svoboda J, Yeo MX. 2023. R2: Boosting liquidity in payment channel networks with online admission control. 27th International Conference on Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 13950, 309–325.
View | DOI
 

2023 | Conference Paper | IST-REx-ID: 14744
Avarikioti Z, Desjardins A, Kokoris Kogias E, Wattenhofer R. 2023. Divide & Scale: Formalization and roadmap to robust sharding. 30th International Colloquium on Structural Information and Communication Complexity. SIROCCO: Structural Information and Communication Complexity, LNCS, vol. 13892, 199–245.
View | DOI
 

2023 | Journal Article | IST-REx-ID: 14751 | OA
Zhang Y. 2023. Zero-error communication over adversarial MACs. IEEE Transactions on Information Theory. 69(7), 4093–4127.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 14776 | OA
Teplova A, Pigidanov AA, Serebryakova MV, Golyshev SA, Galiullina RA, Chichkova NV, Vartapetian AB. 2023. Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3. International Journal of Molecular Sciences. 24(22), 16527.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14775 | OA
Schnelli K, Xu Y. 2023. Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices. The Annals of Applied Probability. 33(1), 677–725.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 9651 | OA
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 | Conference Paper | IST-REx-ID: 14768 | OA
Cohen-Addad V, Saulpic D, Schwiegelshohn C. 2023. Deterministic clustering in high dimensional spaces: Sketches and approximation. 2023 IEEE 64th Annual Symposium on Foundations of Computer Science. FOCS: Symposium on Foundations of Computer Science, 1105–1130.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 14782 | OA
Baldauf L, Frey FF, Arribas Perez M, Idema T, Koenderink GH. 2023. Branched actin cortices reconstituted in vesicles sense membrane curvature. Biophysical Journal. 122(11), 2311–2324.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Thesis | IST-REx-ID: 14539 | OA
Zikelic D. 2023. Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14456 | OA
Křišťan JM, Svoboda J. 2023. Shortest dominating set reconfiguration under token sliding. 24th International Symposium on Fundamentals of Computation Theory. FCT: Fundamentals of Computation Theory, LNCS, vol. 14292, 333–347.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

isbn%3D978-3-95977-087-3

Search

Filter Publications