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.




3024 Publications

2020 | Conference Paper | IST-REx-ID: 8533 | OA
Chatterjee, Krishnendu, et al. “Simplified Game of Life: Algorithms and Complexity.” 45th International Symposium on Mathematical Foundations of Computer Science, vol. 170, 22:1-22:13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.MFCS.2020.22.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8534 | OA
Jecker, Ismael R., et al. “Unary Prime Languages.” 45th International Symposium on Mathematical Foundations of Computer Science, vol. 170, 51:1-51:12, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.MFCS.2020.51.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8535 | OA
Skrivan, Tomas, et al. “Wave Curves: Simulating Lagrangian Water Waves on Dynamically Deforming Surfaces.” ACM Transactions on Graphics, vol. 39, no. 4, 65, Association for Computing Machinery, 2020, doi:10.1145/3386569.3392466.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8536 | OA
Mondelli, Marco, et al. “Simplified Successive Cancellation Decoding of Polar Codes Has Sublinear Latency.” IEEE International Symposium on Information Theory - Proceedings, vol. 2020–June, 401–406, IEEE, 2020, doi:10.1109/ISIT44484.2020.9174141.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8538 | OA
Akopyan, Arseniy, et al. “Billiards in Ellipses Revisited.” European Journal of Mathematics, Springer Nature, 2020, doi:10.1007/s40879-020-00426-9.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8539 | OA
Su, C., et al. “On the K-Theory Stable Bases of the Springer Resolution.” Annales Scientifiques de l’Ecole Normale Superieure, vol. 53, no. 3, Société Mathématique de France, 2020, pp. 663–71, doi:10.24033/asens.2431.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8544 | OA
Takeo, Yukari H., et al. “GluD2- and Cbln1-Mediated Competitive Synaptogenesis Shapes the Dendritic Arbors of Cerebellar Purkinje Cells.” Neuron, Elsevier, doi:10.1016/j.neuron.2020.11.028.
View | DOI | Download Preprint (ext.)
 
2020 | Preprint | IST-REx-ID: 8545 | OA
Contreras, Ximena, et al. “A Genome-Wide Library of MADM Mice for Single-Cell Genetic Mosaic Analysis.” BioRxiv, Cold Spring Harbor Laboratory, 2020, doi:10.1101/2020.06.05.136192.
View | DOI | Download Preprint (ext.)
 
2020 | Preprint | IST-REx-ID: 8546 | OA
Zhang, Tingting, et al. “Generation of Neuronal Diversity from Common Progenitors via Notch Signaling in the Cerebellum.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2020.03.18.997205.
View | DOI | Download Preprint (ext.)
 
2020 | Preprint | IST-REx-ID: 8557 | OA
Belyaeva, Vera, et al. “Cortical Actin Properties Controlled by Drosophila Fos Aid Macrophage Infiltration against Surrounding Tissue Resistance.” BioRxiv, doi:10.1101/2020.09.18.301481.
View | Files available | DOI | Download Preprint (ext.)
 
2020 | Journal Article | IST-REx-ID: 8562 | OA
Gavriil, Konstantinos, et al. “Computational Design of Cold Bent Glass Façades.” ACM Transactions on Graphics, vol. 39, no. 6, 208, ACM, 2020, doi:10.1145/3414685.3417843.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2020 | Research Data | IST-REx-ID: 8563 | OA
Csicsvari, Jozsef L., et al. Optogenetic Alteration of Hippocampal Network Activity. IST Austria, 2020, doi:10.15479/AT:ISTA:8563.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8568 | OA
Prehal, Christian, et al. “Persistent and Reversible Solid Iodine Electrodeposition in Nanoporous Carbons.” Nature Communications, vol. 11, 4838, Springer Nature, 2020, doi:10.1038/s41467-020-18610-6.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8569 | OA
Hansen, Andi H., and Simon Hippenmeyer. “Non-Cell-Autonomous Mechanisms in Radial Projection Neuron Migration in the Developing Cerebral Cortex.” Frontiers in Cell and Developmental Biology, vol. 8, no. 9, 574382, Frontiers, 2020, doi:10.3389/fcell.2020.574382.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 8571 | OA
Geretti, Luca, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” EPiC Series in Computing, vol. 74, EasyChair, 2020, pp. 49–75, doi:10.29007/zkf6.
View | DOI | Download Published Version (ext.)
 
2020 | Conference Paper | IST-REx-ID: 8572 | OA
Althoff, Matthias, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Dynamics.” EPiC Series in Computing, vol. 74, EasyChair, 2020, pp. 16–48, doi:10.29007/7dt2.
View | DOI | Download Published Version (ext.)
 
2020 | Thesis | IST-REx-ID: 8574 | OA
Szep, Eniko. Local Adaptation in Metapopulations. IST Austria, 2020, doi:10.15479/AT:ISTA:8574.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8579 | OA
Andrei, Andreea, et al. “Cu Homeostasis in Bacteria: The Ins and Outs.” Membranes, vol. 10, no. 9, 242, MDPI, 2020, doi:10.3390/membranes10090242.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8580
Graff, Grzegorz, et al. “The Application of Persistent Homology in the Analysis of Heart Rate Variability.” 11th Conference of the European Study Group on Cardiovascular Oscillations: Computation and Modelling in Physiology: New Challenges and Opportunities, , 9158054, IEEE, 2020, doi:10.1109/ESGCO49734.2020.9158054.
View | DOI
 
2020 | Journal Article | IST-REx-ID: 8581
Pinke, Gergely, et al. “Cryo-EM Structure of the Entire Mammalian F-Type ATP Synthase.” Nature Structural and Molecular Biology, vol. 27, no. 11, Springer Nature, 2020, pp. 1077–85, doi:10.1038/s41594-020-0503-8.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8586 | OA
Fäßler, Florian, et al. “3D Printed Cell Culture Grid Holders for Improved Cellular Specimen Preparation in Cryo-Electron Microscopy.” Journal of Structural Biology, vol. 212, no. 3, 107633, Elsevier, 2020, doi:10.1016/j.jsb.2020.107633.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8587 | OA
Li, Xiang, et al. “Intermolecular Forces and Correlations Mediated by a Phonon Bath.” The Journal of Chemical Physics, vol. 152, no. 16, 164302, AIP Publishing, 2020, doi:10.1063/1.5144759.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8588 | OA
Hubert, C., et al. “Attractive Interactions, Molecular Complexes, and Polarons in Coupled Dipolar Exciton Fluids.” Physical Review B, vol. 102, no. 4, 045307, American Physical Society, 2020, doi:10.1103/physrevb.102.045307.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Thesis | IST-REx-ID: 8589
Han, Huibin. Novel Insights into PIN Polarity Regulation during Arabidopsis Development. IST Austria, 2020, doi:10.15479/AT:ISTA:8589.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8592 | OA
Tian, Anhao, et al. “Oncogenic State and Cell Identity Combinatorially Dictate the Susceptibility of Cells within Glioma Development Hierarchy to IGF1R Targeting.” Advanced Science, vol. 7, no. 21, 2001724, Wiley, 2020, doi:10.1002/advs.202001724.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8597 | OA
Merrin, Jack. “Differences in Power Law Growth over Time and Indicators of COVID-19 Pandemic Progression Worldwide.” Physical Biology, vol. 17, no. 6, 065005, IOP Publishing, 2020, doi:10.1088/1478-3975/abb2db.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8599 | OA
Avni, Guy, and Thomas A. Henzinger. “A Survey of Bidding Games on Graphs.” 31st International Conference on Concurrency Theory, vol. 171, 2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.CONCUR.2020.2.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8600 | OA
Chatterjee, Krishnendu, et al. “Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States.” 31st International Conference on Concurrency Theory, vol. 171, 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.CONCUR.2020.23.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8601 | OA
Cipolloni, Giorgio, et al. “Edge Universality for Non-Hermitian Random Matrices.” Probability Theory and Related Fields, Springer Nature, 2020, doi:10.1007/s00440-020-01003-7.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8602 | OA
Boocock, Daniel R., et al. “Theory of Mechanochemical Patterning and Optimal Migration in Cell Monolayers.” Nature Physics, Springer Nature, 2020, doi:10.1038/s41567-020-01037-7.
View | Files available | DOI | Download Preprint (ext.)
 
2020 | Journal Article | IST-REx-ID: 8603
Frank, Rupert, and Robert Seiringer. “Quantum Corrections to the Pekar Asymptotics of a Strongly Coupled Polaron.” Communications on Pure and Applied Mathematics, vol. 74, no. 3, Wiley, 2020, pp. 544–88, doi:10.1002/cpa.21944.
View | DOI
 
2020 | Journal Article | IST-REx-ID: 8606 | OA
He, P., et al. “GhARF16-1 Modulates Leaf Development by Transcriptionally Regulating the GhKNOX2-1 Gene in Cotton.” Plant Biotechnology Journal, Wiley, 2020, doi:10.1111/pbi.13484.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8607 | OA
Liu, D., et al. “Endocytosis of BRASSINOSTEROID INSENSITIVE1 Is Partly Driven by a Canonical Tyrosine-Based Motif.” Plant Cell, vol. 32, no. 11, American Society of Plant Biologists, 2020, pp. 3598–612, doi:10.1105/tpc.20.00384.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Preprint | IST-REx-ID: 8616 | OA
Gao, Xiaofei, et al. “Reduction of Neuronal Activity Mediated by Blood-Vessel Regression in the Brain.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2020.09.15.262782.
View | DOI | Download Preprint (ext.)
 
2020 | Thesis | IST-REx-ID: 8620
Morandell, Jasmin. Illuminating the Role of Cul3 in Autism Spectrum Disorder Pathogenesis. IST Austria, 2020, doi:10.15479/AT:ISTA:8620.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8623 | OA
Henzinger, Thomas A., and Naci E. Sarac. “Monitorability under Assumptions.” Runtime Verification, vol. 12399, Springer Nature, 2020, pp. 3–18, doi:10.1007/978-3-030-60508-7_1.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8634 | OA
Suri, Balachandra, et al. “Capturing Turbulent Dynamics and Statistics in Experiments with Unstable Periodic Orbits.” Physical Review Letters, vol. 125, no. 6, 064501, American Physical Society, 2020, doi:10.1103/physrevlett.125.064501.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8643 | OA
Deichler, Alfonso, et al. “A Specialized Reciprocal Connectivity Suggests a Link between the Mechanisms by Which the Superior Colliculus and Parabigeminal Nucleus Produce Defensive Behaviors in Rodents.” Scientific Reports, vol. 10, 16220, Springer Nature, 2020, doi:10.1038/s41598-020-72848-0.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8644 | OA
Rzadkowski, Wojciech, et al. “Detecting Composite Orders in Layered Models via Machine Learning.” New Journal of Physics, vol. 22, no. 9, 093026, IOP Publishing, 2020, doi:10.1088/1367-2630/abae44.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8645 | OA
Esteban, Laura A., et al. “HypercubeME: Two Hundred Million Combinatorially Complete Datasets from a Single Experiment.” Bioinformatics, vol. 36, no. 6, Oxford Academic, 2020, pp. 1960–62, doi:10.1093/bioinformatics/btz841.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8652 | OA
Ghazaryan, Areg, et al. “Filtering Spins by Scattering from a Lattice of Point Magnets.” Communications Physics, vol. 3, 178, Springer Nature, 2020, doi:10.1038/s42005-020-00445-8.
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 8653
Tomanek, Isabella. The Evolution of Gene Expression by Copy Number and Point Mutations. IST Austria, 2020, doi:10.15479/AT:ISTA:8653.
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 8657
Kavcic, Bor. Perturbations of Protein Synthesis: From Antibiotics to Genetics and Physiology. IST Austria, 2020, doi:10.15479/AT:ISTA:8657.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8669 | OA
Sznurkowska, Magdalena K., et al. “Tracing the Cellular Basis of Islet Specification in Mouse Pancreas.” Nature Communications, vol. 11, 5037, Springer Nature, 2020, doi:10.1038/s41467-020-18837-3.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8670 | OA
Zhang, Haonan. “Equality Conditions of Data Processing Inequality for α-z Rényi Relative Entropies.” Journal of Mathematical Physics, vol. 61, no. 10, 102201, AIP, 2020, doi:10.1063/5.0022787.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8671 | OA
Shakiba, A., et al. “A Note on Belief Structures and S-Approximation Spaces.” Iranian Journal of Mathematical Sciences and Informatics, vol. 15, no. 2, ACECR Tarbiat Modares University, 2020, pp. 117–28, doi:10.29252/ijmsi.15.2.117.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8672 | OA
Chaigne, Agathe, et al. “Abscission Couples Cell Division to Embryonic Stem Cell Fate.” Developmental Cell, vol. 55, no. 2, Elsevier, 2020, pp. 195–208, doi:10.1016/j.devcel.2020.09.001.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8673 | OA
Modic, Kimberly A., et al. “Scale-Invariant Magnetic Anisotropy in RuCl3 at High Magnetic Fields.” Nature Physics, Springer Nature, 2020, doi:10.1038/s41567-020-1028-0.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8674 | OA
Henneberger, Christian, et al. “LTP Induction Boosts Glutamate Spillover by Driving Withdrawal of Perisynaptic Astroglia.” Neuron, vol. 108, no. 5, Elsevier, 2020, p. P919–936.E11, doi:10.1016/j.neuron.2020.08.030.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8679
Lechner, Mathias, et al. “Neural Circuit Policies Enabling Auditable Autonomy.” Nature Machine Intelligence, vol. 2, Springer Nature, 2020, pp. 642–52, doi:10.1038/s42256-020-00237-3.
View | Files available | DOI
 

Search

Filter Publications