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

Campbell R, Hörsch F, Moore B. 2024. Decompositions into two linear forests of bounded lengths. Discrete Mathematics. 347(6), 113962.
LibreCat: https://research-explorer.ista.ac.at/record/15163
DOI: 10.1016/j.disc.2024.113962
arXiv: 2301.11615

Wang V, Xu MW. 2024. Paucity phenomena for polynomial products. Bulletin of the London Mathematical Society. 56(8), 2718–2726.
LibreCat: https://research-explorer.ista.ac.at/record/17127
DOI: 10.1112/blms.13095
arXiv: 2211.02908

Bravo JPK, Ramos DA, Fregoso Ocampo R, Ingram C, Taylor DW. 2024. Plasmid targeting and destruction by the DdmDE bacterial defence system. Nature. 630(8018), 961–967.
LibreCat: https://research-explorer.ista.ac.at/record/17442
DOI: 10.1038/s41586-024-07515-9
PMID: 38740055

Wang V. 2024. Special cubic zeros and the dual variety. Journal of the London Mathematical Society. 110(3), e12975.
LibreCat: https://research-explorer.ista.ac.at/record/17447
DOI: 10.1112/jlms.12975
arXiv: 2108.03396

Pedrotti F. 2024. Functional inequalities and convergence of stochastic processes. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/17336
DOI: 10.15479/at:ista:17336

Dello Schiavo L, Maas J, Pedrotti F. 2024. Local conditions for global convergence of gradient flows and proximal point sequences in metric spaces. Transactions of the American Mathematical Society. 377(6), 3779–3804.
LibreCat: https://research-explorer.ista.ac.at/record/17143
DOI: 10.1090/tran/9156
arXiv: 2304.05239

Pedrotti F, Maas J, Mondelli M. Improved convergence of score-based diffusion models via prediction-correction. arXiv,10.48550/arXiv.2305.14164 .
LibreCat: https://research-explorer.ista.ac.at/record/17350
DOI: 10.48550/arXiv.2305.14164
arXiv: 2305.14164

Khudiakova K, Maas J, Pedrotti F. Le-optimal transport of anisotropic log-concave measures and exponential convergence in Fisher’s infinitesimal model. arXiv,10.48550/arXiv.2402.04151 .
LibreCat: https://research-explorer.ista.ac.at/record/17352
DOI: 10.48550/arXiv.2402.04151
arXiv: 2402.04151

Brigati G, Pedrotti F. Heat flow, log-concavity, and Lipschitz transport maps. arXiv,10.48550/arXiv.2404.15205 .
LibreCat: https://research-explorer.ista.ac.at/record/17353
DOI: 10.48550/arXiv.2404.15205
arXiv: 2404.15205

Clozeau N, Wang L. 2024. Artificial boundary conditions for random elliptic systems with correlated coefficient field. Multiscale Modeling and Simulation. 22(3), 973–1029.
LibreCat: https://research-explorer.ista.ac.at/record/17462
DOI: 10.1137/23M1603819
arXiv: 2309.06798

Mondal S, Nguyen HTK, Hauschild R, Freunberger SA. Individual Marcus-type kinetics controls singlet and triplet oxygen evolution from superoxide. ChemRxiv,10.26434/chemrxiv-2024-3vrzz .
LibreCat: https://research-explorer.ista.ac.at/record/17468
DOI: 10.26434/chemrxiv-2024-3vrzz

Vanhille-Campos CE, Whitley KD, Radler P, Loose M, Holden S, Sari A. 2024. Self-organization of mortal filaments and its role in bacterial division ring formation. Nature Physics.
LibreCat: https://research-explorer.ista.ac.at/record/17460
DOI: 10.1038/s41567-024-02597-8

Bravo JPK. 2024. Anti-plasmid immunity: A key to pathogen success? Future Microbiology., 1–4.
LibreCat: https://research-explorer.ista.ac.at/record/17494
DOI: 10.1080/17460913.2024.2389720

Vermersch B, Ljubotina M, Cirac JI, Zoller P, Serbyn M, Piroli L. 2024. Many-body entropies and entanglement from polynomially many local measurements. Physical Review X. 14(3), 031035.
LibreCat: https://research-explorer.ista.ac.at/record/17493
DOI: 10.1103/physrevx.14.031035
arXiv: 2311.08108

Karimi B, Steffensen GO, Higginbotham AP, Marcus CM, Levy Yeyati A, Pekola JP. 2024. Bolometric detection of Josephson radiation. Nature Nanotechnology.
LibreCat: https://research-explorer.ista.ac.at/record/17480
DOI: 10.1038/s41565-024-01770-7
arXiv: 2402.09314

Lorenc D, Zhumekenov A, Bakr OM, Alpichshev Z. 2024. No extraordinary <7(3) in lead-halide perovskites: Placing an upper bound on Kerr nonlinearity by means of time-resolved interferometry. Physical Review Materials. 8(8), 085403.
LibreCat: https://research-explorer.ista.ac.at/record/17476
DOI: 10.1103/PhysRevMaterials.8.085403

Hawaldar S, Shahi P, Carter AL, Rey AM, Bollinger JJ, Shankar A. 2024. Bilayer crystals of trapped ions for quantum information processing. Physical Review X. 14(3), 031030.
LibreCat: https://research-explorer.ista.ac.at/record/17477
DOI: 10.1103/PhysRevX.14.031030
arXiv: 2312.10681

Brooks M, Seiringer R. 2024. The Fröhlich polaron at strong coupling: Part II — Energy-momentum relation and effective mass. Publications Mathematiques de l’Institut des Hautes Etudes Scientifiques.
LibreCat: https://research-explorer.ista.ac.at/record/17478
DOI: 10.1007/s10240-024-00150-0
arXiv: 2211.03353

Fischer JL, Marveggio A. 2024. Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow. Annales de l’Institut Henri Poincare C. 41(5), 1117–1178.
LibreCat: https://research-explorer.ista.ac.at/record/17481
DOI: 10.4171/AIHPC/109

Baier C, Chatterjee K, Meggendorfer T, Piribauer J. 2024. Entropic risk for turn-based stochastic games. Information and Computation. 301, 105214.
LibreCat: https://research-explorer.ista.ac.at/record/17474
DOI: 10.1016/j.ic.2024.105214
arXiv: 2307.06611

Obr M, Percipalle M, Chernikova D, Yang H, Thader A, Pinke G, Porley DJ, Mansky LM, Dick RA, Schur FK. 2024. Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice. Nature Structural &; Molecular Biology.
LibreCat: https://research-explorer.ista.ac.at/record/17884
DOI: 10.1038/s41594-024-01390-8

Zendrikov D, Paraskevov A. 2024. The vitals for steady nucleation maps of spontaneous spiking coherence in autonomous two-dimensional neuronal networks. Neural Networks. 180, 106589.
LibreCat: https://research-explorer.ista.ac.at/record/17886
DOI: 10.1016/j.neunet.2024.106589
PMID: 39217864

Abels H, Fischer JL, Moser M. 2024. Approximation of classical two-phase flows of viscous incompressible fluids by a Navier–Stokes/Allen–Cahn system. Archive for Rational Mechanics and Analysis. 248(5), 77.
LibreCat: https://research-explorer.ista.ac.at/record/17887
DOI: 10.1007/s00205-024-02020-9
arXiv: 2311.02997

Edelsbrunner H, Ölsböck K, Wagner H. 2024. Understanding higher-order interactions in information space. Entropy. 26(8), 637.
LibreCat: https://research-explorer.ista.ac.at/record/17891
DOI: 10.3390/e26080637
PMID: 39202107

Pillai A, Idris A, Philomin A, Weidle C, Skotheim R, Leung PJY, Broerman A, Demakis C, Borst AJ, Praetorius FM, Baker D. 2024. De novo design of allosterically switchable protein assemblies. Nature. 632, 911–920.
LibreCat: https://research-explorer.ista.ac.at/record/17463
DOI: 10.1038/s41586-024-07813-2

Cecalev D, Vicoso B, Galupa R. 2024. Compensation of gene dosage on the mammalian X. Development. 151(15), de2891.
LibreCat: https://research-explorer.ista.ac.at/record/17458
DOI: 10.1242/dev.202891
PMID: 39140247

Ritzau-Jost A, Gsell F, Sell J, Sachs S, Montanaro-Punzengruber J-C, Kirmann T, Maaß S, Irani SR, Werner C, Geis C, Sauer M, Shigemoto R, Hallermann S. 2024. LG autoantibodies enhance synaptic transmission by presynaptic K loss and increased action potential broadening. Neurology, Neuroimmunology and Neuroinflammation. 11(5), e200284.
LibreCat: https://research-explorer.ista.ac.at/record/17457
DOI: 10.1212/NXI.0000000000200284
PMID: 39141878

Pan Y, Hochgerner M, Cichon MA, Benezeder T, Bieber T, Wolf P. 2024. Langerhans cells: Central players in the pathophysiology of atopic dermatitis. Journal of the European Academy of Dermatology and Venereology.
LibreCat: https://research-explorer.ista.ac.at/record/17459
DOI: 10.1111/jdv.20291
PMID: 39157943

Cremer S, Pull C. 2024. Unconditional versus condition-dependent social immunity. Trends in Parasitology.
LibreCat: https://research-explorer.ista.ac.at/record/17461
DOI: 10.1016/j.pt.2024.07.014
PMID: 39152078

Koval I, Kwan MA. 2024. Exponentially many graphs are determined by their spectrum. Quarterly Journal of Mathematics. 75(3), 869–899.
LibreCat: https://research-explorer.ista.ac.at/record/17475
DOI: 10.1093/qmath/haae030
arXiv: 2309.09788

Satapathy RK, Jösch MA, Symonova O, Pokusaeva V. 2024. Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies, Institute of Science and Technology Austria,10.15479/AT:ISTA:17488 .
LibreCat: https://research-explorer.ista.ac.at/record/17488
DOI: 10.15479/AT:ISTA:17488

Kleindienst D, Costanzo T, Shigemoto R. 2024.Automated Imaging and Analysis of Synapses in Freeze-Fracture Replica Samples with Deep Learning. In: New Aspects in Analyzing the Synaptic Organization of the Brain. Neuromethods, , 123–137.
LibreCat: https://research-explorer.ista.ac.at/record/18052
DOI: 10.1007/978-1-0716-4019-7_8

He R, Wang S, Yang L, Horta S, Ding Y, Di C, Zhang X, Xu Y, Ibáñez M, Zhou Y, Mebs S, Dau H, Hausmann JN, Huo W, Menezes PW, Cabot A. 2024. Active site switching on high entropy phosphides as bifunctional oxygen electrocatalysts for rechargeable/robust Zn-air battery. Energy and Environmental Science.
LibreCat: https://research-explorer.ista.ac.at/record/17897
DOI: 10.1039/d4ee01912a

Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. QuAK: Quantitative Automata Kit. arXiv, 2409.03569.
LibreCat: https://research-explorer.ista.ac.at/record/17634
DOI: 10.48550/arXiv.2409.03569
arXiv: 2409.03569

Zhou J, Xu S, Shuai Y, Sun Q, Ma H, Wang C, Wu H, Tan S, Wang Z, Yang L. 2024. Decipher the wavelength and intensity using photothermoelectric detectors. ACS Applied Materials and Interfaces.
LibreCat: https://research-explorer.ista.ac.at/record/17896
DOI: 10.1021/acsami.4c10489
PMID: 39194354

Torralba-Torregrosa A, Matthee JJ, Naidu RP, Mackenzie R, Pezzulli G, Hutter A, Arnalte-Mur P, Gurung-López S, Tacchella S, Oesch P, Kashino D, Conroy C, Sobral D. 2024. Anatomy of an ionized bubble: NIRCam grism spectroscopy of the z = 6.6 double-peaked Lyman- ;1 emitter COL and its environment. Astronomy and Astrophysics. 689, .
LibreCat: https://research-explorer.ista.ac.at/record/17889
DOI: 10.1051/0004-6361/202450318
arXiv: 2404.10040

Pocull Belles G, Baskett C, Barton NH. 2024. Multiscale spatial analysis of two plant–insect interactions: Effects of landscape, resource distribution, and other insects. Landscape Ecology. 39(9), 172.
LibreCat: https://research-explorer.ista.ac.at/record/17888
DOI: 10.1007/s10980-024-01899-9

Olmeda F, Rulands S. 2024. Field theory of enzyme-substrate systems with restricted long-range interactions. Physical Review E. 110(2), 024404.
LibreCat: https://research-explorer.ista.ac.at/record/17892
DOI: 10.1103/PhysRevE.110.024404

Lechner M, Hasani R, Amini A, Wang TH, Henzinger TA, Rus D. 2024. Overparametrization helps offline-to-online generalization of closed-loop control from pixels. Proceedings of the 2024 IEEE International Conference on Robotics and Automation. ICRA: Conference on Robotics and Automation, 2774–2782.
LibreCat: https://research-explorer.ista.ac.at/record/17898
DOI: 10.1109/ICRA57147.2024.10610284

Jin L, Esposito AR, Gastpar M. 2024. Properties of the strong data processing constant for Rényi divergence. Proceedings of the 2024 IEEE International Symposium on Information Theory. ISIT: International Symposium on Information Theory, 3178–3183.
LibreCat: https://research-explorer.ista.ac.at/record/17893
DOI: 10.1109/ISIT57864.2024.10619367
arXiv: 2403.10656

Elkrewi MN, Vicoso B. 2024. Data for: ‘Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome’, Institute of Science and Technology Austria,10.15479/AT:ISTA:17362 .
LibreCat: https://research-explorer.ista.ac.at/record/17362
DOI: 10.15479/AT:ISTA:17362

Dey BK, Jaggi S, Langberg M, Sarwate AD, Zhang Y. 2024. Computationally efficient codes for strongly Dobrushin-Stambler nonsymmetrizable oblivious AVCs. Proceedings of the 2024 IEEE International Symposium on Information Theory . ISIT: International Symposium on Information Theory, 1586–1591.
LibreCat: https://research-explorer.ista.ac.at/record/17895
DOI: 10.1109/ISIT57864.2024.10619362

Esposito AR, Gastpar M, Issa I. 2024. Variational characterizations of Sibson’s ;1-mutual information. Proceedings of the 2024 IEEE International Symposium on Information Theory . ISIT: International Symposium on Information Theory, 2110–2115.
LibreCat: https://research-explorer.ista.ac.at/record/17894
DOI: 10.1109/ISIT57864.2024.10619378

Elkrewi MN, Vicoso B. 2024. Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome. PLoS Genetics., e1011376.
LibreCat: https://research-explorer.ista.ac.at/record/17890
DOI: 10.1371/journal.pgen.1011376
PMID: 39213449

Watson J, Arroyo-Urea S, García-Nafría J. 2024.DNA Cloning. In: Handbook of Molecular Biotechnology. , 66–72.
LibreCat: https://research-explorer.ista.ac.at/record/18058
DOI: 10.1201/9781003055211-8

Mukhopadhyay S, Lancheros Naranjo DA, Senior JL, Higginbotham AP. Dual relaxation oscillations in a Josephson junction array. arXiv,10.48550/arXiv.2408.07829 .
LibreCat: https://research-explorer.ista.ac.at/record/18057
DOI: 10.48550/arXiv.2408.07829
arXiv: 2408.07829

Frantar E, Alistarh D-A. 2024. QMoE: Sub-1-bit compression of trillion parameter models.  Proceedings of Machine Learning and Systems. MLSys: Machine Learning and Systems vol. 6.
LibreCat: https://research-explorer.ista.ac.at/record/18061

Frantar E, Ruiz CR, Houlsby N, Alistarh D-A, Evci U. 2024. Scaling laws for sparsely-connected foundation models. The Twelfth International Conference on Learning Representations. ICLR: International Conference on Learning Representations.
LibreCat: https://research-explorer.ista.ac.at/record/18062
arXiv: 2309.08520

Kögler K, Shevchenko A, Hassani H, Mondelli M. 2024. Compression of structured data with autoencoders: Provable benefit of nonlinearities and depth. Proceedings of the 41st International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 235, 24964–25015.
LibreCat: https://research-explorer.ista.ac.at/record/17469
arXiv: 2402.05013

Shevchenko A. 2024. High-dimensional limits in artificial neural networks. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/17465
DOI: 10.15479/at:ista:17465

Markov I. 2024. Communication-efficient distributed training of deep neural networks: An algorithms and systems perspective. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/17490
DOI: 10.15479/at:ista:17490

Markov I, Alimohammadi K, Frantar E, Alistarh D-A. 2024. L-GreCo: Layerwise-adaptive gradient compression for efficient data-parallel deep learning. Proceedings of Machine Learning and Systems . MLSys: Machine Learning and Systems vol. 6.
LibreCat: https://research-explorer.ista.ac.at/record/17456
arXiv: 2210.17357

Kettel P, Marosits L, Spinetti E, Rechberger M, Giannini C, Radler P, Niedermoser I, Fischer I, Versteeg GA, Loose M, Covino R, Karagöz GE. 2024. Disordered regions in the IR;1 ER lumenal domain mediate its stress-induced clustering. EMBO Journal.
LibreCat: https://research-explorer.ista.ac.at/record/18073
DOI: 10.1038/s44318-024-00207-0

Fialova M. 2024. Aharonov–Casher theorems for Dirac operators on manifolds with boundary and APS boundary condition. Annales Henri Poincare.
LibreCat: https://research-explorer.ista.ac.at/record/18074
DOI: 10.1007/s00023-024-01482-7
arXiv: 2304.13373

Hernandez-Armendariz A, Sorichetti V, Hayashi Y, Koskova Z, Brunner A, Ellenberg J, Sari A, Cuylen-Haering S. 2024. A liquid-like coat mediates chromosome clustering during mitotic exit. Molecular Cell. 84(17), 54–3270..
LibreCat: https://research-explorer.ista.ac.at/record/18072
DOI: 10.1016/j.molcel.2024.07.022
PMID: 39153474

Tsimos G, Kichidis A, Sonnino A, Kokoris Kogias E. 2024. HammerHead: Leader reputation for dynamic scheduling. Proceedings - International Conference on Distributed Computing Systems. ICDCS: International Conference on Distributed Computing Systems, 1377–1387.
LibreCat: https://research-explorer.ista.ac.at/record/18071
DOI: 10.1109/ICDCS60910.2024.00129
arXiv: 2309.12713

Chatterjee B, Kungurtsev V, Alistarh D-A. 2024. Federated SGD with local asynchrony. Proceedings of the 44th International Conference on Distributed Computing Systems. ICDCS: International Conference on Distributed Computing Systems, 857–868.
LibreCat: https://research-explorer.ista.ac.at/record/18070
DOI: 10.1109/ICDCS60910.2024.00084

Avni G, Goharshady EK, Henzinger TA, Mallik K. 2024. Bidding games with charging. 35th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 311, 8.
LibreCat: https://research-explorer.ista.ac.at/record/18066
DOI: 10.4230/LIPIcs.CONCUR.2024.8
arXiv: 2407.06288

Boker U, Henzinger TA, Lehtinen K, Prakash A. 2024. History-determinism vs fair simulation. 35th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 311, 12.
LibreCat: https://research-explorer.ista.ac.at/record/18067
DOI: 10.4230/LIPIcs.CONCUR.2024.12
arXiv: 2407.08620

Peng Y, Ji K, Mao Y, Wang Y, Korbei B, Luschnig C, Shen J, Benková E, Friml J, Tan S. 2024. Polarly localized Bro1 domain proteins regulate PIN-FORMED abundance and root gravitropic growth in Arabidopsis. Communications Biology. 7, 1085.
LibreCat: https://research-explorer.ista.ac.at/record/18063
DOI: 10.1038/s42003-024-06747-9
PMID: 39232040

Neufeld C, Van Dokkum P, Asali Y, Covelo-Paz A, Leja J, Lin J, Matthee JJ, Oesch PA, Reddy NA, Shivaei I, Whitaker KE, Wuyts S, Brammer G, Marchesini D, Maseda MV, Naidu RP, Nelson EJ, Velichko A, Weibel A, Xiao M. 2024. FRESCO: The Paschen-;1 star-forming sequence at cosmic noon. Astrophysical Journal. 972(2), 156.
LibreCat: https://research-explorer.ista.ac.at/record/18069
DOI: 10.3847/1538-4357/ad6158

Henzinger TA, Mazzocchi NA, Sarac NE. 2024. Strategic dominance: A new preorder for nondeterministic processes. 35th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 311, 29.
LibreCat: https://research-explorer.ista.ac.at/record/18068
DOI: 10.4230/LIPIcs.CONCUR.2024.29
arXiv: 2407.10473

Hou X, Pan Y, Zhou Q. 2024. Dynamical classification of analytic one-frequency quasi-periodic SO(3,R)-cocycles. Advances in Mathematics. 457, 109943.
LibreCat: https://research-explorer.ista.ac.at/record/18065
DOI: 10.1016/j.aim.2024.109943

Chan S. 2024. The average number of integral points on the congruent number curves. Advances in Mathematics. 457, 109946.
LibreCat: https://research-explorer.ista.ac.at/record/18064
DOI: 10.1016/j.aim.2024.109946
arXiv: 2112.01615

Sagi O, Crippa A, Valentini M, Janik M, Baghumyan L, Fabris G, Kapoor L, Hassani F, Fink JM, Calcaterra S, Chrastina D, Isella G, Katsaros G. 2024. A gate tunable transmon qubit in planar Ge. Nature Communications. 15, 6400.
LibreCat: https://research-explorer.ista.ac.at/record/17202
DOI: 10.1038/s41467-024-50763-6
arXiv: 2403.16774

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

Chen J, Kaufmann W, Chen C, Arai  itaru, Kim O, Shigemoto R, Jonas PM. 2024. Developmental transformation of C+ channel-vesicle nanotopography at a central GABAergic synapse. Neuron. 112(5), 755–771.e9.
LibreCat: https://research-explorer.ista.ac.at/record/14843
DOI: 10.1016/j.neuron.2023.12.002
PMID: 38215739

Hannezo EB, Scheele CLGJ. 2023.A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In: Cell Migration in Three Dimensions. Methods in Molecular Biology, vol. 2608, 183–205.
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. 2023. Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. 5(1), 013029.
LibreCat: https://research-explorer.ista.ac.at/record/12534
DOI: 10.1103/physrevresearch.5.013029

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

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.
LibreCat: https://research-explorer.ista.ac.at/record/12720
DOI: 10.1007/978-1-0716-3004-4_3
PMID: 36853454

Koval N, Alistarh D-A, Elizarov R. 2023. Fast and scalable channels in Kotlin Coroutines. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. PPoPP: Sympopsium on Principles and Practice of Parallel Programming, 107–118.
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. 2023. Unexpected scaling in path copying trees, Association for Computing Machinery,p.
LibreCat: https://research-explorer.ista.ac.at/record/12736
DOI: 10.1145/3572848.3577512

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.
LibreCat: https://research-explorer.ista.ac.at/record/12760
DOI: 10.4230/LIPIcs.STACS.2023.36
arXiv: 2301.01744

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

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.
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, 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. 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.
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. 2023. VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 38p.
LibreCat: https://research-explorer.ista.ac.at/record/12407
DOI: 10.15479/AT:ISTA:12407

Currin C, Beyer C. 2023.Altered childhood brain development in autism and epilepsy. In: Encyclopedia of Child and Adolescent Health. Vol. 1: Biological Development and Physical Health, , 86–98.
LibreCat: https://research-explorer.ista.ac.at/record/12866
DOI: 10.1016/b978-0-12-818872-9.00129-1

Zhao L, Yang Y, Chen J, Lin X, Zhang H, Wang H, Wang H, Bie X, Jiang J, Feng X, Fu X, Zhang X, Du Z, Xiao J. 2023. Dynamic chromatin regulatory programs during embryogenesis of hexaploid wheat. Genome Biology. 24, 7.
LibreCat: https://research-explorer.ista.ac.at/record/12668
DOI: 10.1186/s13059-022-02844-2
PMID: 36639687

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

Hoffmann C, Hubádek P, Kamath C, Pietrzak KZ. 2023. Certifying giant nonprimes. Public-Key Cryptography - PKC 2023. PKC: Public-Key Cryptography, LNCS, vol. 13940, 530–553.
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. 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.
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. 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.
LibreCat: https://research-explorer.ista.ac.at/record/13141
DOI: 10.1007/978-3-031-30820-8_15

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

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

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

GOSWAMI BB. 2023. Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. 60, 427–442.
LibreCat: https://research-explorer.ista.ac.at/record/11434
DOI: 10.1007/s00382-022-06337-7
WoS: 000803119400002

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.
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. 2023. CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. 7, 116.
LibreCat: https://research-explorer.ista.ac.at/record/13179
DOI: 10.1145/3591230

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

Wei Y, Volosniev A, Lorenc D, Zhumekenov AA, Bakr OM, Lemeshko M, Alpichshev Z. 2023. Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites. The Journal of Physical Chemistry Letters. 14(27), 6309–6314.
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. 2023. Regular methods for operator precedence languages. 50th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 261, 129:1--129:20.
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. 2023. Stochastic representation of the quantum quartic oscillator. SciPost Physics Core. 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. 2023. A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D. SciPost Physics Codebases., 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. 2023. Codebase release 1.0 for FermiFCI, SciPost Foundation,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, Faria R, Stankowski S, Westram AM, Butlin RK, Rafajlovi M, Fraisse C. 2023. Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. 16(2), 542–559.
LibreCat: https://research-explorer.ista.ac.at/record/11479
DOI: 10.1111/eva.13428
WoS: 000815663700001

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