Van Vliet S, Sheng J, Stindt CN, Feringa BL. 2024. All-visible-light-driven salicylidene schiff-base-functionalized artificial molecular motors. Nature Communications. 15, 6461.
LibreCat: https://research-explorer.ista.ac.at/record/17409
DOI: 10.1038/s41467-024-50587-4
PMID: 39085193

Scott JA, Zakerinia H, Lampert C. 2024. PEFLL: Personalized federated learning by learning to learn. 12th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.
LibreCat: https://research-explorer.ista.ac.at/record/17411
arXiv: 2306.05515

Zu M, Goodrich CP. 2024. Designing athermal disordered solids with automatic differentiation. Communications Materials. 5, 141.
LibreCat: https://research-explorer.ista.ac.at/record/17407
DOI: 10.1038/s43246-024-00583-4
arXiv: 2404.15101

Gong L, Zhao S, Yu J, Li J, Arbiol J, Kallio T, Calcabrini M, Martínez-Alanis PR, Ibáñez M, Cabot A. 2024. Influence of the catalyst surface chemistry on the electrochemical self-coupling of biomass-derived benzaldehyde into hydrobenzoin. Energy Advances.
LibreCat: https://research-explorer.ista.ac.at/record/17412
DOI: 10.1039/d4ya00334a

Chen Y-L, Ly M, Wojtan C. 2024. Primal-dual non-smooth friction for rigid body animation. Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24. SIGGRAPH: Computer Graphics and Interactive Techniques Conference.
LibreCat: https://research-explorer.ista.ac.at/record/17214
DOI: 10.1145/3641519.3657485

Vernet T. 2024. Rational singularities for moment maps of totally negative quivers. Transformation Groups.
LibreCat: https://research-explorer.ista.ac.at/record/17437
DOI: 10.1007/s00031-024-09873-0

André J, D’Andrea F, Drobinski P, Muller CJ. 2024. Regimes of precipitation change over Europe and the Mediterranean. Journal of Geophysical Research: Atmospheres. 129(15), e2023J0413.
LibreCat: https://research-explorer.ista.ac.at/record/17435
DOI: 10.1029/2023JD040413

Das S, De Roij M, Bellows S, Alvarez MD, Mutte S, Kohlen W, Farcot E, Weijers D, Borst JW. 2024. Quantitative imaging reveals the role of MpARF proteasomal degradation during gemma germination. Plant Communications., 101039.
LibreCat: https://research-explorer.ista.ac.at/record/17436
DOI: 10.1016/j.xplc.2024.101039
PMID: 38988072

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

Svoboda J, Joshi SS, Tkadlec J, Chatterjee K. 2024. Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating. PLoS Computational Biology. 20(3), e1012008.
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, Spona L, Yoshida S, Marhavá P, Caballero Mancebo S, Benková E, Heisenberg C-PJ, Dagdas Y, Majda M, Friml J. 2024. Mechanical forces in plant tissue matrix orient cell divisions via microtubule stabilization. Developmental Cell. 59(10), 1333–1344.e4.
LibreCat: https://research-explorer.ista.ac.at/record/15301
DOI: 10.1016/j.devcel.2024.03.009
PMID: 38579717

Esposito AR, Mondelli M. 2024. Concentration without independence via information measures. IEEE Transactions on Information Theory. 70(6), 3823–3839.
LibreCat: https://research-explorer.ista.ac.at/record/15172
DOI: 10.1109/TIT.2024.3367767
arXiv: 2303.07245

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

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

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

Pandey M, Wang V, Xu MW. 2024. Partial sums of typical multiplicative functions over short moving intervals. Algebra &; Number Theory. 18(2), 389–408.
LibreCat: https://research-explorer.ista.ac.at/record/17449
DOI: 10.2140/ant.2024.18.389
arXiv: 2207.11758

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

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

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

Kofler L, Grundmann L, Gerhalter M, Prattes M, Merl-Pham J, Zisser G, Grishkovskaya I, Hodirnau V-V, Vareka M, Breinbauer R, Hauck SM, Haselbach D, Bergler H. 2024. The novel ribosome biogenesis inhibitor usnic acid blocks nucleolar pre-60S maturation. Nature Communications. 15, 7511.
LibreCat: https://research-explorer.ista.ac.at/record/17885
DOI: 10.1038/s41467-024-51754-3

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

Gäher L, Sammler MJ, Jung R, Krebbers R, Dreyer D. 2024. RefinedRust: A type system for high-assurance verification of rust programs. Proceedings of the ACM on Programming Languages. 8(PLDI), 1115–1139.
LibreCat: https://research-explorer.ista.ac.at/record/17495
DOI: 10.1145/3656422

Spies S, Gäher L, Sammler MJ, Dreyer D. 2024. Quiver: Guided abductive inference of separation logic specifications in coq. Proceedings of the ACM on Programming Languages. 8(PLDI), 889–913.
LibreCat: https://research-explorer.ista.ac.at/record/17497
DOI: 10.1145/3656413

Saade ML, Brightman M, Stern D, Connor T, Djorgovski SG, D’Orazio DJ, Ford KES, Graham MJ, Haiman Z, Jun HD, Kammoun E, Kraft RP, McKernan B, Vikhlinin A, Walton DJ. 2024. NuSTAR observations of candidate subparsec binary supermassive black holes. The Astrophysical Journal. 966(1), 104.
LibreCat: https://research-explorer.ista.ac.at/record/17517
DOI: 10.3847/1538-4357/ad372e

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

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

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

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

Tagawa H, Kimura SS, Haiman Z, Perna R, Bartos I. 2024. Shock cooling and breakout emission for optical flares associated with gravitational-wave events. The Astrophysical Journal. 966(1), 21.
LibreCat: https://research-explorer.ista.ac.at/record/17531
DOI: 10.3847/1538-4357/ad2e0b

Scoggins MT, Haiman Z. 2024. Diagnosing the massive-seed pathway to high-redshift black holes: statistics of the evolving black hole to host galaxy mass ratio. Monthly Notices of the Royal Astronomical Society. 531(4), 4584–4597.
LibreCat: https://research-explorer.ista.ac.at/record/17535
DOI: 10.1093/mnras/stae1449

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

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

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

Krauth LM, Davelaar J, Haiman Z, Westernacher-Schneider JR, Zrake J, MacFadyen A. 2024. Self-lensing flares from black hole binaries: General-relativistic ray tracing of circumbinary accretion simulations. Physical Review D. 109(10), 103014.
LibreCat: https://research-explorer.ista.ac.at/record/17545
DOI: 10.1103/physrevd.109.103014
arXiv: 2310.19766

Westernacher-Schneider JR, Zrake J, MacFadyen A, Haiman Z. 2024. Eccentric minidisks in accreting binaries. The Astrophysical Journal. 962(1), 76.
LibreCat: https://research-explorer.ista.ac.at/record/17546
DOI: 10.3847/1538-4357/ad1a17

Attali D, Kourimska H, Fillmore CD, Ghosh I, Lieutier A, Stephenson ER, Wintraecken M. 2024. The ultimate frontier: An optimality construction for homotopy inference (media exposition). 40th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 293, 87.
LibreCat: https://research-explorer.ista.ac.at/record/18097
DOI: 10.4230/LIPIcs.SoCG.2024.87

Xin C, Haiman Z, Perna R, Wang Y, Ryu T. 2024. “Tidal Peeling Events”: Low-eccentricity tidal disruption of a star by a stellar-mass black hole. The Astrophysical Journal. 961(2), 149.
LibreCat: https://research-explorer.ista.ac.at/record/17590
DOI: 10.3847/1538-4357/ad11d3

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

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. 2024. Compressing large neural networksf: Algorithms, systems and scaling laws. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/17485
DOI: 10.15479/at:ista:17485

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

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

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

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.
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. 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

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

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

Traxler M, Reischauer S, Vogl S, Roeser J, Rabeah J, Penschke C, Saalfrank P, Pieber B, Thomas A. 2023. Programmable photocatalytic activity of multicomponent covalent organic frameworks used as metallaphotocatalysts. Chemistry – A European Journal. 29(4), e202202967.
LibreCat: https://research-explorer.ista.ac.at/record/12920
DOI: 10.1002/chem.202202967

Madani A, Pieber B. 2023. In situ reaction monitoring in photocatalytic organic synthesis. ChemCatChem. 15(7), e202201583.
LibreCat: https://research-explorer.ista.ac.at/record/12921
DOI: 10.1002/cctc.202201583

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