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.

1832 Publications


2022 | Journal Article | IST-REx-ID: 11460 | OA
Schaaf ZA, Tat L, Cannizzaro N, Green R, Rülicke T, Hippenmeyer S, Zarbalis KS. 2022. WDFY3 mutation alters laminar position and morphology of cortical neurons. Molecular Autism. 13, 27.
[Published Version] View | Files available | DOI | WoS
 

2022 | Conference Paper | IST-REx-ID: 11476 | OA
Alwen J, Auerbach B, Cueto Noval M, Klein K, Pascual Perez G, Pietrzak KZ, Walter M. 2022. CoCoA: Concurrent continuous group key agreement. Advances in Cryptology – EUROCRYPT 2022. EUROCRYPT: Annual International Conference on the Theory and Applications of Cryptology and Information Security, LNCS, vol. 13276, 815–844.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2022 | Journal Article | IST-REx-ID: 11551 | OA
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 NDUFA10 subunit. Communications Biology. 5(1), 620.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11587 | OA
Zhang R, Kuo R, Coulter M, Calixto CPG, Entizne JC, Guo W, Marquez Y, Milne L, Riegler S, Matsui A, Tanaka M, Harvey S, Gao Y, Wießner-Kroh T, Paniagua A, Crespi M, Denby K, Hur AB, Huq E, Jantsch M, Jarmolowski A, Koester T, Laubinger S, Li QQ, Gu L, Seki M, Staiger D, Sunkar R, Szweykowska-Kulinska Z, Tu SL, Wachter A, Waugh R, Xiong L, Zhang XN, Conesa A, Reddy ASN, Barta A, Kalyna M, Brown JWS. 2022. A high-resolution single-molecule sequencing-based Arabidopsis transcriptome using novel methods of Iso-seq analysis. Genome Biology. 23, 149.
[Published Version] View | Files available | DOI | WoS
 

2022 | Conference Paper | IST-REx-ID: 11707 | OA
Balliu A, Hirvonen J, Melnyk D, Olivetti D, Rybicki J, Suomela J. 2022. Local mending. International Colloquium on Structural Information and Communication Complexity. SIROCCO: Structural Information and Communication ComplexityLNCS vol. 13298, 1–20.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11636 | OA
Kmentt P, Shute AL. 2022. The Bertini irreducibility theorem for higher codimensional slices. Finite Fields and their Applications. 83(10), 102085.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11705 | OA
Chang C, Liu Y, Lee S, Spadaro M, Koskela KM, Kleinhanns T, Costanzo T, Arbiol J, Brutchey RL, Ibáñez M. 2022. Surface functionalization of surfactant-free particles: A strategy to tailor the properties of nanocomposites for enhanced thermoelectric performance. Angewandte Chemie - International Edition. 61(35), e202207002.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 11733 | OA
Orliac EJ, Trejo Banos D, Ojavee SE, Läll K, Mägi R, Visscher PM, Robinson MR. 2022. Improving GWAS discovery and genomic prediction accuracy in biobank data. Proceedings of the National Academy of Sciences of the United States of America. 119(31), e2121279119.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 11740 | OA
Cooley O, Del Giudice N, Kang M, Sprüssel P. 2022. Phase transition in cohomology groups of non-uniform random simplicial complexes. Electronic Journal of Combinatorics. 29(3), P3.27.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11858 | OA
Agresti A, Veraar M. 2022. Nonlinear parabolic stochastic evolution equations in critical spaces part II. Journal of Evolution Equations. 22(2), 56.
[Published Version] View | Files available | DOI | WoS
 

2022 | Book Chapter | IST-REx-ID: 10820
Liu J, Marensi E, Wu X. 2022.Effects of streaky structures on the instability of supersonic boundary layers. In: IUTAM Laminar-Turbulent Transition. vol. 38, 587–598.
View | DOI | WoS
 

2022 | Research Data Reference | IST-REx-ID: 13064 | OA
Orliac E, Trejo Banos D, Ojavee S, Läll K, Mägi R, Visscher P, Robinson MR. 2022. Improving genome-wide association discovery and genomic prediction accuracy in biobank data, Dryad, 10.5061/DRYAD.GTHT76HMZ.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2022 | Conference Paper | IST-REx-ID: 11775 | OA
Henzinger TA, Mazzocchi NA, Sarac NE. 2022. Abstract monitors for quantitative specifications. 22nd International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 13498, 200–220.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12052 | OA
Konstantinova N, Hörmayer L, Glanc M, Keshkeih R, Tan S, Di Donato M, Retzer K, Moulinier-Anzola J, Schwihla M, Korbei B, Geisler M, Friml J, Luschnig C. 2022. WAVY GROWTH Arabidopsis E3 ubiquitin ligases affect apical PIN sorting decisions. Nature Communications. 13, 5147.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

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

2022 | Journal Article | IST-REx-ID: 12054 | OA
Yang Z, Xia J, Hong J, Zhang C, Wei H, Ying W, Sun C, Sun L, Mao Y, Gao Y, Tan S, Friml J, Li D, Liu X, Sun L. 2022. Structural insights into auxin recognition and efflux by Arabidopsis PIN1. Nature. 609(7927), 611–615.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12110 | OA
Henheik SJ, Tumulka R. 2022. Interior-boundary conditions for the Dirac equation at point sources in three dimensions. Journal of Mathematical Physics. 63(12), 122302.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12107 | OA
Roca R, De Meyer V, Muller CJ. 2022. Precipitating fraction, not intensity, explains extreme coarse-grained precipitation Clausius-Clapeyron scaling with sea surface temperature over tropical oceans. Geophysical Research Letters. 49(24), e2022GL100624.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12129 | OA
Wagner U, Welzl E. 2022. Connectivity of triangulation flip graphs in the plane. Discrete & Computational Geometry. 68(4), 1227–1284.
[Published Version] View | Files available | DOI | WoS
 

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

2022 | Journal Article | IST-REx-ID: 12142 | OA
Ojavee SE, Kutalik Z, Robinson MR. 2022. Liability-scale heritability estimation for biobank studies of low-prevalence disease. The American Journal of Human Genetics. 109(11), 2009–2017.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12151 | OA
Cooley O, Kang M, Pikhurko O. 2022. On a question of Vera T. Sós about size forcing of graphons. Acta Mathematica Hungarica. 168, 1–26.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 12174 | OA
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 ATP6V1A encephalopathy: A disorder of lysosomal homeostasis. Brain. 145(8), 2687–2703.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

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

2022 | Journal Article | IST-REx-ID: 12227 | OA
Kovačič S, Schafzahl B, Matsko NB, Gruber K, Schmuck M, Koller S, Freunberger SA, Slugovc C. 2022. Carbon foams via ring-opening metathesis polymerization of emulsion templates: A facile method to make carbon current collectors for battery applications. ACS Applied Energy Materials. 5(11), 14381–14390.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12226 | OA
Pokusaeva V, Diez AR, Espinar L, Pérez AT, Filion GJ. 2022. Strand asymmetry influences mismatch resolution during single-strand annealing. Genome Biology. 23, 93.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

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

2022 | Conference Paper | IST-REx-ID: 12432
Anastos M. 2022. Solving the Hamilton cycle problem fast on average. 63rd Annual IEEE Symposium on Foundations of Computer Science. FOCS: Symposium on Foundations of Computer Science vol. 2022–October, 919–930.
View | DOI | WoS
 

2022 | Conference Paper | IST-REx-ID: 12516 | OA
Bogdanov A, Cueto Noval M, Hoffmann C, Rosen A. 2022. Public-Key Encryption from Homogeneous CLWE. Theory of Cryptography. TCC: Theory of Cryptography, LNCS, vol. 13748, 565–592.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2022 | Journal Article | IST-REx-ID: 12178 | OA
Agresti A, Hieber M, Hussein A, Saal M. 2022. The stochastic primitive equations with transport noise and turbulent pressure. Stochastics and Partial Differential Equations: Analysis and Computations.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2022 | Thesis | IST-REx-ID: 11362 | OA
Lechner M. 2022. Learning verifiable representations. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 13452 | OA
Keszthelyi Z, de Koter A, Götberg YLL, Meynet G, Brands SA, Petit V, Carrington M, David-Uraz A, Geen ST, Georgy C, Hirschi R, Puls J, Ramalatswa KJ, Shultz ME, ud-Doula A. 2022. The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at Solar, LMC, and SMC metallicities. Monthly Notices of the Royal Astronomical Society. 517(2), 2028–2055.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 14098 | OA
Keszthelyi Z, Koter A de, Götberg YLL, Meynet G, Brands SA, Petit V, Carrington M, A. David-Uraz AD-U, Geen ST, Georgy C, Hirschi R, Puls J, Ramalatswa KJ, Shultz ME, A. ud-Doula A ud-Doula. 2022. The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at solar, LMC, and SMC metallicities. Monthly Notices of the Royal Astronomical Society. 517(2), 2028–2055.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11732 | OA
Henheik SJ, Lauritsen AB. 2022. The BCS energy gap at high density. Journal of Statistical Physics. 189, 5.
[Published Version] View | Files available | DOI | WoS
 

2022 | Conference Paper | IST-REx-ID: 12167 | OA
Avarikioti G, Pietrzak KZ, Salem I, Schmid S, Tiwari S, Yeo MX. 2022. Hide & Seek: Privacy-preserving rebalancing on payment channel networks. Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 13411, 358–373.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12302 | OA
Doveri K, Ganty P, Mazzocchi NA. 2022. FORQ-based language inclusion formal testing. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13372, 109–129.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12176 | OA
Hoffmann C, Hubáček P, Kamath C, Klein K, Pietrzak KZ. 2022. Practical statistically-sound proofs of exponentiation in any group. Advances in Cryptology – CRYPTO 2022. CRYYPTO: International Cryptology Conference, LNCS, vol. 13508, 370–399.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2022 | Conference Paper | IST-REx-ID: 12298 | OA
Gelashvili R, Kokoris Kogias E, Sonnino A, Spiegelman A, Xiang Z. 2022. Jolteon and ditto: Network-adaptive efficient consensus with asynchronous fallback. Financial Cryptography and Data Security. FC: Financial Cryptography, LNCS, vol. 13411, 296–315.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12168 | OA
Cohen S, Gelashvili R, Kokoris Kogias E, Li Z, Malkhi D, Sonnino A, Spiegelman A. 2022. Be aware of your leaders. International Conference on Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 13411, 279–295.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12170
Meggendorfer T. 2022. PET – A partial exploration tool for probabilistic verification. 20th International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 13505, 320–326.
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12175 | OA
Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P. 2022. History-deterministic timed automata are not determinizable. 16th International Conference on Reachability Problems. RC: Reachability Problems, LNCS, vol. 13608, 67–76.
[Preprint] View | DOI | Download Preprint (ext.)
 

2022 | Conference Paper | IST-REx-ID: 14168 | OA
Rahaman N, Weiss M, Locatello F, Pal C, Bengio Y, Schölkopf B, Li LE, Ballas N. 2022. Neural attentive circuits. 36th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 35.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11185 | OA
Arroyo Guevara AM, Felsner S. 2022. Approximating the bundled crossing number. WALCOM 2022: Algorithms and Computation. WALCOM: Algorithms and ComputationLNCS vol. 13174, 383–395.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 10753 | OA
Confavreux BJ, Vogels TP. 2022. A familiar thought: Machines that replace us? Neuron. 110(3), 361–362.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11144
Su L, Wang D, Wang S, Qin B, Wang Y, Qin Y, Jin Y, Chang C, Zhao LD. 2022. High thermoelectric performance realized through manipulating layered phonon-electron decoupling. Science. 375(6587), 1385–1389.
View | DOI | WoS | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 10799 | OA
Konstantinov NH. 2022. Robustness and fairness in machine learning. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Preprint | IST-REx-ID: 10792 | OA
Schaaf Z, Tat L, Cannizzaro N, Green R, Rülicke T, Hippenmeyer S, Zarbalis K. WDFY3 cell autonomously controls neuronal migration. 10.21203/rs.3.rs-1316167/v1.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11435 | OA
Ivanov G, Naszodi M. 2022. A quantitative Helly-type theorem: Containment in a homothet. SIAM Journal on Discrete Mathematics. 36(2), 951–957.
[Preprint] View | DOI | Download Preprint (ext.) | 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: 11626 | OA
Gallei MC. 2022. Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12000 | OA
Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. 2022. Sound and complete certificates for auantitative termination analysis of probabilistic programs. Proceedings of the 34th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13371, 55–78.
[Published Version] View | Files available | DOI | WoS
 

2022 | Preprint | IST-REx-ID: 14600 | OA
Zikelic D, Lechner M, Henzinger TA, Chatterjee K. Learning control policies for stochastic systems with reach-avoid guarantees. arXiv, 10.48550/ARXIV.2210.05308.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Thesis | IST-REx-ID: 12358 | OA
Sperl G. 2022. Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

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 | Preprint | IST-REx-ID: 14597 | OA
Fischer JL, Marveggio A. Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow. arXiv, 10.48550/ARXIV.2203.17143.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 15203 | OA
Tsygankov SS, Doroshenko V, Poutanen J, Heyl J, Mushtukov AA, Caiazzo I, Di Marco A, Forsblom SV, González-Caniulef D, Klawin M, La Monaca F, Malacaria C, Marshall HL, Muleri F, Ng M, Suleimanov VF, Sunyaev RA, Turolla R, Agudo I, Antonelli LA, Bachetti M, Baldini L, Baumgartner WH, Bellazzini R, Bianchi S, Bongiorno SD, Bonino R, Brez A, Bucciantini N, Capitanio F, Castellano S, Cavazzuti E, Ciprini S, Costa E, Rosa AD, Del Monte E, Gesu LD, Lalla ND, 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, Matt G, Mitsuishi I, Mizuno T, Ng C-Y, O’Dell SL, Omodei N, Oppedisano C, Papitto A, Pavlov GG, Peirson AL, Perri M, Pesce-Rollins M, Petrucci P-O, Pilia M, Possenti A, Puccetti S, Ramsey BD, Rankin J, Ratheesh A, Romani RW, Sgrò C, Slane P, Soffitta P, Spandre G, Tamagawa T, Tavecchio F, Taverna R, Tawara Y, Tennant AF, Thomas NE, Tombesi F, Trois A, Vink J, Weisskopf MC, Wu K, Xie F, Zane S. 2022. The x-ray polarimetry view of the accreting pulsar Cen X-3. The Astrophysical Journal Letters. 941(1), L14.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

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

2022 | Thesis | IST-REx-ID: 12368 | OA
Arslan FN. 2022. Remodeling of E-cadherin-mediated contacts via cortical  flows. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11879 | OA
Artner C. 2022. Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11393 | OA
Jevtic M. 2022. Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

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
 

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

2022 | Thesis | IST-REx-ID: 11388 | OA
Belohlavy S. 2022. The genetic basis of complex traits studied via analysis of evolve and resequence experiments. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 10703 | OA
Gaertner F, Reis-Rodrigues P, de Vries I, Hons M, Aguilera J, Riedl M, Leithner AF, Tasciyan S, Kopf A, Merrin J, Zheden V, Kaufmann W, Hauschild R, Sixt MK. 2022. WASp triggers mechanosensitive actin patches to facilitate immune cell migration in dense tissues. Developmental Cell. 57(1), 47–62.e9.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 11193 | OA
Wachner S. 2022. Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

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

2021 | Conference Paper | IST-REx-ID: 10052 | OA
Jecker IR, Mazzocchi N, Wolf P. 2021. Decomposing permutation automata. 32nd International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 203, 18.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10054 | OA
Chatterjee K, Henzinger MH, Kale SS, Svozil A. 2021. Faster algorithms for bounded liveness in graphs and game graphs. 48th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 198, 124.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10072 | OA
Harris DG, Iliopoulos F, Kolmogorov V. 2021. A new notion of commutativity for the algorithmic Lovász Local Lemma. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. APPROX/RANDOM: Approximation Algorithms for Combinatorial Optimization Problems/ Randomization and Computation, LIPIcs, vol. 207, 31.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10075 | OA
Guha S, Jecker IR, Lehtinen K, Zimmermann M. 2021. A bit of nondeterminism makes pushdown automata expressive and succinct. 46th International Symposium on Mathematical Foundations of Computer Science. MFCS: Mathematical Foundations of Computer Science, LIPIcs, vol. 202, 53.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Preprint | IST-REx-ID: 10174 | OA
Clozeau N, Gloria A. Quantitative nonlinear homogenization: control of oscillations. arXiv, 2104.04263.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10367 | OA
Ilharco C, Shirazi A, Gopalan A, Nagrani A, Bratanič 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 Linguistics ; IJCNLP: International Joint Conference on Natural Language Processing, 29–30.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2021 | Book | IST-REx-ID: 10415
Browning TD. 2021. Cubic Forms and the Circle Method, Cham: Springer Nature, XIV, 166p.
View | DOI
 

2021 | Journal Article | IST-REx-ID: 10608 | OA
Weighill T, Yamauchi T, Zava N. 2021. Coarse infinite-dimensionality of hyperspaces of finite subsets. European Journal of Mathematics.
[Published Version] View | Files available | DOI
 

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

2021 | Conference Paper | IST-REx-ID: 10630 | OA
Arrighi E, Fernau H, Hoffmann S, Holzer M, Jecker IR, De Oliveira Oliveira M, Wolf P. 2021. On the complexity of intersection non-emptiness for star-free language classes. 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 213, 34.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10629 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2021. Quantitative verification on product graphs of small treewidth. 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 213, 42.
[Published Version] View | Files available | DOI
 

2021 | Other Publication | IST-REx-ID: 10645 | OA
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.
[Published Version] View | Download Published Version (ext.)
 

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: 10692 | OA
Polshyn H, Zhu J, Kumar M, Zhang Y, Yang F, Tschirhart C, Serlin M, Watanabe K, Tanaguchi T, MacDonald A, Young A. 2021. Orbital Chern insulator states in twisted monolayer-bilayer graphene and electrical switching of topological and magnetic order. APS March Meeting 2021. APS: American Physical Society, Bulletin of the American Physical Society, vol. 66, E42.00010.
[Published Version] View | Download Published Version (ext.)
 

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: 11498 | OA
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, A80.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

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: 11525 | OA
Gallego SG, Cantalupo S, Sarpas S, Duboeuf B, Lilly S, Pezzulli G, Marino RA, Matthee JJ, Wisotzki L, Schaye J, Richard J, Kusakabe H, Mauerhofer V. 2021. Constraining the cosmic UV background at z > 3 with MUSE Lyman-α emission observations. Monthly Notices of the Royal Astronomical Society. 504(1), 16–32.
[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: 11524 | OA
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-α emitters from z ∼ 2 to z ∼ 6. Monthly Notices of the Royal Astronomical Society. 505(1), 1117–1134.
[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: 11756 | OA
Henzinger MH, Peng P. 2021. Constant-time dynamic weight approximation for minimum spanning forest. Information and Computation. 281(12), 104805.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 11771 | OA
Henzinger MH, Wu X. 2021. Upper and lower bounds for fully retroactive graph problems. 17th International Symposium on Algorithms and Data Structures. WADS: Workshop on Algorithms and Data Structures, LNCS, vol. 12808, 471–484.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 11814 | OA
Fichtenberger H, Henzinger MH, Ost W. 2021. Differentially private algorithms for graphs under continual observation. 29th Annual European Symposium on Algorithms. ESA: Annual European Symposium on Algorithms, LIPIcs, vol. 204, 42.
[Published Version] View | DOI | Download Published Version (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 | Conference Paper | IST-REx-ID: 11920 | OA
Bhattacharya S, Henzinger MH, Nanongkai D, Wu X. 2021. Dynamic set cover: Improved amortized and worst-case update time. 32nd Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 2537–2549.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Book Chapter | IST-REx-ID: 7941
Truckenbrodt SM, Rizzoli SO. 2021.Simple multi-color super-resolution by X10 microscopy. In: Methods in Cell Biology. vol. 161, 33–56.
View | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9282 | OA
Nauman M, Kiem DH, Lee S, Son S, Park J-G, Kang W, Han MJ, Jo YJ. 2021. Complete mapping of magnetic anisotropy for prototype Ising van der Waals FePS3. 2D Materials. 8(3), 035011.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9296 | OA
Aichholzer O, Arroyo Guevara AM, Masárová Z, Parada I, Perz D, Pilz A, Tkadlec J, Vogtenhuber B. 2021. On compatible matchings. 15th International Conference on Algorithms and Computation. WALCOM: Algorithms and Computation, LNCS, vol. 12635, 221–233.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9466 | OA
Walter M. 2021. The convergence of slide-type reductions. Public-Key Cryptography – PKC 2021. PKC: IACR International Conference on Practice and Theory of Public Key Cryptography, LNCS, vol. 12710, 45–67.
[Published Version] View | Files available | DOI
 

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: 9210 | OA
Volhejn V, Lampert C. 2021. Does SGD implicitly optimize for smoothness? 42nd German Conference on Pattern Recognition. DAGM GCPR: German Conference on Pattern Recognition LNCS vol. 12544, 246–259.
[Submitted Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9604 | OA
Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. 2021. Counting cells of order-k voronoi tessellations in ℝ3 with morse theory. Leibniz International Proceedings in Informatics. SoCG: International Symposium on Computational Geometry, LIPIcs, vol. 189, 16.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

isbn%3D978-3-030-00150-6

Search

Filter Publications