Agresti A, Luongo E. Global well-posedness and interior regularity of 2D Navier-Stokes equations with stochastic boundary conditions. Mathematische Annalen. 2024. doi:10.1007/s00208-024-02812-0
LibreCat: https://research-explorer.ista.ac.at/record/15098
DOI: 10.1007/s00208-024-02812-0
arXiv: 2306.11081

Sack S, Egger DJ. Large-scale quantum approximate optimization on nonplanar graphs with machine learning noise mitigation. Physical Review Research. 2024;6(1). doi:10.1103/PhysRevResearch.6.013223
LibreCat: https://research-explorer.ista.ac.at/record/15122
DOI: 10.1103/PhysRevResearch.6.013223
arXiv: 2307.14427

Agresti A, Veraar M. Stochastic maximal Lp(Lq)-regularity for second order systems with periodic boundary conditions. Annales de l’institut Henri Poincare Probability and Statistics. 2024;60(1):413-430. doi:10.1214/22-AIHP1333
LibreCat: https://research-explorer.ista.ac.at/record/15119
DOI: 10.1214/22-AIHP1333
arXiv: 2106.01274

Habig M, Grasse AV, Müller J, Stukenbrock EH, Leitner H, Cremer S. Frequent horizontal chromosome transfer between asexual fungal insect pathogens. Proceedings of the National Academy of Sciences of the United States of America. 2024;121(11). doi:10.1073/pnas.2316284121
LibreCat: https://research-explorer.ista.ac.at/record/14478
DOI: 10.1073/pnas.2316284121
PMID: 38442176

Zheng DW, Henzinger MH. Multiplicative auction algorithm for approximate maximum weight bipartite matching. Mathematical Programming. 2024. doi:10.1007/s10107-024-02066-3
LibreCat: https://research-explorer.ista.ac.at/record/15121
DOI: 10.1007/s10107-024-02066-3
arXiv: 2301.09217

Giubertoni G, Feng L, Klein K, et al. Elucidating the role of water in collagen self-assembly by isotopically modulating collagen hydration. Proceedings of the National Academy of Sciences of the United States of America. 2024;121(11). doi:10.1073/pnas.2313162121
LibreCat: https://research-explorer.ista.ac.at/record/15116
DOI: 10.1073/pnas.2313162121
PMID: 38451946

Cultrera di Montesano S. Persistence and Morse theory for discrete geometric structures. 2024. doi:10.15479/at:ista:15094
LibreCat: https://research-explorer.ista.ac.at/record/15094
DOI: 10.15479/at:ista:15094

Cultrera di Montesano S, Edelsbrunner H, Henzinger MH, Ost L. Dynamically maintaining the persistent homology of time series. In: Woodruff DP, ed. Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). Society for Industrial and Applied Mathematics; 2024:243-295. doi:10.1137/1.9781611977912.11
LibreCat: https://research-explorer.ista.ac.at/record/15093
DOI: 10.1137/1.9781611977912.11
arXiv: 2311.01115

Cultrera di Montesano S, Draganov O, Edelsbrunner H, Saghafian M. Chromatic alpha complexes. arXiv.
LibreCat: https://research-explorer.ista.ac.at/record/15091
arXiv: 2212.03128

Agnes EJ, Vogels TP. Co-dependent excitatory and inhibitory plasticity accounts for quick, stable and long-lasting memories in biological networks. Nature Neuroscience. 2024. doi:10.1038/s41593-024-01597-4
LibreCat: https://research-explorer.ista.ac.at/record/15171
DOI: 10.1038/s41593-024-01597-4

Greene JE, Labbe I, Goulding AD, et al. UNCOVER spectroscopy confirms the surprising ubiquity of active galactic nuclei in red sources at z &; 5. Astrophysical Journal. 2024;964. doi:10.3847/1538-4357/ad1e5f
LibreCat: https://research-explorer.ista.ac.at/record/15170
DOI: 10.3847/1538-4357/ad1e5f
arXiv: 2309.05714

Filakovský M, Nakajima TV, Oprsal 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
LibreCat: https://research-explorer.ista.ac.at/record/15168
DOI: 10.4230/LIPIcs.STACS.2024.34
arXiv: 2312.12981

Silva-Henao JD, Schober S, Pahr DH, Reisinger AG. Critical loss of primary implant stability in osteosynthesis locking screws under cyclic overloading. Medical Engineering and Physics. 2024;126. doi:10.1016/j.medengphy.2024.104143
LibreCat: https://research-explorer.ista.ac.at/record/15164
DOI: 10.1016/j.medengphy.2024.104143

Al Hyder R, Chevy F, Leyronas X. Exploring beyond-mean-field logarithmic divergences in Fermi-polaron energy. Physical Review A. 2024;109(3). doi:10.1103/PhysRevA.109.033315
LibreCat: https://research-explorer.ista.ac.at/record/15167
DOI: 10.1103/PhysRevA.109.033315
arXiv: 2311.14536

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
LibreCat: https://research-explorer.ista.ac.at/record/15163
DOI: 10.1016/j.disc.2024.113962
arXiv: 2301.11615

Matthee JJ, Naidu RP, Brammer G, et al. Little Red Dots: An abundant population of faint active galactic nuclei at z c 5 revealed by the EIGER and FRESCO JWST surveys. The Astrophysical Journal. 2024;963(2). doi:10.3847/1538-4357/ad2345
LibreCat: https://research-explorer.ista.ac.at/record/15180
DOI: 10.3847/1538-4357/ad2345

Palkina KA, Karataeva TA, Perfilov MM, et al. A hybrid pathway for self-sustained luminescence. Science Advances. 2024;10(10). doi:10.1126/sciadv.adk1992
LibreCat: https://research-explorer.ista.ac.at/record/15179
DOI: 10.1126/sciadv.adk1992

Hwong Y-L, Muller CJ. The unreasonable efficiency of total rain evaporation removal in triggering convective selfaggregation. Geophysical Research Letters. 2024;51(6). doi:10.1029/2023gl106523
LibreCat: https://research-explorer.ista.ac.at/record/15186
DOI: 10.1029/2023gl106523

Becker A, Koutentakis G, Schmelcher P. Synthetic dimension-induced pseudo Jahn-Teller effect in one-dimensional confined fermions. Physical Review Research. 2024;6(1). doi:10.1103/physrevresearch.6.013257
LibreCat: https://research-explorer.ista.ac.at/record/15181
DOI: 10.1103/physrevresearch.6.013257
arXiv: 2310.17995

Kleinhanns T, Milillo F, Calcabrini M, et al. A route to high thermoelectric performance: Solutionbased control of microstructure and composition in ASe. Advanced Energy Materials. 2024. doi:10.1002/aenm.202400408
LibreCat: https://research-explorer.ista.ac.at/record/15182
DOI: 10.1002/aenm.202400408

GOSWAMI BB. A pre-monsoon signal of false alarms of Indian monsoon droughts. Geophysical Research Letters. 2024;51(5). doi:10.1029/2023GL106569
LibreCat: https://research-explorer.ista.ac.at/record/15165
DOI: 10.1029/2023GL106569

Zens B, Fäßler F, Hansen J, et al. Lift-out cryo-FIBSEM and cryo-ET reveal the ultrastructural landscape of extracellular matrix. Journal of Cell Biology. 2024;223(6). doi:10.1083/jcb.202309125
LibreCat: https://research-explorer.ista.ac.at/record/15146
DOI: 10.1083/jcb.202309125
PMID: 38506714

Lauritsen AB, Seiringer R. Ground state energy of the dilute spin-polarized Fermi gas: Upper bound via cluster expansion. Journal of Functional Analysis. 2024;286(7). doi:10.1016/j.jfa.2024.110320
LibreCat: https://research-explorer.ista.ac.at/record/14931
DOI: 10.1016/j.jfa.2024.110320
arXiv: 2301.04894

Henzinger MH, Upadhyay J, Upadhyay S. A unifying framework for differentially private sums under continual observation. In: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms. Vol 2024. Society for Industrial and Applied Mathematics; 2024:995-1018. doi:10.1137/1.9781611977912.38
LibreCat: https://research-explorer.ista.ac.at/record/15253
DOI: 10.1137/1.9781611977912.38
arXiv: 2307.08970

Matthee JJ, Golling C, Mackenzie R, et al. Large-scale excess H I absorption around z10.1093/mnras/stae673__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
LibreCat: https://research-explorer.ista.ac.at/record/15249
DOI: 10.1093/mnras/stae673
arXiv: 2305.15346

Boytsov D, Madej GM, Horn G, et al. Orphan lysosomal solute carrier MFS facilitates highly selective dipeptide transport. Proceedings of the National Academy of Sciences of the United States of America. 2024;121(13). doi:10.1073/pnas.2319686121
LibreCat: https://research-explorer.ista.ac.at/record/15250
DOI: 10.1073/pnas.2319686121
PMID: 38507452

Shen S. Mirror symmetry for parabolic Higgs bundles via p-adic integration. Advances in Mathematics. 2024;443(5). doi:10.1016/j.aim.2024.109616
LibreCat: https://research-explorer.ista.ac.at/record/15248
DOI: 10.1016/j.aim.2024.109616

Frankl P, Pach J, Pálvölgyi D. Odd-sunflowers. Journal of Combinatorial Theory, Series A. 2024;206(8). doi:10.1016/j.jcta.2024.105889
LibreCat: https://research-explorer.ista.ac.at/record/15247
DOI: 10.1016/j.jcta.2024.105889
arXiv: 2310.16701

Dello Schiavo L. A characterization of maps of bounded compression. Mathematical Communications. 2024;29(1):137-142.
LibreCat: https://research-explorer.ista.ac.at/record/15252
arXiv: 2304.11348

Kulich I, Schmid J, Teplova A, Qi L, Friml J. Rapid translocation of NGR proteins driving polarization of PIN-activating10.7554/elife.91523.3__protein kinase during root gravitropism. eLife. 2024;12. doi:10.7554/elife.91523.3
LibreCat: https://research-explorer.ista.ac.at/record/15257
DOI: 10.7554/elife.91523.3

Hall SM, Kochin D, Carne C, et al. Ten simple rules for pushing boundaries of inclusion at academic events. PLOS Computational Biology. 2024;20(3). doi:10.1371/journal.pcbi.1011797
LibreCat: https://research-explorer.ista.ac.at/record/15258
DOI: 10.1371/journal.pcbi.1011797
PMID: 38427633

Buri P, Fatichi S, Shaw T, et al. Land surface modeling informed by earth observation data: Toward understanding blue–green–white water fluxes in High Mountain Asia. Geo-Spatial Information Science. doi:10.1080/10095020.2024.2330546
LibreCat: https://research-explorer.ista.ac.at/record/15298
DOI: 10.1080/10095020.2024.2330546

Beyer C, Currin C, Williams T, Stein DJ. Meta-analysis of the comparative efficacy of benzodiazepines and antidepressants for psychic versus somatic symptoms of generalized anxiety disorder. Comprehensive Psychiatry. 132. doi:10.1016/j.comppsych.2024.152479
LibreCat: https://research-explorer.ista.ac.at/record/15295
DOI: 10.1016/j.comppsych.2024.152479
PMID: 38564872

Svoboda J, Joshi SS, Tkadlec J, Chatterjee K. Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating. PLoS Computational Biology. 2024;20(3). doi:10.1371/journal.pcbi.1012008
LibreCat: https://research-explorer.ista.ac.at/record/15297
DOI: 10.1371/journal.pcbi.1012008
arXiv: 2401.14914

Hörmayer L, Montesinos López JC, Trozzi N, et al. Mechanical forces in plant tissue matrix orient cell divisions via microtubule stabilization. Dev Cell. 2024:34-5807(24)00177-1. doi:10.1016/j.devcel.2024.03.009
LibreCat: https://research-explorer.ista.ac.at/record/15301
DOI: 10.1016/j.devcel.2024.03.009
PMID: 38579717

Olusanya OO. Local adaptation, genetic load and extinction in metapopulations. 2024. doi:10.15479/at:ista:14711
LibreCat: https://research-explorer.ista.ac.at/record/14711
DOI: 10.15479/at:ista:14711

Bossmann L, Leopold NK, Mitrouskas DJ, Petrat SP. A note on the binding energy for Bosons in the mean-field limit. Journal of Statistical Physics. 2024;191(4). doi:10.1007/s10955-024-03260-5
LibreCat: https://research-explorer.ista.ac.at/record/15318
DOI: 10.1007/s10955-024-03260-5
arXiv: 2307.13115

Dello Schiavo L, Portinale L, Sau F. Scaling limits of random walks, harmonic profiles, and stationary nonequilibrium states in Lipschitz domains. Annals of Applied Probability. 2024;34(2):1789-1845. doi:10.1214/23-AAP2007
LibreCat: https://research-explorer.ista.ac.at/record/15317
DOI: 10.1214/23-AAP2007
arXiv: 2112.14196

Huebbers JW, Caldarescu GA, Kubátová Z, et al. Interplay of EXO70 and MLO proteins modulates trichome cell wall composition and susceptibility to powdery mildew. Plant Cell. 2024;36(4):1007-1035. doi:10.1093/plcell/koad319
LibreCat: https://research-explorer.ista.ac.at/record/15319
DOI: 10.1093/plcell/koad319
PMID: 38124479

Seoane Souto R, Leijnse M, Schrade C, Valentini M, Katsaros G, Danon J. Tuning the Josephson diode response with an ac current. Physical Review Research. 2024;6(2). doi:10.1103/PhysRevResearch.6.L022002
LibreCat: https://research-explorer.ista.ac.at/record/15320
DOI: 10.1103/PhysRevResearch.6.L022002

Brückner D, Broedersz CP. Learning dynamical models of single and collective cell migration: a review. Reports on Progress in Physics. 2024;87(5). doi:10.1088/1361-6633/ad36d2
LibreCat: https://research-explorer.ista.ac.at/record/15315
DOI: 10.1088/1361-6633/ad36d2

Agasthya LN, Muller CJ. Dynamics and scaling of internally cooled convection. Communications in Nonlinear Science and Numerical Simulation. 2024;134. doi:10.1016/j.cnsns.2024.108011
LibreCat: https://research-explorer.ista.ac.at/record/15313
DOI: 10.1016/j.cnsns.2024.108011
arXiv: 2311.04114

Trinh G, Benhamou B, Pastva S, Soliman S. Scalable enumeration of trap spaces in boolean networks via answer set programming. In: Proceedings of the 38th AAAI Conference on Artificial Intelligence. Vol 38. Association for the Advancement of Artificial Intelligence; 2024:10714-10722. doi:10.1609/aaai.v38i9.28943
LibreCat: https://research-explorer.ista.ac.at/record/15321
DOI: 10.1609/aaai.v38i9.28943

González M, Hausel T. Hitchin map on even very stable upward flows. International Journal of Mathematics. 2024. doi:10.1142/S0129167X2441009X
LibreCat: https://research-explorer.ista.ac.at/record/15339
DOI: 10.1142/S0129167X2441009X
arXiv: 2303.01404

Bonolis D, Browning TD, Huang Z. Density of rational points on some quadric bundle threefolds. Mathematische Annalen. 2024. doi:10.1007/s00208-024-02854-4
LibreCat: https://research-explorer.ista.ac.at/record/15337
DOI: 10.1007/s00208-024-02854-4
arXiv: 2204.09322

Pensabene A, Cantalupo S, Cicone C, et al. ALMA survey of a massive node of the Cosmic Web at z c 3: I. Discovery of a large overdensity of CO emitters. Astronomy and Astrophysics. 2024;684. doi:10.1051/0004-6361/202348659
LibreCat: https://research-explorer.ista.ac.at/record/15336
DOI: 10.1051/0004-6361/202348659
arXiv: 2401.04765

Godavarthi SK, Hiramoto M, Ignatyev Y, et al. Postsynaptic receptors regulate presynaptic transmitter stability through transsynaptic bridges. PNAS. 2024;121(15). doi:10.1073/pnas.2318041121
LibreCat: https://research-explorer.ista.ac.at/record/15335
DOI: 10.1073/pnas.2318041121
PMID: 38568976

Abels H, Fei M, Moser M. Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility. Calculus of Variations and Partial Differential Equations. 2024;63(4). doi:10.1007/s00526-024-02715-7
LibreCat: https://research-explorer.ista.ac.at/record/15334
DOI: 10.1007/s00526-024-02715-7
arXiv: 2304.12096

Browning TD, Pierce LB, Schindler D. Generalised quadratic forms over totally real number fields. Journal of the Institute of Mathematics of Jussieu. 2024. doi:10.1017/S1474748024000161
LibreCat: https://research-explorer.ista.ac.at/record/15338
DOI: 10.1017/S1474748024000161
arXiv: 2212.11038

Dvorak M, Kolmogorov V. Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. 2024. doi:10.1007/s10107-024-02064-5
LibreCat: https://research-explorer.ista.ac.at/record/10045
DOI: 10.1007/s10107-024-02064-5
arXiv: 2109.10203

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
LibreCat: https://research-explorer.ista.ac.at/record/15333
DOI: 10.1007/978-3-031-57256-2_20

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
LibreCat: https://research-explorer.ista.ac.at/record/15311
DOI: 10.1038/s41467-024-46799-3
arXiv: 2310.01838

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
LibreCat: https://research-explorer.ista.ac.at/record/15312
DOI: 10.1016/j.jnt.2024.02.013
arXiv: 2305.15493 Search...

Chen J. Developmental transformation of nanodomain coupling between C+ channels and release sensors at a central GABAergic synapse. 2024. doi:10.15479/at:ista:15101
LibreCat: https://research-explorer.ista.ac.at/record/15101
DOI: 10.15479/at:ista:15101

Hannezo EB, Scheele CLGJ. A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In: Margadant C, ed. Cell Migration in Three Dimensions. Vol 2608. MIMB. Springer Nature; 2023:183-205. doi:10.1007/978-1-0716-2887-4_12
LibreCat: https://research-explorer.ista.ac.at/record/12428
DOI: 10.1007/978-1-0716-2887-4_12
PMID: 36653709

Ghazaryan A, Cappellaro A, Lemeshko M, Volosniev A. Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. 2023;5(1). doi:10.1103/physrevresearch.5.013029
LibreCat: https://research-explorer.ista.ac.at/record/12534
DOI: 10.1103/physrevresearch.5.013029

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
LibreCat: https://research-explorer.ista.ac.at/record/12158
DOI: 10.1038/s41588-022-01260-3

Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. Faster algorithm for turn-based stochastic games with bounded treewidth. In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2023:4590-4605. doi:10.1137/1.9781611977554.ch173
LibreCat: https://research-explorer.ista.ac.at/record/12676
DOI: 10.1137/1.9781611977554.ch173

Koval N, Alistarh D-A, Elizarov R. Fast and scalable channels in Kotlin Coroutines. In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery; 2023:107-118. doi:10.1145/3572848.3577481
LibreCat: https://research-explorer.ista.ac.at/record/12735
DOI: 10.1145/3572848.3577481
arXiv: 2211.04986

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
LibreCat: https://research-explorer.ista.ac.at/record/12736
DOI: 10.1145/3572848.3577512

Henzinger MH, Neumann S, Räcke H, Schmid S. Dynamic maintenance of monotone dynamic programs and applications. In: 40th International Symposium on Theoretical Aspects of Computer Science. Vol 254. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.STACS.2023.36
LibreCat: https://research-explorer.ista.ac.at/record/12760
DOI: 10.4230/LIPIcs.STACS.2023.36
arXiv: 2301.01744

Burnett L. To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. 2023. doi:10.15479/at:ista:12716
LibreCat: https://research-explorer.ista.ac.at/record/12716
DOI: 10.15479/at:ista:12716

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
LibreCat: https://research-explorer.ista.ac.at/record/12854
DOI: 10.1007/978-3-031-30820-8_32

Chern A, Ishida S. Area formula for spherical polygons via prequantization. arXiv. doi:10.48550/arXiv.2303.14555
LibreCat: https://research-explorer.ista.ac.at/record/12846
DOI: 10.48550/arXiv.2303.14555
arXiv: 2303.14555

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
LibreCat: https://research-explorer.ista.ac.at/record/12856
DOI: 10.1007/978-3-031-30826-0_15

Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria; 2023. doi:10.15479/AT:ISTA:12407
LibreCat: https://research-explorer.ista.ac.at/record/12407
DOI: 10.15479/AT:ISTA:12407

Lieutier A, Wintraecken M. Hausdorff and Gromov-Hausdorff stable subsets of the medial axis. In: Proceedings of the 55th Annual ACM Symposium on Theory of Computing. Association for Computing Machinery; 2023:1768-1776. doi:10.1145/3564246.3585113
LibreCat: https://research-explorer.ista.ac.at/record/13048
DOI: 10.1145/3564246.3585113
arXiv: 2303.04014

Peste E-A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware Minimizer. In: 11th International Conference on Learning Representations .
LibreCat: https://research-explorer.ista.ac.at/record/13053
arXiv: 2207.14200

Hoffmann C, Hubádek 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
LibreCat: https://research-explorer.ista.ac.at/record/13143
DOI: 10.1007/978-3-031-31368-4_19

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
LibreCat: https://research-explorer.ista.ac.at/record/13142
DOI: 10.1007/978-3-031-30823-9_1

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
LibreCat: https://research-explorer.ista.ac.at/record/13141
DOI: 10.1007/978-3-031-30820-8_15

Pokusaeva V. Neural control of optic flow-based navigation in Drosophila melanogaster. 2023. doi:10.15479/at:ista:12826
LibreCat: https://research-explorer.ista.ac.at/record/12826
DOI: 10.15479/at:ista:12826

Edelsbrunner H, Osang GF. A simple algorithm for higher-order Delaunay mosaics and alpha shapes. Algorithmica. 2023;85:277-295. doi:10.1007/s00453-022-01027-6
LibreCat: https://research-explorer.ista.ac.at/record/12086
DOI: 10.1007/s00453-022-01027-6
WoS: 000846967100001

Dello Schiavo L, Wirth M. Ergodic decompositions of Dirichlet forms under order isomorphisms. Journal of Evolution Equations. 2023;23(1). doi:10.1007/s00028-022-00859-7
LibreCat: https://research-explorer.ista.ac.at/record/12104
DOI: 10.1007/s00028-022-00859-7
WoS: 000906214600004

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
LibreCat: https://research-explorer.ista.ac.at/record/12467
DOI: 10.1007/978-3-031-30829-1_17
arXiv: 2301.11175

Koval N, Khalanskiy D, Alistarh D-A. CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. 2023;7. doi:10.1145/3591230
LibreCat: https://research-explorer.ista.ac.at/record/13179
DOI: 10.1145/3591230

Browning TD, Lyczak J, Sarapin R. Local solubility for a family of quadrics over a split quadric surface. Involve. 2023;16(2):331-342. doi:10.2140/involve.2023.16.331
LibreCat: https://research-explorer.ista.ac.at/record/13180
DOI: 10.2140/involve.2023.16.331
arXiv: 2203.06881

Elefante S, Stadlbauer S, Alexander MF, Schlögl A. Cryo-EM software packages: A sys-admins point of view. In: ASHP - Austrian-Slovenian HPC Meeting 2023. EuroCC; :42-42.
LibreCat: https://research-explorer.ista.ac.at/record/13162

Schlögl A, Elefante S, Hodirnau V-V. Running Windows-applications on a Linux HPC cluster using WINE. In: ASHP - Austrian-Slovenian HPC Meeting 2023. EuroCC; :59-59.
LibreCat: https://research-explorer.ista.ac.at/record/13161

Wei Y, Volosniev A, Lorenc D, et al. Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites. The Journal of Physical Chemistry Letters. 2023;14(27):6309-6314. doi:10.1021/acs.jpclett.3c01158
LibreCat: https://research-explorer.ista.ac.at/record/13251
DOI: 10.1021/acs.jpclett.3c01158
WoS: 001022811500001
arXiv: 2304.14198

Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. Regular methods for operator precedence languages. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023:129:1--129:20. doi:10.4230/LIPIcs.ICALP.2023.129
LibreCat: https://research-explorer.ista.ac.at/record/13292
DOI: 10.4230/LIPIcs.ICALP.2023.129
arXiv: 2305.03447

Tucci G, De Nicola S, Wald S, Gambassi A. Stochastic representation of the quantum quartic oscillator. SciPost Physics Core. 2023;6(2). doi:10.21468/scipostphyscore.6.2.029
LibreCat: https://research-explorer.ista.ac.at/record/13277
DOI: 10.21468/scipostphyscore.6.2.029
arXiv: 2211.01923

Rammelmüller L, Huber D, Volosniev A. A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D. SciPost Physics Codebases. 2023. doi:10.21468/scipostphyscodeb.12
LibreCat: https://research-explorer.ista.ac.at/record/13276
DOI: 10.21468/scipostphyscodeb.12
arXiv: 2202.04603

Rammelmüller L, Huber D, Volosniev A. Codebase release 1.0 for FermiFCI. 2023. doi:10.21468/scipostphyscodeb.12-r1.0
LibreCat: https://research-explorer.ista.ac.at/record/13275
DOI: 10.21468/scipostphyscodeb.12-r1.0

De Jode A, Le Moan A, Johannesson K, et al. Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. 2023;16(2):542-559. doi:10.1111/eva.13428
LibreCat: https://research-explorer.ista.ac.at/record/11479
DOI: 10.1111/eva.13428
WoS: 000815663700001

Gómez A, Oliveira G. New approaches to epidemic modeling on networks. Scientific Reports. 2023;13. doi:10.1038/s41598-022-19827-9
LibreCat: https://research-explorer.ista.ac.at/record/12329
DOI: 10.1038/s41598-022-19827-9
WoS: 001003345000051

Wilsch FA. Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. 2023;2023(8):6780-6808. doi:10.1093/imrn/rnac048
LibreCat: https://research-explorer.ista.ac.at/record/9034
DOI: 10.1093/imrn/rnac048
WoS: 000773116000001
arXiv: 1901.08503

Viljakainen L, Fürst M, Grasse AV, et al. Antiviral immune response reveals host-specific virus infections in natural ant populations. Frontiers in Microbiology. 2023;14. doi:10.3389/fmicb.2023.1119002
LibreCat: https://research-explorer.ista.ac.at/record/12469
DOI: 10.3389/fmicb.2023.1119002
WoS: 000961542100001
PMID: PPR559293 

Boissonnat J-D, Dyer R, Ghosh A, Wintraecken M. Local criteria for triangulating general manifolds. Discrete &; Computational Geometry. 2023;69:156-191. doi:10.1007/s00454-022-00431-7
LibreCat: https://research-explorer.ista.ac.at/record/12287
DOI: 10.1007/s00454-022-00431-7
WoS: 000862193600001

Fäßler F, Javoor M, Schur FK. Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society Transactions. 2023;51(1):87-99. doi:10.1042/bst20220221
LibreCat: https://research-explorer.ista.ac.at/record/12421
DOI: 10.1042/bst20220221
WoS: 000926043100001

Marensi E, Yalniz G, Hof B, Budanur NB. Symmetry-reduced dynamic mode decomposition of near-wall turbulence. Journal of Fluid Mechanics. 2023;954. doi:10.1017/jfm.2022.1001
LibreCat: https://research-explorer.ista.ac.at/record/12105
DOI: 10.1017/jfm.2022.1001
WoS: 000903336600001
arXiv: 2101.07516

Bolnick DI, Hund AK, Nosil P, et al. A multivariate view of the speciation continuum. Evolution: International journal of organic evolution. 2023;77(1):318-328. doi:10.1093/evolut/qpac004
LibreCat: https://research-explorer.ista.ac.at/record/12514
DOI: 10.1093/evolut/qpac004
WoS: 001021686300024
PMID: 36622661

Forghani M, Claramunt C, Karimipour F, Heiler G. Visual analytics of mobility network changes observed using mobile phone data during COVID-19 pandemic. In: 2022 IEEE International Conference on Data Mining Workshops. Institute of Electrical and Electronics Engineers; 2023. doi:10.1109/icdmw58026.2022.00093
LibreCat: https://research-explorer.ista.ac.at/record/12548
DOI: 10.1109/icdmw58026.2022.00093
WoS: 000971492200145

Krokhin A, Oprsal J, Wrochna M, divný S. Topology and adjunction in promise constraint satisfaction. SIAM Journal on Computing. 2023;52(1):38-79. doi:10.1137/20m1378223
LibreCat: https://research-explorer.ista.ac.at/record/12563
DOI: 10.1137/20m1378223
WoS: 000955000000001
arXiv: 2003.11351

Rojas Vega MN, De Castro P, Soto R. Wetting dynamics by mixtures of fast and slow self-propelled particles. Physical Review E. 2023;107(1). doi:10.1103/PhysRevE.107.014608
LibreCat: https://research-explorer.ista.ac.at/record/12545
DOI: 10.1103/PhysRevE.107.014608
WoS: 000963909800006
arXiv: 2301.01856

Balestrieri F. Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups. Proceedings of the American Mathematical Society. 2023;151(3):907-914. doi:10.1090/proc/15239
LibreCat: https://research-explorer.ista.ac.at/record/12427
DOI: 10.1090/proc/15239
WoS: 000898440000001

Mrestani A, Lichter K, Sirén AL, Heckmann M, Paul MM, Pauli M. Single-molecule localization microscopy of presynaptic active zones in Drosophila melanogaster after rapid cryofixation. International Journal of Molecular Sciences. 2023;24(3). doi:10.3390/ijms24032128
LibreCat: https://research-explorer.ista.ac.at/record/12567
DOI: 10.3390/ijms24032128
WoS: 000930324700001

Alistarh D-A, Ellen F, Rybicki J. Wait-free approximate agreement on graphs. Theoretical Computer Science. 2023;948(2). doi:10.1016/j.tcs.2023.113733
LibreCat: https://research-explorer.ista.ac.at/record/12566
DOI: 10.1016/j.tcs.2023.113733
WoS: 000934262700001

Dubief Y, Terrapon VE, Hof B. Elasto-inertial turbulence. Annual Review of Fluid Mechanics. 2023;55(1):675-705. doi:10.1146/annurev-fluid-032822-025933
LibreCat: https://research-explorer.ista.ac.at/record/12681
DOI: 10.1146/annurev-fluid-032822-025933
WoS: 000915418100026

Avila M, Barkley D, Hof B. Transition to turbulence in pipe flow. Annual Review of Fluid Mechanics. 2023;55:575-602. doi:10.1146/annurev-fluid-120720-025957
LibreCat: https://research-explorer.ista.ac.at/record/12682
DOI: 10.1146/annurev-fluid-120720-025957
WoS: 000915418100023