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.

6032 Publications


2020 | Report | IST-REx-ID: 8151
Maslov, Mikhail, Fyodor Kondrashov, Christina Artner, Mike Hennessey-Wesen, Bor Kavcic, Nick N Machnik, Roshan K Satapathy, and Isabella Tomanek. Core Project Proceedings. IST Austria, 2020.
View | Files available
 

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: 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 57, no. 2 (n.d.): 193–99. 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 375, no. 1806 (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 375, no. 1806 (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 375, no. 1806 (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 125, no. 1 (2020). https://doi.org/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.” In Photoswitching Proteins, edited by Dominik Niopek, 2173:233–46. MIMB. Springer Nature, 2020. https://doi.org/10.1007/978-1-0716-0755-8_16.
View | 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 | Journal Article | IST-REx-ID: 8189
Yu, Xiaoting, Junfeng Liu, Junshan Li, Zhishan Luo, Yong Zuo, Congcong Xing, Jordi Llorca, et al. “Phosphorous Incorporation in Pd2Sn Alloys for Electrocatalytic Ethanol Oxidation.” Nano Energy 77, no. 11 (2020). https://doi.org/10.1016/j.nanoen.2020.105116.
View | DOI
 

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 219, no. 8 (2020). https://doi.org/10.1083/jcb.202007029.
View | Files available | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8191
Alistarh, Dan-Adrian, Trevor A Brown, and Nandini Singhal. “Memory Tagging: Minimalist Synchronization for Scalable Concurrent Data Structures.” In Annual ACM Symposium on Parallelism in Algorithms and Architectures, 37–49. ACM, 2020. https://doi.org/10.1145/3350755.3400213.
View | DOI
 

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, 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:2007.14879. arXiv, n.d.
View | Download Preprint (ext.) | arXiv
 

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 20, no. 7 (2020): 5201–6. https://doi.org/10.1021/acs.nanolett.0c01466.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8225 | OA
Köhler, Verena K., Silvia Crescioli, Judit Singer, Heather J. Bax, Gerhard Hofer, Christina L. Pranger, Karin Hufnagl, et al. “Filling the Antibody Pipeline in Allergy: PIPE Cloning of IgE, IgG1 and IgG4 against the Major Birch Pollen Allergen Bet v 1.” International Journal of Molecular Sciences 21, no. 16 (2020). https://doi.org/10.3390/ijms21165693.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8226 | OA
Gotovina, Jelena, Rodolfo Bianchini, Judit Singer, Ina Herrmann, Giulia Pellizzari, Ian D. Haidl, Karin Hufnagl, Sophia N. Karagiannis, Jean S. Marshall, and Erika Jensen‐Jarolim. “Epinephrine Drives Human M2a Allergic Macrophages to a Regulatory Phenotype Reducing Mast Cell Degranulation in Vitro.” Allergy, 2020. https://doi.org/10.1111/all.14299.
View | DOI | Download Published Version (ext.)
 

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 & Computational Geometry, 2020. https://doi.org/10.1007/s00454-020-00233-9.
View | DOI | Download Published Version (ext.)
 

2020 | Preprint | IST-REx-ID: 8253 | OA
Zenke, Friedemann, and Tim P Vogels. “The Remarkable Robustness of Surrogate Gradient Learning for Instilling Complex Function in Spiking Neural Networks.” BioRxiv, 2020.
View | Download Preprint (ext.)
 

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

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, 2020. https://doi.org/10.1109/TSP.2020.3010355.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8271
He, Peng, Yuzhou Zhang, and Guanghui Xiao. “Origin of a Subgenome and Genome Evolution of Allotetraploid Cotton Species.” Molecular Plant, n.d. https://doi.org/10.1016/j.molp.2020.07.006.
View | DOI | PubMed | Europe PMC
 

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 21, no. 16 (2020). https://doi.org/10.3390/ijms21165727.
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 125, no. 4 (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 Leibniz International Proceedings in Informatics, 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 | Preprint | IST-REx-ID: 8307 | OA
Stewart, Alistair, and Eleftherios Kokoris Kogias. “GRANDPA: A Byzantine Finality Gadget.” ArXiv, n.d.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8317 | OA
Aichholzer, Oswin, Hugo A. Akitaya, Kenneth C. Cheung, Erik D. Demaine, Martin L. Demaine, Sándor P. Fekete, Linda Kleist, et al. “Folding Polyominoes with Holes into a Cube.” Computational Geometry: Theory and Applications 93 (n.d.). https://doi.org/10.1016/j.comgeo.2020.101700.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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 102, no. 1 (2020). https://doi.org/10.1103/PhysRevA.102.012224.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8320
Mukba, S. A., Petr Vlasov, P. M. Kolosov, E. Y. Shuvalova, T. V. Egorova, and E. Z. Alkalaeva. “Expanding the Genetic Code: Unnatural Base Pairs in Biological Systems.” Molecular Biology 54, no. 4 (2020): 475–84. https://doi.org/10.1134/S0026893320040111.
View | Files available | DOI
 

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

2020 | Journal Article | IST-REx-ID: 8323 | OA
Pach, János. “A Farewell to Ricky Pollack.” Discrete and Computational Geometry, 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, 2020. https://doi.org/10.1007/s00220-020-03828-8.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8329
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, n.d. https://doi.org/10.1002/anie.202008253.
View | DOI
 

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 11 (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 11 (2020). https://doi.org/10.1038/s41467-020-17700-9.
View | DOI | Download Published Version (ext.)
 

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, 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 | Thesis | IST-REx-ID: 8341
Bezeljak, Urban. In Vitro Reconstitution of a Rab Activation Switch. IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8341.
View | Files available | DOI
 

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 | Journal Article | IST-REx-ID: 8361
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 480, no. 12 (2020). https://doi.org/10.1016/j.jpowsour.2020.228803.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8373 | OA
Pitrik, József, and Daniel Virosztek. “A Divergence Center Interpretation of General Symmetric Kubo-Ando Means, and Related Weighted Multivariate Operator Means.” Linear Algebra and Its Applications 609 (2020): 203–17. https://doi.org/10.1016/j.laa.2020.09.007.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8193
Chatterjee, Krishnendu, Martin Chmelik, Deep Karkhanis, Petr Novotný, and Amélie Royer. “Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications.” In Proceedings of the 30th International Conference on Automated Planning and Scheduling, 30:48–56. Association for the Advancement of Artificial Intelligence, 2020.
View | Files available
 

2020 | Journal Article | IST-REx-ID: 7847 | OA
Bouchal, Roza, Zhujie Li, Chandra Bongu, Steven Le Vot, Romain Berthelot, Benjamin Rotenberg, Fréderic Favier, Stefan Alexander Freunberger, Mathieu Salanne, and Olivier Fontaine. “Competitive Salt Precipitation/Dissolution during Free‐water Reduction in Water‐in‐salt Electrolyte.” Angewandte Chemie International Edition 59, no. 37 (2020): 15913–1591. https://doi.org/10.1002/anie.202005378.
View | Files available | DOI | PubMed | Europe PMC
 

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 132, no. 37 (2020): 16047–51. https://doi.org/10.1002/ange.202005378.
View | Files available | DOI
 

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 39, no. 4 (2020). https://doi.org/10.1145/3386569.3392405.
View | DOI | Download Published Version (ext.)
 

Search

Filter Publications