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.

5758 Publications


2020 | Conference Paper | IST-REx-ID: 7806 | OA
Filakovský M, Wagner U, Zhechev SY. 2020. Embeddability of simplicial complexes is undecidable. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 2020–January. 767–785.
View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 7807 | OA
Wagner U, Welzl E. 2020. Connectivity of triangulation flip graphs in the plane (Part I: Edge flips). Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 2020–January. 2823–2841.
View | DOI | Download Submitted Version (ext.) | arXiv
 

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: 7847 | OA
Bouchal R, Li Z, Bongu C, Le Vot S, Berthelot R, Rotenberg B, Favier F, Freunberger SA, Salanne M, Fontaine O. 2020. Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. Angewandte Chemie International Edition.
View | Files available | DOI | PubMed | Europe PMC
 

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 FA, Yampolsky IV, Sarkisyan KS. 2020. Plants with genetically encoded autoluminescence. Nature Biotechnology.
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
 

Search

Filter Publications