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.

6065 Publications


2020 | Preprint | IST-REx-ID: 8307 | OA
A. Stewart and E. Kokoris Kogias, “GRANDPA: a Byzantine finality gadget,” arXiv. .
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8317 | OA
O. Aichholzer et al., “Folding polyominoes with holes into a cube,” Computational Geometry: Theory and Applications, vol. 93.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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

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

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

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

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

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

2020 | Journal Article | IST-REx-ID: 8336 | OA
K. Kubiasova et al., “Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum,” Nature Communications, vol. 11, 2020.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8337 | OA
I. Antoniadi et al., “Cell-surface receptors enable perception of extracellular cytokinins,” Nature Communications, vol. 11, 2020.
View | DOI | Download Published Version (ext.)
 

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

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

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

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

2020 | Journal Article | IST-REx-ID: 8361
A. Varzi et al., “Current status and future perspectives of lithium metal batteries,” Journal of Power Sources, vol. 480, no. 12, 2020.
View | Files available | DOI
 

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

2020 | Conference Paper | IST-REx-ID: 8193
K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, and A. Royer, “Multiple-environment Markov decision processes: Efficient analysis and applications,” in Proceedings of the 30th International Conference on Automated Planning and Scheduling, Nancy, France, 2020, vol. 30, pp. 48–56.
View | Files available
 

2020 | Journal Article | IST-REx-ID: 7847 | OA
R. Bouchal et al., “Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte,” Angewandte Chemie International Edition, vol. 59, no. 37, pp. 15913–1591, 2020.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8057 | OA
R. Bouchal et al., “Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte,” Angewandte Chemie, vol. 132, no. 37, pp. 16047–16051, 2020.
View | Files available | DOI
 

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

2020 | Preprint | IST-REx-ID: 8429 | OA
M. Patxot et al., “Probabilistic inference of the genetic architecture of functional enrichment of complex traits,” medRxiv. Cold Spring Harbor Laboratory, 2020.
View | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8430 | OA
S. E. Ojavee et al., “Genomic architecture and prediction of censored time-to-event phenotypes with a Bayesian genome-wide analysis,” medRxiv. Cold Spring Harbor Laboratory, 2020.
View | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8402 | OA
H. Rampelt et al., “The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments,” BMC Biology, vol. 18, 2020.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 8404 | OA
K. Weinhäupl, Y. Wang, A. Hessel, M. Brennich, K. Lindorff-Larsen, and P. Schanda, “Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone,” bioRxiv. Cold Spring Harbor Laboratory.
View | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8403 | OA
I. Sučec et al., “Structural basis of client specificity in mitochondrial membrane-protein chaperones,” bioRxiv. Cold Spring Harbor Laboratory.
View | Download Preprint (ext.)
 

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

2020 | Book | IST-REx-ID: 8414
V. Kaloshin and K. Zhang, Arnold diffusion for smooth systems of two and a half degrees of freedom, 1st ed., vol. 208. Princeton University Press, 2020.
View
 

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

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

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

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

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

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

2020 | Journal Article | IST-REx-ID: 7427 | OA
S. Tan et al., “Salicylic acid targets protein phosphatase 2A to attenuate growth in plants,” Current Biology, vol. 30, no. 3, p. 381–395.e8, 2020.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7207 | OA
A. Martín-Belmonte et al., “Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer’s disease,” Brain Pathology, vol. 30, no. 3, pp. 554–575, 2020.
View | Files available | DOI | PubMed | Europe PMC
 

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

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

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

2020 | Scientific Software | IST-REx-ID: 8181 | OA
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
R. Guseinov, Computational design of curved thin shells: From glass façades to programmable matter. IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7262 | OA
R. Guseinov, C. McMahan, J. Perez Rodriguez, C. Daraio, and B. Bickel, “Programming temporal morphing of self-actuated shells,” Nature Communications, vol. 11, 2020.
View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8375 | OA
R. Guseinov, Supplementary data for “Computational design of curved thin shells: from glass façades to programmable matter.” IST Austria, 2020.
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8546 | OA
T. Zhang et al., “Generation of neuronal diversity from common progenitors via Notch signaling in the cerebellum,” bioRxiv. Cold Spring Harbor Laboratory.
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8545 | OA
X. Contreras et al., “A genome-wide library of MADM mice for single-cell genetic mosaic analysis,” bioRxiv. Cold Spring Harbor Laboratory, 2020.
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8544 | OA
Y. H. Takeo et al., “GluD2- and Cbln1-mediated competitive synaptogenesis shapes the dendritic arbors of cerebellar Purkinje cells,” bioRxiv. Cold Spring Harbor Laboratory.
View | DOI | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 8390 | OA
A. Royer, Leveraging structure in Computer Vision tasks for flexible Deep Learning models. IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7387 | OA
N. S. Baranova et al., “Diffusion and capture permits dynamic coupling between treadmilling FtsZ filaments and cell division proteins,” Nature Microbiology, 2020.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2020 | Scientific Software | IST-REx-ID: 8294 | OA
R. Hauschild, RGtracker. IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8579 | OA
A. Andrei et al., “Cu homeostasis in bacteria: The ins and outs,” Membranes, vol. 10, no. 9, 2020.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8571 | OA
L. Geretti et al., “ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics,” in EPiC Series in Computing, 2020, vol. 74, pp. 49–75.
View | DOI | Download Published Version (ext.)
 

Search

Filter Publications