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.

2886 Publications


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: 8101 | OA
Quantitatively consistent scale-spanning model for same-material tribocharging
G.M. Grosjean, S. Wald, J.C.A. Sobarzo Ponce, S.R. Waitukaitis, Physical Review Materials 4 (2020).
View | Files available | DOI | arXiv
 

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 | 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: 8131 | OA
Molecular mechanisms for targeted ASD treatments
B. Basilico, J. Morandell, G. Novarino, Current Opinion in Genetics and Development 65 (2020) 126–137.
View | Files available | DOI | PubMed | Europe PMC
 

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 | Conference Paper | IST-REx-ID: 8135
Radius functions on Poisson–Delaunay mosaics and related complexes experimentally
H. Edelsbrunner, A. Nikitenko, K. Ölsböck, P. Synak, in:, Topological Data Analysis, Springer Nature, 2020, pp. 181–218.
View | DOI
 

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 | Thesis | IST-REx-ID: 8155 | OA
Gene regulation across scales – how biophysical constraints shape evolution
R. Grah, Gene Regulation across Scales – How Biophysical Constraints Shape Evolution, IST Austria, 2020.
View | Files available | DOI
 

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: 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: 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: 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 | Preprint | IST-REx-ID: 8198 | OA 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 | 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
 

2020 | Journal Article | IST-REx-ID: 8220 | OA
Stem cell lineage survival as a noisy competition for niche access
B. Corominas-Murtra, C.L.G.J. Scheele, K. Kishi, S.I.J. Ellenbroek, B.D. Simons, J. Van Rheenen, E.B. Hannezo, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 16969–16975.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8248 | OA
Local conditions for triangulating submanifolds of Euclidean space
J.-D. Boissonnat, R. Dyer, A. Ghosh, A. Lieutier, M. Wintraecken, Discrete & Computational Geometry (2020).
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8250 | OA
Mechanisms of drug interactions between translation-inhibiting antibiotics
B. Kavcic, G. Tkačik, M.T. Bollenbach, Nature Communications 11 (2020).
View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8254 | OA
Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus)
L.S. Arathoon, Estimating Inbreeding and Its Effects in a Long-Term Study of Snapdragons (Antirrhinum Majus), IST Austria, 2020.
View | Files available | DOI
 

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

2020 | Journal Article | IST-REx-ID: 8268 | OA
Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications
N.M. Gurel, K. Kara, A. Stojanov, T. Smith, T. Lemmin, D.-A. Alistarh, M. Puschel, C. Zhang, IEEE Transactions on Signal Processing (2020).
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8271
Origin of a subgenome and genome evolution of allotetraploid cotton species
P. He, Y. Zhang, G. Xiao, Molecular Plant (n.d.).
View | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8272 | OA
Stochastic games with lexicographic reachability-safety objectives
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8283 | OA
AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling
H. Chen, L. Lai, L. Li, L. Liu, B.H. Jakada, Y. Huang, Q. He, M. Chai, X. Niu, Y. Qin, International Journal of Molecular Sciences 21 (2020).
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8284 | OA View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8285 | OA
Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit
B.K. Malia, J. Martínez-Rincón, Y. Wu, O. Hosten, M.A. Kasevich, Physical Review Letters 125 (2020).
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8286 | OA
Dynamic averaging load balancing on cycles
D.-A. Alistarh, G. Nadiradze, A. Sabour, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8287 | OA
Reachability analysis of linear hybrid systems via block decomposition
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the International Conference on Embedded Software, n.d.
View | Files available | arXiv
 

2020 | Journal Article | IST-REx-ID: 8308 | OA
Stability of mobility edges in disordered interacting systems
P. Brighi, D.A. Abanin, M. Serbyn, Physical Review B 102 (2020).
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8317 | OA
Folding polyominoes with holes into a cube
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, Computational Geometry: Theory and Applications 93 (n.d.).
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8318 | OA
Key role of quinone in the mechanism of respiratory complex I
J. Gutierrez-Fernandez, K. Kaszuba, G.S. Minhas, R. Baradaran, M. Tambalo, D.T. Gallagher, L.A. Sazanov, Nature Communications 11 (2020).
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8319 | OA
Retrieval of cavity-generated atomic spin squeezing after free-space release
Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B.K. Malia, O. Hosten, M.A. Kasevich, Physical Review A 102 (2020).
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8320
Expanding the genetic code: Unnatural base pairs in biological systems
S.A. Mukba, P. Vlasov, P.M. Kolosov, E.Y. Shuvalova, T.V. Egorova, E.Z. Alkalaeva, Molecular Biology 54 (2020) 475–484.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8321
Expanding the genetic code: Unnatural base pairs in biological systems
S.A. Mukba, P. Vlasov, P.M. Kolosov, E.Y. Shuvalova, T.V. Egorova, E.Z. Alkalaeva, Molekuliarnaia biologiia 54 (2020) 531–541.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8322
Reverse firewalls for actively secure MPCs
S. Chakraborty, S. Dziembowski, J.B. Nielsen, in:, Advances in Cryptology – CRYPTO 2020, Springer Nature, 2020, pp. 732–762.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8323 | OA
A farewell to Ricky Pollack
J. Pach, Discrete and Computational Geometry (2020).
View | DOI | Download None (ext.)
 

2020 | Journal Article | IST-REx-ID: 8325 | OA
Sandpile solitons via smoothing of superharmonic functions
N. Kalinin, M. Shkolnikov, Communications in Mathematical Physics (2020).
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8329
2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries
W. Schlemmer, P. Nothdurft, A. Petzold, P. Frühwirt, M. Schmallegger, G. Gescheidt-Demner, R. Fischer, S.A. Freunberger, W. Kern, S. Spirk, Angewandte Chemie International Edition (n.d.).
View | DOI
 

2020 | Thesis | IST-REx-ID: 8332 | OA
Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8336 | OA
Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum
K. Kubiasova, J.C. Montesinos López, O. Šamajová, J. Nisler, V. Mik, H. Semeradova, L. Plíhalová, O. Novák, P. Marhavý, N. Cavallari, D. Zalabák, K. Berka, K. Doležal, P. Galuszka, J. Šamaj, M. Strnad, E. Benková, O. Plíhal, L. Spíchal, Nature Communications 11 (2020).
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8337 | OA
Cell-surface receptors enable perception of extracellular cytokinins
I. Antoniadi, O. Novák, Z. Gelová, A.J. Johnson, O. Plíhal, R. Simerský, V. Mik, T. Vain, E. Mateo-Bonmatí, M. Karady, M. Pernisová, L. Plačková, K. Opassathian, J. Hejátko, S. Robert, J. Friml, K. Doležal, K. Ljung, C. Turnbull, Nature Communications 11 (2020).
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8338 | OA
On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs
A. Akopyan, A.I. Bobenko, W.K. Schief, J. Techter, Discrete and Computational Geometry (2020).
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8339 | OA
Improved discrete Gaussian and subgaussian analysis for lattice cryptography
N. Genise, D. Micciancio, C. Peikert, M. Walter, in:, 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Springer Nature, 2020, pp. 623–651.
View | DOI | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 8340
Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes
D. Kampjut, Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes, IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8341
In vitro reconstitution of a Rab activation switch
U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, IST Austria, 2020.
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8349 | OA
Nonlinear computations in spiking neural networks through multiplicative synapses
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, ArXiv (n.d.).
View | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 8350
Bulk actin dynamics drive phase segregation in zebrafish oocytes
S. Shamipour, Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes , IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8353
Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I
J. Steiner, Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I, IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8361
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, Journal of Power Sources 480 (2020).
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8373 | OA
A divergence center interpretation of general symmetric Kubo-Ando means, and related weighted multivariate operator means
J. Pitrik, D. Virosztek, Linear Algebra and Its Applications 609 (2020) 203–217.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7936 | OA
Localizing grouped instances for efficient detection in low-resource scenarios
A. Royer, C. Lampert, in:, IEEE Winter Conference on Applications of Computer Vision, IEEE, 2020, pp. 1716–1725.
View | Files available | DOI | Download Preprint (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 | Files available
 

2020 | Book Chapter | IST-REx-ID: 8092 | OA
XGAN: Unsupervised image-to-image translation for many-to-many mappings
A. Royer, K. Bousmalis, S. Gouws, F. Bertsch, I. Mosseri, F. Cole, K. Murphy, in:, R. Singh, M. Vatsa, V.M. Patel, N. Ratha (Eds.), Domain Adaptation for Visual Understanding, Springer Nature, 2020, pp. 33–49.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8382
Long-lived snapshots with polylogarithmic amortized step complexity
M.A. Baig, D. Hendler, A. Milani, C. Travers, in:, Proceedings of the 39th Symposium on Principles of Distributed Computing, ACM, 2020, pp. 31–40.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 7847 | OA
Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte
R. Bouchal, Z. Li, C. Bongu, S. Le Vot, R. Berthelot, B. Rotenberg, F. Favier, S.A. Freunberger, M. Salanne, O. Fontaine, Angewandte Chemie International Edition 59 (2020) 15913–1591.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8057 | OA
Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte
R. Bouchal, Z. Li, C. Bongu, S. Le Vot, R. Berthelot, B. Rotenberg, F. Favier, S.A. Freunberger, M. Salanne, O. Fontaine, Angewandte Chemie 132 (2020) 16047–16051.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8384 | OA
A model for soap film dynamics with evolving thickness
S. Ishida, P. Synak, F. Narita, T. Hachisuka, C.J. Wojtan, ACM Transactions on Graphics 39 (2020).
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8385 | OA
Homogenized yarn-level cloth
G. Sperl, R. Narain, C.J. Wojtan, ACM Transactions on Graphics 39 (2020).
View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8383
Brief Announcement: Why Extension-Based Proofs Fail
D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, L. Zhu, in:, Proceedings of the 39th Symposium on Principles of Distributed Computing, ACM, 2020, pp. 54–56.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8434
Lamellipodin tunes cell migration by stabilizing protrusions and promoting adhesion formation
G.A. Dimchev, B. Amiri, A.C. Humphries, M. Schaks, V. Dimchev, T.E.B. Stradal, J. Faix, M. Krause, M. Way, M. Falcke, K. Rottner, Journal of Cell Science 133 (2020).
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 8429 | OA
Probabilistic inference of the genetic architecture of functional enrichment of complex traits
M. Patxot, D. Trejo Banos, A. Kousathanas, E.J. Orliac, S.E. Ojavee, G. Moser, J. Sidorenko, Z. Kutalik, R. Magi, P.M. Visscher, L. Ronnegard, M.R. Robinson, MedRxiv (2020).
View | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8430 | OA
Genomic architecture and prediction of censored time-to-event phenotypes with a Bayesian genome-wide analysis
S.E. Ojavee, A. Kousathanas, D. Trejo Banos, E.J. Orliac, M. Patxot, K. Lall, R. Magi, K. Fischer, Z. Kutalik, M.R. Robinson, MedRxiv (2020).
View | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8529 | OA
Converting microwave and telecom photons with a silicon photonic nanomechanical interface
G.M. Arnold, M. Wulf, S. Barzanjeh, E. Redchenko, A.R. Rueda Sanchez, W.J. Hease, F. Hassani, J.M. Fink, Nature Communications 11 (2020).
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8038 | OA
Efficient microwave frequency conversion mediated by a photonics compatible silicon nitride nanobeam oscillator
J.M. Fink, M. Kalaee, R. Norte, A. Pitanti, O. Painter, Quantum Science and Technology 5 (2020).
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7505 | OA
Outside the box: Abstraction-based monitoring of neural networks
T.A. Henzinger, A. Lukina, C. Schilling, in:, 24th European Conference on Artificial Intelligence, IOS Press, 2020, pp. 2433–2440.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8535 | OA
Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces
T. Skrivan, A. Soderstrom, J. Johansson, C. Sprenger, K. Museth, C.J. Wojtan, ACM Transactions on Graphics 39 (2020).
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8539 | OA
On the K-theory stable bases of the springer resolution
C. Su, G. Zhao, C. Zhong, Annales Scientifiques de l’Ecole Normale Superieure 53 (2020) 663–671.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8538 | OA
Billiards in ellipses revisited
A. Akopyan, R. Schwartz, S. Tabachnikov, European Journal of Mathematics (2020).
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8536
Simplified successive cancellation decoding of polar codes has sublinear latency
M. Mondelli, S.A. Hashemi, J. Cioffi, A. Goldsmith, in:, IEEE International Symposium on Information Theory - Proceedings, IEEE, 2020.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8532 | OA
Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses
D. Kleindienst, J.-C. Montanaro-Punzengruber, P. Bhandari, M.J. Case, Y. Fukazawa, R. Shigemoto, International Journal of Molecular Sciences 21 (2020).
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8533 | OA
Simplified game of life: Algorithms and complexity
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8534 | OA
Unary prime languages
I.R. Jecker, O. Kupferman, N. Mazzocchi, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 6359 | OA
On the regularisation of the noise for the Euler-Maruyama scheme with irregular drift
K. Dareiotis, M. Gerencser, Electronic Journal of Probability 25 (2020).
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7427 | OA
Salicylic acid targets protein phosphatase 2A to attenuate growth in plants
S. Tan, M.F. Abas, I. Verstraeten, M. Glanc, G. Molnar, J. Hajny, P. Lasák, I. Petřík, E. Russinova, J. Petrášek, O. Novák, J. Pospíšil, J. Friml, Current Biology 30 (2020) 381–395.e8.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7207 | OA
Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer's disease
A. Martín-Belmonte, C. Aguado, R. Alfaro-Ruíz, A.E. Moreno-Martínez, L. De La Ossa, J. Martínez-Hernández, A. Buisson, S. Früh, B. Bettler, R. Shigemoto, Y. Fukazawa, R. Luján, Brain Pathology 30 (2020) 554–575.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7205 | OA
Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes?
K. Johannesson, Z. Zagrodzka, R. Faria, A.M. Westram, R.K. Butlin, Journal of Evolutionary Biology 33 (2020) 342–351.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7033 | OA
BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage
R. Donahue, M.E. Maes, J. Grosser, R. Nickells, Molecular Neurobiology 57 (2020) 1070–1084.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 5681
Simulating liquids on dynamically warping grids
I. Hikaru, C.J. Wojtan, N. Thuerey, T. Igarashi, R. Ando, IEEE Transactions on Visualization and Computer Graphics 26 (2020) 2288–2302.
View | DOI | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 8557 | OA
Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance
V. Belyaeva, S. Wachner, I. Gridchyn, M. Linder, S. Emtenani, A. György, M. Sibilia, D.E. Siekhaus, BioRxiv (n.d.).
View | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7431 | OA
Decomposing information into copying versus transformation
A. Kolchinsky, B. Corominas-Murtra, Journal of the Royal Society Interface 17 (2020).
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2020 | Scientific Software | IST-REx-ID: 8181 | OA
Amplified centrosomes in dendritic cells promote immune cell effector functions
R. Hauschild, Amplified Centrosomes in Dendritic Cells Promote Immune Cell Effector Functions, IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8366 | OA
Computational design of curved thin shells: From glass façades to programmable matter
R. Guseinov, Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter, IST Austria, 2020.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications