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.

5761 Publications


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 | Preprint | IST-REx-ID: 7463 | OA View | Download Preprint (ext.)
 

2020 | Book (Editor) | IST-REx-ID: 7474 | OA
Austrian High-Performance-Computing meeting (AHPC2020)
A. Schlögl, J. Kiss, S. Elefante, eds., Austrian High-Performance-Computing Meeting (AHPC2020), IST Austria, Klosterneuburg, Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7477 | OA
Conductance-matrix symmetries of a three-terminal hybrid device
G.C. Ménard, G.L.R. Anselmetti, E.A. Martinez, D. Puglia, F.K. Malinowski, J.S. Lee, S. Choi, M. Pendharkar, C.J. Palmstrøm, K. Flensberg, C.M. Marcus, L. Casparis, A.P. Higginbotham, Physical Review Letters 124 (2020) 036802.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7478 | OA
Nonlocal conductance spectroscopy of Andreev bound states: Symmetry relations and BCS charges
J. Danon, A.B. Hellenes, E.B. Hansen, L. Casparis, A.P. Higginbotham, K. Flensberg, Physical Review Letters 124 (2020) 036801.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7481 | OA
Functional vs. parametric equivalence of ReLU networks
P. Bui Thi Mai, C. Lampert, in:, n.d.
View | Files available
 

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

2020 | Conference Paper | IST-REx-ID: 7505
Outside the box: Abstraction-based monitoring of neural networks
T.A. Henzinger, A. Lukina, C. Schilling, in:, 24th European Conference on Artificial Intelligence, n.d.
View | arXiv
 

2020 | Journal Article | IST-REx-ID: 7509 | OA View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 7525
Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway
P. Bhandari, Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway, IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7530 | OA
Heat rectification via a superconducting artificial atom
J.L. Senior, A. Gubaydullin, B. Karimi, J.T. Peltonen, J. Ankerhold, J.P. Pekola, Communications Physics 3 (2020).
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7545 | OA
Long-term activity drives dendritic branch elaboration of a C. elegans sensory neuron
J.A. Cohn, E.R. Cebul, G. Valperga, L. Brose, M. de Bono, M.G. Heiman, J.T. Pierce, Developmental Biology (n.d.).
View | DOI | Download Preprint (ext.)
 

2020 | Book Chapter | IST-REx-ID: 7591
Lithium–Oxygen batteries
Y.K. Petit, E. Mourad, S.A. Freunberger, in:, Encyclopedia of Electrochemistry, Wiley, 2020, pp. 1–42.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 7594 | OA
How spin-orbital entanglement depends on the spin-orbit coupling in a Mott insulator
D. Gotfryd, E. Paerschke, J. Chaloupka, A.M. Oles, K. Wohlfeld, Physical Review Research 2 (2020).
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 7601 | OA
Plasmodesmata-like intercellular connections by plant remorin in animal cells
Z. Wei, S. Tan, T. Liu, Y. Wu, J.-G. Lei, Z. Chen, J. Friml, H.-W. Xue, K. Liao, BioRxiv (2020).
View | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 7629 | OA
Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains
D.L. Forkert, Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains, IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7646
Rare earth elements induce cytoskeleton-dependent and PI4P-associated rearrangement of SYT1/SYT5 ER-PM contact site complexes in Arabidopsis
E. Lee, B. Vila Nova Santana, E. Samuels, F. Benitez-Fuente, E. Corsi, M. Botella, J. Perez-Sancho, S. Vanneste, J. Friml, A. Macho, A. Alves Azevedo, A. Rosado, Journal of Experimental Botany (2020) eraa138.
View | DOI | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 7672 | OA
Surface and catalyst driven singlet oxygen formation in Li-O2 cells
A. Samojlov, D. Schuster, J. Kahr, S.A. Freunberger, ChemRxiv (2020).
View | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 7673 | OA
A minimal biophysical model of combined antibiotic action
B. Kavcic, G. Tkačik, T. Bollenbach, BioRxiv (2020).
View | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7707 | OA
Quantification of the overall contribution of gene-environment interaction for obesity-related traits
J. Sulc, N. Mounier, F. Günther, T. Winkler, A.R. Wood, T.M. Frayling, I.M. Heid, M.R. Robinson, Z. Kutalik, Nature Communications 11 (2020) 1385.
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7708 | OA
Significant out-of-sample classification from methylation profile scoring for amyotrophic lateral sclerosis
M.F. Nabais, T. Lin, B. Benyamin, K.L. Williams, F.C. Garton, A.A.E. Vinkhuyzen, F. Zhang, C.L. Vallerga, R. Restuadi, A. Freydenzon, R.A.J. Zwamborn, P.J. Hop, M.R. Robinson, J. Gratten, P.M. Visscher, E. Hannon, J. Mill, M.A. Brown, N.G. Laing, K.A. Mather, P.S. Sachdev, S.T. Ngo, F.J. Steyn, L. Wallace, A.K. Henders, M. Needham, J.H. Veldink, S. Mathers, G. Nicholson, D.B. Rowe, R.D. Henderson, P.A. McCombe, R. Pamphlett, J. Yang, I.P. Blair, A.F. McRae, N.R. Wray, Npj Genomic Medicine 5 (2020) 10.
View | DOI | Download Published Version (ext.)
 

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 | Conference Paper | IST-REx-ID: 7803
Simple, deterministic, constant-round coloring in the congested clique
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing (PODC 2020), Association for Computing Machinery, n.d.
View
 

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: 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: 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 & Celluluar Proteomics (n.d.).
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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: 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 | 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 | 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 | Preprint | IST-REx-ID: 8125 | OA View | Download Preprint (ext.)
 

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: 8105 | OA View | Files available | DOI
 

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 (2020).
View | DOI | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 8101 | OA
A quantitatively consistent, scale-spanning model for same-material tribocharging
G.M. Grosjean, S. Wald, J.C.A. Sobarzo Ponce, S.R. Waitukaitis, ArXiv (n.d.).
View | Download Preprint (ext.) | arXiv
 

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 | 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: 8163 | OA
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
 

2020 | Journal Article | IST-REx-ID: 8162 | OA
Cell-type specificity of genomic imprinting in cerebral cortex
S. Laukoter, F. Pauler, R.J. Beattie, N. Amberg, A.H. Hansen, C. Streicher, T. Penz, C. Bock, S. Hippenmeyer, Neuron 107 (n.d.) 1–20.
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7389 | OA
Isometric study of Wasserstein spaces - the real line
G.P. Geher, T. Titkos, D. Virosztek, Transactions of the American Mathematical Society 373 (2020) 5855–5883.
View | DOI | Download Preprint (ext.) | arXiv
 

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 | Preprint | IST-REx-ID: 7675 | OA
Normative models of enhancer function
R. Grah, B. Zoller, G. Tkačik, BioRxiv (2020).
View | Files available | Download Preprint (ext.)
 

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 | Conference Paper | IST-REx-ID: 8193
Multiple-environment Markov decision processes: Efficient analysis and applications
K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, A. Royer, in:, Proceedings of the 30th International Conference on Automated Planning and Scheduling, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.
View
 

2020 | Preprint | IST-REx-ID: 8188 | OA
Unsupervised object-centric video generation and decomposition in 3D
P.M. Henderson, C. Lampert, ArXiv:2007.06705 (n.d.).
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8199 | OA
Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps
T. Gulden, E. Berg, M.S. Rudner, N. Lindner, SciPost Physics 9 (2020).
View | Files available | 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 | 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
 

Search

Filter Publications