Henzinger TA, Karimi M, Kueffner K, Mallik K. 2023. Runtime monitoring of dynamic fairness properties. FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency. FAccT: Conference on Fairness, Accountability and Transparency, 604–614.
LibreCat: https://research-explorer.ista.ac.at/record/13228
DOI: 10.1145/3593013.3594028
WoS: 001062819300057
arXiv: 2305.04699

Stankowski S, Zagrodzka ZB, Galindo J, Montaño-Rendón M, Faria R, Mikhailova N, Blakeslee AMH, Arnason E, Broquet T, Morales HE, Grahame JW, Westram AM, Johannesson K, Butlin RK. 2023. Whole-genome phylogeography of the intertidal snail Littorina saxatilis. Evolutionary Journal of the Linnean Society. 2(1), kzad002.
LibreCat: https://research-explorer.ista.ac.at/record/14833
DOI: 10.1093/evolinnean/kzad002

Lasne C, Elkrewi MN, Toups MA, Layana Franco LA, Macon A, Vicoso B. 2023. The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome. Molecular Biology and Evolution. 40(12), msad245.
LibreCat: https://research-explorer.ista.ac.at/record/14613
DOI: 10.1093/molbev/msad245
PMID: 37988296

Lasne C, Elkrewi MN. 2023. The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome, Institute of Science and Technology Austria,10.15479/AT:ISTA:14614 .
LibreCat: https://research-explorer.ista.ac.at/record/14614
DOI: 10.15479/AT:ISTA:14614

Gnyliukh N, Johnson AJ, Nagel M-K, Monzer A, Hlavata A, Isono E, Loose M, Friml J. Role of dynamin-related proteins 2 and S in clathrin-mediated endocytosis in plants. bioRxiv,10.1101/2023.10.09.561523 .
LibreCat: https://research-explorer.ista.ac.at/record/14591
DOI: 10.1101/2023.10.09.561523

Piovarci M, Chapiro A, Bickel B. 2023. Skin-Screen: A computational fabrication framework for color tattoos. ACM Transactions on Graphics. 42(4), 67.
LibreCat: https://research-explorer.ista.ac.at/record/12984
DOI: 10.1145/3592432
WoS: 001044671300033

Chatterjee K, Kafshdar Goharshady E, Novotný P, Zárevúcky J, Zikelic D. 2023. On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. 35(2), 11.
LibreCat: https://research-explorer.ista.ac.at/record/14778
DOI: 10.1145/3585391
arXiv: 2108.02188

Calcabrini M. 2023. Nanoparticle-based semiconductor solids: From synthesis to consolidation. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/12885
DOI: 10.15479/at:ista:12885

Westram AM, Butlin R. 2023. Professor Kerstin Johannesson–winner of the 2022 Molecular Ecology Prize. Molecular Ecology. 32(1), 26–29.
LibreCat: https://research-explorer.ista.ac.at/record/12166
DOI: 10.1111/mec.16779
WoS: 000892168800001

Zens B. 2023. Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/12491
DOI: 10.15479/at:ista:12491

Boocock DR. 2023. Mechanochemical pattern formation across biological scales. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/12964
DOI: 10.15479/at:ista:12964

Schauer A. 2023. Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/12891
DOI: 10.15479/at:ista:12891

Alcarva C. 2023. Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/12809
DOI: 10.15479/at:ista:12809

Kravchuk V. 2023. Structural and mechanistic study of bacterial complex I and its cyanobacterial ortholog. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/12781
DOI: 10.15479/at:ista:12781

Wang Y, Yuan Z, Wang J, Xiao H, Wan L, Li L, Guo Y, Gong Z, Friml J, Zhang J. 2023. The nitrate transporter NR.1 directly antagonizes PIN7-mediated auxin transport for root growth adaptation. Proceedings of the National Academy of Sciences of the United States of America. 120(25), e2221313120.
LibreCat: https://research-explorer.ista.ac.at/record/13201
DOI: 10.1073/pnas.2221313120
WoS: 001030689600003
PMID: 37307446

Stephenson ER. 2023. Generalizing medial axes with homology switches. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/14226
DOI: 10.15479/at:ista:14226

Kirillova K. 2023. Panoramic functional gradients across the mouse retina. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/12531
DOI: 10.15479/at:ista:12531

Julseth M. 2023. The effect of local population structure on genetic variation at selected loci in the A. majus hybrid zone. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/12800
DOI: 10.15479/at:ista:12800

Hafner C. 2023. Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/12897
DOI: 10.15479/at:ista:12897

Hafner C, Bickel B. 2023. The design space of Kirchhoff rods. ACM Transactions on Graphics. 42(5), 171.
LibreCat: https://research-explorer.ista.ac.at/record/13188
DOI: 10.1145/3606033
WoS: 001086833300010

Michalska JM. 2023. A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/12470
DOI: 10.15479/at:ista:12470

Hosten O. 2022. Constraints on probing quantum coherence to infer gravitational entanglement. Physical Review Research. 4(1), 013023.
LibreCat: https://research-explorer.ista.ac.at/record/10652
DOI: 10.1103/PhysRevResearch.4.013023

Dubini RCA, Korytiaková E, Schinkel T, Heinrichs P, Carell T, Rovo P. 2022. 1H NMR chemical exchange techniques reveal local and global effects of oxidized cytosine derivatives. ACS Physical Chemistry Au. 2(3), 237–246.
LibreCat: https://research-explorer.ista.ac.at/record/10758
DOI: 10.1021/acsphyschemau.1c00050
PMID: 35637781

Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. 2022. Flavors of sequential information flow. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 13182, 1–19.
LibreCat: https://research-explorer.ista.ac.at/record/10774
DOI: 10.1007/978-3-030-94583-1_1
arXiv: 2105.02013

Daguerre L, Torroba G, Medina Ramos RA, Solís M. 2022. Non relativistic quantum field theory: Dynamics and irreversibility. Anales de la Asociacion Fisica Argentina. 32(4), 93–98.
LibreCat: https://research-explorer.ista.ac.at/record/10769
DOI: 10.31527/analesafa.2021.32.4.93

Lombardi F, Herrmann HJ, Parrino L, Plenz D, Scarpetta S, Vaudano AE, de Arcangelis L, Shriki O. 2022. Alpha rhythm induces attenuation-amplification dynamics in neural activity cascades. bioRxiv,10.1101/2022.03.03.482657 .
LibreCat: https://research-explorer.ista.ac.at/record/10821
DOI: 10.1101/2022.03.03.482657

Maslov M, Lemeshko M, Volosniev A. 2022. Impurity with a resonance in the vicinity of the Fermi energy. Physical Review Research. 4, 013160.
LibreCat: https://research-explorer.ista.ac.at/record/10845
DOI: 10.1103/PhysRevResearch.4.013160
arXiv: 2111.13570

Davidovi A, Chait RP, Batt G, Ruess J. 2022. Parameter inference for stochastic biochemical models from perturbation experiments parallelised at the single cell level. PLoS Computational Biology. 18(3), e1009950.
LibreCat: https://research-explorer.ista.ac.at/record/10939
DOI: 10.1371/journal.pcbi.1009950

Alistarh D-A, Gelashvili R, Rybicki J. 2022. Fast graphical population protocols. 25th International Conference on Principles of Distributed Systems. OPODIS, LIPIcs, vol. 217, 14.
LibreCat: https://research-explorer.ista.ac.at/record/11184
DOI: 10.4230/LIPIcs.OPODIS.2021.14
arXiv: 2102.08808

Nikabadi A, Korhonen J. 2022. Beyond distributed subgraph detection: Induced subgraphs, multicolored problems and graph parameters. 25th International Conference on Principles of Distributed Systems. OPODIS, LIPIcs, vol. 217, 15.
LibreCat: https://research-explorer.ista.ac.at/record/11183
DOI: 10.4230/LIPIcs.OPODIS.2021.15

Kroll J, Ruiz-Fernandez MJA, Braun MB, Merrin J, Renkawitz J. 2022. Quantifying the probing and selection of microenvironmental pores by motile immune cells. Current Protocols. 2(4), e407.
LibreCat: https://research-explorer.ista.ac.at/record/11182
DOI: 10.1002/cpz1.407
PMID: 35384410

Chambers E, Fillmore CD, Stephenson ER, Wintraecken M. 2022. A cautionary tale: Burning the medial axis is unstable. 38th International Symposium on Computational Geometry. SoCG: Symposium on Computational GeometryLIPIcs vol. 224, 66:1-66:9.
LibreCat: https://research-explorer.ista.ac.at/record/11428
DOI: 10.4230/LIPIcs.SoCG.2022.66

Shevchenko A, Kungurtsev V, Mondelli M. 2022. Mean-field analysis of piecewise linear solutions for wide ReLU networks. Journal of Machine Learning Research. 23(130), 1–55.
LibreCat: https://research-explorer.ista.ac.at/record/11420
arXiv: 2111.02278

Bleile B, Garin A, Heiss T, Maggs K, Robins V. 2022.The persistent homology of dual digital image constructions. In: Research in Computational Topology 2. Association for Women in Mathematics Series, vol. 30, 1–26.
LibreCat: https://research-explorer.ista.ac.at/record/11440
DOI: 10.1007/978-3-030-95519-9_1
arXiv: 2102.11397

Chlebak CA, Reid PH. 2022. From the prefect’s desk: Gerard van Swieten’s library correspondence. Library and Information History. 38(1), 23–41.
LibreCat: https://research-explorer.ista.ac.at/record/11444
DOI: 10.3366/lih.2022.0097

Kusakabe H, Verhamme A, Blaizot J, Garel T, Wisotzki L, Leclercq F, Bacon R, Schaye J, Gallego SG, Kerutt J, Matthee JJ, Maseda M, Nanayakkara T, Pelló R, Richard J, Tresse L, Urrutia T, Vitte E. 2022. The MUSE eXtremely Deep Field: Individual detections of Ly;1 haloes around rest-frame UV-selected galaxies at z  2.9–4.4. Astronomy &; Astrophysics. 660, .
LibreCat: https://research-explorer.ista.ac.at/record/11488
DOI: 10.1051/0004-6361/202142302
arXiv: 2201.07257

Kerutt J, Wisotzki L, Verhamme A, Schmidt KB, Leclercq F, Herenz EC, Urrutia T, Garel T, Hashimoto T, Maseda M, Matthee JJ, Kusakabe H, Schaye J, Richard J, Guiderdoni B, Mauerhofer V, Nanayakkara T, Vitte E. 2022. Equivalent widths of Lyman ;1 emitters in MUSE-Wide and MUSE-Deep. Astronomy &; Astrophysics. 659, 183.
LibreCat: https://research-explorer.ista.ac.at/record/11497
DOI: 10.1051/0004-6361/202141900
arXiv: 2202.06642

Matthee JJ, Feltre A, Maseda M, Nanayakkara T, Boogaard L, Bacon R, Verhamme A, Leclercq F, Kusakabe H, Urrutia T, Wisotzki L. 2022. Deciphering stellar metallicities in the early universe: Case study of a young galaxy at z = 4.77 in the MUSE eXtremely Deep Field. Astronomy &; Astrophysics. 660, .
LibreCat: https://research-explorer.ista.ac.at/record/11490
DOI: 10.1051/0004-6361/202142187
arXiv: 2111.14855

Isobe Y, Ouchi M, Suzuki A, Moriya TJ, Nakajima K, Nomoto K, Rauch M, Harikane Y, Kojima T, Ono Y, Fujimoto S, Inoue AK, Kim JH, Komiyama Y, Kusakabe H, Lee C-H, Maseda M, Matthee JJ, Michel-Dansac L, Nagao T, Nanayakkara T, Nishigaki M, Onodera M, Sugahara Y, Xu Y. 2022. EMPRESS. IV. Extremely metal-poor galaxies including very low-mass primordial systems with M= 10<sup>4</sup>-10<sup>5</sup> and 2%–3% (O/H): High (Fe/O) suggestive of metal enrichment by hypernovae/pair-instability supernovae. The Astrophysical Journal. 925(2), 111.
LibreCat: https://research-explorer.ista.ac.at/record/11509
DOI: 10.3847/1538-4357/ac3509
arXiv: 2108.03850

Sobral D, van der Wel A, Bezanson R, Bell E, Muzzin A, D’Eugenio F, Darvish B, Gallazzi A, Wu P-F, Maseda M, Matthee JJ, Paulino-Afonso A, Straatman C, van Dokkum PG. 2022. The LEGA-C of nature and nurture in stellar populations at z c 0.6–1.0: Dn4000 and H;4 reveal different assembly histories for quiescent galaxies in different environments. The Astrophysical Journal. 926(2), 117.
LibreCat: https://research-explorer.ista.ac.at/record/11510
DOI: 10.3847/1538-4357/ac4419
arXiv: 2112.08372

Gebek A, Matthee JJ. 2022. On the variation in stellar ;1-enhancements of star-forming galaxies in the EAGLE simulation. The Astrophysical Journal. 924(2), 73.
LibreCat: https://research-explorer.ista.ac.at/record/11511
DOI: 10.3847/1538-4357/ac350b
arXiv: 2102.04561

Matthee JJ, Naidu RP, Pezzulli G, Gronke M, Sobral D, Oesch PA, Hayes M, Erb D, Schaerer D, Amorín R, Tacchella S, Ana Paulino-Afonso AP-A, Llerena M, Calhau J, Röttgering H. 2022. (Re)Solving reionization with Ly;1: How bright Ly;1 emitters account for the z  2  8 cosmic ionizing background. Monthly Notices of the Royal Astronomical Society. 512(4), 5960–5977.
LibreCat: https://research-explorer.ista.ac.at/record/11521
DOI: 10.1093/mnras/stac801
arXiv: 2110.11967

Clark T, Drach K, Kozlovski O, Strien SV. 2022. The dynamics of complex box mappings. Arnold Mathematical Journal. 8(2), 319–410.
LibreCat: https://research-explorer.ista.ac.at/record/11553
DOI: 10.1007/s40598-022-00200-7

Zinn JC, Stello D, Elsworth Y, García RA, Kallinger T, Mathur S, Mosser B, Hon M, Bugnet LA, Jones C, Reyes C, Sharma S, Schönrich R, Warfield JT, Luger R, Vanderburg A, Kobayashi C, Pinsonneault MH, Johnson JA, Huber D, Buder S, Joyce M, Bland-Hawthorn J, Casagrande L, Lewis GF, Miglio A, Nordlander T, Davies GR, Silva GD, Chaplin WJ, Silva Aguirre V. 2022. The K2 Galactic Archaeology Program data release 3: Age-abundance patterns in – and 0–8. The Astrophysical Journal. 926(2), 191.
LibreCat: https://research-explorer.ista.ac.at/record/11601
DOI: 10.3847/1538-4357/ac2c83
arXiv: 2108.05455

Mathur S, García RA, Breton S, Santos ARG, Mosser B, Huber D, Sayeed M, Bugnet LA, Chontos A. 2022. Detections of solar-like oscillations in dwarfs and subgiants with Kepler D short-cadence data. Astronomy &; Astrophysics. 657, .
LibreCat: https://research-explorer.ista.ac.at/record/11602
DOI: 10.1051/0004-6361/202141168
arXiv: 2109.14058

Dhouib H, Mathis S, Bugnet LA, Van Reeth T, Aerts C. 2022. Detecting deep axisymmetric toroidal magnetic fields in stars: The traditional approximation of rotation for differentially rotating deep spherical shells with a general azimuthal magnetic field. Astronomy &; Astrophysics. 661, 3.
LibreCat: https://research-explorer.ista.ac.at/record/11621
DOI: 10.1051/0004-6361/202142956
arXiv: 2202.10026

Ngampruetikorn V, Sachdeva V, Torrence J, Humplik J, Schwab DJ, Palmer SE. 2022. Inferring couplings in networks across order-disorder phase transitions. Physical Review Research. 4(2), 023240.
LibreCat: https://research-explorer.ista.ac.at/record/11638
DOI: 10.1103/PhysRevResearch.4.023240
arXiv: 2106.02349

Barton NH. 2022. The ‘New Synthesis’. Proceedings of the National Academy of Sciences of the United States of America. 119(30), e2122147119.
LibreCat: https://research-explorer.ista.ac.at/record/11702
DOI: 10.1073/pnas.2122147119
PMID: 35858408

Nikolic N, Sauert M, Albanese TG, Moll I. 2022. Quantifying heterologous gene expression during ectopic MazF production in Escherichia coli. BMC Research Notes. 15, 173.
LibreCat: https://research-explorer.ista.ac.at/record/11713
DOI: 10.1186/s13104-022-06061-9
PMID: 35562780

Hanauer K, Henzinger MH, Hua QC. 2022. Fully dynamic four-vertex subgraph counting. 1st Symposium on Algorithmic Foundations of Dynamic Networks. SAND: Symposium on Algorithmic Foundations of Dynamic Networks, LIPIcs, vol. 221, 18.
LibreCat: https://research-explorer.ista.ac.at/record/11812
DOI: 10.4230/LIPIcs.SAND.2022.18
arXiv: 2106.15524

Hanauer K, Henzinger MH, Schulz C. 2022. Recent advances in fully dynamic graph algorithms. 1st Symposium on Algorithmic Foundations of Dynamic Networks. SAND: Symposium on Algorithmic Foundations of Dynamic Networks, LIPIcs, vol. 221, 1.
LibreCat: https://research-explorer.ista.ac.at/record/11808
DOI: 10.4230/LIPIcs.SAND.2022.1
arXiv: 2102.11169

Wirth M. 2022. Kac regularity and domination of quadratic forms. Advances in Operator Theory. 7(3), 38.
LibreCat: https://research-explorer.ista.ac.at/record/11916
DOI: 10.1007/s43036-022-00199-w

Henzinger MH, Noe A, Schulz C. 2022. Practical fully dynamic minimum cut algorithms. 2022 Proceedings of the Symposium on Algorithm Engineering and Experiments. ALENEX: Symposium on Algorithm Engineering and Experiments, 13–26.
LibreCat: https://research-explorer.ista.ac.at/record/11930
DOI: 10.1137/1.9781611977042.2
arXiv: 2101.05033

Traxler M, Gisbertz S, Pachfule P, Schmidt J, Roeser J, Reischauer S, Rabeah J, Pieber B, Thomas A. 2022. Acridinefunctionalized covalent organic frameworks (COFs) as photocatalysts for metallaphotocatalytic CN crosscoupling. Angewandte Chemie International Edition. 61(21), e202117738.
LibreCat: https://research-explorer.ista.ac.at/record/11955
DOI: 10.1002/anie.202117738
PMID: 35188714

Krokhin A, Oprsal J. 2022. An invitation to the promise constraint satisfaction problem. ACM SIGLOG News. 9(3), 30–59.
LibreCat: https://research-explorer.ista.ac.at/record/11991
DOI: 10.1145/3559736.3559740
arXiv: 2208.13538

Brunnbauer A, Berducci L, Brandstatter A, Lechner M, Hasani R, Rus D, Grosu R. 2022. Latent imagination facilitates zero-shot transfer in autonomous racing. 2022 International Conference on Robotics and Automation. ICRA: International Conference on Robotics and Automation, 7513–7520.
LibreCat: https://research-explorer.ista.ac.at/record/12010
DOI: 10.1109/ICRA46639.2022.9811650
arXiv: 2103.04909

GOSWAMI BB, An S-I, Murtugudde R. 2022. Role of the Tibetan plateau glaciers in the Asian summer monsoon. Climatic Change. 173(3–4), 29.
LibreCat: https://research-explorer.ista.ac.at/record/12007
DOI: 10.1007/s10584-022-03426-8

Zhang Y, Jaggi S, Langberg M, Sarwate AD. 2022. The capacity of causal adversarial channels. 2022 IEEE International Symposium on Information Theory. ISIT: Internation Symposium on Information Theory vol. 2022, 2523–2528.
LibreCat: https://research-explorer.ista.ac.at/record/12011
DOI: 10.1109/ISIT50566.2022.9834709
arXiv: 2205.06708

Fathollahi D, Mondelli M. 2022. Polar coded computing: The role of the scaling exponent. 2022 IEEE International Symposium on Information Theory. ISIT: Internation Symposium on Information Theory vol. 2022, 2154–2159.
LibreCat: https://research-explorer.ista.ac.at/record/12016
DOI: 10.1109/ISIT50566.2022.9834712
arXiv: 2201.10082

Torkamani S, Ebrahimi JB, Sadeghi P, D’Oliveira RGL, Médard M. 2022. Heterogeneous differential privacy via graphs. 2022 IEEE International Symposium on Information Theory. ISIT: Internation Symposium on Information Theory vol. 2022, 1623–1628.
LibreCat: https://research-explorer.ista.ac.at/record/12012
DOI: 10.1109/ISIT50566.2022.9834711
arXiv: 2203.15429

Shute AL. 2022. Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/12072
DOI: 10.15479/at:ista:12072

Ahmadi A, Chatterjee K, Goharshady AK, Meggendorfer T, Safavi Hemami R, Zikelic D. 2022. Algorithms and hardness results for computing cores of Markov chains. 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTC: Foundations of Software Technology and Theoretical Computer Science vol. 250, 29.
LibreCat: https://research-explorer.ista.ac.at/record/12102
DOI: 10.4230/LIPIcs.FSTTCS.2022.29

Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. 2022. Complexity of spatial games. 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTC: Foundations of Software Technology and Theoretical Computer Science vol. 250, 11:1-11:14.
LibreCat: https://research-explorer.ista.ac.at/record/12101
DOI: 10.4230/LIPIcs.FSTTCS.2022.11

Stocker L, Sack S, Ferguson MS, Zilberberg O. 2022. Entanglement-based observables for quantum impurities. Physical Review Research. 4(4), 043177.
LibreCat: https://research-explorer.ista.ac.at/record/12111
DOI: 10.1103/PhysRevResearch.4.043177

Chen B, Piovarci M, Wang C, Seidel H-P, Didyk P, Myszkowski K, Serrano A. 2022. Gloss management for consistent reproduction of real and virtual objects. SIGGRAPH Asia 2022 Conference Papers. SIGGRAPH: Computer Graphics and Interactive Techniques Conference vol. 2022, 35.
LibreCat: https://research-explorer.ista.ac.at/record/12135
DOI: 10.1145/3550469.3555406

Börner G, Schröder M, Scarselli D, Budanur NB, Hof B, Timme M. 2022. Explosive transitions in epidemic dynamics. Journal of Physics: Complexity. 3(4), 04L.
LibreCat: https://research-explorer.ista.ac.at/record/12134
DOI: 10.1088/2632-072x/ac99cd

Zoller B, Gregor T, Tkadik G. 2022. Eukaryotic gene regulation at equilibrium, or non? Current Opinion in Systems Biology. 31(9), 100435.
LibreCat: https://research-explorer.ista.ac.at/record/12156
DOI: 10.1016/j.coisb.2022.100435

Garcia Soto M, Henzinger TA, Schilling C. 2022. Synthesis of parametric hybrid automata from time series. 20th International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 13505, 337–353.
LibreCat: https://research-explorer.ista.ac.at/record/12171
DOI: 10.1007/978-3-031-19992-9_22
arXiv: 2208.06383

Pacut M, Parham M, Rybicki J, Schmid S, Suomela J, Tereshchenko A. 2022. Brief announcement: Temporal locality in online algorithms. 36th International Symposium on Distributed Computing. DISC: Symposium on Distributed Computing vol. 246, 52.
LibreCat: https://research-explorer.ista.ac.at/record/12182
DOI: 10.4230/LIPIcs.DISC.2022.52

Cremaschi T, Dello Schiavo L. 2022. Effective contraction of Skinning maps. Proceedings of the American Mathematical Society, Series B. 9(43), 445–459.
LibreCat: https://research-explorer.ista.ac.at/record/12177
DOI: 10.1090/bproc/134

Cipolloni G, Erdös L, Schröder DJ. 2022. On the condition number of the shifted real Ginibre ensemble. SIAM Journal on Matrix Analysis and Applications. 43(3), 1469–1487.
LibreCat: https://research-explorer.ista.ac.at/record/12179
DOI: 10.1137/21m1424408
arXiv: 2105.13719

Spiegelman A, Giridharan N, Sonnino A, Kokoris Kogias E. 2022. Bullshark: DAG BFT protocols made practical. Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. CCS: CConference on Computer and Communications Security, 2705–2718.
LibreCat: https://research-explorer.ista.ac.at/record/12229
DOI: 10.1145/3548606.3559361
arXiv: 2201.05677

Ljubotina M, Roos B, Abanin DA, Serbyn M. 2022. Optimal steering of matrix product states and quantum many-body scars. PRX Quantum. 3(3), 030343.
LibreCat: https://research-explorer.ista.ac.at/record/12276
DOI: 10.1103/prxquantum.3.030343
arXiv: 2204.02899

Das S, Yurek T, Xiang Z, Miller A, Kokoris Kogias E, Ren L. 2022. Practical asynchronous distributed key generation. 2022 IEEE Symposium on Security and Privacy. SP: Symposium on Security and Privacy, 2518–2534.
LibreCat: https://research-explorer.ista.ac.at/record/12300
DOI: 10.1109/sp46214.2022.9833584

Mirkovi I, Yang Y, Zhao G. 2022.Loop Grassmannians of Quivers and Affine Quantum Groups. In: Representation Theory and Algebraic Geometry. Trends in Mathematics, , 347–392.
LibreCat: https://research-explorer.ista.ac.at/record/12303
DOI: 10.1007/978-3-030-82007-7_8
arXiv: 1810.10095

Henzinger TA, Lehtinen K, Totzke P. 2022. History-deterministic timed automata. 33rd International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 243, 14:1-14:21.
LibreCat: https://research-explorer.ista.ac.at/record/12508
DOI: 10.4230/LIPIcs.CONCUR.2022.14

Avni G, Henzinger TA. 2022. An updated survey of bidding games on graphs. 47th International Symposium on Mathematical Foundations of Computer Science. MFCS: Symposium on Mathematical Foundations of Computer ScienceLeibniz International Proceedings in Informatics (LIPIcs) vol. 241, 3:1-3:6.
LibreCat: https://research-explorer.ista.ac.at/record/12509
DOI: 10.4230/LIPIcs.MFCS.2022.3

Banerjee T, Majumdar R, Mallik K, Schmuck A-K, Soudjani S. 2022. A direct symbolic algorithm for solving stochastic rabin games. 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13244, 81–98.
LibreCat: https://research-explorer.ista.ac.at/record/12529
DOI: 10.1007/978-3-030-99527-0_5

Venkataramanan R, Kögler K, Mondelli M. 2022. Estimation in rotationally invariant generalized linear models via approximate message passing. Proceedings of the 39th International Conference on Machine Learning. ICML: International Conference on Machine Learning vol. 162, 22.
LibreCat: https://research-explorer.ista.ac.at/record/12540

Barbier J, Hou T, Mondelli M, Saenz M. The price of ignorance: How much does it cost to forget noise structure in low-rank matrix estimation? arXiv, 2205.10009.
LibreCat: https://research-explorer.ista.ac.at/record/12536
DOI: 10.48550/arXiv.2205.10009
arXiv: 2205.10009

Meggendorfer T. 2022. Risk-aware stochastic shortest path. Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022. Conference on Artificial Intelligence vol. 36, 9858–9867.
LibreCat: https://research-explorer.ista.ac.at/record/12568
DOI: 10.1609/aaai.v36i9.21222
arXiv: 2203.01640

Scott JA, Yeo MX, Lampert C. Cross-client Label Propagation for transductive federated learning. arXiv, 2210.06434.
LibreCat: https://research-explorer.ista.ac.at/record/12660
DOI: 10.48550/arXiv.2210.06434
arXiv: 2210.06434

Súkeník P, Lampert C. Generalization in Multi-objective machine learning. arXiv, 2208.13499.
LibreCat: https://research-explorer.ista.ac.at/record/12662
DOI: 10.48550/arXiv.2208.13499
arXiv: 2208.13499

Súkeník P, Kuvshinov A, Günnemann S. 2022. Intriguing properties of input-dependent randomized smoothing. Proceedings of the 39th International Conference on Machine Learning. International Conference on Machine Learning vol. 162, 20697–20743.
LibreCat: https://research-explorer.ista.ac.at/record/12664
arXiv: 2110.05365

Iofinova EB, Konstantinov NH, Lampert C. 2022. FLEA: Provably robust fair multisource learning from unreliable training data. Transactions on Machine Learning Research.
LibreCat: https://research-explorer.ista.ac.at/record/12495
arXiv: 2106.11732

Aichholzer O, Arroyo Guevara AM, Masárová Z, Parada I, Perz D, Pilz A, Tkadlec J, Vogtenhuber B. 2022. On compatible matchings. Journal of Graph Algorithms and Applications. 26(2), 225–240.
LibreCat: https://research-explorer.ista.ac.at/record/11938
DOI: 10.7155/jgaa.00591
arXiv: 2101.03928

Bialy M, Fiorebe C, Glutsyuk A, Levi M, Plakhov A, Tabachnikov S. 2022. Open problems on billiards and geometric optics. Arnold Mathematical Journal. 8, 411–422.
LibreCat: https://research-explorer.ista.ac.at/record/10706
DOI: 10.1007/s40598-022-00198-y
arXiv: 2110.10750

Chatterjee K, Mohammadi M, Saona Urmeneta RJ. Repeated prophet inequality with near-optimal bounds. arXiv, 2209.14368.
LibreCat: https://research-explorer.ista.ac.at/record/12677
DOI: 10.48550/ARXIV.2209.14368
arXiv: 2209.14368

Orr A, Ahmad B, Alam U, Appadurai A, Bharucha ZP, Biemans H, Bolch T, Chaulagain NP, Dhaubanjar S, Dimri AP, Dixon H, Fowler HJ, Gioli G, Halvorson SJ, Hussain A, Jeelani G, Kamal S, Khalid IS, Liu S, Lutz A, Mehra MK, Miles E, Momblanch A, Muccione V, Mukherji A, Mustafa D, Najmuddin O, Nasimi MN, Nüsser M, Pandey VP, Parveen S, Pellicciotti F, Pollino C, Potter E, Qazizada MR, Ray S, Romshoo S, Sarkar SK, Sawas A, Sen S, Shah A, Shah MAA, Shea JM, Sheikh AT, Shrestha AB, Tayal S, Tigala S, Virk ZT, Wester P, Wescoat JL. 2022. Knowledge priorities on climate change and water in the Upper Indus Basin: A horizon scanning exercise to identify the Top 100 research questions in social and natural sciences. Earth’s Future. 10(4), e202119.
LibreCat: https://research-explorer.ista.ac.at/record/12580
DOI: 10.1029/2021ef002619

Zhong Y, Liu Q, Westoby M, Nie Y, Pellicciotti F, Zhang B, Cai J, Liu G, Liao H, Lu X. 2022. Intensified paraglacial slope failures due to accelerating downwasting of a temperate glacier in Mt. Gongga, southeastern Tibetan Plateau. Earth Surface Dynamics. 10(1), 23–42.
LibreCat: https://research-explorer.ista.ac.at/record/12581
DOI: 10.5194/esurf-10-23-2022

Shaw TE, Miles ES, Chen D, Jouberton A, Kneib M, Fugger S, Ou T, Lai H-W, Fujita K, Yang W, Fatichi S, Pellicciotti F. 2022. Multi-decadal monsoon characteristics and glacier response in High Mountain Asia. Environmental Research Letters. 17(10), 104001.
LibreCat: https://research-explorer.ista.ac.at/record/12576
DOI: 10.1088/1748-9326/ac9008

Compagno L, Huss M, Miles ES, McCarthy MJ, Zekollari H, Dehecq A, Pellicciotti F, Farinotti D. 2022. Modelling supraglacial debris-cover evolution from the single-glacier to the regional scale: An application to High Mountain Asia. The Cryosphere. 16(5), 1697–1718.
LibreCat: https://research-explorer.ista.ac.at/record/12578
DOI: 10.5194/tc-16-1697-2022

Fugger S, Fyffe CL, Fatichi S, Miles E, McCarthy M, Shaw TE, Ding B, Yang W, Wagnon P, Immerzeel W, Liu Q, Pellicciotti F. 2022. Understanding monsoon controls on the energy and mass balance of glaciers in the Central and Eastern Himalaya. The Cryosphere. 16(5), 1631–1652.
LibreCat: https://research-explorer.ista.ac.at/record/12579
DOI: 10.5194/tc-16-1631-2022

Miles ES, Steiner JF, Buri P, Immerzeel WW, Pellicciotti F. 2022. Controls on the relative melt rates of debris-covered glacier surfaces. Environmental Research Letters. 17(6), 064004.
LibreCat: https://research-explorer.ista.ac.at/record/12582
DOI: 10.1088/1748-9326/ac6966

McCarthy M, Meier F, Fatichi S, Stocker BD, Shaw TE, Miles E, Dussaillant I, Pellicciotti F. 2022. Glacier contributions to river discharge during the current Chilean megadrought. Earth’s Future. 10(10), e202252.
LibreCat: https://research-explorer.ista.ac.at/record/12575
DOI: 10.1029/2022ef002852

Kneib M, Miles ES, Buri P, Fugger S, McCarthy M, Shaw TE, Chuanxi Z, Truffer M, Westoby MJ, Yang W, Pellicciotti F. 2022. Sub-seasonal variability of supraglacial ice cliff melt rates and associated processes from time-lapse photogrammetry. The Cryosphere. 16(11), 4701–4725.
LibreCat: https://research-explorer.ista.ac.at/record/12574
DOI: 10.5194/tc-16-4701-2022

McCarthy M, Miles E, Kneib M, Buri P, Fugger S, Pellicciotti F. 2022. Supraglacial debris thickness and supply rate in High-Mountain Asia. Communications Earth &; Environment. 3, 269.
LibreCat: https://research-explorer.ista.ac.at/record/12573
DOI: 10.1038/s43247-022-00588-2

Markov I, Ramezanikebrya H, Alistarh D-A. 2022. CGX: Adaptive system support for communication-efficient deep learning. Proceedings of the 23rd ACM/IFIP International Middleware Conference. Middleware: International Middleware Conference, 241–254.
LibreCat: https://research-explorer.ista.ac.at/record/12780
DOI: 10.1145/3528535.3565248
arXiv: 2111.08617

Bombari S, Achille A, Wang Z, Wang Y-X, Xie Y, Singh KY, Appalaraju S, Mahadevan V, Soatto S. Towards differential relational privacy and its use in question answering. arXiv, 2203.16701.
LibreCat: https://research-explorer.ista.ac.at/record/12860
DOI: 10.48550/arXiv.2203.16701
arXiv: 2203.16701

Wilsch FA. Integral points of bounded height on a certain toric variety. arXiv, 2202.10909.
LibreCat: https://research-explorer.ista.ac.at/record/10788
DOI: 10.48550/arXiv.2202.10909
arXiv: 2202.10909