Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

620 Publications


2023 | Journal Article | IST-REx-ID: 12738 | OA
Chatterjee K, Katoen JP, Mohr S, Weininger M, Winkler T. 2023. Stochastic games with lexicographic objectives. Formal Methods in System Design.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2023 | Journal Article | IST-REx-ID: 12961
Wagner B, Šlipogor V, Oh J, Varga M, Hoeschele M. 2023. A comparison between common marmosets (Callithrix jacchus) and human infants sheds light on traits proposed to be at the root of human octave equivalence. Developmental Science. 26(5), e13395.
View | DOI | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 14458 | OA
Frantar E, Alistarh D-A. 2023. SparseGPT: Massive language models can be accurately pruned in one-shot. Proceedings of the 40th International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 202, 10323–10337.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 14444 | OA
Kwan MA, Sah A, Sawhney M, Simkin M. 2023. Substructures in Latin squares. Israel Journal of Mathematics. 256(2), 363–416.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14448 | OA
Kolmogorov V. 2023. Solving relaxations of MAP-MRF problems: Combinatorial in-face Frank-Wolfe directions. Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition vol. 2023, 11980–11989.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14516 | OA
Beaver D, Kelkar M, Lewi K, Nikolaenko V, Sonnino A, Chalkias K, Kokoris Kogias E, Naurois LD, Roy A. 2023. STROBE: Streaming Threshold Random Beacons. 5th Conference on Advances in Financial Technologies. AFT: Conference on Advances in Financial Technologies, LIPIcs, vol. 282, 7.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 13041 | OA
Farag NL, Jethwa RB, Beardmore AE, Insinna T, O’Keefe CA, Klusener PAA, Grey CP, Wright DS. 2023. Triarylamines as catholytes in aqueous organic redox flow batteries. ChemSusChem. 16(13), e202300128.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14543 | OA
Kaiyrzhanov R, Rad A, Lin S-J, Bertoli-Avella A, Kallemeijn WW, Godwin A, Zaki MS, Huang K, Lau T, Petree C, Efthymiou S, Ghayoor Karimiani E, Hempel M, Normand EA, Rudnik-Schöneborn S, Schatz UA, Baggelaar MP, Ilyas M, Sultan T, Alvi JR, Ganieva M, Fowler B, Aanicai R, Akay Tayfun G, Al Saman A, Alswaid A, Amiri N, Asilova N, Shotelersuk V, Yeetong P, Azam M, Babaei M, Bahrami Monajemi G, Mohammadi P, Samie S, Banu SH, Basto JP, Kortüm F, Bauer M, Bauer P, Beetz C, Garshasbi M, Hameed Issa A, Eyaid W, Ahmed H, Hashemi N, Hassanpour K, Herman I, Ibrohimov S, Abdul-Majeed BA, Imdad M, Isrofilov M, Kaiyal Q, Khan S, Kirmse B, Koster J, Lourenço CM, Mitani T, Moldovan O, Murphy D, Najafi M, Pehlivan D, Rocha ME, Salpietro V, Schmidts M, Shalata A, Mahroum M, Talbeya JK, Taylor RW, Vazquez D, Vetro A, Waterham HR, Zaman M, Schrader TA, Chung WK, Guerrini R, Lupski JR, Gleeson J, Suri M, Jamshidi Y, Bhatia KP, Vona B, Schrader M, Severino M, Guille M, Tate EW, Varshney GK, Houlden H, Maroofian R. 2023. Bi-allelic ACBD6 variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. Brain., awad380.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2023 | Thesis | IST-REx-ID: 14547 | OA
Phan DT. 2023. Resonant microwave spectroscopy of Al-InAs. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13264 | OA
Phan DT, Falthansl-Scheinecker P, Mishra U, Strickland WM, Langone D, Shabani J, Higginbotham AP. 2023. Gate-tunable superconductor-semiconductor parametric amplifier. Physical Review Applied. 19(6), 064032.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14639 | OA
Lin S-J, Vona B, Lau T, Huang K, Zaki MS, Aldeen HS, Karimiani EG, Rocca C, Noureldeen MM, Saad AK, Petree C, Bartolomaeus T, Abou Jamra R, Zifarelli G, Gotkhindikar A, Wentzensen IM, Liao M, Cork EE, Varshney P, Hashemi N, Mohammadi MH, Rad A, Neira J, Toosi MB, Knopp C, Kurth I, Challman TD, Smith R, Abdalla A, Haaf T, Suri M, Joshi M, Chung WK, Moreno-De-Luca A, Houlden H, Maroofian R, Varshney GK. 2023. Evaluating the association of biallelic OGDHL variants with significant phenotypic heterogeneity. Genome Medicine. 15, 102.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13164 | OA
Gert KRB, Panser K, Surm J, Steinmetz BS, Schleiffer A, Jovine L, Moran Y, Kondrashov F, Pauli A. 2023. Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries. Nature Communications. 14, 3506.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 13226
Bossmann L, Petrat SP. 2023. Weak Edgeworth expansion for the mean-field Bose gas. Letters in Mathematical Physics. 113(4), 77.
[Published Version] View | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13271 | OA
Zhang H. 2023. Some convexity and monotonicity results of trace functionals. Annales Henri Poincare.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13317 | OA
Sugimoto S, Henheik SJ, Riabov V, Erdös L. 2023. Eigenstate thermalisation hypothesis for translation invariant spin systems. Journal of Statistical Physics. 190(7), 128.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13975 | OA
Campbell AJ, O’Rourke S. 2023. Spectrum of Lévy–Khintchine random laplacian matrices. Journal of Theoretical Probability.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14364 | OA
Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. 2023. Why extension-based proofs fail. SIAM Journal on Computing. 52(4), 913–944.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14453 | OA
Abramian S, Muller CJ, Risi C. 2023. Extreme precipitation in tropical squall lines. Journal of Advances in Modeling Earth Systems. 15(10), e2022MS003477.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12486 | OA
Agresti A. 2023. Delayed blow-up and enhanced diffusion by transport noise for systems of reaction-diffusion equations. Stochastics and Partial Differential Equations: Analysis and Computations.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 14710 | OA
Curatolo AI, Kimchi O, Goodrich CP, Krueger RK, Brenner MP. 2023. A computational toolbox for the assembly yield of complex and heterogeneous structures. Nature Communications. 14, 8328.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14726 | OA
Zhou L-Z, Wang L, Chen X, Ge Z, Mergner J, Li X, Küster B, Längst G, Qu L-J, Dresselhaus T. 2023. The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize. The Plant Cell., koad324.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 12833 | OA
Biniaz A, Jain K, Lubiw A, Masárová Z, Miltzow T, Mondal D, Naredla AM, Tkadlec J, Turcotte A. 2023. Token swapping on trees. Discrete Mathematics and Theoretical Computer Science. 24(2), 9.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 14751 | OA
Zhang Y. 2023. Zero-error communication over adversarial MACs. IEEE Transactions on Information Theory. 69(7), 4093–4127.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14867 | OA
Anastos M. 2023. Constructing Hamilton cycles and perfect matchings efficiently. Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications. EUROCOMB: European Conference on Combinatorics, Graph Theory and Applications, 36–41.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 13269 | OA
Polyanskii N, Zhang Y. 2023. Codes for the Z-channel. IEEE Transactions on Information Theory. 69(10), 6340–6357.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13128 | OA
Mohammadi A, Pham T, Wang Y. 2023. An energy decomposition theorem for matrices and related questions. Canadian Mathematical Bulletin. 66(4), 1280–1295.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13234 | OA
Kueffner K, Lukina A, Schilling C, Henzinger TA. 2023. Into the unknown: Active monitoring of neural networks (extended version). International Journal on Software Tools for Technology Transfer. 25, 575–592.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14087 | OA
Rønning J, Renaud JB, Doostmohammadi A, Angheluta L. 2023. Spontaneous flows and dynamics of full-integer topological defects in polar active matter. Soft Matter. 39, 7513–7527.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14409 | OA
Baunis H, Pieber B. 2023. Formal radical deoxyfluorination of oxalate-activated alcohols triggered by the selectfluor-DMAP charge-transfer complex. European Journal of Organic Chemistry. 26(42), e202300769.
[Published Version] View | Files available | DOI | WoS
 

2023 | Conference Paper | IST-REx-ID: 14076 | OA
Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers. 23nd International Conference on Runtime Verification. RV: Conference on Runtime Verification, LNCS, vol. 14245, 168–190.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 13984
Franschitz A. 2023. Individual and social immunity against viral infections in ants. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 15173 | OA
Kwan MA, Sah A, Sawhney M. 2023. Enumerating matroids and linear spaces. Comptes Rendus Mathematique. 361(G2), 565–575.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 15148 | OA
Michael AK, Stoos L, Crosby P, Eggers N, Nie XY, Makasheva K, Minnich M, Healy KL, Weiss J, Kempf G, Cavadini S, Kater L, Seebacher J, Vecchia L, Chakraborty D, Isbel L, Grand RS, Andersch F, Fribourgh JL, Schübeler D, Zuber J, Liu AC, Becker PB, Fierz B, Partch CL, Menet JS, Thomä NH. 2023. Cooperation between bHLH transcription factors and histones for DNA access. Nature. 619(7969), 385–393.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 15149 | OA
Isbel L, Iskar M, Durdu S, Weiss J, Grand RS, Hietter-Pfeiffer E, Kozicka Z, Michael AK, Burger L, Thomä NH, Schübeler D. 2023. Readout of histone methylation by Trim24 locally restricts chromatin opening by p53. Nature Structural & Molecular Biology. 30(7), 948–957.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 15196 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 15202 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2023 | Thesis | IST-REx-ID: 12809 | OA
Alcarva C. 2023. Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 14510
Gnyliukh N. 2023. Mechanism of clathrin-coated vesicle  formation during endocytosis in plants. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 11183 | OA
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.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 11812 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11918
Henzinger MH, Lincoln A, Saha B. 2022. The complexity of average-case dynamic subgraph counting. 33rd Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 459–498.
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12088
Sahu R, Hease WJ, Rueda Sanchez AR, Arnold GM, Qiu L, Fink JM. 2022. Realizing a quantum-enabled interconnect between microwave and telecom light. Conference on Lasers and Electro-Optics. CLEO: QELS Fundamental Science, FW4D.4.
View | DOI
 

2022 | Journal Article | IST-REx-ID: 10706 | OA
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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 12577
Jouberton A, Shaw TE, Miles E, McCarthy M, Fugger S, Ren S, Dehecq A, Yang W, Pellicciotti F. 2022. Warming-induced monsoon precipitation phase change intensifies glacier mass loss in the southeastern Tibetan Plateau. PNAS. 119(37), e2109796119.
View | DOI
 

2022 | Journal Article | IST-REx-ID: 12067 | OA
Madani A, Anghileri L, Heydenreich M, Möller HM, Pieber B. 2022. Benzylic fluorination induced by a charge-transfer complex with a solvent-dependent selectivity switch. Organic Letters. 24(29), 5376–5380.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 13347 | OA
Yanshyna O, Białek MJ, Chashchikhin OV, Klajn R. 2022. Encapsulation within a coordination cage modulates the reactivity of redox-active dyes. Communications Chemistry. 5, 44.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 9794 | OA
Assen FP, Abe J, Hons M, Hauschild R, Shamipour S, Kaufmann W, Costanzo T, Krens G, Brown M, Ludewig B, Hippenmeyer S, Heisenberg C-PJ, Weninger W, Hannezo EB, Luther SA, Stein JV, Sixt MK. 2022. Multitier mechanics control stromal adaptations in swelling lymph nodes. Nature Immunology. 23, 1246–1255.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 10702 | OA
McCartney DL, Hillary RF, Conole ELS, Banos DT, Gadd DA, Walker RM, Nangle C, Flaig R, Campbell A, Murray AD, Maniega SM, Valdés-Hernández MDC, 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. 2022. Blood-based epigenome-wide analyses of cognitive abilities. Genome Biology. 23(1), 26.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 10841 | OA
Dahhan D, Reynolds G, Cárdenas J, Eeckhout D, Johnson AJ, Yperman K, Kaufmann W, Vang N, Yan X, Hwang I, Heese A, De Jaeger G, Friml J, Van Damme D, Pan J, Bednarek S. 2022. Proteomic characterization of isolated Arabidopsis clathrin-coated vesicles reveals evolutionarily conserved and plant-specific components. Plant Cell. 34(6), 2150–2173.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11155 | OA
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.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11142
Hong T, Guo C, Wang D, Qin B, Chang C, Gao X, Zhao LD. 2022. Enhanced thermoelectric performance in SnTe due to the energy filtering effect introduced by Bi2O3. Materials Today Energy. 25, 100985.
View | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 11186 | OA
Kwan MA, Sah A, Sawhney M. 2022. Large deviations in random latin squares. Bulletin of the London Mathematical Society. 54(4), 1420–1438.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11637 | OA
Zhao L, Fenk LA, Nilsson L, Amin-Wetzel NP, Ramirez N, de Bono M, Chen C. 2022. ROS and cGMP signaling modulate persistent escape from hypoxia in Caenorhabditis elegans. PLoS Biology. 20(6), e3001684.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11917 | OA
Rademacher SAE, Seiringer R. 2022. Large deviation estimates for weakly interacting bosons. Journal of Statistical Physics. 188, 9.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12053 | OA
Tian Z, Zhang Y, Zhu L, Jiang B, Wang H, Gao R, Friml J, Xiao G. 2022. Strigolactones act downstream of gibberellins to regulate fiber cell elongation and cell wall thickness in cotton (Gossypium hirsutum). The Plant Cell. 34(12), 4816–4839.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12085 | OA
Mulla Y, Avellaneda Sarrió M, Roland A, Baldauf L, Jung W, Kim T, Tans SJ, Koenderink GH. 2022. Weak catch bonds make strong networks. Nature Materials. 21(9), 1019–1023.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12208 | OA
Prehal C, von Mentlen J-M, Drvarič Talian S, Vizintin A, Dominko R, Amenitsch H, Porcar L, Freunberger SA, Wood V. 2022. On the nanoscale structural evolution of solid discharge products in lithium-sulfur batteries using operando scattering. Nature Communications. 13, 6326.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12245 | OA
Soto X, Burton J, Manning CS, Minchington T, Lea R, Lee J, Kursawe J, Rattray M, Papalopulu N. 2022. Sequential and additive expression of miR-9 precursors control timing of neurogenesis. Development. 149(19), dev200474.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12252 | OA
Dormeshkin D, Shapira M, Dubovik S, Kavaleuski A, Katsin M, Migas A, Meleshko A, Semyonov S. 2022. Isolation of an escape-resistant SARS-CoV-2 neutralizing nanobody from a novel synthetic nanobody library. Frontiers in Immunology. 13, 965446.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 13993 | OA
Gong X, Jordan I, Huppert M, Heck S, Baykusheva DR, Jelovina D, Schild A, Wörner HJ. 2022. Attosecond photoionization dynamics: from molecules over clusters to the liquid phase. Chimia. 76(6), 520–528.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 12146 | OA
Wang B, Ayats López R, Meseguer A, Marques F. 2022. Phase-locking flows between orthogonally stretching parallel plates. Physics of Fluids. 34(11), 114111.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2022 | Journal Article | IST-REx-ID: 12116 | OA
Chhugani K, Frolova A, Salyha Y, Fiscutean A, Zlenko O, Reinsone S, Wolfsberger WW, Ivashchenko OV, Maci M, Dziuba D, Parkhomenko A, Bortz E, Kondrashov F, Łabaj PP, Romero V, Hlávka J, Oleksyk TK, Mangul S. 2022. Remote opportunities for scholars in Ukraine. Science. 378(6626), 1285–1286.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2022 | Journal Article | IST-REx-ID: 10850 | OA
Roos B, Seiringer R. 2022. Two-particle bound states at interfaces and corners. Journal of Functional Analysis. 282(12), 109455.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11478 | OA
Bartalska K, Hübschmann V, Korkut M, Cubero RJ, Venturino A, Rössler K, Czech T, Siegert S. 2022. A systematic characterization of microglia-like cell occurrence during retinal organoid differentiation. iScience. 25(7), 104580.
[Published Version] View | Files available | DOI | WoS
 

2022 | Thesis | IST-REx-ID: 10759 | OA
Rzadkowski W. 2022. Analytic and machine learning approaches to composite quantum impurities. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 15205 | OA
Taverna R, Turolla R, Muleri F, Heyl J, Zane S, Baldini L, González-Caniulef D, Bachetti M, Rankin J, Caiazzo I, Di Lalla N, Doroshenko V, Errando M, Gau E, Kırmızıbayrak D, Krawczynski H, Negro M, Ng M, Omodei N, Possenti A, Tamagawa T, Uchiyama K, Weisskopf MC, Agudo I, Antonelli LA, Baumgartner WH, Bellazzini R, Bianchi S, Bongiorno SD, Bonino R, Brez A, Bucciantini N, Capitanio F, Castellano S, Cavazzuti E, Ciprini S, Costa E, De Rosa A, Del Monte E, Di Gesu L, Di Marco A, Donnarumma I, Dovčiak M, Ehlert SR, Enoto T, Evangelista Y, Fabiani S, Ferrazzoli R, Garcia JA, Gunji S, Hayashida K, Iwakiri W, Jorstad SG, Karas V, Kitaguchi T, Kolodziejczak JJ, La Monaca F, Latronico L, Liodakis I, Maldera S, Manfreda A, Marin F, Marinucci A, Marscher AP, Marshall HL, Matt G, Mitsuishi I, Mizuno T, Ng SC-Y, O’Dell SL, Oppedisano C, Papitto A, Pavlov GG, Peirson AL, Perri M, Pesce-Rollins M, Pilia M, Poutanen J, Puccetti S, Ramsey BD, Ratheesh A, Romani RW, Sgrò C, Slane P, Soffitta P, Spandre G, Tavecchio F, Tawara Y, Tennant AF, Thomas NE, Tombesi F, Trois A, Tsygankov SS, Vink J, Wu K, Xie F. 2022. Polarized x-rays from a magnetar. Science. 378(6620), 646–650.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 15204 | OA
Doroshenko V, Poutanen J, Tsygankov SS, Suleimanov VF, Bachetti M, Caiazzo I, Costa E, Di Marco A, Heyl J, La Monaca F, Muleri F, Mushtukov AA, Pavlov GG, Ramsey BD, Rankin J, Santangelo A, Soffitta P, Staubert R, Weisskopf MC, Zane S, Agudo I, Antonelli LA, Baldini L, Baumgartner WH, Bellazzini R, Bianchi S, Bongiorno SD, Bonino R, Brez A, Bucciantini N, Capitanio F, Castellano S, Cavazzuti E, Ciprini S, De Rosa A, Del Monte E, Di Gesu L, Di Lalla N, Donnarumma I, Dovčiak M, Ehlert SR, Enoto T, Evangelista Y, Fabiani S, Ferrazzoli R, Garcia JA, Gunji S, Hayashida K, Iwakiri W, Jorstad SG, Karas V, Kitaguchi T, Kolodziejczak JJ, Krawczynski H, Latronico L, Liodakis I, Maldera S, Manfreda A, Marin F, Marinucci A, Marscher AP, Marshall HL, Matt G, Mitsuishi I, Mizuno T, Ng C-Y, O’Dell SL, Omodei N, Oppedisano C, Papitto A, Peirson AL, Perri M, Pesce-Rollins M, Pilia M, Possenti A, Puccetti S, Ratheesh A, Romani RW, Sgrò C, Slane P, Spandre G, Sunyaev RA, Tamagawa T, Tavecchio F, Taverna R, Tawara Y, Tennant AF, Thomas NE, Tombesi F, Trois A, Turolla R, Vink J, Wu K, Xie F. 2022. Determination of X-ray pulsar geometry with IXPE polarimetry. Nature Astronomy. 6(12), 1433–1443.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 15212 | OA
Fleury L, Caiazzo I, Heyl J. 2022. The cooling of massive white dwarfs from Gaia EDR3. Monthly Notices of the Royal Astronomical Society. 511(4), 5984–5993.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Thesis | IST-REx-ID: 12366 | OA
Redchenko E. 2022. Controllable states of superconducting Qubit ensembles. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2021 | Book Chapter | IST-REx-ID: 10268
Hörmayer L, Friml J, Glanc M. 2021.Automated time-lapse imaging and manipulation of cell divisions in Arabidopsis roots by vertical-stage confocal microscopy. In: Plant Cell Division. Methods in Molecular Biology, vol. 2382, 105–114.
View | DOI | PubMed | Europe PMC
 

2021 | Conference Paper | IST-REx-ID: 10669 | OA
Grunbacher S, Hasani R, Lechner M, Cyranka J, Smolka SA, Grosu R. 2021. On the verification of neural ODEs with stochastic guarantees. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence, Technical Tracks, vol. 35, 11525–11535.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10671 | OA
Hasani R, Lechner M, Amini A, Rus D, Grosu R. 2021. Liquid time-constant networks. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence, Technical Tracks, vol. 35, 7657–7666.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10688 | OA
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.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10847 | OA
Tomášek P, Horák K, Aradhye A, Bošanský B, Chatterjee K. 2021. Solving partially observable stochastic shortest-path games. 30th International Joint Conference on Artificial Intelligence. IJCAI: International Joint Conferences on Artificial Intelligence Organization, 4182–4189.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 11500 | OA
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, A107.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 11512 | OA
Boogaard LA, Bouwens RJ, Riechers D, van der Werf P, Bacon R, Matthee JJ, Stefanon M, Feltre A, Maseda M, Inami H, Aravena M, Brinchmann J, Carilli C, Contini T, Decarli R, González-López J, Nanayakkara T, Walter F. 2021. Measuring the average molecular gas content of star-forming galaxies at z = 3–4. The Astrophysical Journal. 916(1), 12.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 11522 | OA
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-α transmission properties of the intergalactic medium in the CoDaII simulation. Monthly Notices of the Royal Astronomical Society. 508(3), 3697–3709.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 11663 | OA
Bernstein A, Forster S, Henzinger MH. 2021. A deamortization approach for dynamic spanner and dynamic maximal matching. ACM Transactions on Algorithms. 17(4), 29.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 11886 | OA
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), STOC16-98-STOC16-137.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 12076 | OA
Shute AL. Sums of four squareful numbers. arXiv, 2104.06966.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9465 | OA
Edelsbrunner H, Nikitenko A, Osang GF. 2021. A step in the Delaunay mosaic of order k. Journal of Geometry. 112(1), 15.
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9572 | OA
Fox J, Kwan MA, Sudakov B. 2021. Acyclic subgraphs of tournaments with high chromatic number. Bulletin of the London Mathematical Society. 53(2), 619–630.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9592 | OA
Dvorak M, Nicholson S. Massively winning configurations in the convex grabbing game on the plane. Proceedings of the 33rd Canadian Conference on Computational Geometry. CCCG: Canadian Conference on Computational Geometry.
[Submitted Version] View | Files available | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9823 | OA
Alistarh D-A, Ellen F, Rybicki J. 2021. Wait-free approximate agreement on graphs. Structural Information and Communication Complexity. SIROCCO: Structural Information and Communication Complexity, LNCS, vol. 12810, 87–105.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 12584 | OA
Menenti M, Li X, Jia L, Yang K, Pellicciotti F, Mancini M, Shi J, Escorihuela MJ, Zheng C, Chen Q, Lu J, Zhou J, Hu G, Ren S, Zhang J, Liu Q, Qiu Y, Huang C, Zhou J, Han X, Pan X, Li H, Wu Y, Ding B, Yang W, Buri P, McCarthy MJ, Miles ES, Shaw TE, Ma C, Zhou Y, Corbari C, Li R, Zhao T, Stefan V, Gao Q, Zhang J, Xie Q, Wang N, Sun Y, Mo X, Jia J, Jouberton AP, Kneib M, Fugger S, Paciolla N, Paolini G. 2021. Multi-source hydrological data products to monitor High Asian river basins and regional water security. Remote Sensing. 13(24), 5122.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 12591 | OA
Ren S, Miles ES, Jia L, Menenti M, Kneib M, Buri P, McCarthy MJ, Shaw TE, Yang W, Pellicciotti F. 2021. Anisotropy parameterization development and evaluation for glacier surface albedo retrieval from satellite observations. Remote Sensing. 13(9), 1714.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 12585 | OA
Miles E, McCarthy M, Dehecq A, Kneib M, Fugger S, Pellicciotti F. 2021. Health and sustainability of glaciers in High Mountain Asia. Nature Communications. 12, 2868.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 12588 | OA
Buri P, Miles ES, Steiner JF, Ragettli S, Pellicciotti F. 2021. Supraglacial ice cliffs can substantially increase the mass loss of debris‐covered glaciers. Geophysical Research Letters. 48(6), e2020GL092150.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 12583 | OA
Fyffe CL, Potter E, Fugger S, Orr A, Fatichi S, Loarte E, Medina K, Hellström RÅ, Bernat M, Aubry‐Wake C, Gurgiser W, Perry LB, Suarez W, Quincey DJ, Pellicciotti F. 2021. The energy and mass balance of Peruvian Glaciers. Journal of Geophysical Research: Atmospheres. 126(23), e2021JD034911.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Preprint | IST-REx-ID: 9230 | OA
Arguin L-P, Dubach G, Hartung L. Maxima of a random model of the Riemann zeta function over intervals of varying length. arXiv, 2103.04817.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 12309 | OA
Verzobio M. 2021. Primitive divisors of elliptic divisibility sequences for elliptic curves with j=1728. Acta Arithmetica. 198(2), 129–168.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10665 | OA
Henzinger TA, Lechner M, Zikelic D. 2021. Scalable verification of quantized neural networks. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence, Technical Tracks, vol. 35, 3787–3795.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 8818
Ramirez Villegas JF, Besserve M, Murayama Y, Evrard HC, Oeltermann A, Logothetis NK. 2021. Coupling of hippocampal theta and ripples with pontogeniculooccipital waves. Nature. 589(7840), 96–102.
View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9256 | OA
Napiórkowski MM, Seiringer R. 2021. Free energy asymptotics of the quantum Heisenberg spin chain. Letters in Mathematical Physics. 111(2), 31.
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 9443 | OA
Ruiz-Lopez N, Pérez-Sancho J, Esteban Del Valle A, Haslam R, Vanneste S, Catalá R, Perea-Resa C, Van Damme D, García-Hernández S, Albert A, Vallarino J, Lin J, Friml J, Macho A, Salinas J, Rosado A, Napier J, Amorim-Silva V, Botella M. 2021. Synaptotagmins at the endoplasmic reticulum-plasma membrane contact sites maintain diacylglycerol homeostasis during abiotic stress. Plant Cell. 33(7), 2431–2453.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9467 | OA
Marensi E, He S, Willis AP. 2021. Suppression of turbulence and travelling waves in a vertical heated pipe. Journal of Fluid Mechanics. 919, A17.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9548 | OA
Ivanov G, Tsiutsiurupa I. 2021. Functional Löwner ellipsoids. Journal of Geometric Analysis. 31, 11493–11528.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9601 | OA
Santini L, Halbritter F, Titz-Teixeira F, Suzuki T, Asami M, Ma X, Ramesmayer J, Lackner A, Warr N, Pauler F, Hippenmeyer S, Laue E, Farlik M, Bock C, Beyer A, Perry ACF, Leeb M. 2021. Genomic imprinting in mouse blastocysts is predominantly associated with H3K27me3. Nature Communications. 12(1), 3804.
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 9877 | OA
Rodrigues JA, Hsieh P-H, Ruan D, Nishimura T, Sharma MK, Sharma R, Ye X, Nguyen ND, Nijjar S, Ronald PC, Fischer RL, Zilberman D. 2021. Divergence among rice cultivars reveals roles for transposition and epimutation in ongoing evolution of genomic imprinting. Proceedings of the National Academy of Sciences. 118(29), e2104445118.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9874 | OA
Raso A, Dirkx E, Sampaio-Pinto V, el Azzouzi H, Cubero RJ, Sorensen DW, Ottaviani L, Olieslagers S, Huibers MM, de Weger R, Siddiqi S, Moimas S, Torrini C, Zentillin L, Braga L, Nascimento DS, da Costa Martins PA, van Berlo JH, Zacchigna S, Giacca M, De Windt LJ. 2021. A microRNA program regulates the balance between cardiomyocyte hyperplasia and hypertrophy and stimulates cardiac regeneration. Nature Communications. 12, 4808.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Filters and Search Terms

eissn%3D978-94-009-0435-4

Search

Filter Publications