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

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




2890 Publications

2020 | Conference Paper | IST-REx-ID: 7810 | OA
Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. 2020. Optimal and perfectly parallel algorithms for on-demand data-flow analysis. European Symposium on Programming. ESOP: Programming Languages and Systems, LNCS, vol. 12075. 112–140.
View | Files available | DOI
 
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.
View | Files available | DOI
 
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).
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7864
Singer J, Singer J, Jensen-Jarolim E. 2020. Precision medicine in clinical oncology: the journey from IgG antibody to IgE. Current opinion in allergy and clinical immunology. 20(3), 282–289.
View | DOI
 
2020 | Journal Article | IST-REx-ID: 7866 | OA
Fellner K, Kniely M. 2020. Uniform convergence to equilibrium for a family of drift–diffusion models with trap-assisted recombination and the limiting Shockley–Read–Hall model. Journal of Elliptic and Parabolic Equations.
View | DOI | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 7875 | OA
Kopf A, Renkawitz J, Hauschild R, Girkontaite I, Tedford K, Merrin J, Thorn-Seshold O, Trauner D, Häcker H, Fischer KD, Kiermaier E, Sixt MK. 2020. Microtubules control cellular shape and coherence in amoeboid migrating cells. The Journal of cell biology. 219(6), e201907154.
View | DOI | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 7876
Sixt MK, Lämmermann T. 2020. T cells: Bridge-and-channel commute to the white pulp. Immunity. 52(5), 721–723.
View | DOI
 
2020 | Journal Article | IST-REx-ID: 7877 | OA
Parenti I, Diab F, Gil SR, Mulugeta E, Casa V, Berutti R, Brouwer RWW, Dupé V, Eckhold J, Graf E, Puisac B, Ramos F, Schwarzmayr T, Gines MM, Van Staveren T, Van Ijcken WFJ, Strom TM, Pié J, Watrin E, Kaiser FJ, Wendt KS. 2020. MAU2 and NIPBL variants impair the heterodimerization of the cohesin loader subunits and cause Cornelia de Lange syndrome. Cell Reports. 31(7).
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7878 | OA
Bao J, Graupner M, Astorga G, Collin T, Jalil A, Indriati DW, Bradley J, Shigemoto R, Llano I. 2020. Synergism of type 1 metabotropic and ionotropic glutamate receptors in cerebellar molecular layer interneurons in vivo. eLife. 9.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7879 | OA
Han H, Rakusová H, Verstraeten I, Zhang Y, Friml J. 2020. SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism. Plant physiology. 183(5), 37–40.
View | DOI | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 7880 | OA
Fagan RR, Kearney PJ, Sweeney CG, Luethi D, Schoot Uiterkamp FE, Schicker K, Alejandro BS, O’Connor LC, Sitte HH, Melikian HE. 2020. Dopamine transporter trafficking and Rit2 GTPase: Mechanism of action and in vivo impact. Journal of Biological Chemistry. 295(16), 5229–5244.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7882 | OA
Armstrong JR, Jensen AS, Volosniev A, Zinner NT. 2020. Clusters in separated tubes of tilted dipoles. Mathematics. 8(4).
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7883 | OA
Kuzmicz-Kowalska K, Kicheva A. 2020. Regulation of size and scale in vertebrate spinal cord development. Wiley Interdisciplinary Reviews: Developmental Biology., e383.
View | DOI | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 7888 | OA
Schauer A, Nunes Pinheiro DC, Hauschild R, Heisenberg C-PJ. 2020. Zebrafish embryonic explants undergo genetically encoded self-assembly. eLife. 9.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7889
Mitiouchkina T, Mishin AS, Gonzalez Somermeyer L, Markina NM, Chepurnyh TV, Guglya EB, Karataeva TA, Palkina KA, Shakhova ES, Fakhranurova LI, Chekova SV, Tsarkova AS, Golubev YV, Negrebetsky VV, Dolgushin SA, Shalaev PV, Shlykov D, Melnik OA, Shipunova VO, Deyev SM, Bubyrev AI, Pushin AS, Choob VV, Dolgov SV, Kondrashov F, Yampolsky IV, Sarkisyan KS. 2020. Plants with genetically encoded autoluminescence. Nature Biotechnology. 38, 944–946.
View | Files available | DOI | PubMed | Europe PMC
 
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.
View | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7905 | OA
Brown A, Wang B. 2020. Sheaf-theoretic stratification learning from geometric and topological perspectives. Discrete & Computational Geometry.
View | DOI | Download Published Version (ext.) | 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.
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).
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.
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.
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: 7939 | OA
Censor-Hillel K, Dory M, Korhonen J, Leitersdorf D. 2020. Fast approximate shortest paths in the congested clique. Distributed Computing.
View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7940 | OA
Yang Y, Zhao G. 2020. The PBW theorem for affine Yangians. Transformation Groups.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Book Chapter | IST-REx-ID: 7941
Truckenbrodt SM, Rizzoli SO. Simple multi-color super-resolution by X10 microscopy. Methods in Cell Biology.
View | DOI
 
2020 | Journal Article | IST-REx-ID: 7942 | OA
Hartstein M, Hsu YT, Modic KA, Porras J, Loew T, Tacon ML, Zuo H, Wang J, Zhu Z, Chan MK, Mcdonald RD, Lonzarich GG, Keimer B, Sebastian SE, Harrison N. 2020. Hard antinodal gap revealed by quantum oscillations in the pseudogap regime of underdoped high-Tc superconductors. Nature Physics.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Thesis | IST-REx-ID: 7944 | OA
Masárová Z. 2020. Reconfiguration problems, IST Austria, 160p.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7948 | OA
Maghiaoui A, Bouguyon E, Cuesta C, Perrine-Walker F, Alcon C, Krouk G, Benková E, Nacry P, Gojon A, Bach L. The Arabidopsis NRT1.1 transceptor coordinately controls auxin biosynthesis and transport to regulate root branching in response to nitrate. Journal of Experimental Botany., eraa242.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7949 | OA
Smith S, Zhu S, Joos L, Roberts I, Nikonorova N, Vu L, Stes E, Cho H, Larrieu A, Xuan W, Goodall B, van de Cotte B, Waite J, Rigal A, R Harborough S, Persiau G, Vanneste S, Kirschner G, Vandermarliere E, Martens L, Stahl Y, Audenaert D, Friml J, Felix G, Simon R, Bennett M, Bishopp A, De Jaeger G, Ljung K, Kepinski S, Robert S, Nemhauser J, Hwang I, Gevaert K, Beeckman T, De Smet I. 2020. The CEP5 peptide promotes abiotic stress tolerance, as revealed by quantitative proteomics, and attenuates the AUX/IAA equilibrium in Arabidopsis. Molecular & Cellular Proteomics. 19(8), 1248–1262.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 7952 | OA
Boissonnat J-D, Wintraecken M. 2020. The topological correctness of PL-approximations of isomanifolds. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164. 20:1-20:18.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 7955 | OA
Ashok P, Chatterjee K, Kretinsky J, Weininger M, Winkler T. Approximating values of generalized-reachability stochastic games. Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science . LICS: Symposium on Logic in Computer Science 102–115.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 6184 | OA
Alt J, Erdös L, Krüger TH, Schröder DJ. 2020. Correlated random matrices: Band rigidity and edge universality. Annals of Probability. 48(2), 963–1001.
View | Files available | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 6185 | OA
Erdös L, Krüger TH, Schröder DJ. 2020. Cusp universality for random matrices I: Local law and the complex hermitian case. Communications in Mathematical Physics., 50.
View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 6358 | OA
Carlen EA, Maas J. 2020. Non-commutative calculus, optimal transport and functional inequalities  in dissipative quantum systems. Journal of Statistical Physics. 178(2), 319–378.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 6563 | OA
Filakovský M, Vokřínek L. 2020. Are two given maps homotopic? An algorithmic viewpoint. Foundations of Computational Mathematics. 20, 311–330.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 6593 | OA
Shehu Y, Li X-H, Dong Q-L. 2020. An efficient projection-type method for monotone variational inequalities in Hilbert spaces. Numerical Algorithms. 84, 365–388.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 6649 | OA
Benedikter NP, Nam PT, Porta M, Schlein B, Seiringer R. 2020. Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime. Communications in Mathematical Physics. 374, 2097–2150.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 6796 | OA
Stella F, Urdapilleta E, Luo Y, Treves A. 2020. Partial coherence and frustration in self-organizing spherical grids. Hippocampus. 30(4), 302–313.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 6808 | OA
Jahr W, Velicky P, Danzl JG. 2020. Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens. Methods. 174(3), 27–41.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 6997 | OA
Zhang Y, Friml J. 2020. Auxin guides roots to avoid obstacles during gravitropic growth. New Phytologist. 225(3), 1049–1052.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7956 | OA
Pȩkalski J, Rzadkowski W, Panagiotopoulos AZ. 2020. Shear-induced ordering in systems with competing interactions: A machine learning study. The Journal of chemical physics. 152(20), 204905.
View | DOI | Download Published Version (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7957 | OA
Parenti I, Garcia Rabaneda LE, Schön H, Novarino G. Neurodevelopmental disorders: From genetics to functional pathways. Trends in Neurosciences.
View | DOI | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 7960 | OA
Kalai G, Patakova Z. 2020. Intersection patterns of planar sets. Discrete and Computational Geometry.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7962 | OA
Pach J, Reed B, Yuditsky Y. 2020. Almost all string graphs are intersection graphs of plane convex sets. Discrete and Computational Geometry. 63(4), 888–917.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7966 | OA
Auerbach B, Giacon F, Kiltz E. 2020. Everybody’s a target: Scalability in public-key encryption. Advances in Cryptology – EUROCRYPT 2020. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 12107. 475–506.
View | DOI | Download Submitted Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 7971 | OA
Rao P, Serbyn M. 2020. Gully quantum Hall ferromagnetism in biased trilayer graphene. Physical Review B. 101(24), 245411.
View | DOI | Download Preprint (ext.)
 
2020 | Journal Article | IST-REx-ID: 7985 | OA
Kwak W, Sharon D, Xia C, Kim H, Johnson L, Bruce P, Nazar L, Sun Y, Frimer A, Noked M, Freunberger SA, Aurbach D. 2020. Lithium-oxygen batteries and related systems: Potential, status, and future. Chemical Reviews.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 7989 | OA
Patakova Z. 2020. Bounding radon number via Betti numbers. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164. 61:1-61:13.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7990 | OA
Wagner U, Welzl E. 2020. Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips). 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7991 | OA
Avvakumov S, Nivasch G. 2020. Homotopic curve shortening and the affine curve-shortening flow. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry vol. 164. 12:1-12:15.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7992 | OA
Patakova Z, Tancer M, Wagner U. 2020. Barycentric cuts through a convex body. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7994 | OA
Arroyo Guevara AM, Bensmail J, Bruce Richter R. 2020. Extending drawings of graphs to arrangements of pseudolines. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry vol. 164.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7995 | OA
Perini S, Rafajlović M, Westram AM, Johannesson K, Butlin RK. 2020. Assortative mating, sexual selection, and their consequences for gene flow in Littorina. Evolution.
View | DOI | Download Published Version (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, 178p.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8001 | OA
Vandael DH, Borges Merjane C, Zhang X, Jonas PM. Short-term plasticity at hippocampal mossy fiber synapses is induced by natural activity patterns and associated with vesicle pool engram formation. Neuron.
View | Files available | DOI
 
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).
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).
View | Files available | DOI
 
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 | Thesis | IST-REx-ID: 8032 | OA
Huszár K. 2020. Combinatorial width parameters for 3-dimensional manifolds, IST Austria, xviii+120p.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8036 | OA
Collard Y, Grosjean GM, Vandewalle N. 2020. Magnetically powered metachronal waves induce locomotion in self-assemblies. Communications Physics. 3.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8039
Zhang Y, Liu Y, Xing C, Zhang T, Li M, Pacios M, Yu X, Arbiol J, Llorca J, Cadavid D, Ibáñez M, Cabot A. 2020. Tin selenide molecular precursor for the solution processing of thermoelectric materials and devices. ACS Applied Materials and Interfaces. 12(24), 27104–27111.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8040
Gupta C, Khaniya U, Chan CK, Dehez F, Shekhar M, Gunner MR, Sazanov LA, Chipot C, Singharoy A. 2020. Charge transfer and chemo-mechanical coupling in respiratory complex I. Journal of the American Chemical Society. 142(20), 9220–9230.
View | DOI
 
2020 | Journal Article | IST-REx-ID: 8042 | OA
Boccato C, Brennecke C, Cenatiempo S, Schlein B. 2020. The excitation spectrum of Bose gases interacting through singular potentials. Journal of the European Mathematical Society. 22(7), 2331–2403.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8043 | OA
Paranjape CS, Duguet Y, Hof B. 2020. Oblique stripe solutions of channel flow. Journal of Fluid Mechanics. 897.
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 8063 | OA
Anciukevicius T, Lampert C, Henderson PM. Object-centric image generation with factored depths, locations, and appearances. ArXiv.
View | Download Preprint (ext.) | arXiv
 
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: 8077 | OA
Shehu Y, Iyiola OS. 2020. Projection methods with alternating inertial steps for variational inequalities: Weak and linear convergence. Applied Numerical Mathematics. 157, 315–337.
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 8081 | OA
Hobisch MA, Mourad E, Fischer WJ, Prehal C, Eyley S, Childress A, Zankel A, Mautner A, Breitenbach S, Rao AM, Thielemans W, Freunberger SA, Eckhart R, Bauer W, Spirk S. High specific capacitance supercapacitors from hierarchically organized all-cellulose composites.
View | Files available
 
2020 | Journal Article | IST-REx-ID: 8084 | OA
Lombardi F, Gómez-Extremera M, Bernaola-Galván P, Vetrivelan R, Saper CB, Scammell TE, Ivanov PC. 2020. Critical dynamics and coupling in bursts of cortical rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual role of VLPO neurons in both sleep and wake. Journal of Neuroscience. 40(1), 171–190.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 8089 | OA
Chatterjee K, Fu H, Goharshady AK, Goharshady EK. 2020. Polynomial invariant generation for non-deterministic recursive programs. Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation 672–687.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8091 | OA
Seiringer R, Yngvason J. 2020. Emergence of Haldane pseudo-potentials in systems with short-range interactions. Journal of Statistical Physics.
View | Files available | DOI | arXiv
 
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.
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,p.
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., 1–9.
View | Files available | DOI | PubMed | Europe PMC
 
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.
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).
View | 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.
View | Files available | DOI
 
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).
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).
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).
View | DOI | Download Preprint (ext.) | arXiv
 
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).
View | 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.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Thesis | IST-REx-ID: 8156 | OA
Avvakumov S. 2020. Topological methods in geometry and discrete mathematics, IST Austria, 119p.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8163 | OA
Vegter G, Wintraecken M. Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes. Studia Scientiarum Mathematicarum Hungarica. 57(2), 193–199.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8167 | OA
Stankowski S, Westram AM, Zagrodzka ZB, Eyres I, Broquet T, Johannesson K, Butlin RK. 2020. The evolution of strong reproductive isolation between sympatric intertidal snails. Philosophical Transactions of the Royal Society. Series B: Biological Sciences. 375(1806).
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8168 | OA
Kulmuni J, Butlin RK, Lucek K, Savolainen V, Westram AM. 2020. Towards the completion of speciation: The evolution of reproductive isolation beyond the first barriers. Philosophical Transactions of the Royal Society. Series B: Biological sciences. 375(1806).
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8169 | OA
Shang H, Hess J, Pickup M, Field D, Ingvarsson PK, Liu J, Lexer C. 2020. Evolution of strong reproductive isolation in plants: Broad-scale patterns and lessons from a perennial model group. Philosophical Transactions of the Royal Society. Series B: Biological Sciences. 375(1806).
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8170 | OA
Chatterley AS, Christiansen L, Schouder CA, Jørgensen AV, Shepperson B, Cherepanov I, Bighin G, Zillich RE, Lemeshko M, Stapelfeldt H. 2020. Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains. Physical Review Letters. 125(1).
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Book Chapter | IST-REx-ID: 8173
Kainrath S, Janovjak HL. 2020. Design and application of light-regulated receptor tyrosine kinases. Photoswitching Proteins. MIMB, Methods in Molecular Biology, vol. 2173. 233–246.
View | DOI
 
2020 | Conference Paper | IST-REx-ID: 8186 | OA
Henderson PM, Tsiminaki V, Lampert C. 2020. Leveraging 2D data to learn textured 3D mesh generation. Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition 7498–7507.
View | Files available | Download Submitted Version (ext.) | arXiv
 
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).
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 | 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: 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
 

Search

Display / Sort

Citation Style: IST Annual Report

Export / Embed