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.

2587 Publications


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, vol. 238, no. 11, Springer Nature, 2020, pp. 541–606, doi:10.1007/s00205-020-01548-w.
View | Files available | DOI | arXiv
 

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: 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 | OA
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 | Files available | 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: 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, vol. 39, no. 17, 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. 6, Elsevier, 2020, p. 1160–1179.e9, doi:10.1016/j.neuron.2020.06.031.
View | Files available | DOI
 

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, 2020, 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: 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 | Scientific Software | IST-REx-ID: 8181 | OA
Hauschild, Robert. Amplified Centrosomes in Dendritic Cells Promote Immune Cell Effector Functions. IST Austria, 2020, doi:10.15479/AT:ISTA:8181.
View | Files available | 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 | 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 | 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: 8248 | OA
Boissonnat, Jean-Daniel, et al. “Local Conditions for Triangulating Submanifolds of Euclidean Space.” Discrete and 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 | 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, vol. 107, no. 6, Elsevier, 2020, pp. 1212–25, doi:10.1016/j.neuron.2020.07.006.
View | Files available | DOI | 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, vol. 68, IEEE, 2020, pp. 4268–82, doi:10.1109/TSP.2020.3010355.
View | DOI | Download Preprint (ext.) | arXiv
 

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.” 47th International Colloquium on Automata, Languages, and Programming, 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 | Scientific Software | IST-REx-ID: 8294 | OA
Hauschild, Robert. RGtracker. IST Austria, 2020, doi:10.15479/AT:ISTA:8294.
View | Files available | DOI
 

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: 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 | 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 | 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: 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.)
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications