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.

6062 Publications


2020 | Preprint | IST-REx-ID: 7778 | OA
Self-assembly based post-translational protein oscillators
O. Kimchi, C.P. Goodrich, A. Courbet, A.I. Curatolo, N.B. Woodall, D. Baker, M.P. Brenner, BioRxiv (2020).
View | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7789 | OA
Defining the design principles of skin epidermis postnatal growth
S. Dekoninck, E.B. Hannezo, A. Sifrim, Y.A. Miroshnikova, M. Aragona, M. Malfait, S. Gargouri, C. De Neunheuser, C. Dubois, T. Voet, S.A. Wickström, B.D. Simons, C. Blanpain, Cell 181 (2020) 604–620.e22.
View | Files available | DOI | PubMed | Europe PMC
 

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

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

2020 | Conference Paper | IST-REx-ID: 7802 | OA
Graph sparsification for derandomizing massively parallel computation with low space
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), Association for Computing Machinery, 2020, pp. 175–185.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7804 | OA
MALT-1 mediates IL-17 neural signaling to regulate C. elegans behavior, immunity and longevity
S.M. Flynn, C. Chen, M. Artan, S. Barratt, A. Crisp, G.M. Nelson, S.Y. Peak-Chew, F. Begum, M. Skehel, M. de Bono, Nature Communications 11 (2020).
View | Files available | DOI
 

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

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

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

2020 | Conference Paper | IST-REx-ID: 7810 | OA
Optimal and perfectly parallel algorithms for on-demand data-flow analysis
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
View | Files available | DOI
 

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

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

2020 | Journal Article | IST-REx-ID: 7864
Precision medicine in clinical oncology: the journey from IgG antibody to IgE
J. Singer, J. Singer, E. Jensen-Jarolim, Current Opinion in Allergy and Clinical Immunology 20 (2020) 282–289.
View | DOI
 
 

2020 | Journal Article | IST-REx-ID: 7876
T cells: Bridge-and-channel commute to the white pulp
M.K. Sixt, T. Lämmermann, Immunity 52 (2020) 721–723.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 7877 | OA
MAU2 and NIPBL variants impair the heterodimerization of the cohesin loader subunits and cause Cornelia de Lange syndrome
I. Parenti, F. Diab, S.R. Gil, E. Mulugeta, V. Casa, R. Berutti, R.W.W. Brouwer, V. Dupé, J. Eckhold, E. Graf, B. Puisac, F. Ramos, T. Schwarzmayr, M.M. Gines, T. Van Staveren, W.F.J. Van Ijcken, T.M. Strom, J. Pié, E. Watrin, F.J. Kaiser, K.S. Wendt, Cell Reports 31 (2020).
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7878 | OA
Synergism of type 1 metabotropic and ionotropic glutamate receptors in cerebellar molecular layer interneurons in vivo
J. Bao, M. Graupner, G. Astorga, T. Collin, A. Jalil, D.W. Indriati, J. Bradley, R. Shigemoto, I. Llano, ELife 9 (2020).
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7879 | OA
SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism
H. Han, H. Rakusová, I. Verstraeten, Y. Zhang, J. Friml, Plant Physiology 183 (2020) 37–40.
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7880 | OA
Dopamine transporter trafficking and Rit2 GTPase: Mechanism of action and in vivo impact
R.R. Fagan, P.J. Kearney, C.G. Sweeney, D. Luethi, F.E. Schoot Uiterkamp, K. Schicker, B.S. Alejandro, L.C. O’Connor, H.H. Sitte, H.E. Melikian, Journal of Biological Chemistry 295 (2020) 5229–5244.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7882 | OA
Clusters in separated tubes of tilted dipoles
J.R. Armstrong, A.S. Jensen, A. Volosniev, N.T. Zinner, Mathematics 8 (2020).
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7888 | OA
Zebrafish embryonic explants undergo genetically encoded self-assembly
A. Schauer, D.C. Nunes Pinheiro, R. Hauschild, C.-P.J. Heisenberg, ELife 9 (2020).
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7889
Plants with genetically encoded autoluminescence
T. Mitiouchkina, A.S. Mishin, L. Gonzalez Somermeyer, N.M. Markina, T.V. Chepurnyh, E.B. Guglya, T.A. Karataeva, K.A. Palkina, E.S. Shakhova, L.I. Fakhranurova, S.V. Chekova, A.S. Tsarkova, Y.V. Golubev, V.V. Negrebetsky, S.A. Dolgushin, P.V. Shalaev, D. Shlykov, O.A. Melnik, V.O. Shipunova, S.M. Deyev, A.I. Bubyrev, A.S. Pushin, V.V. Choob, S.V. Dolgov, F. Kondrashov, I.V. Yampolsky, K.S. Sarkisyan, Nature Biotechnology 38 (2020) 944–946.
View | Files available | DOI | PubMed | Europe PMC
 

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

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

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

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

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

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

2020 | Journal Article | IST-REx-ID: 7931 | OA
A method for identification of the methylation level of CpG islands from NGS data
L.A. Uroshlev, E.T. Abdullaev, I.R. Umarova, I.A. Il’Icheva, L.A. Panchenko, R.V. Polozov, F. Kondrashov, Y.D. Nechipurenko, S.L. Grokhovsky, Scientific Reports 10 (2020).
View | Files available | DOI
 

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

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

2020 | Journal Article | IST-REx-ID: 7939 | OA
Fast approximate shortest paths in the congested clique
K. Censor-Hillel, M. Dory, J. Korhonen, D. Leitersdorf, Distributed Computing (2020).
View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7940 | OA
The PBW theorem for affine Yangians
Y. Yang, G. Zhao, Transformation Groups (2020).
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Book Chapter | IST-REx-ID: 7941
Simple multi-color super-resolution by X10 microscopy
S.M. Truckenbrodt, S.O. Rizzoli, in:, Methods in Cell Biology, Elsevier, n.d.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 7942 | OA
Hard antinodal gap revealed by quantum oscillations in the pseudogap regime of underdoped high-Tc superconductors
M. Hartstein, Y.T. Hsu, K.A. Modic, J. Porras, T. Loew, M.L. Tacon, H. Zuo, J. Wang, Z. Zhu, M.K. Chan, R.D. Mcdonald, G.G. Lonzarich, B. Keimer, S.E. Sebastian, N. Harrison, Nature Physics (2020).
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 7944 | OA
Reconfiguration problems
Z. Masárová, Reconfiguration Problems, IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7948 | OA
The Arabidopsis NRT1.1 transceptor coordinately controls auxin biosynthesis and transport to regulate root branching in response to nitrate
A. Maghiaoui, E. Bouguyon, C. Cuesta, F. Perrine-Walker, C. Alcon, G. Krouk, E. Benková, P. Nacry, A. Gojon, L. Bach, Journal of Experimental Botany (n.d.) eraa242.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7949 | OA
The CEP5 peptide promotes abiotic stress tolerance, as revealed by quantitative proteomics, and attenuates the AUX/IAA equilibrium in Arabidopsis
S. Smith, S. Zhu, L. Joos, I. Roberts, N. Nikonorova, L. Vu, E. Stes, H. Cho, A. Larrieu, W. Xuan, B. Goodall, B. van de Cotte, J. Waite, A. Rigal, S. R Harborough, G. Persiau, S. Vanneste, G. Kirschner, E. Vandermarliere, L. Martens, Y. Stahl, D. Audenaert, J. Friml, G. Felix, R. Simon, M. Bennett, A. Bishopp, G. De Jaeger, K. Ljung, S. Kepinski, S. Robert, J. Nemhauser, I. Hwang, K. Gevaert, T. Beeckman, I. De Smet, Molecular & Cellular Proteomics 19 (2020) 1248–1262.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 7955 | OA
Approximating values of generalized-reachability stochastic games
P. Ashok, K. Chatterjee, J. Kretinsky, M. Weininger, T. Winkler, in:, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science , Association for Computing Machinery, n.d., pp. 102–115.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 6184 | OA
Correlated random matrices: Band rigidity and edge universality
J. Alt, L. Erdös, T.H. Krüger, D.J. Schröder, Annals of Probability 48 (2020) 963–1001.
View | Files available | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 6563 | OA
Are two given maps homotopic? An algorithmic viewpoint
M. Filakovský, L. Vokřínek, Foundations of Computational Mathematics 20 (2020) 311–330.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 6593 | OA
An efficient projection-type method for monotone variational inequalities in Hilbert spaces
Y. Shehu, X.-H. Li, Q.-L. Dong, Numerical Algorithms 84 (2020) 365–388.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 6649 | OA
Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime
N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, Communications in Mathematical Physics 374 (2020) 2097–2150.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 6796 | OA
Partial coherence and frustration in self-organizing spherical grids
F. Stella, E. Urdapilleta, Y. Luo, A. Treves, Hippocampus 30 (2020) 302–313.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 6808 | OA View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 6976
Jigsaw puzzle design of pluripotent origami
P. Dieleman, N. Vasmel, S.R. Waitukaitis, M. van Hecke, Nature Physics 16 (2020) 63–68.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 7956 | OA
Shear-induced ordering in systems with competing interactions: A machine learning study
J. Pȩkalski, W. Rzadkowski, A.Z. Panagiotopoulos, The Journal of Chemical Physics 152 (2020) 204905.
View | DOI | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7957 | OA
Neurodevelopmental disorders: From genetics to functional pathways
I. Parenti, L.E. Garcia Rabaneda, H. Schön, G. Novarino, Trends in Neurosciences (n.d.).
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7960 | OA
Intersection patterns of planar sets
G. Kalai, Z. Patakova, Discrete and Computational Geometry (2020).
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7962 | OA
Almost all string graphs are intersection graphs of plane convex sets
J. Pach, B. Reed, Y. Yuditsky, Discrete and Computational Geometry 63 (2020) 888–917.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7966 | OA
Everybody’s a target: Scalability in public-key encryption
B. Auerbach, F. Giacon, E. Kiltz, in:, Advances in Cryptology – EUROCRYPT 2020, Springer Nature, 2020, pp. 475–506.
View | DOI | Download Submitted Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7971 | OA
Gully quantum Hall ferromagnetism in biased trilayer graphene
P. Rao, M. Serbyn, Physical Review B 101 (2020) 245411.
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7985 | OA
Lithium-oxygen batteries and related systems: Potential, status, and future
W. Kwak, D. Sharon, C. Xia, H. Kim, L. Johnson, P. Bruce, L. Nazar, Y. Sun, A. Frimer, M. Noked, S.A. Freunberger, D. Aurbach, Chemical Reviews (2020).
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 7990 | OA
Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips)
U. Wagner, E. Welzl, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7992 | OA
Barycentric cuts through a convex body
Z. Patakova, M. Tancer, U. Wagner, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7995 | OA
Assortative mating, sexual selection, and their consequences for gene flow in Littorina
S. Perini, M. Rafajlović, A.M. Westram, K. Johannesson, R.K. Butlin, Evolution (2020).
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8001 | OA View | Files available | DOI
 

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

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

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

2020 | Journal Article | IST-REx-ID: 8036 | OA
Magnetically powered metachronal waves induce locomotion in self-assemblies
Y. Collard, G.M. Grosjean, N. Vandewalle, Communications Physics 3 (2020).
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8037 | OA
Highly parallel lab evolution reveals that epistasis can curb the evolution of antibiotic resistance
M. Lukacisinova, B. Fernando, M.T. Bollenbach, Nature Communications 11 (2020).
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8039
Tin selenide molecular precursor for the solution processing of thermoelectric materials and devices
Y. Zhang, Y. Liu, C. Xing, T. Zhang, M. Li, M. Pacios, X. Yu, J. Arbiol, J. Llorca, D. Cadavid, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 12 (2020) 27104–27111.
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8040
Charge transfer and chemo-mechanical coupling in respiratory complex I
C. Gupta, U. Khaniya, C.K. Chan, F. Dehez, M. Shekhar, M.R. Gunner, L.A. Sazanov, C. Chipot, A. Singharoy, Journal of the American Chemical Society 142 (2020) 9220–9230.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8042 | OA
The excitation spectrum of Bose gases interacting through singular potentials
C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Journal of the European Mathematical Society 22 (2020) 2331–2403.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8043 | OA
Oblique stripe solutions of channel flow
C.S. Paranjape, Y. Duguet, B. Hof, Journal of Fluid Mechanics 897 (2020).
View | Files available | DOI
 

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

2020 | Journal Article | IST-REx-ID: 8077 | OA
Projection methods with alternating inertial steps for variational inequalities: Weak and linear convergence
Y. Shehu, O.S. Iyiola, Applied Numerical Mathematics 157 (2020) 315–337.
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8081 | OA
High specific capacitance supercapacitors from hierarchically organized all-cellulose composites
M.A. Hobisch, E. Mourad, W.J. Fischer, C. Prehal, S. Eyley, A. Childress, A. Zankel, A. Mautner, S. Breitenbach, A.M. Rao, W. Thielemans, S.A. Freunberger, R. Eckhart, W. Bauer, S. Spirk, (n.d.).
View | Files available
 

2020 | Journal Article | IST-REx-ID: 8084 | OA
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
F. Lombardi, M. Gómez-Extremera, P. Bernaola-Galván, R. Vetrivelan, C.B. Saper, T.E. Scammell, P.C. Ivanov, Journal of Neuroscience 40 (2020) 171–190.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8089 | OA
Polynomial invariant generation for non-deterministic recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 672–687.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8091 | OA
Emergence of Haldane pseudo-potentials in systems with short-range interactions
R. Seiringer, J. Yngvason, Journal of Statistical Physics (2020).
View | Files available | DOI | arXiv
 

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

2020 | Research Data | IST-REx-ID: 8097 | OA
Analysis scripts and research data for the paper "Mechanisms of drug interactions between translation-inhibiting antibiotics"
B. Kavcic, Analysis Scripts and Research Data for the Paper “Mechanisms of Drug Interactions between Translation-Inhibiting Antibiotics,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8099 | OA
Disagreement in FST estimators: A case study from sex chromosomes
W.J. Gammerdinger, M.A. Toups, B. Vicoso, Molecular Ecology Resources (2020) 1–9.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8105 | OA View | Files available | DOI
 

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

2020 | Preprint | IST-REx-ID: 8125 | OA View | Download Preprint (ext.)
 

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

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

2020 | Journal Article | IST-REx-ID: 8133 | OA
Multi-method genome- and epigenome-wide studies of inflammatory protein levels in healthy older adults
R.F. Hillary, D. Trejo-Banos, A. Kousathanas, D.L. Mccartney, S.E. Harris, A.J. Stevenson, M. Patxot, S.E. Ojavee, Q. Zhang, D.C. Liewald, C.W. Ritchie, K.L. Evans, E.M. Tucker-Drob, N.R. Wray, A.F. Mcrae, P.M. Visscher, I.J. Deary, M.R. Robinson, R.E. Marioni, Genome Medicine 12 (2020).
View | Files available | DOI | PubMed | Europe PMC
 

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

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

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

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

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

2020 | Thesis | IST-REx-ID: 8156 | OA
Topological methods in geometry and discrete mathematics
S. Avvakumov, Topological Methods in Geometry and Discrete Mathematics, IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8167 | OA
The evolution of strong reproductive isolation between sympatric intertidal snails
S. Stankowski, A.M. Westram, Z.B. Zagrodzka, I. Eyres, T. Broquet, K. Johannesson, R.K. Butlin, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8168 | OA
Towards the completion of speciation: The evolution of reproductive isolation beyond the first barriers
J. Kulmuni, R.K. Butlin, K. Lucek, V. Savolainen, A.M. Westram, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8169 | OA
Evolution of strong reproductive isolation in plants: Broad-scale patterns and lessons from a perennial model group
H. Shang, J. Hess, M. Pickup, D. Field, P.K. Ingvarsson, J. Liu, C. Lexer, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8170 | OA
Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains
A.S. Chatterley, L. Christiansen, C.A. Schouder, A.V. Jørgensen, B. Shepperson, I. Cherepanov, G. Bighin, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 125 (2020).
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Book Chapter | IST-REx-ID: 8173
Design and application of light-regulated receptor tyrosine kinases
S. Kainrath, H.L. Janovjak, in:, D. Niopek (Ed.), Photoswitching Proteins, Springer Nature, 2020, pp. 233–246.
View | DOI
 

2020 | Conference Paper | IST-REx-ID: 8186 | OA
Leveraging 2D data to learn textured 3D mesh generation
P.M. Henderson, V. Tsiminaki, C. Lampert, in:, Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVF, 2020, pp. 7498–7507.
View | Files available | Download Submitted Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8189
Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation
X. Yu, J. Liu, J. Li, Z. Luo, Y. Zuo, C. Xing, J. Llorca, D. Nasiou, J. Arbiol, K. Pan, T. Kleinhanns, Y. Xie, A. Cabot, Nano Energy 77 (2020).
View | DOI
 

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

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

2020 | Conference Paper | IST-REx-ID: 8194 | OA
An SMT theory of fixed-point arithmetic
M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.
View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8195 | OA
Refinement for structured concurrent programs
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
View | Files available | DOI
 

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

2020 | Journal Article | IST-REx-ID: 8203 | OA
Zero field splitting of heavy-hole states in quantum dots
G. Katsaros, J. Kukucka, L. Vukušić, H. Watzinger, F. Gao, T. Wang, J.-J. Zhang, K. Held, Nano Letters 20 (2020) 5201–5206.
View | Files available | DOI | PubMed | Europe PMC
 

Search

Filter Publications