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.




2782 Publications

2020 | Technical Report | IST-REx-ID: 8067 | OA
Varzi A, Thanner K, Scipioni R, et al. Current Status and Future Perspectives of Lithium Metal Batteries. IST Austria doi:10.15479/AT:ISTA:8067
View | Files available | DOI
 
2020 | Research Data | IST-REx-ID: 8097 | OA
Kavcic B. 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: 8105 | OA
Lombardi F, Wang JWJL, Zhang X, Ivanov PC. 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. 2020;230. doi:10.1051/epjconf/202023000005
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8139
Johnson AJ, Gnyliukh N, Kaufmann W, et al. Experimental toolbox for quantitative evaluation of clathrin-mediated endocytosis in the plant model Arabidopsis. Journal of Cell Science. 2020. doi:10.1242/jcs.248062
View | DOI | PubMed | Europe PMC
 
2020 | Preprint | IST-REx-ID: 8081 | OA
Hobisch MA, Mourad E, Fischer WJ, et al. High specific capacitance supercapacitors from hierarchically organized all-cellulose composites.
View | Files available
 
2020 | Journal Article | IST-REx-ID: 8163 | OA
Vegter G, Wintraecken M. Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes. Studia Scientiarum Mathematicarum Hungarica. 57(2):193-199. doi:10.1556/012.2020.57.2.1454
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8162 | OA
Laukoter S, Pauler F, Beattie RJ, et al. Cell-type specificity of genomic imprinting in cerebral cortex. Neuron. 107(9):1-20. doi:10.1016/j.neuron.2020.06.031
View | DOI | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 7389 | OA
Geher GP, Titkos T, Virosztek D. Isometric study of Wasserstein spaces - the real line. Transactions of the American Mathematical Society. 2020;373(8):5855-5883. doi:10.1090/tran/8113
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Thesis | IST-REx-ID: 8156 | OA
Avvakumov S. Topological Methods in Geometry and Discrete Mathematics. IST Austria; 2020. doi:10.15479/AT:ISTA:8156
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 7675 | OA
Grah R, Zoller B, Tkačik G. Normative models of enhancer function. bioRxiv. 2020.
View | Files available | Download Preprint (ext.)
 
2020 | Conference Paper | IST-REx-ID: 8186 | OA
Henderson PM, Tsiminaki V, Lampert C. Leveraging 2D data to learn textured 3D mesh generation. In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. CVF; 2020:7498-7507.
View | Files available | Download Submitted Version (ext.) | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8193
Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. Multiple-environment Markov decision processes: Efficient analysis and applications. In: Proceedings of the 30th International Conference on Automated Planning and Scheduling. Vol 30. Association for the Advancement of Artificial Intelligence; 2020:48-56.
View
 
2020 | Preprint | IST-REx-ID: 8188 | OA
Henderson PM, Lampert C. Unsupervised object-centric video generation and decomposition in 3D. arXiv:200706705.
View | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8199 | OA
Gulden T, Berg E, Rudner MS, Lindner N. Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. SciPost Physics. 2020;9. doi:10.21468/scipostphys.9.1.015
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point arithmetic. In: Automated Reasoning. Vol 12166. Springer Nature; 2020: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 B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298. doi:10.1007/978-3-030-53288-8_14
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8191
Alistarh D-A, Brown TA, Singhal N. Memory tagging: Minimalist synchronization for scalable concurrent data structures. In: Annual ACM Symposium on Parallelism in Algorithms and Architectures. ACM; 2020:37-49. doi:10.1145/3350755.3400213
View | DOI
 
2020 | Preprint | IST-REx-ID: 8198 | OA
Diringer AA, Gulden T. Robustness of the Floquet many-body localized phase in the presence of a  smooth and a non-smooth drive. arXiv:200714879.
View | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8203 | OA
Katsaros G, Kukucka J, Vukušić L, et al. Zero field splitting of heavy-hole states in quantum dots. Nano Letters. 2020;20(7):5201-5206. doi:10.1021/acs.nanolett.0c01466
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Research Data | IST-REx-ID: 7689 | OA
Katsaros G. Supplementary Data for “Zero Field Splitting of Heavy-Hole States in Quantum Dots.” IST Austria; 2020. doi:10.15479/AT:ISTA:7689
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 6184 | OA
Alt J, Erdös L, Krüger TH, Schröder DJ. Correlated random matrices: Band rigidity and edge universality. Annals of Probability. 2020;48(2):963-1001.
View | Files available | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7546 | OA
Beets I, Zhang G, Fenk LA, et al. Natural variation in a dendritic scaffold protein remodels experience-dependent plasticity by altering neuropeptide expression. Neuron. 2020;105(1):106-121.e10. doi:10.1016/j.neuron.2019.10.001
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8196 | OA
Shehu Y, Dong Q-L, Liu L-L, Yao J-C. New strong convergence method for the sum of two maximal monotone operators. Optimization and Engineering. 2020. doi:10.1007/s11081-020-09544-5
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8220 | OA
Corominas-Murtra B, Scheele CLGJ, Kishi K, 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. 2020;117(29):16969-16975. doi:10.1073/pnas.1921205117
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7416
Sinclair SA, Krämer U. Generation of effective zinc-deficient agar-solidified media allows identification of root morphology changes in response to zinc limitation. Plant Signaling & Behavior. 2020;15(1). doi:10.1080/15592324.2019.1687175
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7417
Sinclair SA, Gille S, Pauly M, Krämer U. Regulation of acetylation of plant cell wall components is complex and responds to external stimuli. Plant Signaling & Behavior. 2020;15(1). doi:10.1080/15592324.2019.1687185
View | DOI | PubMed | Europe PMC
 
2020 | Thesis | IST-REx-ID: 7680
Kainrath S. Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals. IST Austria; 2020. doi:10.15479/AT:ISTA:7680
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 7944 | OA
Masárová Z. Reconfiguration Problems. IST Austria; 2020. doi:10.15479/AT:ISTA:7944
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 6185 | OA
Erdös L, Krüger TH, Schröder DJ. Cusp universality for random matrices I: Local law and the complex hermitian case. Communications in Mathematical Physics. 2020:50. doi:10.1007/s00220-019-03657-4
View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 6358 | OA
Carlen EA, Maas J. Non-commutative calculus, optimal transport and functional inequalities  in dissipative quantum systems. Journal of Statistical Physics. 2020;178(2):319-378. doi:10.1007/s10955-019-02434-w
View | Files available | DOI | arXiv
 
2020 | Thesis | IST-REx-ID: 7258
Scarselli D. New Approaches to Reduce Friction in Turbulent Pipe Flow. IST Austria; 2020. doi:10.15479/AT:ISTA:7258
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 6563 | OA
Filakovský M, Vokřínek L. Are two given maps homotopic? An algorithmic viewpoint. Foundations of Computational Mathematics. 2020;20:311-330. doi:10.1007/s10208-019-09419-x
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 6593 | OA
Shehu Y, Li X-H, Dong Q-L. An efficient projection-type method for monotone variational inequalities in Hilbert spaces. Numerical Algorithms. 2020;84:365-388. doi:10.1007/s11075-019-00758-y
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 6649 | OA
Benedikter NP, Nam PT, Porta M, Schlein B, Seiringer R. Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime. Communications in Mathematical Physics. 2020;374:2097–2150. doi:10.1007/s00220-019-03505-5
View | Files available | DOI | arXiv
 
2020 | Thesis | IST-REx-ID: 8032 | OA
Huszár K. Combinatorial Width Parameters for 3-Dimensional Manifolds. IST Austria; 2020. doi:10.15479/AT:ISTA:8032
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 7460 | OA
Ölsböck K. The Hole System of Triangulated Shapes. IST Austria; 2020. doi:10.15479/AT:ISTA:7460
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 7896 | OA
Kamath Hosdurg C. On the Average-Case Hardness of Total Search Problems. IST Austria; 2020. doi:10.15479/AT:ISTA:7896
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 6761
Avni G, Henzinger TA, Kupferman O. Dynamic resource allocation games. Theoretical Computer Science. 2020;807:42-55. doi:10.1016/j.tcs.2019.06.031
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 6796 | OA
Stella F, Urdapilleta E, Luo Y, Treves A. Partial coherence and frustration in self-organizing spherical grids. Hippocampus. 2020;30(4):302-313. doi:10.1002/hipo.23144
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 6808 | OA
Jahr W, Velicky P, Danzl JG. Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens. Methods. 2020;174(3):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 AK, Mohammadi F. An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. 2020;193. doi:10.1016/j.ress.2019.106665
View | DOI
 
2020 | Journal Article | IST-REx-ID: 6997 | OA
Zhang Y, Friml J. Auxin guides roots to avoid obstacles during gravitropic growth. New Phytologist. 2020;225(3):1049-1052. doi:10.1111/nph.16203
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7142
Gallei MC, Luschnig C, Friml J. Auxin signalling in growth: Schrödinger’s cat out of the bag. Current Opinion in Plant Biology. 2020;53:43-49. doi:10.1016/j.pbi.2019.10.003
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7149
Avagliano L, Parenti I, Grazioli P, et al. Chromatinopathies: A focus on Cornelia de Lange syndrome. Clinical Genetics. 2020;97(1):3-11. doi:10.1111/cge.13674
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7166
Ucar MC, Lipowsky R. Collective force generation by molecular motors is determined by strain-induced unbinding. Nano Letters. 2020;20(1):669-676. doi:10.1021/acs.nanolett.9b04445
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7204 | OA
Li Y, Wang Y, Tan S, et al. Root growth adaptation is mediated by PYLs ABA receptor-PP2A protein phosphatase complex. Advanced Science. 2020;7(3). doi:10.1002/advs.201901455
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7212 | OA
Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. Limits on amplifiers of natural selection under death-Birth updating. PLoS computational biology. 2020;16. doi:10.1371/journal.pcbi.1007494
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7219
Xiao G, Zhang Y. Adaptive growth: Shaping auxin-mediated root system architecture. Trends in Plant Science. 2020;25(2):121-123. doi:10.1016/j.tplants.2019.12.001
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7224 | OA
Rybicki J, Abrego N, Ovaskainen O. Habitat fragmentation and species diversity in competitive communities. Ecology Letters. 2020;23(3):506-517. doi:10.1111/ele.13450
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7236 | OA
Baskett C, Schroeder L, Weber MG, Schemske DW. Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair. Ecological Monographs. 2020;90(1). doi:10.1002/ecm.1397
View | Files available | DOI
 

Search

Filter Publications