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.
5254 Publications
2020 | Published | Journal Article | IST-REx-ID: 7161 | 
Shehu, Yekini, et al. “Inertial Projection-Type Methods for Solving Quasi-Variational Inequalities in Real Hilbert Spaces.” Journal of Optimization Theory and Applications, vol. 184, Springer Nature, 2020, pp. 877–894, doi:10.1007/s10957-019-01616-6.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Thesis | IST-REx-ID: 7258 |
Scarselli, Davide. New Approaches to Reduce Friction in Turbulent Pipe Flow. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7258.
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 9160 |
Semerádová, Hana, et al. “All Roads Lead to Auxin: Post-Translational Regulation of Auxin Transport by Multiple Hormonal Pathways.” Plant Communications, vol. 1, no. 3, 100048, Elsevier, 2020, doi:10.1016/j.xplc.2020.100048.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8101 |
Grosjean, Galien M., et al. “Quantitatively Consistent Scale-Spanning Model for Same-Material Tribocharging.” Physical Review Materials, vol. 4, no. 8, 082602, American Physical Society, 2020, doi:10.1103/PhysRevMaterials.4.082602.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Research Data | IST-REx-ID: 8930 |
Kavcic, Bor. Analysis Scripts and Research Data for the Paper “Minimal Biophysical Model of Combined Antibiotic Action.” Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8930.
[Published Version]
View
| Files available
| DOI
2020 | Research Data | IST-REx-ID: 8951 |
Nagy-Staron, Anna A. Sequences of Gene Regulatory Network Permutations for the Article “Local Genetic Context Shapes the Function of a Gene Regulatory Network.” Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8951.
[Published Version]
View
| Files available
| DOI
2020 | Published | Preprint | IST-REx-ID: 7673 |
Kavcic, Bor, et al. “A Minimal Biophysical Model of Combined Antibiotic Action.” BioRxiv, Cold Spring Harbor Laboratory, 2020, doi:10.1101/2020.04.18.047886.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2020 | Published | Conference Paper | IST-REx-ID: 7802 |
Czumaj, Artur, et al. “Graph Sparsification for Derandomizing Massively Parallel Computation with Low Space.” Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), no. 7, Association for Computing Machinery, 2020, pp. 175–85, doi:10.1145/3350755.3400282.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Submitted | Preprint | IST-REx-ID: 7800 |
Morandell, Jasmin, et al. “Cul3 Regulates Cytoskeleton Protein Homeostasis and Cell Migration during a Critical Window of Brain Development.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2020.01.10.902064 .
[Preprint]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 7814 |
Beattie, Robert J., et al. “SCOPES: Sparking Curiosity through Open-Source Platforms in Education and Science.” Frontiers in Education, vol. 5, 48, Frontiers Media, 2020, doi:10.3389/feduc.2020.00048.
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 7803 |
Czumaj, Artur, et al. “Simple, Deterministic, Constant-Round Coloring in the Congested Clique.” Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2020, pp. 309–18, doi:10.1145/3382734.3405751.
[Submitted Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7594 |
Gotfryd, Dorota, et al. “How Spin-Orbital Entanglement Depends on the Spin-Orbit Coupling in a Mott Insulator.” Physical Review Research, vol. 2, no. 1, 013353, American Physical Society, 2020, doi:10.1103/PhysRevResearch.2.013353.
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 7505 |
Henzinger, Thomas A., et al. “Outside the Box: Abstraction-Based Monitoring of Neural Networks.” 24th European Conference on Artificial Intelligence, vol. 325, IOS Press, 2020, pp. 2433–40, doi:10.3233/FAIA200375.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8725 |
Aksenov, Vitaly, et al. “The Splay-List: A Distribution-Adaptive Concurrent Skip-List.” 34th International Symposium on Distributed Computing, vol. 179, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 3:1-3:18, doi:10.4230/LIPIcs.DISC.2020.3.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8978 |
Laukoter, Susanne, et al. “Generation and Isolation of Single Cells from Mouse Brain with Mosaic Analysis with Double Markers-Induced Uniparental Chromosome Disomy.” STAR Protocols, vol. 1, no. 3, 100215, Elsevier, 2020, doi:10.1016/j.xpro.2020.100215.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8011 |
Michailidis, Alexios, et al. “Stabilizing Two-Dimensional Quantum Scars by Deformation and Synchronization.” Physical Review Research, vol. 2, no. 2, 022065, American Physical Society, 2020, doi:10.1103/physrevresearch.2.022065.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 7919 |
Mistakidis, S. I., et al. “Induced Correlations between Impurities in a One-Dimensional Quenched Bose Gas.” Physical Review Research, vol. 2, 023154, American Physical Society, 2020, doi:10.1103/physrevresearch.2.023154.
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 8572 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Published | Conference Paper | IST-REx-ID: 8571 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Published | Journal Article | IST-REx-ID: 7389 |
Geher, Gyorgy Pal, et al. “Isometric Study of Wasserstein Spaces - the Real Line.” Transactions of the American Mathematical Society, vol. 373, no. 8, American Mathematical Society, 2020, pp. 5855–83, doi:10.1090/tran/8113.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv