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.
1605 Publications
2024 | Journal Article | IST-REx-ID: 14820 | 
Schmid S, Svoboda J, Yeo MX. Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation. Theoretical Computer Science. 2024;989. doi:10.1016/j.tcs.2023.114353
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Journal Article | IST-REx-ID: 14794 |
Hansen AH, Hippenmeyer S. Time-lapse imaging of cortical projection neuron migration in mice using mosaic analysis with double markers. STAR Protocols. 2024;5(1). doi:10.1016/j.xpro.2023.102795
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 14852 |
Kramarenko I, Kerutt J, Verhamme A, et al. Linking UV spectral properties of MUSE Ly α emitters at z ≳ 3 to Lyman continuum escape. Monthly Notices of the Royal Astronomical Society. 2024;527(4):9853-9871. doi:10.1093/mnras/stad3853
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Conference Paper | IST-REx-ID: 14888 |
De Nooijer P, Terziadis S, Weinberger A, et al. Removing popular faces in curve arrangements. In: 31st International Symposium on Graph Drawing and Network Visualization. Vol 14466. Springer Nature; 2024:18-33. doi:10.1007/978-3-031-49275-4_2
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 14884 |
Davoli E, D’Elia L, Ingmanns J. Stochastic homogenization of micromagnetic energies and emergence of magnetic skyrmions. Journal of Nonlinear Science. 2024;34(2). doi:10.1007/s00332-023-10005-3
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 14885 |
Shaw T, Buri P, McCarthy M, Miles ES, Pellicciotti F. Local controls on near-surface glacier cooling under warm atmospheric conditions. Journal of Geophysical Research: Atmospheres. 2024;129(2). doi:10.1029/2023JD040214
[Published Version]
View
| Files available
| DOI
2024 | Conference Paper | IST-REx-ID: 15012 |
Pach J, Saghafian M, Schnider P. Decomposition of geometric graphs into star-forests. In: 31st International Symposium on Graph Drawing and Network Visualization. Vol 14465. Springer Nature; 2024:339-346. doi:10.1007/978-3-031-49272-3_23
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Conference Paper | IST-REx-ID: 15008 |
Goranci G, Henzinger MH, Räcke H, Sachdeva S, Sricharan AR. Electrical flows for polylogarithmic competitive oblivious routing. In: 15th Innovations in Theoretical Computer Science Conference. Vol 287. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.ITCS.2024.55
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15003
Franco DG, Avalos R, Hafner D, et al. Frustrated magnetism in octahedra-based Ce6 Ni6 P17. Physical Review B. 2024;109(5). doi:10.1103/PhysRevB.109.054405
View
| DOI
2024 | Journal Article | IST-REx-ID: 15018 |
Shimura Y, Godfrin C, Hikavyy A, et al. Compressively strained epitaxial Ge layers for quantum computing applications. Materials Science in Semiconductor Processing. 2024;174(5). doi:10.1016/j.mssp.2024.108231
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Thesis | IST-REx-ID: 15020 |
Hledik M. Genetic information and biological optimization. 2024. doi:10.15479/at:ista:15020
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 15121 |
Zheng DW, Henzinger MH. Multiplicative auction algorithm for approximate maximum weight bipartite matching. Mathematical Programming. 2024. doi:10.1007/s10107-024-02066-3
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 15170 |
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 |
Filakovský M, Nakajima TV, Opršal J, Tasinato G, Wagner U. Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs. In: 41st International Symposium on Theoretical Aspects of Computer Science. Vol 289. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.STACS.2024.34
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15163 |
Campbell R, Hörsch F, Moore B. Decompositions into two linear forests of bounded lengths. Discrete Mathematics. 2024;347(6). doi:10.1016/j.disc.2024.113962
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 15180 |
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 |
Matthee JJ, Golling C, Mackenzie R, et al. 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. 2024;529(3):2794-2806. doi:10.1093/mnras/stae673
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Thesis | IST-REx-ID: 14711 |
Olusanya OO. Local adaptation, genetic load and extinction in metapopulations. 2024. doi:10.15479/at:ista:14711
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 15314
Mahato N, Singh S, Sreekanth TVM, Yoo K, Kim J. 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. 2024;88. doi:10.1016/j.est.2024.111464
View
| DOI
2024 | Journal Article | IST-REx-ID: 15336 |
Pensabene A, Cantalupo S, Cicone C, et al. 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. 2024;684. doi:10.1051/0004-6361/202348659
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Conference Paper | IST-REx-ID: 15333 |
Chalupa M, Richter C. Bubaak-SpLit: Split what you cannot verify (Competition contribution). In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 14572. Cham: Springer Nature; 2024:353–358. doi:10.1007/978-3-031-57256-2_20
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 15311 |
Zeng Z, Shen X, Cheng R, et al. Pushing thermal conductivity to its lower limit in crystals with simple structures. Nature Communications. 2024;15(1). doi:10.1038/s41467-024-46799-3
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15312 |
Browning TD, Shparlinski IE. Square-free values of random polynomials. Journal of Number Theory. 2024;261:220-240. doi:10.1016/j.jnt.2024.02.013
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12158 |
Zeller P, Yeung J, Viñas Gaza H, et al. Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. 2023;55:333-345. doi:10.1038/s41588-022-01260-3
[Published Version]
View
| Files available
| DOI
2023 | Book Chapter | IST-REx-ID: 12720
Arroyo-Urea S, Watson J, García-Nafría J. Molecular Cloning Using In Vivo DNA Assembly. In: Scarlett G, ed. DNA Manipulation and Analysis. Vol 2633. MIMB. New York, NY, United States: Springer Nature; 2023:33-44. doi:10.1007/978-1-0716-3004-4_3
View
| DOI
| PubMed | Europe PMC
2023 | Conference Poster | IST-REx-ID: 12736 |
Aksenov V, Brown TA, Fedorov A, Kokorin I. Unexpected Scaling in Path Copying Trees. Association for Computing Machinery; 2023:438-440. doi:10.1145/3572848.3577512
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 12854 |
Chalupa M, Henzinger TA. Bubaak: Runtime monitoring of program verifiers. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:535-540. doi:10.1007/978-3-031-30820-8_32
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12856 |
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. Vamos: Middleware for best-effort third-party monitoring. In: Fundamental Approaches to Software Engineering. Vol 13991. Springer Nature; 2023:260-281. doi:10.1007/978-3-031-30826-0_15
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13143 |
Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. Certifying giant nonprimes. In: Public-Key Cryptography - PKC 2023. Vol 13940. Springer Nature; 2023:530-553. doi:10.1007/978-3-031-31368-4_19
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Conference Paper | IST-REx-ID: 13142 |
Chatterjee K, Henzinger TA, Lechner M, Zikelic D. A learner-verifier framework for neural network controllers and certificates of stochastic systems. In: Tools and Algorithms for the Construction and Analysis of Systems . Vol 13993. Springer Nature; 2023:3-25. doi:10.1007/978-3-031-30823-9_1
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13141 |
Anand A, Mallik K, Nayak SP, Schmuck AK. Computing adequately permissive assumptions for synthesis. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:211-228. doi:10.1007/978-3-031-30820-8_15
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12467 |
Henzinger TA, Mazzocchi NA, Sarac NE. Quantitative safety and liveness. In: 26th International Conference Foundations of Software Science and Computation Structures. Vol 13992. Springer Nature; 2023:349-370. doi:10.1007/978-3-031-30829-1_17
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12737
García-Romero Á, Waters JE, Jethwa RB, et al. Highly adaptive nature of group 15 tris(quinolyl) ligands─studies with coinage metals. Inorganic Chemistry. 2023;62(11):4625-4636. doi:10.1021/acs.inorgchem.3c00057
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12788 |
Karle V, Ghazaryan A, Lemeshko M. Topological charges of periodically kicked molecules. Physical Review Letters. 2023;130(10). doi:10.1103/PhysRevLett.130.103202
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12839 |
Ljubotina M, Desaules JY, Serbyn M, Papić Z. Superdiffusive energy transport in kinetically constrained models. Physical Review X. 2023;13(1). doi:10.1103/PhysRevX.13.011033
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13129 |
Clozeau N, Josien M, Otto F, Xu Q. Bias in the representative volume element method: Periodize the ensemble instead of its realizations. Foundations of Computational Mathematics. 2023. doi:10.1007/s10208-023-09613-y
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 | Thesis | IST-REx-ID: 12964
Boocock DR. Mechanochemical pattern formation across biological scales. 2023. doi:10.15479/at:ista:12964
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13970 |
Madani A, Sletten ET, Cavedon C, Seeberger PH, Pieber B. Visible-light-mediated oxidative debenzylation of 3-O-Benzyl-1,2:5,6-di-O-isopropylidene-α-D-glucofuranose. Organic Syntheses. 2023;100:271-286. doi:10.15227/orgsyn.100.0271
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Thesis | IST-REx-ID: 12885 |
Calcabrini M. Nanoparticle-based semiconductor solids: From synthesis to consolidation. 2023. doi:10.15479/at:ista:12885
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12331 |
Wang S, Chang C, Bai S, et al. Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe. Chemistry of Materials. 2023;35(2):755-763. doi:10.1021/acs.chemmater.2c03542
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 12106 |
Yeung J, Florescu M, Zeller P, De Barbanson BA, Wellenstein MD, Van Oudenaarden A. scChIX-seq infers dynamic relationships between histone modifications in single cells. Nature Biotechnology. 2023;41:813–823. doi:10.1038/s41587-022-01560-3
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 12183 |
Boccato C, Seiringer R. The Bose Gas in a box with Neumann boundary conditions. Annales Henri Poincare. 2023;24:1505-1560. doi:10.1007/s00023-022-01252-3
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13989 |
Hales J, Bajpai U, Liu T, et al. Witnessing light-driven entanglement using time-resolved resonant inelastic X-ray scattering. Nature Communications. 2023;14. doi:10.1038/s41467-023-38540-3
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
2023 | Thesis | IST-REx-ID: 13175 |
Sahu R. Cavity quantum electrooptics. 2023. doi:10.15479/at:ista:13175
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12900
Sahu R. Cavity quantum electrooptics. 2023. doi:10.15479/at:ista:12900
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13310 |
Henzinger TA, Karimi M, Kueffner K, Mallik K. Monitoring algorithmic fairness. In: Computer Aided Verification. Vol 13965. Springer Nature; 2023:358–382. doi:10.1007/978-3-031-37703-7_17
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12205 |
Glajzer J, Castillo-Tong DC, Richter R, et al. 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. 2023;30:35-45. doi:10.1245/s10434-022-12459-3
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Conference Paper | IST-REx-ID: 14259 |
Kretinsky J, Meggendorfer T, Prokop M, Rieder S. Guessing winning policies in LTL synthesis by semantic learning. In: 35th International Conference on Computer Aided Verification . Vol 13964. Springer Nature; 2023:390-414. doi:10.1007/978-3-031-37706-8_20
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14318 |
Sun Y, Fu H, Chatterjee K, Goharshady AK. Automated tail bound analysis for probabilistic recurrence relations. In: Computer Aided Verification. Vol 13966. Springer Nature; 2023:16-39. doi:10.1007/978-3-031-37709-9_2
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14317 |
Akshay S, Chatterjee K, Meggendorfer T, Zikelic D. MDPs as distribution transformers: Affine invariant synthesis for safety objectives. In: International Conference on Computer Aided Verification. Vol 13966. Springer Nature; 2023:86-112. doi:10.1007/978-3-031-37709-9_5
[Published Version]
View
| Files available
| DOI