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.

2522 Publications


2020 | Conference Paper | IST-REx-ID: 7994 | OA
Arroyo Guevara, Alan M, Julien Bensmail, and R. Bruce Richter. “Extending Drawings of Graphs to Arrangements of Pseudolines.” In 36th International Symposium on Computational Geometry, Vol. 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.SoCG.2020.9.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7995 | OA
Perini, Samuel, Marina Rafajlović, Anja M Westram, Kerstin Johannesson, and Roger K. Butlin. “Assortative Mating, Sexual Selection, and Their Consequences for Gene Flow in Littorina.” Evolution. Wiley, 2020. https://doi.org/10.1111/evo.14027.
View | Files available | DOI
 

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. https://doi.org/10.15479/AT:ISTA:7996.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7999 | OA
Trejo Banos, D, DL McCartney, M Patxot, L Anchieri, T Battram, C Christiansen, R Costeira, et al. “Bayesian Reassessment of the Epigenetic Architecture of Complex Traits.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-16520-1.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8001 | OA
Vandael, David H, Carolina Borges Merjane, Xiaomin Zhang, and Peter M Jonas. “Short-Term Plasticity at Hippocampal Mossy Fiber Synapses Is Induced by Natural Activity Patterns and Associated with Vesicle Pool Engram Formation.” Neuron. Elsevier, 2020. https://doi.org/10.1016/j.neuron.2020.05.013.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8002 | OA
Hörmayer, Lukas, Juan C Montesinos López, Petra Marhavá, Eva Benková, Saiko Yoshida, and Jiří Friml. “Wounding-Induced Changes in Cellular Pressure and Localized Auxin Signalling Spatially Coordinate Restorative Divisions in Roots.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2020. https://doi.org/10.1073/pnas.2003346117.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8011 | OA
Michailidis, Alexios, C. J. Turner, Z. Papić, D. A. Abanin, and Maksym Serbyn. “Stabilizing Two-Dimensional Quantum Scars by Deformation and Synchronization.” Physical Review Research. American Physical Society, 2020. https://doi.org/10.1103/physrevresearch.2.022065.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8012 | OA
Kragl, Bernhard, Constantin Enea, Thomas A Henzinger, Suha Orhun Mutluergil, and Shaz Qadeer. “Inductive Sequentialization of Asynchronous Programs.” In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 227–42. Association for Computing Machinery, 2020. https://doi.org/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. https://doi.org/10.15479/AT:ISTA:8032.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8036 | OA
Collard, Ylona, Galien M Grosjean, and Nicolas Vandewalle. “Magnetically Powered Metachronal Waves Induce Locomotion in Self-Assemblies.” Communications Physics. Springer Nature, 2020. https://doi.org/10.1038/s42005-020-0380-9.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8038 | OA
Fink, Johannes M, 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. IOP Publishing, 2020. https://doi.org/10.1088/2058-9565/ab8dce.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8042 | OA
Boccato, Chiara, Christian Brennecke, Serena Cenatiempo, and Benjamin Schlein. “The Excitation Spectrum of Bose Gases Interacting through Singular Potentials.” Journal of the European Mathematical Society. European Mathematical Society, 2020. https://doi.org/10.4171/JEMS/966.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8043 | OA
Paranjape, Chaitanya S, Yohann Duguet, and Björn Hof. “Oblique Stripe Solutions of Channel Flow.” Journal of Fluid Mechanics. Cambridge University Press, 2020. https://doi.org/10.1017/jfm.2020.322.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8057 | OA
Bouchal, Roza, Zhujie Li, Chandra Bongu, Steven Le Vot, Romain Berthelot, Benjamin Rotenberg, Frederic Favier, Stefan Alexander Freunberger, Mathieu Salanne, and Olivier Fontaine. “Competitive Salt Precipitation/Dissolution during Free‐water Reduction in Water‐in‐salt Electrolyte.” Angewandte Chemie. Wiley, 2020. https://doi.org/10.1002/ange.202005378.
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8063 | OA
Anciukevicius, Titas, Christoph Lampert, and Paul M Henderson. “Object-Centric Image Generation with Factored Depths, Locations, and Appearances.” ArXiv, n.d.
View | Download Preprint (ext.) | arXiv
 

2020 | Technical Report | IST-REx-ID: 8067 | OA
Varzi, Alberto, Katharina Thanner, Roberto Scipioni, Daniele Di Lecce, Jusef Hassoun, Susanne Dörfler, Holger Altheus, Stefan Kaskel, Christian Prehal, and Stefan Alexander Freunberger. Current Status and Future Perspectives of Lithium Metal Batteries. IST Austria, n.d. https://doi.org/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. Elsevier, 2020. https://doi.org/10.1016/j.apnum.2020.06.009.
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8081 | OA
Hobisch, Mathias A. , Eléonore Mourad, Wolfgang J. Fischer, Christian Prehal, Samuel Eyley, Anthony Childress, Armin Zankel, et al. “High Specific Capacitance Supercapacitors from Hierarchically Organized All-Cellulose Composites,” n.d.
View | Files available
 

2020 | Journal Article | IST-REx-ID: 8084 | OA
Lombardi, Fabrizio, Manuel Gómez-Extremera, Pedro Bernaola-Galván, Ramalingam Vetrivelan, Clifford B. Saper, Thomas E. Scammell, and Plamen Ch. Ivanov. “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. Society for Neuroscience, 2020. https://doi.org/10.1523/jneurosci.1278-19.2019.
View | Files available | DOI | PubMed | Europe PMC
 

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. https://doi.org/10.1007/s10955-020-02586-0.
View | Files available | DOI | arXiv
 

2020 | Book Chapter | IST-REx-ID: 8092 | OA
Royer, Amélie, Konstantinos Bousmalis, Stephan Gouws, Fred Bertsch, Inbar Mosseri, Forrester Cole, and Kevin Murphy. “XGAN: Unsupervised Image-to-Image Translation for Many-to-Many Mappings.” In Domain Adaptation for Visual Understanding, edited by Richa Singh, Mayank Vatsa, Vishal M. Patel, and Nalini Ratha, 33–49. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-30671-7_3.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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. https://doi.org/10.15479/AT:ISTA:8097.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8099 | OA
Gammerdinger, William J, Melissa A Toups, and Beatriz Vicoso. “Disagreement in FST Estimators: A Case Study from  Sex Chromosomes.” Molecular Ecology Resources. Wiley, 2020. https://doi.org/10.1111/1755-0998.13210.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8101 | OA
Grosjean, Galien M, Sebastian Wald, Juan Carlos A Sobarzo Ponce, and Scott R Waitukaitis. “Quantitatively Consistent Scale-Spanning Model for Same-Material Tribocharging.” Physical Review Materials. American Physical Society, 2020. https://doi.org/10.1103/PhysRevMaterials.4.082602.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8105 | OA
Lombardi, Fabrizio, Jilin W.J.L. Wang, Xiyun Zhang, and Plamen Ch Ivanov. “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. EDP Sciences, 2020. https://doi.org/10.1051/epjconf/202023000005.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8127 | OA
Gonçalves, Pedro J., Jan-Matthis Lueckmann, Michael Deistler, Marcel Nonnenmacher, Kaan Öcal, Giacomo Bassetto, Chaitanya Chintaluri, et al. “Training Deep Neural Density Estimators to Identify Mechanistic Models of Neural Dynamics.” ELife. eLife Sciences Publications, 2020. https://doi.org/10.7554/eLife.56261.
View | Files available | 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. https://doi.org/10.1007/s00205-020-01548-w.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8131 | OA
Basilico, Bernadette, Jasmin Morandell, and Gaia Novarino. “Molecular Mechanisms for Targeted ASD Treatments.” Current Opinion in Genetics and Development. Elsevier, 2020. https://doi.org/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., Daniel Trejo-Banos, Athanasios Kousathanas, Daniel L. Mccartney, Sarah E. Harris, Anna J. Stevenson, Marion Patxot, et al. “Multi-Method Genome- and Epigenome-Wide Studies of Inflammatory Protein Levels in Healthy Older Adults.” Genome Medicine. Springer Nature, 2020. https://doi.org/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. AIP, 2020. https://doi.org/10.1063/5.0005950.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8135 | OA
Edelsbrunner, Herbert, Anton Nikitenko, Katharina Ölsböck, and Peter Synak. “Radius Functions on Poisson–Delaunay Mosaics and Related Complexes Experimentally.” In Topological Data Analysis, 15:181–218. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-43408-3_8.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8138 | OA
Zhang, J, E Mazur, J Balla, Michelle C Gallei, P Kalousek, Z Medveďová, Y Li, et al. “Strigolactones Inhibit Auxin Feedback on PIN-Dependent Auxin Transport Canalization.” Nature Communications. Springer Nature, 2020. https://doi.org/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, A Abuzeineh, Aglaja Kopf, Alba Juanes Garcia, Krisztina Ötvös, J Petrášek, Michael K Sixt, and Eva Benková. “Phytohormone Cytokinin Guides Microtubule Dynamics during Cell Progression from Proliferative to Differentiated Stage.” The Embo Journal. Embo Press, 2020. https://doi.org/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. https://doi.org/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. https://doi.org/10.15479/AT:ISTA:8156.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8162 | OA
Laukoter, Susanne, Florian Pauler, Robert J Beattie, Nicole Amberg, Andi H Hansen, Carmen Streicher, Thomas Penz, Christoph Bock, and Simon Hippenmeyer. “Cell-Type Specificity of Genomic Imprinting in Cerebral Cortex.” Neuron. Elsevier, 2020. https://doi.org/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. AKJournals, 2020. https://doi.org/10.1556/012.2020.57.2.1454.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8167 | OA
Stankowski, Sean, Anja M Westram, Zuzanna B. Zagrodzka, Isobel Eyres, Thomas Broquet, Kerstin Johannesson, and Roger K. Butlin. “The Evolution of Strong Reproductive Isolation between Sympatric Intertidal Snails.” Philosophical Transactions of the Royal Society. Series B: Biological Sciences. The Royal Society, 2020. https://doi.org/10.1098/rstb.2019.0545.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8168 | OA
Kulmuni, Jonna, Roger K. Butlin, Kay Lucek, Vincent Savolainen, and Anja M Westram. “Towards the Completion of Speciation: The Evolution of Reproductive Isolation beyond the First Barriers.” Philosophical Transactions of the Royal Society. Series B: Biological Sciences. The Royal Society, 2020. https://doi.org/10.1098/rstb.2019.0528.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8169 | OA
Shang, Huiying, Jaqueline Hess, Melinda Pickup, David Field, Pär K. Ingvarsson, Jianquan Liu, and Christian Lexer. “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. The Royal Society, 2020. https://doi.org/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., Lars Christiansen, Constant A. Schouder, Anders V. Jørgensen, Benjamin Shepperson, Igor Cherepanov, Giacomo Bighin, Robert E. Zillich, Mikhail Lemeshko, and Henrik Stapelfeldt. “Rotational Coherence Spectroscopy of Molecules in Helium Nanodroplets: Reconciling the Time and the Frequency Domains.” Physical Review Letters. American Physical Society, 2020. https://doi.org/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. https://doi.org/10.15479/AT:ISTA:8181.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8186 | OA
Henderson, Paul M, Vagia Tsiminaki, and Christoph Lampert. “Leveraging 2D Data to Learn Textured 3D Mesh Generation.” In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 7498–7507. CVF, 2020.
View | Files available | Download Submitted Version (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski, Marek, Shaobo He, Mathias Lechner, Thanh Son Nguyen, and Zvonimir Rakamarić. “An SMT Theory of Fixed-Point Arithmetic.” In Automated Reasoning, 12166:13–31. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-51074-9_2.
View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8195 | OA
Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured Concurrent Programs.” In Computer Aided Verification, 12224:275–98. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-53288-8_14.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8196 | OA
Shehu, Yekini, Qiao-Li Dong, Lu-Lu Liu, and Jen-Chih Yao. “New Strong Convergence Method for the Sum of Two Maximal Monotone Operators.” Optimization and Engineering. Springer Nature, 2020. https://doi.org/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. arXiv, n.d.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8199 | OA
Gulden, Tobias, Erez Berg, Mark Spencer Rudner, and Netanel Lindner. “Exponentially Long Lifetime of Universal Quasi-Steady States in Topological Floquet Pumps.” SciPost Physics. SciPost Foundation, 2020. https://doi.org/10.21468/scipostphys.9.1.015.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8203 | OA
Katsaros, Georgios, Josip Kukucka, Lada Vukušić, Hannes Watzinger, Fei Gao, Ting Wang, Jian-Jun Zhang, and Karsten Held. “Zero Field Splitting of Heavy-Hole States in Quantum Dots.” Nano Letters. ACS Publications, 2020. https://doi.org/10.1021/acs.nanolett.0c01466.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8248 | OA
Boissonnat, Jean-Daniel, Ramsay Dyer, Arijit Ghosh, Andre Lieutier, and Mathijs Wintraecken. “Local Conditions for Triangulating Submanifolds of Euclidean Space.” Discrete and Computational Geometry. Springer Nature, 2020. https://doi.org/10.1007/s00454-020-00233-9.
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8250 | OA
Kavcic, Bor, Gašper Tkačik, and Mark Tobias Bollenbach. “Mechanisms of Drug Interactions between Translation-Inhibiting Antibiotics.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-17734-z.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8261 | OA
Zhang, Xiaomin, Alois Schlögl, and Peter M Jonas. “Selective Routing of Spatial Information Flow from Input to Output in Hippocampal Granule Cells.” Neuron. Elsevier, 2020. https://doi.org/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, Kaan Kara, Alen Stojanov, Tyler Smith, Thomas Lemmin, Dan-Adrian Alistarh, Markus Puschel, and Ce Zhang. “Compressive Sensing Using Iterative Hard Thresholding with Low Precision Data Representation: Theory and Applications.” IEEE Transactions on Signal Processing. IEEE, 2020. https://doi.org/10.1109/TSP.2020.3010355.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8272 | OA
Chatterjee, Krishnendu, Joost P Katoen, Maximilian Weininger, and Tobias Winkler. “Stochastic Games with Lexicographic Reachability-Safety Objectives.” In International Conference on Computer Aided Verification, 12225:398–420. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-53291-8_21.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8283 | OA
Chen, Huihuang, Linyi Lai, Lanxin Li, Liping Liu, Bello Hassan Jakada, Youmei Huang, Qing He, Mengnan Chai, Xiaoping Niu, and Yuan Qin. “AcoMYB4, an Ananas Comosus L. MYB Transcription Factor, Functions in Osmotic Stress through Negative Regulation of ABA Signaling.” International Journal of Molecular Sciences. MDPI, 2020. https://doi.org/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. eLife Sciences Publications, 2020. https://doi.org/10.7554/eLife.59407.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8285 | OA
Malia, Benjamin K., Julián Martínez-Rincón, Yunfan Wu, Onur Hosten, and Mark A. Kasevich. “Free Space Ramsey Spectroscopy in Rubidium with Noise below the Quantum Projection Limit.” Physical Review Letters, 2020. https://doi.org/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, Giorgi Nadiradze, and Amirmojtaba Sabour. “Dynamic Averaging Load Balancing on Cycles.” In 47th International Colloquium on Automata, Languages, and Programming, Vol. 168. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.ICALP.2020.7.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8287 | OA
Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” In Proceedings of the International Conference on Embedded Software, n.d.
View | Files available | arXiv
 

2020 | Scientific Software | IST-REx-ID: 8294 | OA
Hauschild, Robert. “RGtracker.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8294.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8308 | OA
Brighi, Pietro, Dmitry A. Abanin, and Maksym Serbyn. “Stability of Mobility Edges in Disordered Interacting Systems.” Physical Review B. American Physical Society, 2020. https://doi.org/10.1103/physrevb.102.060202.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8318 | OA
Gutierrez-Fernandez, Javier, Karol Kaszuba, Gurdeep S. Minhas, Rozbeh Baradaran, Margherita Tambalo, David T. Gallagher, and Leonid A Sazanov. “Key Role of Quinone in the Mechanism of Respiratory Complex I.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-17957-0.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8319 | OA
Wu, Yunfan, Rajiv Krishnakumar, Julián Martínez-Rincón, Benjamin K. Malia, Onur Hosten, and Mark A. Kasevich. “Retrieval of Cavity-Generated Atomic Spin Squeezing after Free-Space Release.” Physical Review A. APS, 2020. https://doi.org/10.1103/PhysRevA.102.012224.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8322 | OA
Chakraborty, Suvradip, Stefan Dziembowski, and Jesper Buus Nielsen. “Reverse Firewalls for Actively Secure MPCs.” In Advances in Cryptology – CRYPTO 2020, 12171:732–62. Springer Nature, 2020. https://doi.org/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. Springer Nature, 2020. https://doi.org/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. https://doi.org/10.1007/s00220-020-03828-8.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8329 | OA
Schlemmer, Werner, Philipp Nothdurft, Alina Petzold, Philipp Frühwirt, Max Schmallegger, Georg Gescheidt-Demner, Roland Fischer, Stefan Alexander Freunberger, Wolfgang Kern, and Stefan Spirk. “2‐methoxyhydroquinone from Vanillin for Aqueous Redox‐flow Batteries.” Angewandte Chemie International Edition. Wiley, 2020. https://doi.org/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. https://doi.org/10.15479/AT:ISTA:8332.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8336 | OA
Kubiasova, Karolina, Juan C Montesinos López, Olga Šamajová, Jaroslav Nisler, Václav Mik, Hana Semeradova, Lucie Plíhalová, et al. “Cytokinin Fluoroprobe Reveals Multiple Sites of Cytokinin Perception at Plasma Membrane and Endoplasmic Reticulum.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-17949-0.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8337 | OA
Antoniadi, Ioanna, Ondřej Novák, Zuzana Gelová, Alexander J Johnson, Ondřej Plíhal, Radim Simerský, Václav Mik, et al. “Cell-Surface Receptors Enable Perception of Extracellular Cytokinins.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-17700-9.
View | Files available | DOI
 

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

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

2020 | Preprint | IST-REx-ID: 8349 | OA
Nardin, Michele, James W Phillips, William F Podlaski, and Sander W Keemink. “Nonlinear Computations in Spiking Neural Networks through Multiplicative Synapses.” ArXiv, n.d.
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. https://doi.org/10.15479/AT:ISTA:8358.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8361 | OA
Varzi, Alberto, Katharina Thanner, Roberto Scipioni, Daniele Di Lecce, Jusef Hassoun, Susanne Dörfler, Holger Altheus, Stefan Kaskel, Christian Prehal, and Stefan Alexander Freunberger. “Current Status and Future Perspectives of Lithium Metal Batteries.” Journal of Power Sources. Elsevier, 2020. https://doi.org/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. https://doi.org/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. https://doi.org/10.15479/AT:ISTA:8375.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8382 | OA
Baig, Mirza Ahad, Danny Hendler, Alessia Milani, and Corentin Travers. “Long-Lived Snapshots with Polylogarithmic Amortized Step Complexity.” In Proceedings of the 39th Symposium on Principles of Distributed Computing, 31–40. ACM, 2020. https://doi.org/10.1145/3382734.3406005.
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8384 | OA
Ishida, Sadashige, Peter Synak, Fumiya Narita, Toshiya Hachisuka, and Christopher J Wojtan. “A Model for Soap Film Dynamics with Evolving Thickness.” ACM Transactions on Graphics. ACM, 2020. https://doi.org/10.1145/3386569.3392405.
View | Files available | DOI | Download Submitted Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8385 | OA
Sperl, Georg, Rahul Narain, and Christopher J Wojtan. “Homogenized Yarn-Level Cloth.” ACM Transactions on Graphics. ACM, 2020. https://doi.org/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. https://doi.org/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. https://doi.org/10.15479/AT:ISTA:8390.
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8429 | OA
Patxot, Marion, Daniel Trejo Banos, Athanasios Kousathanas, Etienne J Orliac, Sven E Ojavee, Gerhard Moser, Julia Sidorenko, et al. “Probabilistic Inference of the Genetic Architecture of Functional Enrichment of Complex Traits.” MedRxiv. Cold Spring Harbor Laboratory, 2020. https://doi.org/10.1101/2020.09.04.20188433.
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8430 | OA
Ojavee, Sven E, Athanasios Kousathanas, Daniel Trejo Banos, Etienne J Orliac, Marion Patxot, Kristi Lall, Reedik Magi, Krista Fischer, Zoltan Kutalik, and Matthew Richard Robinson. “Genomic Architecture and Prediction of Censored Time-to-Event Phenotypes with a Bayesian Genome-Wide Analysis.” MedRxiv. Cold Spring Harbor Laboratory, n.d. https://doi.org/10.1101/2020.09.04.20188441.
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8529 | OA
Arnold, Georg M, Matthias Wulf, Shabir Barzanjeh, Elena Redchenko, Alfredo R Rueda Sanchez, William J Hease, Farid Hassani, and Johannes M Fink. “Converting Microwave and Telecom Photons with a Silicon Photonic Nanomechanical Interface.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-18269-z.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8532 | OA
Kleindienst, David, Jacqueline-Claire Montanaro-Punzengruber, Pradeep Bhandari, Matthew J Case, Yugo Fukazawa, and Ryuichi 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. MDPI, 2020. https://doi.org/10.3390/ijms21186737.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8533 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Ismael R Jecker, and Jakub Svoboda. “Simplified Game of Life: Algorithms and Complexity.” In 45th International Symposium on Mathematical Foundations of Computer Science, Vol. 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.MFCS.2020.22.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8534 | OA
Jecker, Ismael R, Orna Kupferman, and Nicolas Mazzocchi. “Unary Prime Languages.” In 45th International Symposium on Mathematical Foundations of Computer Science, Vol. 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.MFCS.2020.51.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8535 | OA
Skrivan, Tomas, Andreas Soderstrom, John Johansson, Christoph Sprenger, Ken Museth, and Christopher J Wojtan. “Wave Curves: Simulating Lagrangian Water Waves on Dynamically Deforming Surfaces.” ACM Transactions on Graphics. Association for Computing Machinery, 2020. https://doi.org/10.1145/3386569.3392466.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8536 | OA
Mondelli, Marco, Seyyed Ali Hashemi, John Cioffi, and Andrea Goldsmith. “Simplified Successive Cancellation Decoding of Polar Codes Has Sublinear Latency.” In IEEE International Symposium on Information Theory - Proceedings, Vol. 2020–June. IEEE, 2020. https://doi.org/10.1109/ISIT44484.2020.9174141.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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

2020 | Journal Article | IST-REx-ID: 8539 | OA
Su, C., Gufang Zhao, and C. Zhong. “On the K-Theory Stable Bases of the Springer Resolution.” Annales Scientifiques de l’Ecole Normale Superieure. Société Mathématique de France, 2020. https://doi.org/10.24033/asens.2431.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8544 | OA
Takeo, Yukari H., S. Andrew Shuster, Linnie Jiang, Miley Hu, David J. Luginbuhl, Thomas Rülicke, Ximena Contreras, et al. “GluD2- and Cbln1-Mediated Competitive Synaptogenesis Shapes the Dendritic Arbors of Cerebellar Purkinje Cells.” Neuron. Elsevier, n.d. https://doi.org/10.1016/j.neuron.2020.11.028.
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8545 | OA
Contreras, Ximena, Amarbayasgalan Davaatseren, Nicole Amberg, Andi H Hansen, Johanna Sonntag, Lill Andersen, Tina Bernthaler, et al. “A Genome-Wide Library of MADM Mice for Single-Cell Genetic Mosaic Analysis.” BioRxiv. Cold Spring Harbor Laboratory, 2020. https://doi.org/10.1101/2020.06.05.136192.
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8546 | OA
Zhang, Tingting, Tengyuan Liu, Natalia Mora, Justine Guegan, Mathilde Bertrand, Ximena Contreras, Andi H Hansen, et al. “Generation of Neuronal Diversity from Common Progenitors via Notch Signaling in the Cerebellum.” BioRxiv. Cold Spring Harbor Laboratory, n.d. https://doi.org/10.1101/2020.03.18.997205.
View | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8557 | OA
Belyaeva, Vera, Stephanie Wachner, Igor Gridchyn, Markus Linder, Shamsi Emtenani, Attila György, Maria Sibilia, and Daria E Siekhaus. “Cortical Actin Properties Controlled by Drosophila Fos Aid Macrophage Infiltration against Surrounding Tissue Resistance.” BioRxiv, n.d. https://doi.org/10.1101/2020.09.18.301481.
View | Files available | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8562 | OA
Gavriil, Konstantinos, Ruslan Guseinov, Jesus Perez Rodriguez, Davide Pellis, Paul M Henderson, Florian Rist, Helmut Pottmann, and Bernd Bickel. “Computational Design of Cold Bent Glass Façades.” ACM Transactions on Graphics. ACM, 2020. https://doi.org/10.1145/3414685.3417843.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Research Data | IST-REx-ID: 8563 | OA
Csicsvari, Jozsef L, Igor Gridchyn, and Philipp Schönenberger. “Optogenetic Alteration of Hippocampal Network Activity.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8563.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8568 | OA
Prehal, Christian, Harald Fitzek, Gerald Kothleitner, Volker Presser, Bernhard Gollas, Stefan Alexander Freunberger, and Qamar Abbas. “Persistent and Reversible Solid Iodine Electrodeposition in Nanoporous Carbons.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-18610-6.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8571 | OA
Geretti, Luca, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” In EPiC Series in Computing, 74:49–75. EasyChair, 2020. https://doi.org/10.29007/zkf6.
View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications