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.




3025 Publications

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 | 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. Elsevier, 2020. 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. 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 | 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. Springer Nature, 2020. 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. Russian Academy of Sciences, 2020. https://doi.org/10.31857/S0026898420040126.
View | Files available | DOI | PubMed | Europe PMC
 
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 | Thesis | IST-REx-ID: 8340
Kampjut, Domen. “Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8340.
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 8341
Bezeljak, Urban. “In Vitro Reconstitution of a Rab Activation Switch.” IST Austria, 2020. 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 | Thesis | IST-REx-ID: 8350
Shamipour, Shayan. “Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes .” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8350.
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 8353
Steiner, Julia. “Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8353.
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 8358 | OA
Dos Santos Caldas, Paulo R. “Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers.” IST Austria, 2020. 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: 8383
Alistarh, Dan-Adrian, James Aspnes, Faith Ellen, Rati Gelashvili, and Leqi Zhu. “Brief Announcement: Why Extension-Based Proofs Fail.” In Proceedings of the 39th Symposium on Principles of Distributed Computing, 54–56. ACM, 2020. https://doi.org/10.1145/3382734.3405743.
View | 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. 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
 

Search

Filter Publications