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.

6285 Publications


2020 | Journal Article | IST-REx-ID: 8320
Mukba, S. A., et al. “Expanding the Genetic Code: Unnatural Base Pairs in Biological Systems.” Molecular Biology, vol. 54, no. 4, Springer Nature, 2020, pp. 475–84, doi:10.1134/S0026893320040111.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8321
Mukba, S. A., et al. “Expanding the genetic code: Unnatural base pairs in biological systems.” Molekuliarnaia biologiia, vol. 54, no. 4, Russian Academy of Sciences, 2020, pp. 531–41, doi:10.31857/S0026898420040126.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8322 | OA
Chakraborty, Suvradip, et al. “Reverse Firewalls for Actively Secure MPCs.” Advances in Cryptology – CRYPTO 2020, vol. 12171, Springer Nature, 2020, pp. 732–62, doi:10.1007/978-3-030-56880-1_26.
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8323 | OA
Pach, János. “A Farewell to Ricky Pollack.” Discrete and Computational Geometry, vol. 64, Springer Nature, 2020, pp. 571–74, doi:10.1007/s00454-020-00237-5.
View | DOI | Download None (ext.)
 

2020 | Journal Article | IST-REx-ID: 8325 | OA
Kalinin, Nikita, and Mikhail Shkolnikov. “Sandpile Solitons via Smoothing of Superharmonic Functions.” Communications in Mathematical Physics, vol. 378, no. 9, Springer Nature, 2020, pp. 1649–75, doi:10.1007/s00220-020-03828-8.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8329 | OA
Schlemmer, Werner, et al. “2‐methoxyhydroquinone from Vanillin for Aqueous Redox‐flow Batteries.” Angewandte Chemie International Edition, vol. 59, no. 51, Wiley, 2020, pp. 22943–46, doi:10.1002/anie.202008253.
View | DOI | Download Published Version (ext.)
 

2020 | Thesis | IST-REx-ID: 8332 | OA
Kragl, Bernhard. Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization. IST Austria, 2020, doi:10.15479/AT:ISTA:8332.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8336 | OA
Kubiasova, Karolina, et al. “Cytokinin Fluoroprobe Reveals Multiple Sites of Cytokinin Perception at Plasma Membrane and Endoplasmic Reticulum.” Nature Communications, vol. 11, 4285, Springer Nature, 2020, doi:10.1038/s41467-020-17949-0.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8337 | OA
Antoniadi, Ioanna, et al. “Cell-Surface Receptors Enable Perception of Extracellular Cytokinins.” Nature Communications, vol. 11, 4284, Springer Nature, 2020, doi:10.1038/s41467-020-17700-9.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8338 | OA
Akopyan, Arseniy, et al. “On Mutually Diagonal Nets on (Confocal) Quadrics and 3-Dimensional Webs.” Discrete and Computational Geometry, Springer Nature, 2020, doi:10.1007/s00454-020-00240-w.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8339 | OA
Genise, Nicholas, et al. “Improved Discrete Gaussian and Subgaussian Analysis for Lattice Cryptography.” 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, vol. 12110, Springer Nature, 2020, pp. 623–51, doi:10.1007/978-3-030-45374-9_21.
View | DOI | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 8340
Kampjut, Domen. Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes. IST Austria, 2020, doi:10.15479/AT:ISTA:8340.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8341
Bezeljak, Urban. In Vitro Reconstitution of a Rab Activation Switch. IST Austria, 2020, doi:10.15479/AT:ISTA:8341.
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8349 | OA
Nardin, Michele, et al. “Nonlinear Computations in Spiking Neural Networks through Multiplicative Synapses.” ArXiv, 2009.03857.
View | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 8350
Shamipour, Shayan. Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes . IST Austria, 2020, doi:10.15479/AT:ISTA:8350.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8353
Steiner, Julia. Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I. IST Austria, 2020, doi:10.15479/AT:ISTA:8353.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8358 | OA
Dos Santos Caldas, Paulo R. Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers. IST Austria, 2020, doi:10.15479/AT:ISTA:8358.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8361 | OA
Varzi, Alberto, et al. “Current Status and Future Perspectives of Lithium Metal Batteries.” Journal of Power Sources, vol. 480, no. 12, 228803, Elsevier, 2020, doi:10.1016/j.jpowsour.2020.228803.
View | Files available | DOI | Download Published Version (ext.)
 

2020 | Thesis | IST-REx-ID: 8366 | OA
Guseinov, Ruslan. Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter. IST Austria, 2020, doi:10.15479/AT:ISTA:8366.
View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8375 | OA
Guseinov, Ruslan. Supplementary Data for “Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter.” IST Austria, 2020, doi:10.15479/AT:ISTA:8375.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8382 | OA
Baig, Mirza Ahad, et al. “Long-Lived Snapshots with Polylogarithmic Amortized Step Complexity.” Proceedings of the 39th Symposium on Principles of Distributed Computing, ACM, 2020, pp. 31–40, doi:10.1145/3382734.3406005.
View | DOI | Download Preprint (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8383
Alistarh, Dan-Adrian, et al. “Brief Announcement: Why Extension-Based Proofs Fail.” Proceedings of the 39th Symposium on Principles of Distributed Computing, ACM, 2020, pp. 54–56, doi:10.1145/3382734.3405743.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8384 | OA
Ishida, Sadashige, et al. “A Model for Soap Film Dynamics with Evolving Thickness.” ACM Transactions on Graphics, vol. 39, no. 4, 31, ACM, 2020, doi:10.1145/3386569.3392405.
View | Files available | DOI | Download Submitted Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8385 | OA
Sperl, Georg, et al. “Homogenized Yarn-Level Cloth.” ACM Transactions on Graphics, vol. 39, no. 4, 48, ACM, 2020, doi:10.1145/3386569.3392412.
View | Files available | DOI | Download Submitted Version (ext.)
 

2020 | Thesis | IST-REx-ID: 8386 | OA
Zhang, Ran. Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability. IST Austria, 2020, doi:10.15479/AT:ISTA:8386.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8390 | OA
Royer, Amélie. Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models. IST Austria, 2020, doi:10.15479/AT:ISTA:8390.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8402 | OA
Rampelt, Heike, et al. “The Mitochondrial Carrier Pathway Transports Non-Canonical Substrates with an Odd Number of Transmembrane Segments.” BMC Biology, vol. 18, 2, Springer Nature, 2020, doi:10.1186/s12915-019-0733-6.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 8403 | OA
Sučec, Iva, et al. “Structural Basis of Client Specificity in Mitochondrial Membrane-Protein Chaperones.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2020.06.08.140772.
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8404 | OA
Weinhäupl, Katharina, et al. “Architecture and Subunit Dynamics of the Mitochondrial TIM9·10·12 Chaperone.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2020.03.13.990150.
View | DOI | Download Preprint (ext.)
 

2020 | Book | IST-REx-ID: 8414
Kaloshin, Vadim, and Ke Zhang. Arnold Diffusion for Smooth Systems of Two and a Half Degrees of Freedom. 1st ed., vol. 208, Princeton University Press, 2020.
View
 

2020 | Preprint | IST-REx-ID: 8429 | OA
Patxot, Marion, et al. “Probabilistic Inference of the Genetic Architecture of Functional Enrichment of Complex Traits.” MedRxiv, Cold Spring Harbor Laboratory, 2020, doi:10.1101/2020.09.04.20188433.
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8430 | OA
Ojavee, Sven E., et al. “Genomic Architecture and Prediction of Censored Time-to-Event Phenotypes with a Bayesian Genome-Wide Analysis.” MedRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2020.09.04.20188441.
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8529 | OA
Arnold, Georg M., et al. “Converting Microwave and Telecom Photons with a Silicon Photonic Nanomechanical Interface.” Nature Communications, vol. 11, 4460, Springer Nature, 2020, doi:10.1038/s41467-020-18269-z.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8532 | OA
Kleindienst, David, et al. “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, 6737, MDPI, 2020, doi:10.3390/ijms21186737.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8533 | OA
Chatterjee, Krishnendu, et al. “Simplified Game of Life: Algorithms and Complexity.” 45th International Symposium on Mathematical Foundations of Computer Science, vol. 170, 22:1-22:13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.MFCS.2020.22.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8534 | OA
Jecker, Ismael R., et al. “Unary Prime Languages.” 45th International Symposium on Mathematical Foundations of Computer Science, vol. 170, 51:1-51:12, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.MFCS.2020.51.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8535 | OA
Skrivan, Tomas, et al. “Wave Curves: Simulating Lagrangian Water Waves on Dynamically Deforming Surfaces.” ACM Transactions on Graphics, vol. 39, no. 4, 65, Association for Computing Machinery, 2020, doi:10.1145/3386569.3392466.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8536 | OA
Mondelli, Marco, et al. “Simplified Successive Cancellation Decoding of Polar Codes Has Sublinear Latency.” IEEE International Symposium on Information Theory - Proceedings, vol. 2020–June, 401–406, IEEE, 2020, doi:10.1109/ISIT44484.2020.9174141.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8538 | OA
Akopyan, Arseniy, et al. “Billiards in Ellipses Revisited.” European Journal of Mathematics, Springer Nature, 2020, doi:10.1007/s40879-020-00426-9.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8539 | OA
Su, C., et al. “On the K-Theory Stable Bases of the Springer Resolution.” Annales Scientifiques de l’Ecole Normale Superieure, vol. 53, no. 3, Société Mathématique de France, 2020, pp. 663–71, doi:10.24033/asens.2431.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Preprint | IST-REx-ID: 8545 | OA
Contreras, Ximena, et al. “A Genome-Wide Library of MADM Mice for Single-Cell Genetic Mosaic Analysis.” BioRxiv, Cold Spring Harbor Laboratory, 2020, doi:10.1101/2020.06.05.136192.
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8546 | OA
Zhang, Tingting, et al. “Generation of Neuronal Diversity from Common Progenitors via Notch Signaling in the Cerebellum.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2020.03.18.997205.
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8557 | OA
Belyaeva, Vera, et al. “Cortical Actin Properties Controlled by Drosophila Fos Aid Macrophage Infiltration against Surrounding Tissue Resistance.” BioRxiv, doi:10.1101/2020.09.18.301481.
View | Files available | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8562 | OA
Gavriil, Konstantinos, et al. “Computational Design of Cold Bent Glass Façades.” ACM Transactions on Graphics, vol. 39, no. 6, 208, ACM, 2020, doi:10.1145/3414685.3417843.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Research Data | IST-REx-ID: 8563 | OA
Csicsvari, Jozsef L., et al. Optogenetic Alteration of Hippocampal Network Activity. IST Austria, 2020, doi:10.15479/AT:ISTA:8563.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8568 | OA
Prehal, Christian, et al. “Persistent and Reversible Solid Iodine Electrodeposition in Nanoporous Carbons.” Nature Communications, vol. 11, 4838, Springer Nature, 2020, doi:10.1038/s41467-020-18610-6.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8571 | OA
Geretti, Luca, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” EPiC Series in Computing, vol. 74, EasyChair, 2020, pp. 49–75, doi:10.29007/zkf6.
View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8572 | OA
Althoff, Matthias, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Dynamics.” EPiC Series in Computing, vol. 74, EasyChair, 2020, pp. 16–48, doi:10.29007/7dt2.
View | DOI | Download Published Version (ext.)
 

2020 | Thesis | IST-REx-ID: 8574 | OA
Szep, Eniko. Local Adaptation in Metapopulations. IST Austria, 2020, doi:10.15479/AT:ISTA:8574.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8579 | OA
Andrei, Andreea, et al. “Cu Homeostasis in Bacteria: The Ins and Outs.” Membranes, vol. 10, no. 9, 242, MDPI, 2020, doi:10.3390/membranes10090242.
View | Files available | DOI
 

Search

Filter Publications