Please note that IST 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.

6118 Publications


2020 | Conference Paper | IST-REx-ID: 7808 | OA
Giacobbe M, Henzinger TA, Lechner M. 2020. How many bits does it take to quantize your neural network? International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 12079, 79–97.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7790 | OA
Deuchert A, Mayer S, Seiringer R. 2020. The free energy of the two-dimensional dilute Bose gas. I. Lower bound. Forum of Mathematics, Sigma. 8, e20.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7791 | OA
Akopyan A, Karasev R. 2020. When different norms lead to same billiard trajectories? European Journal of Mathematics.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7792
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.
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7793 | OA
Kuhn A, Ramans Harborough S, McLaughlin HM, Natarajan B, Verstraeten I, Friml J, Kepinski S, Østergaard L. 2020. Direct ETTIN-auxin interaction controls chromatin states in gynoecium development. eLife. 9, e51787.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 7896 | OA
Kamath Hosdurg C. 2020. On the average-case hardness of total search problems. IST Austria.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7900 | OA
Benedikter NP. 2020. Bosonic collective excitations in Fermi gases. Reviews in Mathematical Physics., 2060009.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Preprint | IST-REx-ID: 7901 | OA
Benedikter NP, Nam PT, Porta M, Schlein B, Seiringer R. Correlation energy of a weakly interacting Fermi gas. arXiv, 2005.08933.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7814 | OA
Beattie RJ, Hippenmeyer S, Pauler F. 2020. SCOPES: Sparking curiosity through Open-Source platforms in education and science. Frontiers in Education. 5, 48.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7902
Contreras X. 2020. Genetic dissection of neural development in health and disease at single cell resolution. IST Austria.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7905 | OA
Brown A, Wang B. 2020. Sheaf-theoretic stratification learning from geometric and topological perspectives. Discrete and Computational Geometry.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7908 | OA
Wang HY, Eguchi K, Yamashita T, Takahashi T. 2020. Frequency-dependent block of excitatory neurotransmission by isoflurane via dual presynaptic mechanisms. Journal of Neuroscience. 40(21), 4103–4115.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7909 | OA
Damiano-Guercio J, Kurzawa L, Müller J, Dimchev GA, Schaks M, Nemethova M, Pokrant T, Brühmann S, Linkner J, Blanchoin L, Sixt MK, Rottner K, Faix J. 2020. Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion. eLife. 9, e55351.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7910 | OA
Barzanjeh S, Pirandola S, Vitali D, Fink JM. 2020. Microwave quantum illumination using a digital receiver. Science Advances. 6(19), eabb0451.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7919 | OA
Mistakidis SI, Volosniev A, Schmelcher P. 2020. Induced correlations between impurities in a one-dimensional quenched Bose gas. Physical Review Research. 2, 023154.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7925 | OA
Shehu Y, Gibali A. 2020. New inertial relaxed method for solving split feasibilities. Optimization Letters.
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7931 | OA
Uroshlev LA, Abdullaev ET, Umarova IR, Il’Icheva IA, Panchenko LA, Polozov RV, Kondrashov F, Nechipurenko YD, Grokhovsky SL. 2020. A method for identification of the methylation level of CpG islands from NGS data. Scientific Reports. 10, 8635.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7932 | OA
Xu D, Varshney A, Ma X, Song B, Riedl M, Avila M, Hof B. 2020. Nonlinear hydrodynamic instability and turbulence in pulsatile flow. Proceedings of the National Academy of Sciences of the United States of America. 117(21), 11233–11239.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7933 | OA
Maslov M, Lemeshko M, Yakaboylu E. 2020. Synthetic spin-orbit coupling mediated by a bosonic environment. Physical Review B. 101(18), 184104.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7815 | OA
Beattie RJ, Streicher C, Amberg N, Cheung GT, Contreras X, Hansen AH, Hippenmeyer S. 2020. Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM). Journal of Visual Experiments (JoVE). (159), e61147.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7999 | OA
Trejo Banos D, McCartney D, Patxot M, Anchieri L, Battram T, Christiansen C, Costeira R, Walker R, Morris S, Campbell A, Zhang Q, Porteous D, McRae A, Wray N, Visscher P, Haley C, Evans K, Deary I, McIntosh A, Hemani G, Bell J, Marioni R, Robinson MR. 2020. Bayesian reassessment of the epigenetic architecture of complex traits. Nature Communications. 11, 2865.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8001 | OA
Vandael DH, Borges Merjane C, Zhang X, Jonas PM. 2020. Short-term plasticity at hippocampal mossy fiber synapses is induced by natural activity patterns and associated with vesicle pool engram formation. Neuron. 107(3), 509–521.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8002 | OA
Hörmayer L, Montesinos López JC, Marhavá P, Benková E, Yoshida S, Friml J. 2020. Wounding-induced changes in cellular pressure and localized auxin signalling spatially coordinate restorative divisions in roots. Proceedings of the National Academy of Sciences. 117(26), 202003346.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8011 | OA
Michailidis A, Turner CJ, Papić Z, Abanin DA, Serbyn M. 2020. Stabilizing two-dimensional quantum scars by deformation and synchronization. Physical Review Research. 2(2), 022065.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7541 | OA
Gao F, Wang J-H, Watzinger H, Hu H, Rančić MJ, Zhang J-Y, Wang T, Yao Y, Wang G-L, Kukucka J, Vukušić L, Kloeffel C, Loss D, Liu F, Katsaros G, Zhang J-J. 2020. Site-controlled uniform Ge/Si hut wires with electrically tunable spin-orbit coupling. Advanced Materials. 32(16), 1906523.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8093
Hippe A, Braun SA, Oláh P, Gerber PA, Schorr A, Seeliger S, Holtz S, Jannasch K, Pivarcsi A, Buhren B, Schrumpf H, Kislat A, Bünemann E, Steinhoff M, Fischer J, Lira SA, Boukamp P, Hevezi P, Stoecklein NH, Hoffmann T, Alves F, Sleeman J, Bauer T, Klufa J, Amberg N, Sibilia M, Zlotnik A, Müller-Homey A, Homey B. 2020. EGFR/Ras-induced CCL20 production modulates the tumour microenvironment. British Journal of Cancer. 123, 942–954.
View | DOI | PubMed | Europe PMC
 

2020 | Research Data | IST-REx-ID: 8097 | OA
Kavcic B. 2020. Analysis scripts and research data for the paper ‘Mechanisms of drug interactions between translation-inhibiting antibiotics’, IST Austria, 10.15479/AT:ISTA:8097.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8099 | OA
Gammerdinger WJ, Toups MA, Vicoso B. 2020. Disagreement in FST estimators: A case study from  sex chromosomes. Molecular Ecology Resources. 20(6), 1517–1525.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8101 | OA
Grosjean GM, Wald S, Sobarzo Ponce JCA, Waitukaitis SR. 2020. Quantitatively consistent scale-spanning model for same-material tribocharging. Physical Review Materials. 4(8), 082602.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8105 | OA
Lombardi F, Wang JWJL, Zhang X, Ivanov PC. 2020. Power-law correlations and coupling of active and quiet states underlie a class of complex systems with self-organization at criticality. EPJ Web of Conferences. 230, 00005.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8112
Barton NH. 2020. On the completion of speciation. Philosophical Transactions of the Royal Society. Series B: Biological Sciences. 375(1806), 20190530.
View | DOI | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 8125 | OA
Podlaski WF, Agnes EJ, Vogels TP. 2020. Context-modular memory networks support high-capacity, flexible, and robust associative memories. bioRxiv, .
View | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8126 | OA
Agnes EJ, Luppi AI, Vogels TP. 2020. Complementary inhibitory weight profiles emerge from plasticity and allow attentional switching of receptive fields. The Journal of Neuroscience. 40(50), 9634–9649.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8127 | OA
Gonçalves PJ, Lueckmann J-M, Deistler M, Nonnenmacher M, Öcal K, Bassetto G, Chintaluri C, Podlaski WF, Haddad SA, Vogels TP, Greenberg DS, Macke JH. 2020. Training deep neural density estimators to identify mechanistic models of neural dynamics. eLife. 9, e56261.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8130 | OA
Bossmann L. 2020. Derivation of the 2d Gross–Pitaevskii equation for strongly confined 3d Bosons. Archive for Rational Mechanics and Analysis. 238(11), 541–606.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8132
Salzer E, Zoghi S, Kiss MG, Kage F, Rashkova C, Stahnke S, Haimel M, Platzer R, Caldera M, Ardy RC, Hoeger B, Block J, Medgyesi D, Sin C, Shahkarami S, Kain R, Ziaee V, Hammerl P, Bock C, Menche J, Dupré L, Huppa JB, Sixt MK, Lomakin A, Rottner K, Binder CJ, Stradal TEB, Rezaei N, Boztug K. 2020. The cytoskeletal regulator HEM1 governs B cell development and prevents autoimmunity. Science Immunology. 5(49), eabc3979.
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8133 | OA
Hillary RF, Trejo-Banos D, Kousathanas A, Mccartney DL, Harris SE, Stevenson AJ, Patxot M, Ojavee SE, Zhang Q, Liewald DC, Ritchie CW, Evans KL, Tucker-Drob EM, Wray NR, Mcrae AF, Visscher PM, Deary IJ, Robinson MR, Marioni RE. 2020. Multi-method genome- and epigenome-wide studies of inflammatory protein levels in healthy older adults. Genome Medicine. 12(1), 60.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8134 | OA
Mayer S, Seiringer R. 2020. The free energy of the two-dimensional dilute Bose gas. II. Upper bound. Journal of Mathematical Physics. 61(6), 061901.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8135 | OA
Edelsbrunner H, Nikitenko A, Ölsböck K, Synak P. 2020. Radius functions on Poisson–Delaunay mosaics and related complexes experimentally. Topological Data Analysis. , Abel Symposia, vol. 15, 181–218.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8138 | OA
Zhang J, Mazur E, Balla J, Gallei MC, Kalousek P, Medveďová Z, Li Y, Wang Y, Prat T, Vasileva MK, Reinöhl V, Procházka S, Halouzka R, Tarkowski P, Luschnig C, Brewer P, Friml J. 2020. Strigolactones inhibit auxin feedback on PIN-dependent auxin transport canalization. Nature Communications. 11(1), 3508.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8139
Johnson AJ, Gnyliukh N, Kaufmann W, Narasimhan M, Vert G, Bednarek S, Friml J. 2020. Experimental toolbox for quantitative evaluation of clathrin-mediated endocytosis in the plant model Arabidopsis. Journal of Cell Science. 133(15), jcs248062.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8142 | OA
Montesinos López JC, Abuzeineh A, Kopf A, Juanes Garcia A, Ötvös K, Petrášek J, Sixt MK, Benková E. 2020. Phytohormone cytokinin guides microtubule dynamics during cell progression from proliferative to differentiated stage. The Embo Journal. 39(17), e104238.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Report | IST-REx-ID: 8151
Maslov M, Kondrashov F, Artner C, Hennessey-Wesen M, Kavcic B, Machnik NN, Satapathy RK, Tomanek I. 2020. Core Project Proceedings, IST Austria, 425p.
View | Files available
 

2020 | Thesis | IST-REx-ID: 8155 | OA
Grah R. 2020. Gene regulation across scales – how biophysical constraints shape evolution. IST Austria.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7569 | OA
Grah R, Friedlander T. 2020. The relation between crosstalk and gene regulation form revisited. PLOS Computational Biology. 16(2), e1007642.
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 7675 | OA
Grah R, Zoller B, Tkačik G. 2020. Normative models of enhancer function. bioRxiv, 10.1101/2020.04.08.029405.
View | Files available | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8196 | OA
Shehu Y, Dong Q-L, Liu L-L, Yao J-C. 2020. New strong convergence method for the sum of two maximal monotone operators. Optimization and Engineering.
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8198 | OA
Diringer AA, Gulden T. Robustness of the Floquet many-body localized phase in the presence of a  smooth and a non-smooth drive. arXiv, 2007.14879.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8199 | OA
Gulden T, Berg E, Rudner MS, Lindner N. 2020. Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. SciPost Physics. 9, 015.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8190 | OA
Sixt MK, Huttenlocher A. 2020. Zena Werb (1945-2020): Cell biology in context. The Journal of cell biology. 219(8), e202007029.
View | Files available | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8191
Alistarh D-A, Brown TA, Singhal N. 2020. Memory tagging: Minimalist synchronization for scalable concurrent data structures. Annual ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures, 37–49.
View | DOI
 

2020 | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. 2020. An SMT theory of fixed-point arithmetic. Automated Reasoning. IJCAR: International Joint Conference on Automated Reasoning, LNCS, vol. 12166, 13–31.
View | DOI | Download Published Version (ext.)
 

2020 | Preprint | IST-REx-ID: 8253 | OA
Zenke F, Vogels TP. 2020. The remarkable robustness of surrogate gradient learning for instilling complex function in spiking neural networks. bioRxiv, .
View | Download Preprint (ext.)
 

2020 | Research Data | IST-REx-ID: 8254 | OA
Arathoon LS. 2020. Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus), IST Austria, 10.15479/AT:ISTA:8254.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8261 | OA
Zhang X, Schlögl A, Jonas PM. 2020. Selective routing of spatial information flow from input to output in hippocampal granule cells. Neuron. 107(6), 1212–1225.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8268 | OA
Gurel NM, Kara K, Stojanov A, Smith T, Lemmin T, Alistarh D-A, Puschel M, Zhang C. 2020. Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. IEEE Transactions on Signal Processing. 68, 4268–4282.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8271
He P, Zhang Y, Xiao G. 2020. Origin of a subgenome and genome evolution of allotetraploid cotton species. Molecular Plant. 13(9), 1238–1240.
View | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8272 | OA
Chatterjee K, Katoen JP, Weininger M, Winkler T. 2020. Stochastic games with lexicographic reachability-safety objectives. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 12225, 398–420.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8283 | OA
Chen H, Lai L, Li L, Liu L, Jakada BH, Huang Y, He Q, Chai M, Niu X, Qin Y. 2020. AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. International Journal of Molecular Sciences. 21(16), 5272.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Scientific Software | IST-REx-ID: 8294 | OA
Hauschild R. 2020. RGtracker, IST Austria, 10.15479/AT:ISTA:8294.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8285 | OA
Malia BK, Martínez-Rincón J, Wu Y, Hosten O, Kasevich MA. 2020. Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit. Physical Review Letters. 125(4), 043202.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8286 | OA
Alistarh D-A, Nadiradze G, Sabour A. 2020. Dynamic averaging load balancing on cycles. 47th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming , LIPIcs, vol. 168, 7.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8321
Mukba SA, Vlasov P, Kolosov PM, Shuvalova EY, Egorova TV, Alkalaeva EZ. 2020. Expanding the genetic code: Unnatural base pairs in biological systems. Molekuliarnaia biologiia. 54(4), 531–541.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8322 | OA
Chakraborty S, Dziembowski S, Nielsen JB. 2020. Reverse firewalls for actively secure MPCs. Advances in Cryptology – CRYPTO 2020. CRYPTO: Annual International Cryptology Conference, LNCS, vol. 12171, 732–762.
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8323 | OA
Pach J. 2020. A farewell to Ricky Pollack. Discrete and Computational Geometry. 64, 571–574.
View | DOI | Download None (ext.)
 

2020 | Journal Article | IST-REx-ID: 8325 | OA
Kalinin N, Shkolnikov M. 2020. Sandpile solitons via smoothing of superharmonic functions. Communications in Mathematical Physics. 378(9), 1649–1675.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8329 | OA
Schlemmer W, Nothdurft P, Petzold A, Frühwirt P, Schmallegger M, Gescheidt-Demner G, Fischer R, Freunberger SA, Kern W, Spirk S. 2020. 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries. Angewandte Chemie International Edition. 59(51), 22943–22946.
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8320
Mukba SA, Vlasov P, Kolosov PM, Shuvalova EY, Egorova TV, Alkalaeva EZ. 2020. Expanding the genetic code: Unnatural base pairs in biological systems. Molecular Biology. 54(4), 475–484.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8332 | OA
Kragl B. 2020. Verifying concurrent programs: Refinement, synchronization, sequentialization. IST Austria.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8336 | OA
Kubiasova K, Montesinos López JC, Šamajová O, Nisler J, Mik V, Semeradova H, Plíhalová L, Novák O, Marhavý P, Cavallari N, Zalabák D, Berka K, Doležal K, Galuszka P, Šamaj J, Strnad M, Benková E, Plíhal O, Spíchal L. 2020. Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum. Nature Communications. 11, 4285.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8337 | OA
Antoniadi I, Novák O, Gelová Z, Johnson AJ, Plíhal O, Simerský R, Mik V, Vain T, Mateo-Bonmatí E, Karady M, Pernisová M, Plačková L, Opassathian K, Hejátko J, Robert S, Friml J, Doležal K, Ljung K, Turnbull C. 2020. Cell-surface receptors enable perception of extracellular cytokinins. Nature Communications. 11, 4284.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8338 | OA
Akopyan A, Bobenko AI, Schief WK, Techter J. 2020. On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs. Discrete and Computational Geometry.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8339 | OA
Genise N, Micciancio D, Peikert C, Walter M. 2020. Improved discrete Gaussian and subgaussian analysis for lattice cryptography. 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography. PKC: Public-Key Cryptography, LNCS, vol. 12110, 623–651.
View | DOI | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 8341
Bezeljak U. 2020. In vitro reconstitution of a Rab activation switch. IST Austria.
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8349 | OA
Nardin M, Phillips JW, Podlaski WF, Keemink SW. Nonlinear computations in spiking neural networks through multiplicative synapses. arXiv, 2009.03857.
View | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8012 | OA
Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. 2020. Inductive sequentialization of asynchronous programs. Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 227–242.
View | Files available | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8195 | OA
Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent programs. Computer Aided Verification. , LNCS, vol. 12224, 275–298.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7580 | OA
Bezeljak U, Loya H, Kaczmarek BM, Saunders TE, Loose M. 2020. Stochastic activation and bistability in a Rab GTPase regulatory network. Proceedings of the National Academy of Sciences. 117(12), 6504–6549.
View | Files available | DOI | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 8340
Kampjut D. 2020. Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes. IST Austria.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8358 | OA
Dos Santos Caldas PR. 2020. Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. IST Austria.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7262 | OA
Guseinov R, McMahan C, Perez Rodriguez J, Daraio C, Bickel B. 2020. Programming temporal morphing of self-actuated shells. Nature Communications. 11, 237.
View | Files available | DOI
 

2020 | Technical Report | IST-REx-ID: 8067 | OA
Varzi A, Thanner K, Scipioni R, Di Lecce D, Hassoun J, Dörfler S, Altheus H, Kaskel S, Prehal C, Freunberger SA. Current status and future perspectives of Lithium metal batteries, IST Austria, 63p.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7572 | OA
Dos Santos Caldas PR, Radler P, Sommer CM, Loose M. 2020. Computational analysis of filament polymerization dynamics in cytoskeletal networks. Methods in Cell Biology. 158, 145–161.
View | Files available | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8361
Varzi A, Thanner K, Scipioni R, Di Lecce D, Hassoun J, Dörfler S, Altheus H, Kaskel S, Prehal C, Freunberger SA. 2020. Current status and future perspectives of lithium metal batteries. Journal of Power Sources. 480(12), 228803.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8386 | OA
Zhang R. 2020. Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. IST Austria.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8402 | OA
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.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 8403 | OA
Sučec I, Wang Y, Dakhlaoui O, Weinhäupl K, Jores T, Costa D, Hessel A, Brennich M, Rapaport D, Lindorff-Larsen K, Bersch B, Schanda P. Structural basis of client specificity in mitochondrial membrane-protein chaperones. bioRxiv, 10.1101/2020.06.08.140772.
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8404 | OA
Weinhäupl K, Wang Y, Hessel A, Brennich M, Lindorff-Larsen K, Schanda P. Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone. bioRxiv, 10.1101/2020.03.13.990150.
View | DOI | Download Preprint (ext.)
 

2020 | Book | IST-REx-ID: 8414
Kaloshin V, Zhang K. 2020. Arnold diffusion for smooth systems of two and a half degrees of freedom 1st ed., Princeton University Press, 224p.
View
 

2020 | Preprint | IST-REx-ID: 8429 | OA
Patxot M, Trejo Banos D, Kousathanas A, Orliac EJ, Ojavee SE, Moser G, Sidorenko J, Kutalik Z, Magi R, Visscher PM, Ronnegard L, Robinson MR. 2020. Probabilistic inference of the genetic architecture of functional enrichment of complex traits. medRxiv, 10.1101/2020.09.04.20188433.
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8430 | OA
Ojavee SE, Kousathanas A, Trejo Banos D, Orliac EJ, Patxot M, Lall K, Magi R, Fischer K, Kutalik Z, Robinson MR. Genomic architecture and prediction of censored time-to-event phenotypes with a Bayesian genome-wide analysis. medRxiv, 10.1101/2020.09.04.20188441.
View | DOI | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 7996 | OA
Kukucka J. 2020. Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing. IST Austria.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7936 | OA
Royer A, Lampert C. 2020. Localizing grouped instances for efficient detection in low-resource scenarios. IEEE Winter Conference on Applications of Computer Vision. WACV: Winter Conference on Applications of Computer Vision, 1716–1725.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7937 | OA
Royer A, Lampert C. 2020. A flexible selection scheme for minimum-effort transfer learning. 2020 IEEE Winter Conference on Applications of Computer Vision. WACV: Winter Conference on Applications of Computer Vision, 2180–2189.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8193
Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. 2020. Multiple-environment Markov decision processes: Efficient analysis and applications. Proceedings of the 30th International Conference on Automated Planning and Scheduling. ICAPS: International Conference on Automated Planning and Scheduling vol. 30, 48–56.
View | Files available
 

2020 | Book Chapter | IST-REx-ID: 8092 | OA
Royer A, Bousmalis K, Gouws S, Bertsch F, Mosseri I, Cole F, Murphy K. 2020.XGAN: Unsupervised image-to-image translation for many-to-many mappings. In: Domain Adaptation for Visual Understanding. , 33–49.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 8589
Han H. 2020. Novel insights into PIN polarity regulation during Arabidopsis development. IST Austria.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8592 | OA
Tian A, Kang B, Li B, Qiu B, Jiang W, Shao F, Gao Q, Liu R, Cai C, Jing R, Wang W, Chen P, Liang Q, Bao L, Man J, Wang Y, Shi Y, Li J, Yang M, Wang L, Zhang J, Hippenmeyer S, Zhu J, Bian X, Wang Y, Liu C. 2020. Oncogenic state and cell identity combinatorially dictate the susceptibility of cells within glioma development hierarchy to IGF1R targeting. Advanced Science. 7(21), 2001724.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8597 | OA
Merrin J. 2020. Differences in power law growth over time and indicators of COVID-19 pandemic progression worldwide. Physical Biology. 17(6), 065005.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8599 | OA
Avni G, Henzinger TA. 2020. A survey of bidding games on graphs. 31st International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 171, 2.
View | Files available | DOI
 

Search

Filter Publications