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.




2838 Publications

2020 | Journal Article | IST-REx-ID: 6593 | OA
Shehu, Yekini, et al. “An Efficient Projection-Type Method for Monotone Variational Inequalities in Hilbert Spaces.” Numerical Algorithms, vol. 84, Springer Nature, 2020, pp. 365–88, doi:10.1007/s11075-019-00758-y.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 6649 | OA
Benedikter, Niels P., et al. “Optimal Upper Bound for the Correlation Energy of a Fermi Gas in the Mean-Field Regime.” Communications in Mathematical Physics, vol. 374, Springer Nature, 2020, pp. 2097–2150, doi:10.1007/s00220-019-03505-5.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 6761
Avni, Guy, et al. “Dynamic Resource Allocation Games.” Theoretical Computer Science, vol. 807, Elsevier, 2020, pp. 42–55, doi:10.1016/j.tcs.2019.06.031.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 6796 | OA
Stella, Federico, et al. “Partial Coherence and Frustration in Self-Organizing Spherical Grids.” Hippocampus, vol. 30, no. 4, Wiley, 2020, pp. 302–13, doi:10.1002/hipo.23144.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 6808 | OA
Jahr, Wiebke, et al. “Strategies to Maximize Performance in STimulated Emission Depletion (STED) Nanoscopy of Biological Specimens.” Methods, vol. 174, no. 3, Elsevier, 2020, pp. 27–41, doi:10.1016/j.ymeth.2019.07.019.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 6918
Goharshady, Amir Kafshdar, and Fatemeh Mohammadi. “An Efficient Algorithm for Computing Network Reliability in Small Treewidth.” Reliability Engineering and System Safety, vol. 193, 106665, Elsevier, 2020, doi:10.1016/j.ress.2019.106665.
View | DOI
 
2020 | Journal Article | IST-REx-ID: 6997 | OA
Zhang, Yuzhou, and Jiří Friml. “Auxin Guides Roots to Avoid Obstacles during Gravitropic Growth.” New Phytologist, vol. 225, no. 3, Wiley, 2020, pp. 1049–52, doi:10.1111/nph.16203.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7956 | OA
Pȩkalski, J., et al. “Shear-Induced Ordering in Systems with Competing Interactions: A Machine Learning Study.” The Journal of Chemical Physics, vol. 152, no. 20, AIP, 2020, p. 204905, doi:10.1063/5.0005194.
View | DOI | Download Published Version (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7957 | OA
Parenti, Ilaria, et al. “Neurodevelopmental Disorders: From Genetics to Functional Pathways.” Trends in Neurosciences, Elsevier, doi:10.1016/j.tins.2020.05.004.
View | DOI | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 7960 | OA
Kalai, Gil, and Zuzana Patakova. “Intersection Patterns of Planar Sets.” Discrete and Computational Geometry, Springer Nature, 2020, doi:10.1007/s00454-020-00205-z.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7962 | OA
Pach, János, et al. “Almost All String Graphs Are Intersection Graphs of Plane Convex Sets.” Discrete and Computational Geometry, vol. 63, no. 4, Springer Nature, 2020, pp. 888–917, doi:10.1007/s00454-020-00213-z.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7966 | OA
Auerbach, Benedikt, et al. “Everybody’s a Target: Scalability in Public-Key Encryption.” Advances in Cryptology – EUROCRYPT 2020, vol. 12107, Springer Nature, 2020, pp. 475–506, doi:10.1007/978-3-030-45727-3_16.
View | DOI | Download Submitted Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 7968 | OA
Ghazaryan, Areg, et al. “Analytic Model of Chiral-Induced Spin Selectivity.” The Journal of Physical Chemistry C, vol. 124, no. 21, American Chemical Society, 2020, pp. 11716–21, doi:10.1021/acs.jpcc.0c02584.
View | DOI | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 7971 | OA
Rao, Peng, and Maksym Serbyn. “Gully Quantum Hall Ferromagnetism in Biased Trilayer Graphene.” Physical Review B, vol. 101, no. 24, American Physical Society, 2020, p. 245411, doi:10.1103/physrevb.101.245411.
View | DOI | Download Preprint (ext.)
 
2020 | Journal Article | IST-REx-ID: 7985 | OA
Kwak, WJ, et al. “Lithium-Oxygen Batteries and Related Systems: Potential, Status, and Future.” Chemical Reviews, ACS, 2020, doi:10.1021/acs.chemrev.9b00609.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 7989 | OA
Patakova, Zuzana. “Bounding Radon Number via Betti Numbers.” 36th International Symposium on Computational Geometry, vol. 164, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 61:1-61:13, doi:10.4230/LIPIcs.SoCG.2020.61.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7990 | OA
Wagner, Uli, and Emo Welzl. “Connectivity of Triangulation Flip Graphs in the Plane (Part II: Bistellar Flips).” 36th International Symposium on Computational Geometry, vol. 164, 67:1-67:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.SoCG.2020.67.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7991 | OA
Avvakumov, Sergey, and Gabriel Nivasch. “Homotopic Curve Shortening and the Affine Curve-Shortening Flow.” 36th International Symposium on Computational Geometry, vol. 164, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 12:1-12:15, doi:10.4230/LIPIcs.SoCG.2020.12.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7992 | OA
Patakova, Zuzana, et al. “Barycentric Cuts through a Convex Body.” 36th International Symposium on Computational Geometry, vol. 164, 62:1-62:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.SoCG.2020.62.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7994 | OA
Arroyo Guevara, Alan M., et al. “Extending Drawings of Graphs to Arrangements of Pseudolines.” 36th International Symposium on Computational Geometry, vol. 164, 9:1-9:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.SoCG.2020.9.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7995 | OA
Perini, Samuel, et al. “Assortative Mating, Sexual Selection, and Their Consequences for Gene Flow in Littorina.” Evolution, Wiley, 2020, doi:10.1111/evo.14027.
View | DOI | Download Published Version (ext.)
 
2020 | Thesis | IST-REx-ID: 7996 | OA
Kukucka, Josip. Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing. IST Austria, 2020, doi:10.15479/AT:ISTA:7996.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7999 | OA
Trejo Banos, D., et al. “Bayesian Reassessment of the Epigenetic Architecture of Complex Traits.” Nature Communications, vol. 11, 2865, Springer Nature, 2020, doi:10.1038/s41467-020-16520-1.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8001 | OA
Vandael, David H., et al. “Short-Term Plasticity at Hippocampal Mossy Fiber Synapses Is Induced by Natural Activity Patterns and Associated with Vesicle Pool Engram Formation.” Neuron, Elsevier, doi:10.1016/j.neuron.2020.05.013.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8002 | OA
Hörmayer, Lukas, et al. “Wounding-Induced Changes in Cellular Pressure and Localized Auxin Signalling Spatially Coordinate Restorative Divisions in Roots.” Proceedings of the National Academy of Sciences, vol. 117, no. 26, 202003346, Proceedings of the National Academy of Sciences, 2020, doi:10.1073/pnas.2003346117.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8011 | OA
Michailidis, Alexios, et al. “Stabilizing Two-Dimensional Quantum Scars by Deformation and Synchronization.” Physical Review Research, vol. 2, no. 2, 022065, American Physical Society, 2020, doi:10.1103/physrevresearch.2.022065.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8012 | OA
Kragl, Bernhard, et al. “Inductive Sequentialization of Asynchronous Programs.” Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–42, doi:10.1145/3385412.3385980.
View | Files available | DOI | Download Published Version (ext.)
 
2020 | Thesis | IST-REx-ID: 8032 | OA
Huszár, Kristóf. Combinatorial Width Parameters for 3-Dimensional Manifolds. IST Austria, 2020, doi:10.15479/AT:ISTA:8032.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8036 | OA
Collard, Ylona, et al. “Magnetically Powered Metachronal Waves Induce Locomotion in Self-Assemblies.” Communications Physics, vol. 3, 112, Springer Nature, 2020, doi:10.1038/s42005-020-0380-9.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8039
Zhang, Yu, et al. “Tin Selenide Molecular Precursor for the Solution Processing of Thermoelectric Materials and Devices.” ACS Applied Materials and Interfaces, vol. 12, no. 24, American Chemical Society, 2020, pp. 27104–11, doi:10.1021/acsami.0c04331.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8040
Gupta, Chitrak, et al. “Charge Transfer and Chemo-Mechanical Coupling in Respiratory Complex I.” Journal of the American Chemical Society, vol. 142, no. 20, American Chemical Society, 2020, pp. 9220–30, doi:10.1021/jacs.9b13450.
View | DOI
 
2020 | Journal Article | IST-REx-ID: 8042 | OA
Boccato, Chiara, et al. “The Excitation Spectrum of Bose Gases Interacting through Singular Potentials.” Journal of the European Mathematical Society, vol. 22, no. 7, European Mathematical Society, 2020, pp. 2331–403, doi:10.4171/JEMS/966.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8043 | OA
Paranjape, Chaitanya S., et al. “Oblique Stripe Solutions of Channel Flow.” Journal of Fluid Mechanics, vol. 897, A7, Cambridge University Press, 2020, doi:10.1017/jfm.2020.322.
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 8063 | OA
Anciukevicius, Titas, et al. “Object-Centric Image Generation with Factored Depths, Locations, and Appearances.” ArXiv, 2004.00642, ArXiv.
View | Download Preprint (ext.) | arXiv
 
2020 | Technical Report | IST-REx-ID: 8067 | OA
Varzi, Alberto, et al. Current Status and Future Perspectives of Lithium Metal Batteries. IST Austria, doi:10.15479/AT:ISTA:8067.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8077 | OA
Shehu, Yekini, and Olaniyi S. Iyiola. “Projection Methods with Alternating Inertial Steps for Variational Inequalities: Weak and Linear Convergence.” Applied Numerical Mathematics, vol. 157, Elsevier, 2020, pp. 315–37, doi:10.1016/j.apnum.2020.06.009.
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 8081 | OA
Hobisch, Mathias A., et al. High Specific Capacitance Supercapacitors from Hierarchically Organized All-Cellulose Composites.
View | Files available
 
2020 | Journal Article | IST-REx-ID: 8084 | OA
Lombardi, Fabrizio, et al. “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.” Journal of Neuroscience, vol. 40, no. 1, Society for Neuroscience, 2020, pp. 171–90, doi:10.1523/jneurosci.1278-19.2019.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 8089 | OA
Chatterjee, Krishnendu, et al. “Polynomial Invariant Generation for Non-Deterministic Recursive Programs.” Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 672–87, doi:10.1145/3385412.3385969.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8091 | OA
Seiringer, Robert, and Jakob Yngvason. “Emergence of Haldane Pseudo-Potentials in Systems with Short-Range Interactions.” Journal of Statistical Physics, Springer, 2020, doi:10.1007/s10955-020-02586-0.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8093
Hippe, Andreas, et al. “EGFR/Ras-Induced CCL20 Production Modulates the Tumour Microenvironment.” British Journal of Cancer, Springer Nature, 2020, doi:10.1038/s41416-020-0943-2.
View | DOI | PubMed | Europe PMC
 
2020 | Research Data | IST-REx-ID: 8097 | OA
Kavcic, Bor. Analysis Scripts and Research Data for the Paper “Mechanisms of Drug Interactions between Translation-Inhibiting Antibiotics.” IST Austria, 2020, doi:10.15479/AT:ISTA:8097.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8099 | OA
Gammerdinger, William J., et al. “Disagreement in FST Estimators: A Case Study from  Sex Chromosomes.” Molecular Ecology Resources, Wiley, 2020, pp. 1–9, doi:10.1111/1755-0998.13210.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8101 | OA
Grosjean, Galien M., et al. “Quantitatively Consistent Scale-Spanning Model for Same-Material Tribocharging.” Physical Review Materials, vol. 4, no. 8, 082602, American Physical Society, 2020, doi:10.1103/PhysRevMaterials.4.082602.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8105 | OA
Lombardi, Fabrizio, et al. “Power-Law Correlations and Coupling of Active and Quiet States Underlie a Class of Complex Systems with Self-Organization at Criticality.” EPJ Web of Conferences, vol. 230, 00005, EDP Sciences, 2020, doi:10.1051/epjconf/202023000005.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8112
Barton, Nicholas H. “On the Completion of Speciation.” Philosophical Transactions of the Royal Society. Series B: Biological Sciences, vol. 375, no. 1806, 20190530, The Royal Society, 2020, doi:10.1098/rstb.2019.0530.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8130 | OA
Bossmann, Lea. “Derivation of the 2d Gross–Pitaevskii Equation for Strongly Confined 3d Bosons.” Archive for Rational Mechanics and Analysis, Springer Nature, 2020, doi:10.1007/s00205-020-01548-w.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8131 | OA
Basilico, Bernadette, et al. “Molecular Mechanisms for Targeted ASD Treatments.” Current Opinion in Genetics and Development, vol. 65, no. 12, Elsevier, 2020, pp. 126–37, doi:10.1016/j.gde.2020.06.004.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8132
Salzer, Elisabeth, et al. “The Cytoskeletal Regulator HEM1 Governs B Cell Development and Prevents Autoimmunity.” Science Immunology, vol. 5, no. 49, eabc3979, AAAS, 2020, doi:10.1126/sciimmunol.abc3979.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8133 | OA
Hillary, Robert F., et al. “Multi-Method Genome- and Epigenome-Wide Studies of Inflammatory Protein Levels in Healthy Older Adults.” Genome Medicine, vol. 12, no. 1, 60, Springer Nature, 2020, doi:10.1186/s13073-020-00754-1.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8134 | OA
Mayer, Simon, and Robert Seiringer. “The Free Energy of the Two-Dimensional Dilute Bose Gas. II. Upper Bound.” Journal of Mathematical Physics, vol. 61, no. 6, 061901, AIP, 2020, doi:10.1063/5.0005950.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8135
Edelsbrunner, Herbert, et al. “Radius Functions on Poisson–Delaunay Mosaics and Related Complexes Experimentally.” Topological Data Analysis, vol. 15, Springer Nature, 2020, pp. 181–218, doi:10.1007/978-3-030-43408-3_8.
View | DOI
 
2020 | Journal Article | IST-REx-ID: 8138 | OA
Zhang, J., et al. “Strigolactones Inhibit Auxin Feedback on PIN-Dependent Auxin Transport Canalization.” Nature Communications, vol. 11, no. 1, Springer Nature, 2020, p. 3508, doi:10.1038/s41467-020-17252-y.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8139
Johnson, Alexander J., et al. “Experimental Toolbox for Quantitative Evaluation of Clathrin-Mediated Endocytosis in the Plant Model Arabidopsis.” Journal of Cell Science, vol. 133, no. 15, jcs248062, The Company of Biologists, 2020, doi:10.1242/jcs.248062.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8142 | OA
Montesinos López, Juan C., et al. “Phytohormone Cytokinin Guides Microtubule Dynamics during Cell Progression from Proliferative to Differentiated Stage.” The Embo Journal, e104238, Embo Press, 2020, doi:10.15252/embj.2019104238.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Thesis | IST-REx-ID: 8155 | OA
Grah, Rok. Gene Regulation across Scales – How Biophysical Constraints Shape Evolution. IST Austria, 2020, doi:10.15479/AT:ISTA:8155.
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 8156 | OA
Avvakumov, Sergey. Topological Methods in Geometry and Discrete Mathematics. IST Austria, 2020, doi:10.15479/AT:ISTA:8156.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8162 | OA
Laukoter, Susanne, et al. “Cell-Type Specificity of Genomic Imprinting in Cerebral Cortex.” Neuron, vol. 107, no. 9, Elsevier, pp. 1–20, doi:10.1016/j.neuron.2020.06.031.
View | DOI | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 8163 | OA
Vegter, Gert, and Mathijs Wintraecken. “Refutation of a Claim Made by Fejes Tóth on the Accuracy of Surface Meshes.” Studia Scientiarum Mathematicarum Hungarica, vol. 57, no. 2, AKJournals, pp. 193–99, doi:10.1556/012.2020.57.2.1454.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8167 | OA
Stankowski, Sean, et al. “The Evolution of Strong Reproductive Isolation between Sympatric Intertidal Snails.” Philosophical Transactions of the Royal Society. Series B: Biological Sciences, vol. 375, no. 1806, 20190545, The Royal Society, 2020, doi:10.1098/rstb.2019.0545.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8168 | OA
Kulmuni, Jonna, et al. “Towards the Completion of Speciation: The Evolution of Reproductive Isolation beyond the First Barriers.” Philosophical Transactions of the Royal Society. Series B: Biological Sciences, vol. 375, no. 1806, 20190528, The Royal Society, 2020, doi:10.1098/rstb.2019.0528.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8169 | OA
Shang, Huiying, et al. “Evolution of Strong Reproductive Isolation in Plants: Broad-Scale Patterns and Lessons from a Perennial Model Group.” Philosophical Transactions of the Royal Society. Series B: Biological Sciences, vol. 375, no. 1806, 20190544, The Royal Society, 2020, doi:10.1098/rstb.2019.0544.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8170 | OA
Chatterley, Adam S., et al. “Rotational Coherence Spectroscopy of Molecules in Helium Nanodroplets: Reconciling the Time and the Frequency Domains.” Physical Review Letters, vol. 125, no. 1, 013001, American Physical Society, 2020, doi:10.1103/PhysRevLett.125.013001.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Book Chapter | IST-REx-ID: 8173
Kainrath, Stephanie, and Harald L. Janovjak. “Design and Application of Light-Regulated Receptor Tyrosine Kinases.” Photoswitching Proteins, edited by Dominik Niopek, vol. 2173, Springer Nature, 2020, pp. 233–46, doi:10.1007/978-1-0716-0755-8_16.
View | DOI
 
2020 | Conference Paper | IST-REx-ID: 8186 | OA
Henderson, Paul M., et al. “Leveraging 2D Data to Learn Textured 3D Mesh Generation.” Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVF, 2020, pp. 7498–507.
View | Files available | Download Submitted Version (ext.) | arXiv
 
2020 | Preprint | IST-REx-ID: 8188 | OA
Henderson, Paul M., and Christoph Lampert. “Unsupervised Object-Centric Video Generation and Decomposition in 3D.” ArXiv:2007.06705, 2007.06705.
View | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8190 | OA
Sixt, Michael K., and Anna Huttenlocher. “Zena Werb (1945-2020): Cell Biology in Context.” The Journal of Cell Biology, vol. 219, no. 8, e202007029, Journal of Cell Biology, 2020, doi:10.1083/jcb.202007029.
View | Files available | DOI | Download Published Version (ext.)
 
2020 | Conference Paper | IST-REx-ID: 8191
Alistarh, Dan-Adrian, et al. “Memory Tagging: Minimalist Synchronization for Scalable Concurrent Data Structures.” Annual ACM Symposium on Parallelism in Algorithms and Architectures, no. 7, ACM, 2020, pp. 37–49, doi:10.1145/3350755.3400213.
View | DOI
 
2020 | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski, Marek, et al. “An SMT Theory of Fixed-Point Arithmetic.” Automated Reasoning, vol. 12166, Springer Nature, 2020, pp. 13–31, doi:10.1007/978-3-030-51074-9_2.
View | DOI | Download Published Version (ext.)
 
2020 | Conference Paper | IST-REx-ID: 8195 | OA
Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” Computer Aided Verification, vol. 12224, Springer Nature, 2020, pp. 275–98, doi:10.1007/978-3-030-53288-8_14.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8196 | OA
Shehu, Yekini, et al. “New Strong Convergence Method for the Sum of Two Maximal Monotone Operators.” Optimization and Engineering, Springer Nature, 2020, doi:10.1007/s11081-020-09544-5.
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 8198 | OA
Diringer, Asaf A., and Tobias Gulden. “Robustness of the Floquet Many-Body Localized Phase in the Presence of a  Smooth and a Non-Smooth Drive.” ArXiv:2007.14879, 2007.14879, arXiv.
View | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8199 | OA
Gulden, Tobias, et al. “Exponentially Long Lifetime of Universal Quasi-Steady States in Topological Floquet Pumps.” SciPost Physics, vol. 9, 015, SciPost Foundation, 2020, doi:10.21468/scipostphys.9.1.015.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8203 | OA
Katsaros, Georgios, et al. “Zero Field Splitting of Heavy-Hole States in Quantum Dots.” Nano Letters, vol. 20, no. 7, ACS Publications, 2020, pp. 5201–06, doi:10.1021/acs.nanolett.0c01466.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8220 | OA
Corominas-Murtra, Bernat, et al. “Stem Cell Lineage Survival as a Noisy Competition for Niche Access.” Proceedings of the National Academy of Sciences of the United States of America, vol. 117, no. 29, National Academy of Sciences, 2020, pp. 16969–75, doi:10.1073/pnas.1921205117.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8248 | OA
Boissonnat, Jean-Daniel, et al. “Local Conditions for Triangulating Submanifolds of Euclidean Space.” Discrete & Computational Geometry, Springer Nature, 2020, doi:10.1007/s00454-020-00233-9.
View | DOI | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 8250 | OA
Kavcic, Bor, et al. “Mechanisms of Drug Interactions between Translation-Inhibiting Antibiotics.” Nature Communications, vol. 11, 4013, Springer Nature, 2020, doi:10.1038/s41467-020-17734-z.
View | Files available | DOI
 
2020 | Research Data | IST-REx-ID: 8254 | OA
Arathoon, Louise S. Estimating Inbreeding and Its Effects in a Long-Term Study of Snapdragons (Antirrhinum Majus). IST Austria, 2020, doi:10.15479/AT:ISTA:8254.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8261 | OA
Zhang, Xiaomin, et al. “Selective Routing of Spatial Information Flow from Input to Output in Hippocampal Granule Cells.” Neuron, Elsevier, doi:10.1016/j.neuron.2020.07.006.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8268 | OA
Gurel, Nezihe Merve, et al. “Compressive Sensing Using Iterative Hard Thresholding with Low Precision Data Representation: Theory and Applications.” IEEE Transactions on Signal Processing, IEEE, 2020, doi:10.1109/TSP.2020.3010355.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8271
He, Peng, et al. “Origin of a Subgenome and Genome Evolution of Allotetraploid Cotton Species.” Molecular Plant, Elsevier, doi:10.1016/j.molp.2020.07.006.
View | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 8272 | OA
Chatterjee, Krishnendu, et al. “Stochastic Games with Lexicographic Reachability-Safety Objectives.” International Conference on Computer Aided Verification, vol. 12225, Springer Nature, 2020, pp. 398–420, doi:10.1007/978-3-030-53291-8_21.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8283 | OA
Chen, Huihuang, et al. “AcoMYB4, an Ananas Comosus L. MYB Transcription Factor, Functions in Osmotic Stress through Negative Regulation of ABA Signaling.” International Journal of Molecular Sciences, vol. 21, no. 16, 5272, MDPI, 2020, doi:10.3390/ijms21165727.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8284 | OA
Steiner, Julia, and Leonid A. Sazanov. “Structure and Mechanism of the Mrp Complex, an Ancient Cation/Proton Antiporter.” ELife, vol. 9, e59407, eLife Sciences Publications, 2020, doi:10.7554/eLife.59407.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8285 | OA
Malia, Benjamin K., et al. “Free Space Ramsey Spectroscopy in Rubidium with Noise below the Quantum Projection Limit.” Physical Review Letters, vol. 125, no. 4, 043202, 2020, doi:10.1103/PhysRevLett.125.043202.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8286 | OA
Alistarh, Dan-Adrian, et al. “Dynamic Averaging Load Balancing on Cycles.” Leibniz International Proceedings in Informatics, vol. 168, 7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.ICALP.2020.7.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8287 | OA
Bogomolov, Sergiy, et al. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” Proceedings of the International Conference on Embedded Software.
View | Files available | arXiv
 
2020 | Journal Article | IST-REx-ID: 8308 | OA
Brighi, Pietro, et al. “Stability of Mobility Edges in Disordered Interacting Systems.” Physical Review B, vol. 102, no. 6, 060202(R), American Physical Society, 2020, doi:10.1103/physrevb.102.060202.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8317 | OA
Aichholzer, Oswin, et al. “Folding Polyominoes with Holes into a Cube.” Computational Geometry: Theory and Applications, vol. 93, 101700, Elsevier, doi:10.1016/j.comgeo.2020.101700.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8318 | OA
Gutierrez-Fernandez, Javier, et al. “Key Role of Quinone in the Mechanism of Respiratory Complex I.” Nature Communications, vol. 11, no. 1, 4135, Springer Nature, 2020, doi:10.1038/s41467-020-17957-0.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8319 | OA
Wu, Yunfan, et al. “Retrieval of Cavity-Generated Atomic Spin Squeezing after Free-Space Release.” Physical Review A, vol. 102, no. 1, 012224, APS, 2020, doi:10.1103/PhysRevA.102.012224.
View | DOI | Download Preprint (ext.) | arXiv
 
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
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
 
2020 | Journal Article | IST-REx-ID: 8323 | OA
Pach, János. “A Farewell to Ricky Pollack.” Discrete and Computational Geometry, Springer Nature, 2020, 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, Springer Nature, 2020, doi:10.1007/s00220-020-03828-8.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8329
Schlemmer, Werner, et al. “2‐methoxyhydroquinone from Vanillin for Aqueous Redox‐flow Batteries.” Angewandte Chemie International Edition, Wiley, doi:10.1002/anie.202008253.
View | DOI
 
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 | DOI | Download Published Version (ext.)
 

Search

Display / Sort

Citation Style: MLA

Export / Embed