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.

5893 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 | 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: 7885
REVERSAT A, Gärtner FR, Merrin J, Stopp JA, Tasciyan S, Aguilera Servin JL, de Vries I, Hauschild R, Hons M, Piel M, Callan-Jones A, Voituriez R, Sixt MK. 2020. Cellular locomotion using environmental topography. Nature.
View | Files available | DOI
 

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 | Thesis | IST-REx-ID: 7896 | OA
Kamath Hosdurg C. 2020. On the average-case hardness of total search problems, IST Austria, 126p.
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.
View | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 7902
Contreras X. 2020. Genetic dissection of neural development in health and disease at single cell resolution, IST Austria, 214p.
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 & 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: 6761
Avni G, Henzinger TA, Kupferman O. 2020. Dynamic resource allocation games. Theoretical Computer Science. 807, 42–55.
View | Files available | DOI
 

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: 6976
Dieleman P, Vasmel N, Waitukaitis SR, van Hecke M. 2020. Jigsaw puzzle design of pluripotent origami. Nature Physics. 16(1), 63–68.
View | DOI
 

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
 

Search

Filter Publications