Fulek R, Gärtner B, Kupavskii A, Valtr P, Wagner U. 2023. The crossing Tverberg theorem. Discrete and Computational Geometry.
LibreCat: https://research-explorer.ista.ac.at/record/13974
DOI: 10.1007/s00454-023-00532-x
WoS: 001038546500001
arXiv: 1812.04911

Zhao Z, Vercellino I, Knoppová J, Sobotka R, Murray JW, Nixon PJ, Sazanov LA, Komenda J. 2023. The Ycf48 accessory factor occupies the site of the oxygen-evolving manganese cluster during photosystem II biogenesis. Nature Communications. 14, 4681.
LibreCat: https://research-explorer.ista.ac.at/record/14040
DOI: 10.1038/s41467-023-40388-6
WoS: 001042606700004

Puixeu Sala G, Macon A, Vicoso B. 2023. Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. : Genes, Genomes, Genetics. 13(8).
LibreCat: https://research-explorer.ista.ac.at/record/14077
DOI: 10.1093/g3journal/jkad121
WoS: 001002997200001

Edelsbrunner H, Garber A, Ghafari M, Heiss T, Saghafian M. 2023. On angles in higher order Brillouin tessellations and related tilings in the plane. Discrete and Computational Geometry.
LibreCat: https://research-explorer.ista.ac.at/record/14345
DOI: 10.1007/s00454-023-00566-1
WoS: 001060727600004
arXiv: 2204.01076

Pastva S, Henzinger TA. 2023. Binary decision diagrams on modern hardware. Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. FMCAD: Conference on Formal Methods in Computer-aided design, 122–131.
LibreCat: https://research-explorer.ista.ac.at/record/14718
DOI: 10.34727/2023/isbn.978-3-85448-060-0_20

Velicky P, Miguel Villalba E, Michalska JM, Lyudchik J, Wei D, Lin Z, Watson J, Troidl J, Beyer J, Ben Simon Y, Sommer CM, Jahr W, Cenameri A, Broichhagen J, Grant SGN, Jonas PM, Novarino G, Pfister H, Bickel B, Danzl JG. 2023. Dense 4D nanoscale reconstruction of living brain tissue. Nature Methods. 20, 1256–1265.
LibreCat: https://research-explorer.ista.ac.at/record/13267
DOI: 10.1038/s41592-023-01936-6
WoS: 001025621500001
PMID: 37429995

Vernooij M, Wirth M. 2023. Derivations and KMS-symmetric quantum Markov semigroups. Communications in Mathematical Physics. 403, 381–416.
LibreCat: https://research-explorer.ista.ac.at/record/13319
DOI: 10.1007/s00220-023-04795-6
WoS: 001033655400002
arXiv: 2303.15949

Maes ME, Donahue RJ, Schlamp CL, Marola OJ, Libby RT, Nickells RW. 2023. BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps. Molecular Neurodegeneration. 18, 67.
LibreCat: https://research-explorer.ista.ac.at/record/14401
DOI: 10.1186/s13024-023-00659-8
WoS: 001071403800001
PMID: 37292963

Radler P. 2023. Spatiotemporal signaling during assembly of the bacterial divisome. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/14280
DOI: 10.15479/at:ista:14280

Kwan MA, Sah A, Sawhney M. 2023. Enumerating matroids and linear spaces. Comptes Rendus Mathematique. 361(), 565–575.
LibreCat: https://research-explorer.ista.ac.at/record/15173
DOI: 10.5802/crmath.423
arXiv: 2112.03788

Burdge KB, El-Badry K, Rappaport S, Sunny Wong TL, Bauer EB, Bildsten L, Caiazzo I, Chakrabarty D, Chickles E, Graham MJ, Kara E, Kulkarni SR, Marsh TR, Nynka M, Prince TA, Simcoe RA, van Roestel J, Vanderbosch Z, Bellm EC, Dekany RG, Drake AJ, Helou G, Masci FJ, Milburn J, Riddle R, Rusholme B, Smith R. 2023. Orbital decay in an accreting and eclipsing 13.7 minute orbital period binary with a luminous donor. The Astrophysical Journal Letters. 953(1), L1.
LibreCat: https://research-explorer.ista.ac.at/record/15196
DOI: 10.3847/2041-8213/ace7cf
arXiv: 2303.13573

Zane S et al. 2023. A strong x-ray polarization signal from the magnetar 1RXS J170849.0-400910. The Astrophysical Journal Letters. 944(2), L27.
LibreCat: https://research-explorer.ista.ac.at/record/15202
DOI: 10.3847/2041-8213/acb703
arXiv: 2301.12919

Karimipour F, Storandt S eds. 2022. Web and Wireless Geographical Information Systems 1st ed., Cham: Springer Nature, 153p.
LibreCat: https://research-explorer.ista.ac.at/record/11429
DOI: 10.1007/978-3-031-06245-2

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

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

Buttress T, He S, Wang L, Zhou S, Saalbach G, Vickers M, Li G, Li P, Feng X. 2022. Histone B.8 compacts flowering plant sperm through chromatin phase separation. Nature. 611(7936), 614–622.
LibreCat: https://research-explorer.ista.ac.at/record/12671
DOI: 10.1038/s41586-022-05386-6
PMID: 36323776

Yanshyna O, Biaek MJ, Chashchikhin OV, Klajn R. 2022. Encapsulation within a coordination cage modulates the reactivity of redox-active dyes. Communications Chemistry. 5, 44.
LibreCat: https://research-explorer.ista.ac.at/record/13347
DOI: 10.1038/s42004-022-00658-8

Turelli M, Barton NH. 2022. Why did the Wolbachia transinfection cross the road? Drift, deterministic dynamics, and disease control. Evolution Letters. 6(1), 92–105.
LibreCat: https://research-explorer.ista.ac.at/record/10604
DOI: 10.1002/evl3.270
WoS: 000754412600008

Obr M, Hagen WJH, Dick RA, Yu L, Kotecha A, Schur FK. 2022. Exploring high-resolution cryo-ET and subtomogram averaging capabilities of contemporary DEDs. Journal of Structural Biology. 214(2), 107852.
LibreCat: https://research-explorer.ista.ac.at/record/11155
DOI: 10.1016/j.jsb.2022.107852
WoS: 000790733600001
PMID: 35351542

Glover G, Voliotis M, apiska U, Invergo BM, Soanes D, O’Neill P, Moore K, Nikolic N, Petrov P, Milner DS, Roy S, Heesom K, Richards TA, Tsaneva-Atanasova K, Pagliara S. 2022. Nutrient and salt depletion synergistically boosts glucose metabolism in individual Escherichia coli cells. Communications Biology. 5, 385.
LibreCat: https://research-explorer.ista.ac.at/record/11339
DOI: 10.1038/s42003-022-03336-6
WoS: 000784143400001
PMID: 35444215

Molina-Granada D, González-Vioque E, Dibley MG, Cabrera-Pérez R, Vallbona-Garcia A, Torres-Torronteras J, Sazanov LA, Ryan MT, Cámara Y, Martí R. 2022. Most mitochondrial dGTP is tightly bound to respiratory complex I through the NDUF subunit. Communications Biology. 5(1), 620.
LibreCat: https://research-explorer.ista.ac.at/record/11551
DOI: 10.1038/s42003-022-03568-6
WoS: 000815098500002
PMID:  35739187

Hensel S, Moser M. 2022. Convergence rates for the Allen–Cahn equation with boundary contact energy: The non-perturbative regime. Calculus of Variations and Partial Differential Equations. 61(6), 201.
LibreCat: https://research-explorer.ista.ac.at/record/12079
DOI: 10.1007/s00526-022-02307-3
WoS: 000844247300008

Huang J, Zhao L, Malik S, Gentile BR, Xiong V, Arazi T, Owen HA, Friml J, Zhao D. 2022. Specification of female germline by microRNA orchestrated auxin signaling in Arabidopsis. Nature Communications. 13, 6960.
LibreCat: https://research-explorer.ista.ac.at/record/12130
DOI: 10.1038/s41467-022-34723-6
WoS: 000884426700001
PMID: 36379956

Guerrini R, Mei D, Szigeti MK, Pepe S, Koenig MK, Von Allmen G, Cho MT, McDonald K, Baker J, Bhambhani V, Powis Z, Rodan L, Nabbout R, Barcia G, Rosenfeld JA, Bacino CA, Mignot C, Power LH, Harris CJ, Marjanovic D, Møller RS, Hammer TB, Keski Filppula R, Vieira P, Hildebrandt C, Sacharow S, Maragliano L, Benfenati F, Lachlan K, Benneche A, Petit F, de Sainte Agathe JM, Hallinan B, Si Y, Wentzensen IM, Zou F, Narayanan V, Matsumoto N, Boncristiano A, la Marca G, Kato M, Anderson K, Barba C, Sturiale L, Garozzo D, Bei R, Masuelli L, Conti V, Novarino G, Fassio A. 2022. Phenotypic and genetic spectrum of ATA encephalopathy: A disorder of lysosomal homeostasis. Brain. 145(8), 2687–2703.
LibreCat: https://research-explorer.ista.ac.at/record/12174
DOI: 10.1093/brain/awac145
WoS: 000807770000001

Nunes Pinheiro DC, Kardos R, Hannezo EB, Heisenberg C-PJ. 2022. Morphogen gradient orchestrates pattern-preserving tissue morphogenesis via motility-driven unjamming. Nature Physics. 18(12), 1482–1493.
LibreCat: https://research-explorer.ista.ac.at/record/12209
DOI: 10.1038/s41567-022-01787-6
WoS: 000871319900002

Doan N, Hashemi SA, Mondelli M, Gross WJ. 2022. Decoding Reed-Muller codes with successive codeword permutations. IEEE Transactions on Communications. 70(11), 7134–7145.
LibreCat: https://research-explorer.ista.ac.at/record/12233
DOI: 10.1109/tcomm.2022.3211101
WoS: 000937284600006
arXiv: 2109.02122

Lechner M. 2022. Learning verifiable representations. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/11362
DOI: 10.15479/at:ista:11362

Arroyo Guevara AM, Felsner S. 2022. Approximating the bundled crossing number. WALCOM 2022: Algorithms and Computation. WALCOM: Algorithms and ComputationLNCS vol. 13174, 383–395.
LibreCat: https://research-explorer.ista.ac.at/record/11185
DOI: 10.1007/978-3-030-96731-4_31
arXiv: 2109.14892

Sperl G. 2022. Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/12358
DOI: 10.15479/at:ista:12103

Richer HB, Cohen RE, Heyl J, Kalirai J, Caiazzo I, Correnti M, Cummings J, Goudfrooij P, Hansen BMS, Peeples M, Sabbi E, Tremblay P-E, Williams B. 2022. When do stars go boom? The Astrophysical Journal Letters. 931(2), L20.
LibreCat: https://research-explorer.ista.ac.at/record/15210
DOI: 10.3847/2041-8213/ac6585
arXiv: 2203.11264

Colombo G, Cubero RJ, Kanari L, Venturino A, Schulz R, Scolamiero M, Agerberg J, Mathys H, Tsai L-H, Chachólski W, Hess K, Siegert S. 2022. A tool for mapping microglial morphology, morphOMICs, reveals brain-region and sex-dependent phenotypes. Nature Neuroscience. 25(10), 1379–1393.
LibreCat: https://research-explorer.ista.ac.at/record/12244
DOI: 10.1038/s41593-022-01167-6
WoS: 000862214700001
PMID: 36180790

Belohlavy S. 2022. The genetic basis of complex traits studied via analysis of evolve and resequence experiments. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/11388
DOI: 10.15479/at:ista:11388

Velicky P, Miguel Villalba E, Michalska JM, Wei D, Lin Z, Watson J, Troidl J, Beyer J, Ben Simon Y, Sommer CM, Jahr W, Cenameri A, Broichhagen J, Grant SGN, Jonas PM, Novarino G, Pfister H, Bickel B, Danzl JG. Saturated reconstruction of living brain tissue. bioRxiv,10.1101/2022.03.16.484431 .
LibreCat: https://research-explorer.ista.ac.at/record/11943
DOI: 10.1101/2022.03.16.484431

Ilharco C, Shirazi A, Gopalan A, Nagrani A, Bratanid B, Bregler C, Liu C, Ferreira F, Barcik G, Ilharco G, Osang GF, Bulian J, Frank J, Smaira L, Cao Q, Marino R, Patel R, Leung T, Imbrasaite V. 2021. Recognizing multimodal entailment. 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Tutorial Abstracts. ACL: Association for Computational Linguisticsf; IJCNLP: International Joint Conference on Natural Language Processing, 29–30.
LibreCat: https://research-explorer.ista.ac.at/record/10367
DOI: 10.18653/v1/2021.acl-tutorials.6

Polshyn H, Zhang Y, Kumar MA, Soejima T, Ledwith P, Watanabe K, Taniguchi T, Vishwanath A, Zaletel MP, Young AF. 2021. Topological charge density waves at half-integer filling of a moiré superlattice. Nature Physics.
LibreCat: https://research-explorer.ista.ac.at/record/10617
DOI: 10.1038/s41567-021-01418-6
arXiv: 2104.01178

Simbierowicz S, Shi C, Collodo M, Kirste M, Hassani F, Fink JM, Bylander J, Perez Lozano D, Lake R. 2021. Qubit energy-relaxation statistics in the Bluefors quantum measurement system, Helsinki, Finland: Bluefors Oy, 8p.
LibreCat: https://research-explorer.ista.ac.at/record/10645

Kragl B, Qadeer S. 2021. The Civl verifier. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, Conference Series, vol. 2, 143–152.
LibreCat: https://research-explorer.ista.ac.at/record/10688
DOI: 10.34727/2021/isbn.978-3-85448-046-4_23

Schmidt KB, Kerutt J, Wisotzki L, Urrutia T, Feltre A, Maseda MV, Nanayakkara T, Bacon R, Boogaard LA, Conseil S, Contini T, Herenz EC, Kollatschny W, Krumpe M, Leclercq F, Mahler G, Matthee JJ, Mauerhofer V, Richard J, Schaye J. 2021. Recovery and analysis of rest-frame UV emission lines in 2052 galaxies observed with MUSE at 1.5 &; z &; 6.4. Astronomy &; Astrophysics. 654, .
LibreCat: https://research-explorer.ista.ac.at/record/11498
DOI: 10.1051/0004-6361/202140876
arXiv: 2108.01713

Bacon R, Mary D, Garel T, Blaizot J, Maseda M, Schaye J, Wisotzki L, Conseil S, Brinchmann J, Leclercq F, Abril-Melgarejo V, Boogaard L, Bouché NF, Contini T, Feltre A, Guiderdoni B, Herenz C, Kollatschny W, Kusakabe H, Matthee JJ, Michel-Dansac L, Nanayakkara T, Richard J, Roth M, Schmidt KB, Steinmetz M, Tresse L, Urrutia T, Verhamme A, Weilbacher PM, Zabl J, Zoutendijk SL. 2021. The MUSE Extremely Deep Field: The cosmic web in emission at high redshift. Astronomy &; Astrophysics. 647, 7.
LibreCat: https://research-explorer.ista.ac.at/record/11500
DOI: 10.1051/0004-6361/202039887
arXiv: 2102.05516

Gronke M, Ocvirk P, Mason C, Matthee JJ, Bosman SEI, Sorce JG, Lewis J, Ahn K, Aubert D, Dawoodbhoy T, Iliev IT, Shapiro PR, Yepes G. 2021. Lyman-;1 transmission properties of the intergalactic medium in the CoDaII simulation. Monthly Notices of the Royal Astronomical Society. 508(3), 3697–3709.
LibreCat: https://research-explorer.ista.ac.at/record/11522
DOI: 10.1093/mnras/stab2762
arXiv: 2004.14496

Santos S, Sobral D, Butterworth J, Paulino-Afonso A, Ribeiro B, da Cunha E, Calhau J, Khostovan AA, Matthee JJ, Arrabal Haro P. 2021. The evolution of the UV luminosity and stellar mass functions of Lyman-;1 emitters from z c 2 to z c 6. Monthly Notices of the Royal Astronomical Society. 505(1), 1117–1134.
LibreCat: https://research-explorer.ista.ac.at/record/11524
DOI: 10.1093/mnras/stab1218
arXiv: 2105.00007

Henzinger MH, Peng P. 2021. Constant-time dynamic weight approximation for minimum spanning forest. Information and Computation. 281(12), 104805.
LibreCat: https://research-explorer.ista.ac.at/record/11756
DOI: 10.1016/j.ic.2021.104805
arXiv: 2011.00977

Henzinger MH, Krinninger S, Nanongkai D. 2021. A deterministic almost-tight distributed algorithm for approximating single-source shortest paths. SIAM Journal on Computing. 50(3), STO-98-STO-137.
LibreCat: https://research-explorer.ista.ac.at/record/11886
DOI: 10.1137/16m1097808
arXiv: 1504.07056

Truckenbrodt SM, Rizzoli SO. 2021.Simple multi-color super-resolution by  microscopy. In: Methods in Cell Biology. vol. 161, 33–56.
LibreCat: https://research-explorer.ista.ac.at/record/7941
DOI: 10.1016/bs.mcb.2020.04.016
PMID: 33478696

McCartney DL, Hillary RF, Conole EL, Trejo Banos D, Gadd DA, Walker RM, Nangle C, Flaig R, Campbell A, Murray AD, Munoz Maniega S, del C Valdes-Hernandez M, Harris MA, Bastin ME, Wardlaw JM, Harris SE, Porteous DJ, Tucker-Drob EM, McIntosh AM, Evans KL, Deary IJ, Cox SR, Robinson MR, Marioni RE. 2021. Blood-based epigenome-wide analyses of cognitive abilities, Zenodo,10.5281/ZENODO.5794028 .
LibreCat: https://research-explorer.ista.ac.at/record/13072
DOI: 10.5281/ZENODO.5794028

Bozelos P, Vogels TP. 2021. Talking science, online. Nature Reviews Neuroscience. 22(1), 1–2.
LibreCat: https://research-explorer.ista.ac.at/record/8757
DOI: 10.1038/s41583-020-00408-6
WoS: 000588256300001
PMID: 33173190

Pinkard H, Stuurman N, Ivanov IE, Anthony NM, Ouyang W, Li B, Yang B, Tsuchida MA, Chhun B, Zhang G, Mei R, Anderson M, Shepherd DP, Hunt-Isaak I, Dunn RL, Jahr W, Kato S, Royer LA, Thiagarajah JR, Eliceiri KW, Lundberg E, Mehta SB, Waller L. 2021. Pycro-Manager: Open-source software for customized and reproducible microscope control. Nature Methods. 18(3), 226–228.
LibreCat: https://research-explorer.ista.ac.at/record/9258
DOI: 10.1038/s41592-021-01087-6
WoS: 000625600600007
PMID: 33674797

Erdös L, Krüger TH, Nemish Y. 2021. Scattering in quantum dots via noncommutative rational functions. Annales Henri Poincaré . 22, 4205–4269.
LibreCat: https://research-explorer.ista.ac.at/record/9912
DOI: 10.1007/s00023-021-01085-6
WoS: 000681531500001
arXiv: 1911.05112

Chatterjee K, Dvorak W, Henzinger MH, Svozil A. 2021. Symbolic time and space tradeoffs for probabilistic verification. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.
LibreCat: https://research-explorer.ista.ac.at/record/10002
DOI: 10.1109/LICS52264.2021.9470739
WoS: 000947350400089
arXiv: 2104.07466

Chatterjee K, Doyen L. 2021. Stochastic processes with expected stopping time. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.
LibreCat: https://research-explorer.ista.ac.at/record/10004
DOI: 10.1109/LICS52264.2021.9470595
WoS: 000947350400036
arXiv: 2104.07278

Aubret A, Martinet Q, Palacci JA. 2021. Metamachines of pluripotent colloids. Nature Communications. 12(1), 6398.
LibreCat: https://research-explorer.ista.ac.at/record/10280
DOI: 10.1038/s41467-021-26699-6
WoS: 000714754400010
PMID: 34737315

Chauve L, Hodge F, Murdoch S, Masoudzadeh F, Mann HJ, Lopez-Clavijo A, Okkenhaug H, West G, Sousa BC, Segonds-Pichon A, Li C, Wingett S, Kienberger H, Kleigrewe K, de Bono M, Wakelam M, Casanueva O. 2021. Neuronal HSF-1 coordinates the propagation of fat desaturation across tissues to enable adaptation to high temperatures in C. elegans. PLoS Biology. 19(11), e3001431.
LibreCat: https://research-explorer.ista.ac.at/record/10322
DOI: 10.1371/journal.pbio.3001431
WoS: 000715818400001
PMID: 34723964

Chakraborty S, Ganesh C, Pancholi M, Sarkar P. 2021. Reverse firewalls for adaptively secure MPC without setup. 27th International Conference on the Theory and Application of Cryptology and Information Security. ASIACRYPT: International Conference on Cryptology in Asia, LNCS, vol. 13091, 335–364.
LibreCat: https://research-explorer.ista.ac.at/record/10609
DOI: 10.1007/978-3-030-92075-3_12
WoS: 000927876200012

Li L, Verstraeten I, Roosjen M, Takahashi K, Rodriguez Solovey L, Merrin J, Chen J, Shabala L, Smet W, Ren H, Vanneste S, Shabala S, De Rybel B, Weijers D, Kinoshita T, Gray WM, Friml J. 2021. Cell surface and intracellular auxin signalling for H<sup>+</sup> fluxes in root growth. Nature. 599(7884), 273–277.
LibreCat: https://research-explorer.ista.ac.at/record/10223
DOI: 10.1038/s41586-021-04037-6
WoS: 000713338100006
PMID: 34707283

Maes ME, Wögenstein GM, Colombo G, Casado Polanco R, Siegert S. 2021. Optimizing AA/6 microglial targeting identified enhanced efficiency in the photoreceptor degenerative environment. Molecular Therapy - Methods and Clinical Development. 23, 210–224.
LibreCat: https://research-explorer.ista.ac.at/record/10655
DOI: 10.1016/j.omtm.2021.09.006
WoS: 000748748500019

Pietrzak KZ, Salem I, Schmid S, Yeo MX. 2021. LightPIR: Privacy-preserving route discovery for payment channel networks. 2021 IFIP Networking Conference (IFIP Networking).
LibreCat: https://research-explorer.ista.ac.at/record/9969
DOI: 10.23919/IFIPNetworking52078.2021.9472205
WoS: 000853016800008
arXiv: 2104.04293

Censor-Hillel K, Dory M, Korhonen J, Leitersdorf D. 2021. Fast approximate shortest paths in the congested clique. Distributed Computing. 34, 463–487.
LibreCat: https://research-explorer.ista.ac.at/record/7939
DOI: 10.1007/s00446-020-00380-5
WoS: 000556444600001
arXiv: 1903.05956

Richer HB, Caiazzo I, Du H, Grondin S, Hegarty J, Heyl J, Kerr R, Miller DR, Thiele S. 2021. Massive white dwarfs in young star clusters. The Astrophysical Journal. 912(2), 165.
LibreCat: https://research-explorer.ista.ac.at/record/15219
DOI: 10.3847/1538-4357/abdeb7
arXiv: 2101.08300

Chatterjee K, Goharshady EK, Novotný P, Zárevúcky J, Zikelic D. 2021. On lexicographic proof rules for probabilistic termination. 24th International Symposium on Formal Methods. FM: Formal Methods, LNCS, vol. 13047, 619–639.
LibreCat: https://research-explorer.ista.ac.at/record/10414
DOI: 10.1007/978-3-030-90870-6_33
WoS: 000758218600033
arXiv: 2108.02188

Kusakabe H, Blaizot J, Garel T, Verhamme A, Bacon R, Richard J, Hashimoto T, Inami H, Conseil S, Guiderdoni B, Drake AB, Christian Herenz E, Schaye J, Oesch P, Matthee JJ, Anna Marino R, Borello Schmidt K, Pelló R, Maseda M, Leclercq F, Kerutt J, Mahler G. 2020. The MUSE Hubble Ultra Deep Field Survey: XIV. Evolution of the Ly;1 emitter fraction from z = 3 to z = 6. Astronomy &; Astrophysics. 638, .
LibreCat: https://research-explorer.ista.ac.at/record/11503
DOI: 10.1051/0004-6361/201937340
arXiv: 2003.12083

Santos S, Sobral D, Matthee JJ, Calhau J, da Cunha E, Ribeiro B, Paulino-Afonso A, Arrabal Haro P, Butterworth J. 2020. The evolution of rest-frame UV properties, Ly;1 EWs, and the SFR–stellar mass relation at z c 2–6 for SK LAEs. Monthly Notices of the Royal Astronomical Society. 493(1), 141–160.
LibreCat: https://research-explorer.ista.ac.at/record/11533
DOI: 10.1093/mnras/staa093
arXiv: 1910.02959

Calhau J, Sobral D, Santos S, Matthee JJ, Paulino-Afonso A, Stroe A, Simmons B, Barlow-Hall C, Adams B. 2020. The X-ray and radio activity of typical and luminous Ly;1 emitters from z c 2 to z c 6: Evidence for a diverse, evolving population. Monthly Notices of the Royal Astronomical Society. 493(3), 3341–3362.
LibreCat: https://research-explorer.ista.ac.at/record/11539
DOI: 10.1093/mnras/staa476
arXiv: 1909.11672

Zinn JC, Stello D, Elsworth Y, García RA, Kallinger T, Mathur S, Mosser B, Bugnet LA, Jones C, Hon M, Sharma S, Schönrich R, Warfield JT, Luger R, Pinsonneault MH, Johnson JA, Huber D, Aguirre VS, Chaplin WJ, Davies GR, Miglio A. 2020. The K2 galactic archaeology program data release 2: Asteroseismic results from campaigns 4, 6, and 7. The Astrophysical Journal Supplement Series. 251(2), 23.
LibreCat: https://research-explorer.ista.ac.at/record/11610
DOI: 10.3847/1538-4365/abbee3
arXiv: 2012.04051

Gisbertz S, Reischauer S, Pieber B. 2020. Overcoming limitations in dual photoredox/nickel-catalysed C–N cross-couplings due to catalyst deactivation. Nature Catalysis. 3(8), 611–620.
LibreCat: https://research-explorer.ista.ac.at/record/11979
DOI: 10.1038/s41929-020-0473-6

Rampelt H, Sucec I, Bersch B, Horten P, Perschil I, Martinou J-C, van der Laan M, Wiedemann N, Schanda P, Pfanner N. 2020. The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments. BMC Biology. 18, 2.
LibreCat: https://research-explorer.ista.ac.at/record/8402
DOI: 10.1186/s12915-019-0733-6
PMID: 31907035

Geretti L, Alexandre Dit Sandretto J, Althoff M, Benet L, Chapoutot A, Chen X, Collins P, Forets M, Freire D, Immler F, Kochdumper N, Sanders D, Schilling C. 2020. ARCH-COM Category Report: Continuous and hybrid systems with nonlinear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 74, 49–75.
LibreCat: https://research-explorer.ista.ac.at/record/8571
DOI: 10.29007/zkf6

Alamdari PA, Avni G, Henzinger TA, Lukina A. 2020. Formal methods with a touch of magic. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design.  FMCAD: Formal Methods in Computer-Aided Design, 138–147.
LibreCat: https://research-explorer.ista.ac.at/record/9040
DOI: 10.34727/2020/isbn.978-3-85448-042-6_21

Schlögl A, Kiss J, Elefante S eds. 2020. Austrian High-Performance-Computing meeting (AH), Klosterneuburg, Austria: IST Austria, 72p.
LibreCat: https://research-explorer.ista.ac.at/record/7474
DOI: 10.15479/AT:ISTA:7474

Boissonnat J-D, Wintraecken M. 2020. The topological correctness of PL-approximations of isomanifolds. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 20:1-20:18.
LibreCat: https://research-explorer.ista.ac.at/record/7952
DOI: 10.4230/LIPIcs.SoCG.2020.20

Bodensteiner J, Sana H, Mahy L, Patrick LR, de Koter A, de Mink SE, Evans CJ, Götberg YLL, Langer N, Lennon DJ, Schneider FRN, Tramper F. 2020. The young massive SMC cluster NGC 330 seen by MUSE. Astronomy &; Astrophysics. 634, .
LibreCat: https://research-explorer.ista.ac.at/record/13466
DOI: 10.1051/0004-6361/201936743
arXiv: 1911.03477

Ucar MC, Lipowsky R. 2020. MURL_Dataz, American Chemical Society ,10.1021/acs.nanolett.9b04445.s002 .
LibreCat: https://research-explorer.ista.ac.at/record/9885
DOI: 10.1021/acs.nanolett.9b04445.s002

Tombaz T, Dunn BA, Hovde K, Cubero RJ, Mimica B, Mamidanna P, Roudi Y, Whitlock JR. 2020. Action representation in the mouse parieto-frontal network. Scientific reports. 10(1), 5559.
LibreCat: https://research-explorer.ista.ac.at/record/7632
DOI: 10.1038/s41598-020-62089-6
WoS: 000560406800007

Taboada-Gutiérrez J, Álvarez-Pérez G, Duan J, Ma W, Crowley K, Prieto Gonzalez I, Bylinkin A, Autore M, Volkova H, Kimura K, Kimura T, Berger MH, Li S, Bao Q, Gao XPA, Errea I, Nikitin AY, Hillenbrand R, Martín-Sánchez J, Alonso-González P. 2020. Broad spectral tuning of ultra-low-loss polaritons in a van der Waals crystal by intercalation. Nature Materials. 19, 964–968.
LibreCat: https://research-explorer.ista.ac.at/record/7792
DOI: 10.1038/s41563-020-0665-0
WoS: 000526218500004
PMID: 32284598

Yang Y, Zhao G. 2020. The PBW theorem for affine Yangians. Transformation Groups. 25, 1371–1385.
LibreCat: https://research-explorer.ista.ac.at/record/7940
DOI: 10.1007/s00031-020-09572-6
WoS: 000534874300003
arXiv: 1804.04375

Seiringer R, Yngvason J. 2020. Emergence of Haldane pseudo-potentials in systems with short-range interactions. Journal of Statistical Physics. 181, 448–464.
LibreCat: https://research-explorer.ista.ac.at/record/8091
DOI: 10.1007/s10955-020-02586-0
WoS: 000543030000002
arXiv: 2001.07144

Prehal C, Fitzek H, Kothleitner G, Presser V, Gollas B, Freunberger SA, Abbas Q. 2020. Persistent and reversible solid iodine electrodeposition in nanoporous carbons. Nature Communications. 11, 4838.
LibreCat: https://research-explorer.ista.ac.at/record/8568
DOI: 10.1038/s41467-020-18610-6
WoS: 000573756600004

Martín-Belmonte A, Aguado C, Alfaro-Ruíz R, Moreno-Martínez AE, De La Ossa L, Martínez-Hernández J, Buisson A, Früh S, Bettler B, Shigemoto R, Fukazawa Y, Luján R. 2020. Reduction in the neuronal surface of post and presynaptic GABA&;B&; receptors in the hippocampus in a mouse model of Alzheimer’s disease. Brain Pathology. 30(3), 554–575.
LibreCat: https://research-explorer.ista.ac.at/record/7207
DOI: 10.1111/bpa.12802
WoS: 000502270900001
PMID: 31729777

Redig F, Saada E, Sau F. 2020. Symmetric simple exclusion process in dynamic environment: Hydrodynamics. Electronic Journal of Probability. 25, 138.
LibreCat: https://research-explorer.ista.ac.at/record/8973
DOI: 10.1214/20-EJP536
WoS: 000591737500001
arXiv: 1811.01366

Oshurkova V, Troshina O, Trubitsyn V, Ryzhmanova Y, Bochkareva O, Shcherbakova V. 2020. Characterization of methanosarcina mazei JL01 isolated from holocene arctic permafrost and study of the archaeon cooperation with bacterium Sphaerochaeta associata GLT. Proceedings of 1st International Electronic Conference on Microbiology. ECM: Electronic Conference on Microbiology.
LibreCat: https://research-explorer.ista.ac.at/record/15071
DOI: 10.3390/ecm2020-07116

Shehu Y, Gibali A, Sagratella S. 2020. Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces. Journal of Optimization Theory and Applications. 184, 877–894.
LibreCat: https://research-explorer.ista.ac.at/record/7161
DOI: 10.1007/s10957-019-01616-6
WoS: 000511805200009

de La Vieuville G, Bina D, Pello R, Mahler G, Richard J, Drake AB, Herenz EC, Bauer FE, Clément B, Lagattuta D, Laporte N, Martinez J, Patrício V, Wisotzki L, Zabl J, Bouwens RJ, Contini T, Garel T, Guiderdoni B, Marino RA, Maseda MV, Matthee JJ, Schaye J, Soucail G. 2019. Faint end of the z c 3–7 luminosity function of Lyman-alpha emitters behind lensing clusters observed with MUSE. Astronomy &; Astrophysics. 628, .
LibreCat: https://research-explorer.ista.ac.at/record/11505
DOI: 10.1051/0004-6361/201834471
arXiv: 1905.13696

Khostovan AA, Sobral D, Mobasher B, Matthee JJ, Cochrane RK, Chartab N, Jafariyazani M, Paulino-Afonso A, Santos S, Calhau J. 2019. The clustering of typical Ly;1 emitters from z c 2.5–6: Host halo masses depend on Ly;1 and UV luminosities. Monthly Notices of the Royal Astronomical Society. 489(1), 555–573.
LibreCat: https://research-explorer.ista.ac.at/record/11535
DOI: 10.1093/mnras/stz2149
arXiv: 1811.00556

Henzinger MH, Neumann S, Schmid S. 2019. Efficient distributed workload (re-)embedding. SIGMETRICS’19: International Conference on Measurement and Modeling of Computer Systems. SIGMETRICS: International Conference on Measurement and Modeling of Computer Systems, 43–44.
LibreCat: https://research-explorer.ista.ac.at/record/11850
DOI: 10.1145/3309697.3331503
arXiv: 1904.05474

Henzinger MH, Noe A, Schulz C. 2019. Shared-memory exact minimum cuts. 33rd International Parallel and Distributed Processing Symposium. IPDPS: International Parallel and Distributed Processing Symposium, 8820968.
LibreCat: https://research-explorer.ista.ac.at/record/11851
DOI: 10.1109/ipdps.2019.00013
arXiv: 1808.05458

Browning TD, Sofos E. 2019. Counting rational points on quartic del Pezzo surfaces with a rational conic. Mathematische Annalen. 373(3–4), 977–1016.
LibreCat: https://research-explorer.ista.ac.at/record/170
DOI: 10.1007/s00208-018-1716-6
arXiv: 1609.09057

Asaoka Y, Morita H, Furumoto H, Heisenberg C-PJ, Furutani-Seiki M. 2019.Studying YAP-mediated 3D morphogenesis using fish embryos and human spheroids. In: The hippo pathway. MIMB, vol. 1893, 167–181.
LibreCat: https://research-explorer.ista.ac.at/record/5793
DOI: 10.1007/978-1-4939-8910-2_14

Avni G, Henzinger TA, Ibsen-Jensen R, Novotny P. 2019. Bidding games on Markov decision processes.  Proceedings of the 13th International Conference of Reachability Problems. RP: Reachability Problems, LNCS, vol. 11674, 1–12.
LibreCat: https://research-explorer.ista.ac.at/record/6822
DOI: 10.1007/978-3-030-30806-3_1

Kersting K, Lampert C, Rothkopf C eds. 2019. Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt 1st ed., Wiesbaden: Springer Nature, XIV, 245p.
LibreCat: https://research-explorer.ista.ac.at/record/7171
DOI: 10.1007/978-3-658-26763-6

Immler F, Althoff M, Benet L, Chapoutot A, Chen X, Forets M, Geretti L, Kochdumper N, Sanders DP, Schilling C. 2019. ARCH-COM Category Report: Continuous and hybrid systems with nonlinear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 61, 41–61.
LibreCat: https://research-explorer.ista.ac.at/record/7576
DOI: 10.29007/m75b

Singer J, Achatz-Straussberger G, Bentley-Lukschal A, Singer J, Achatz G, Karagiannis SN, Jensen-Jarolim E. 2019. AllergoOncology: High innate IgE levels are decisive for the survival of cancer-bearing mice. World Allergy Organization Journal. 12(7), 100044.
LibreCat: https://research-explorer.ista.ac.at/record/8228
DOI: 10.1016/j.waojou.2019.100044

Shelyakin PV, Bochkareva O, Karan AA, Gelfand MS. 2019. Micro-evolution of three Streptococcus species: Selection, antigenic variation, and horizontal gene inflow. BMC Evolutionary Biology. 19, 83.
LibreCat: https://research-explorer.ista.ac.at/record/8263
DOI: 10.1186/s12862-019-1403-6

Antoniou MN, Nicolas A, Mesnage R, Biserni M, Rao FV, Martin CV. 2019. Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells. BMC Research Notes. 12, 494.
LibreCat: https://research-explorer.ista.ac.at/record/6819
DOI: 10.1186/s13104-019-4534-3
PMID: 31395095

Antoniou MN, Nicolas A, Mesnage R, Biserni M, Rao FV, Martin CV. 2019. MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells, Springer Nature,10.6084/m9.figshare.9411761.v1 .
LibreCat: https://research-explorer.ista.ac.at/record/9784
DOI: 10.6084/m9.figshare.9411761.v1

Yoshida S, Van Der Schuren A, Van Dop M, Van Galen L, Saiga S, Adibi M, Möller B, Ten Hove CA, Marhavý P, Smith R, Friml J, Weijers D. 2019. A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis. Nature Plants. 5(2), 160–166.
LibreCat: https://research-explorer.ista.ac.at/record/6023
DOI: 10.1038/s41477-019-0363-6
WoS: 000460479600014

Henderson NT, Le Marchand SJ, Hruska M, Hippenmeyer S, Luo L, Dalva MB. 2019. Ephrin- controls excitatory synapse density through cell-cell competition for EphBs. eLife. 8, e41563.
LibreCat: https://research-explorer.ista.ac.at/record/6091
DOI: 10.7554/eLife.41563
WoS: 000459380600001
PMID: 30789343

Moussa HF, Bsteh D, Yelagandula R, Pribitzer C, Stecher K, Bartalska K, Michetti L, Wang J, Zepeda-Martinez JA, Elling U, Stuckey JI, James LI, Frye SV, Bell O. 2019. Canonical PR controls sequence-independent propagation of Polycomb-mediated gene silencing. Nature Communications. 10(1), 1931.
LibreCat: https://research-explorer.ista.ac.at/record/6412
DOI: 10.1038/s41467-019-09628-6
WoS: 000466118700002

Sigalova OM, Chaplin AV, Bochkareva O, Shelyakin PV, Filaretov VA, Akkuratov EE, Burskaia V, Gelfand MS. 2019. Additional file 20 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction, Springer Nature,10.6084/m9.figshare.9808850.v1 .
LibreCat: https://research-explorer.ista.ac.at/record/9897
DOI: 10.6084/m9.figshare.9808850.v1

Ionica S, Klçer P, Lauter K, Lorenzo García E, Manzateanu M-A, Massierer M, Vincent C. 2019. Modular invariants for genus 3 hyperelliptic curves. Research in Number Theory. 5, 9.
LibreCat: https://research-explorer.ista.ac.at/record/10874
DOI: 10.1007/s40993-018-0146-6
arXiv: 1807.08986

Garriga E, Di Tommaso P, Magis C, Erb I, Mansouri L, Baltzis A, Laayouni H, Kondrashov F, Floden E, Notredame C. 2019. Large multiple sequence alignments with a root-to-leaf regressive method. Nature Biotechnology. 37(12), 1466–1470.
LibreCat: https://research-explorer.ista.ac.at/record/7181
DOI: 10.1038/s41587-019-0333-6
WoS: 000500748900021
PMID: 31792410

Sokolowski TR, Paijmans J, Bossen L, Miedema T, Wehrens M, Becker NB, Kaizu K, Takahashi K, Dogterom M, ten Wolde PR. 2019. eGFRD in all dimensions. The Journal of Chemical Physics. 150(5), 054108.
LibreCat: https://research-explorer.ista.ac.at/record/7422
DOI: 10.1063/1.5064867
WoS: 000458109300009
arXiv: 1708.09364