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 | 
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
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
2020 | Journal Article | IST-REx-ID: 7814 |
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
R.J. Beattie, S. Hippenmeyer, F. Pauler, Frontiers in Education 5 (2020).
2020 | Journal Article | IST-REx-ID: 7815 |
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
R.J. Beattie, C. Streicher, N. Amberg, G.T. Cheung, X. Contreras, A.H. Hansen, S. Hippenmeyer, Journal of Visual Experiments (JoVE) (2020).
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
J. Singer, J. Singer, E. Jensen-Jarolim, Current Opinion in Allergy and Clinical Immunology 20 (2020) 282–289.
2020 | Journal Article | IST-REx-ID: 7866 |
Uniform convergence to equilibrium for a family of drift–diffusion models with trap-assisted recombination and the limiting Shockley–Read–Hall model
K. Fellner, M. Kniely, Journal of Elliptic and Parabolic Equations (2020).
View
| DOI
| Download Published Version (ext.)
K. Fellner, M. Kniely, Journal of Elliptic and Parabolic Equations (2020).
2020 | Journal Article | IST-REx-ID: 7875 |
Microtubules control cellular shape and coherence in amoeboid migrating cells
A. Kopf, J. Renkawitz, R. Hauschild, I. Girkontaite, K. Tedford, J. Merrin, O. Thorn-Seshold, D. Trauner, H. Häcker, K.D. Fischer, E. Kiermaier, M.K. Sixt, The Journal of Cell Biology 219 (2020) e201907154.
View
| DOI
| Download Published Version (ext.)
A. Kopf, J. Renkawitz, R. Hauschild, I. Girkontaite, K. Tedford, J. Merrin, O. Thorn-Seshold, D. Trauner, H. Häcker, K.D. Fischer, E. Kiermaier, M.K. Sixt, The Journal of Cell Biology 219 (2020) e201907154.
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
M.K. Sixt, T. Lämmermann, Immunity 52 (2020) 721–723.
2020 | Journal Article | IST-REx-ID: 7877 |
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
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).
2020 | Journal Article | IST-REx-ID: 7878 |
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
J. Bao, M. Graupner, G. Astorga, T. Collin, A. Jalil, D.W. Indriati, J. Bradley, R. Shigemoto, I. Llano, ELife 9 (2020).
2020 | Journal Article | IST-REx-ID: 7879 |
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.)
H. Han, H. Rakusová, I. Verstraeten, Y. Zhang, J. Friml, Plant Physiology 183 (2020) 37–40.
2020 | Journal Article | IST-REx-ID: 7880 |
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
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.
2020 | Journal Article | IST-REx-ID: 7882 |
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
J.R. Armstrong, A.S. Jensen, A. Volosniev, N.T. Zinner, Mathematics 8 (2020).
2020 | Journal Article | IST-REx-ID: 7883 |
Regulation of size and scale in vertebrate spinal cord development
K. Kuzmicz-Kowalska, A. Kicheva, Wiley Interdisciplinary Reviews: Developmental Biology (2020) e383.
View
| DOI
| Download Published Version (ext.)
K. Kuzmicz-Kowalska, A. Kicheva, Wiley Interdisciplinary Reviews: Developmental Biology (2020) e383.
2020 | Journal Article | IST-REx-ID: 7888 |
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
A. Schauer, D.C. Nunes Pinheiro, R. Hauschild, C.-P.J. Heisenberg, ELife 9 (2020).
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
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.
2020 | Journal Article | IST-REx-ID: 7900 |
Bosonic collective excitations in Fermi gases
N.P. Benedikter, Reviews in Mathematical Physics (2020) 2060009.
View
| DOI
| Download Preprint (ext.)
| arXiv
N.P. Benedikter, Reviews in Mathematical Physics (2020) 2060009.
2020 | Preprint | IST-REx-ID: 7901 |
Correlation energy of a weakly interacting Fermi gas
N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, ArXiv (n.d.).
View
| Download Preprint (ext.)
| arXiv
N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, ArXiv (n.d.).
2020 | Journal Article | IST-REx-ID: 7905 |
Sheaf-theoretic stratification learning from geometric and topological perspectives
A. Brown, B. Wang, Discrete & Computational Geometry (2020).
View
| DOI
| Download Published Version (ext.)
| arXiv
A. Brown, B. Wang, Discrete & Computational Geometry (2020).
2020 | Journal Article | IST-REx-ID: 7908 |
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
H.Y. Wang, K. Eguchi, T. Yamashita, T. Takahashi, Journal of Neuroscience 40 (2020) 4103–4115.
2020 | Journal Article | IST-REx-ID: 7909 |
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
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).
2020 | Journal Article | IST-REx-ID: 7910 |
Microwave quantum illumination using a digital receiver
S. Barzanjeh, S. Pirandola, D. Vitali, J.M. Fink, Science Advances 6 (2020).
View
| Files available
| DOI
S. Barzanjeh, S. Pirandola, D. Vitali, J.M. Fink, Science Advances 6 (2020).
2020 | Journal Article | IST-REx-ID: 7919 |
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
S.I. Mistakidis, A. Volosniev, P. Schmelcher, Physical Review Research 2 (2020).
2020 | Journal Article | IST-REx-ID: 7925 |
New inertial relaxed method for solving split feasibilities
Y. Shehu, A. Gibali, Optimization Letters (2020).
View
| DOI
| Download Published Version (ext.)
Y. Shehu, A. Gibali, Optimization Letters (2020).
2020 | Journal Article | IST-REx-ID: 7931 |
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
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).
2020 | Journal Article | IST-REx-ID: 7932 |
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
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.
2020 | Journal Article | IST-REx-ID: 7933 |
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
M. Maslov, M. Lemeshko, E. Yakaboylu, Physical Review B 101 (2020) 184104.
2020 | Journal Article | IST-REx-ID: 7939 |
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
K. Censor-Hillel, M. Dory, J. Korhonen, D. Leitersdorf, Distributed Computing (2020).
2020 | Journal Article | IST-REx-ID: 7940 |
The PBW theorem for affine Yangians
Y. Yang, G. Zhao, Transformation Groups (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Yang, G. Zhao, Transformation Groups (2020).
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
S.M. Truckenbrodt, S.O. Rizzoli, in:, Methods in Cell Biology, Elsevier, n.d.
2020 | Journal Article | IST-REx-ID: 7942 |
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
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).
2020 | Thesis | IST-REx-ID: 7944 |
Reconfiguration problems
Z. Masárová, Reconfiguration Problems, IST Austria, 2020.
View
| Files available
| DOI
Z. Masárová, Reconfiguration Problems, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 7948 |
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
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.
2020 | Journal Article | IST-REx-ID: 7949 |
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
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.
2020 | Conference Paper | IST-REx-ID: 7952 |
The topological correctness of PL-approximations of isomanifolds
J.-D. Boissonnat, M. Wintraecken, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 20:1-20:18.
View
| Files available
| DOI
J.-D. Boissonnat, M. Wintraecken, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 20:1-20:18.
2020 | Conference Paper | IST-REx-ID: 7955 |
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
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.
2020 | Journal Article | IST-REx-ID: 6184 |
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
J. Alt, L. Erdös, T.H. Krüger, D.J. Schröder, Annals of Probability 48 (2020) 963–1001.
2020 | Journal Article | IST-REx-ID: 6185 |
Cusp universality for random matrices I: Local law and the complex hermitian case
L. Erdös, T.H. Krüger, D.J. Schröder, Communications in Mathematical Physics (2020) 50.
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
L. Erdös, T.H. Krüger, D.J. Schröder, Communications in Mathematical Physics (2020) 50.
2020 | Journal Article | IST-REx-ID: 6358 |
Non-commutative calculus, optimal transport and functional inequalities in dissipative quantum systems
E.A. Carlen, J. Maas, Journal of Statistical Physics 178 (2020) 319–378.
View
| Files available
| DOI
| arXiv
E.A. Carlen, J. Maas, Journal of Statistical Physics 178 (2020) 319–378.
2020 | Journal Article | IST-REx-ID: 6563 |
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
M. Filakovský, L. Vokřínek, Foundations of Computational Mathematics 20 (2020) 311–330.
2020 | Journal Article | IST-REx-ID: 6593 |
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
Y. Shehu, X.-H. Li, Q.-L. Dong, Numerical Algorithms 84 (2020) 365–388.
2020 | Journal Article | IST-REx-ID: 6649 |
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
N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, Communications in Mathematical Physics 374 (2020) 2097–2150.
2020 | Journal Article | IST-REx-ID: 6796 |
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
F. Stella, E. Urdapilleta, Y. Luo, A. Treves, Hippocampus 30 (2020) 302–313.
2020 | Journal Article | IST-REx-ID: 6808 |
Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens
W. Jahr, P. Velicky, J.G. Danzl, Methods 174 (2020) 27–41.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
W. Jahr, P. Velicky, J.G. Danzl, Methods 174 (2020) 27–41.
2020 | Journal Article | IST-REx-ID: 6997 |
Auxin guides roots to avoid obstacles during gravitropic growth
Y. Zhang, J. Friml, New Phytologist 225 (2020) 1049–1052.
View
| Files available
| DOI
| PubMed | Europe PMC
Y. Zhang, J. Friml, New Phytologist 225 (2020) 1049–1052.
2020 | Journal Article | IST-REx-ID: 7956 |
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
J. Pȩkalski, W. Rzadkowski, A.Z. Panagiotopoulos, The Journal of Chemical Physics 152 (2020) 204905.
2020 | Journal Article | IST-REx-ID: 7957 |
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.)
I. Parenti, L.E. Garcia Rabaneda, H. Schön, G. Novarino, Trends in Neurosciences (n.d.).
2020 | Journal Article | IST-REx-ID: 7960 |
Intersection patterns of planar sets
G. Kalai, Z. Patakova, Discrete and Computational Geometry (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Kalai, Z. Patakova, Discrete and Computational Geometry (2020).
2020 | Journal Article | IST-REx-ID: 7962 |
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
J. Pach, B. Reed, Y. Yuditsky, Discrete and Computational Geometry 63 (2020) 888–917.
2020 | Conference Paper | IST-REx-ID: 7966 |
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.)
B. Auerbach, F. Giacon, E. Kiltz, in:, Advances in Cryptology – EUROCRYPT 2020, Springer Nature, 2020, pp. 475–506.
2020 | Journal Article | IST-REx-ID: 7971 |
Gully quantum Hall ferromagnetism in biased trilayer graphene
P. Rao, M. Serbyn, Physical Review B 101 (2020) 245411.
View
| DOI
| Download Preprint (ext.)
P. Rao, M. Serbyn, Physical Review B 101 (2020) 245411.
2020 | Journal Article | IST-REx-ID: 7985 |
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
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).
2020 | Conference Paper | IST-REx-ID: 7989 |
Bounding radon number via Betti numbers
Z. Patakova, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 61:1-61:13.
View
| Files available
| DOI
| arXiv
Z. Patakova, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 61:1-61:13.
2020 | Conference Paper | IST-REx-ID: 7990 |
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
U. Wagner, E. Welzl, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Conference Paper | IST-REx-ID: 7991 |
Homotopic curve shortening and the affine curve-shortening flow
S. Avvakumov, G. Nivasch, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 12:1-12:15.
View
| Files available
| DOI
| arXiv
S. Avvakumov, G. Nivasch, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 12:1-12:15.
2020 | Conference Paper | IST-REx-ID: 7992 |
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
Z. Patakova, M. Tancer, U. Wagner, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Conference Paper | IST-REx-ID: 7994 |
Extending drawings of graphs to arrangements of pseudolines
A.M. Arroyo Guevara, J. Bensmail, R. Bruce Richter, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View
| Files available
| DOI
| arXiv
A.M. Arroyo Guevara, J. Bensmail, R. Bruce Richter, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Journal Article | IST-REx-ID: 7995 |
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.)
S. Perini, M. Rafajlović, A.M. Westram, K. Johannesson, R.K. Butlin, Evolution (2020).
2020 | Thesis | IST-REx-ID: 7996 |
Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing
J. Kukucka, Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing, IST Austria, 2020.
View
| Files available
| DOI
J. Kukucka, Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 8001 |
Short-term plasticity at hippocampal mossy fiber synapses is induced by natural activity patterns and associated with vesicle pool engram formation
D.H. Vandael, C. Borges Merjane, X. Zhang, P.M. Jonas, Neuron (n.d.).
View
| Files available
| DOI
D.H. Vandael, C. Borges Merjane, X. Zhang, P.M. Jonas, Neuron (n.d.).
2020 | Journal Article | IST-REx-ID: 8002 |
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
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).
2020 | Journal Article | IST-REx-ID: 8011 |
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
A. Michailidis, C.J. Turner, Z. Papić, D.A. Abanin, M. Serbyn, Physical Review Research 2 (2020).
2020 | Conference Paper | IST-REx-ID: 8012 |
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.)
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.
2020 | Thesis | IST-REx-ID: 8032 |
Combinatorial width parameters for 3-dimensional manifolds
K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, IST Austria, 2020.
View
| Files available
| DOI
K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 8036 |
Magnetically powered metachronal waves induce locomotion in self-assemblies
Y. Collard, G.M. Grosjean, N. Vandewalle, Communications Physics 3 (2020).
View
| Files available
| DOI
Y. Collard, G.M. Grosjean, N. Vandewalle, Communications Physics 3 (2020).
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
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.
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
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.
2020 | Journal Article | IST-REx-ID: 8042 |
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
C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Journal of the European Mathematical Society 22 (2020) 2331–2403.
2020 | Journal Article | IST-REx-ID: 8043 |
Oblique stripe solutions of channel flow
C.S. Paranjape, Y. Duguet, B. Hof, Journal of Fluid Mechanics 897 (2020).
View
| Files available
| DOI
C.S. Paranjape, Y. Duguet, B. Hof, Journal of Fluid Mechanics 897 (2020).
2020 | Preprint | IST-REx-ID: 8063 |
Object-centric image generation with factored depths, locations, and appearances
T. Anciukevicius, C. Lampert, P.M. Henderson, ArXiv (n.d.).
View
| Download Preprint (ext.)
| arXiv
T. Anciukevicius, C. Lampert, P.M. Henderson, ArXiv (n.d.).
2020 | Technical Report | IST-REx-ID: 8067 |
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
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.
2020 | Journal Article | IST-REx-ID: 8077 |
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
Y. Shehu, O.S. Iyiola, Applied Numerical Mathematics 157 (2020) 315–337.
2020 | Preprint | IST-REx-ID: 8081 |
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
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.).
2020 | Journal Article | IST-REx-ID: 8084 |
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
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.
2020 | Conference Paper | IST-REx-ID: 8089 |
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
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.
2020 | Journal Article | IST-REx-ID: 8091 |
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
R. Seiringer, J. Yngvason, Journal of Statistical Physics (2020).
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
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).
2020 | Research Data | IST-REx-ID: 8097 |
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
B. Kavcic, Analysis Scripts and Research Data for the Paper “Mechanisms of Drug Interactions between Translation-Inhibiting Antibiotics,” IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 8099 |
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
W.J. Gammerdinger, M.A. Toups, B. Vicoso, Molecular Ecology Resources (2020) 1–9.
2020 | Journal Article | IST-REx-ID: 8105 |
Power-law correlations and coupling of active and quiet states underlie a class of complex systems with self-organization at criticality
F. Lombardi, J.W.J.L. Wang, X. Zhang, P.C. Ivanov, EPJ Web of Conferences 230 (2020).
View
| Files available
| DOI
F. Lombardi, J.W.J.L. Wang, X. Zhang, P.C. Ivanov, EPJ Web of Conferences 230 (2020).
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
N.H. Barton, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
2020 | Journal Article | IST-REx-ID: 8130 |
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
L. Bossmann, Archive for Rational Mechanics and Analysis (2020).
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
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).
2020 | Journal Article | IST-REx-ID: 8133 |
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
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).
2020 | Journal Article | IST-REx-ID: 8134 |
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
S. Mayer, R. Seiringer, Journal of Mathematical Physics 61 (2020).
2020 | Journal Article | IST-REx-ID: 8138 |
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
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.
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
A.J. Johnson, N. Gnyliukh, W. Kaufmann, M. Narasimhan, G. Vert, S. Bednarek, J. Friml, Journal of Cell Science 133 (2020).
2020 | Journal Article | IST-REx-ID: 8142 |
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
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).
2020 | Thesis | IST-REx-ID: 8156 |
Topological methods in geometry and discrete mathematics
S. Avvakumov, Topological Methods in Geometry and Discrete Mathematics, IST Austria, 2020.
View
| Files available
| DOI
S. Avvakumov, Topological Methods in Geometry and Discrete Mathematics, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 8163 |
Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes
G. Vegter, M. Wintraecken, Studia Scientiarum Mathematicarum Hungarica 57 (n.d.) 193–199.
View
| Files available
| DOI
G. Vegter, M. Wintraecken, Studia Scientiarum Mathematicarum Hungarica 57 (n.d.) 193–199.
2020 | Journal Article | IST-REx-ID: 8167 |
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
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).
2020 | Journal Article | IST-REx-ID: 8168 |
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
J. Kulmuni, R.K. Butlin, K. Lucek, V. Savolainen, A.M. Westram, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
2020 | Journal Article | IST-REx-ID: 8169 |
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
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).
2020 | Journal Article | IST-REx-ID: 8170 |
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
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).
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
S. Kainrath, H.L. Janovjak, in:, D. Niopek (Ed.), Photoswitching Proteins, Springer Nature, 2020, pp. 233–246.
2020 | Conference Paper | IST-REx-ID: 8186 |
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
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.
2020 | Journal Article | IST-REx-ID: 8190 |
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.)
M.K. Sixt, A. Huttenlocher, The Journal of Cell Biology 219 (2020).
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
D.-A. Alistarh, T.A. Brown, N. Singhal, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, ACM, 2020, pp. 37–49.
2020 | Conference Paper | IST-REx-ID: 8194 |
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.)
M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.
2020 | Conference Paper | IST-REx-ID: 8195 |
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
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
2020 | Journal Article | IST-REx-ID: 8196 |
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
Y. Shehu, Q.-L. Dong, L.-L. Liu, J.-C. Yao, Optimization and Engineering (2020).