Please note that ISTA 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.

4958 Publications


2021 | Published | Thesis | IST-REx-ID: 10199 | OA
Toman, Viktor. Improved Verification Techniques for Concurrent Systems. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10199.
[Published Version] View | Files available | DOI
 

2021 | Published | Journal Article | IST-REx-ID: 10191 | OA
Bui, Truc Lam, et al. “The Reads-from Equivalence for the TSO and PSO Memory Models.” Proceedings of the ACM on Programming Languages, vol. 5, no. OOPSLA, 164, Association for Computing Machinery, 2021, doi:10.1145/3485541.
[Published Version] View | Files available | DOI | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 5681 | OA
Hikaru, Ibayashi, et al. “Simulating Liquids on Dynamically Warping Grids.” IEEE Transactions on Visualization and Computer Graphics, vol. 26, no. 6, IEEE, 2020, pp. 2288–302, doi:10.1109/TVCG.2018.2883628.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 7546 | OA
Beets, Isabel, et al. “Natural Variation in a Dendritic Scaffold Protein Remodels Experience-Dependent Plasticity by Altering Neuropeptide Expression.” Neuron, vol. 105, no. 1, Cell Press, 2020, p. 106–121.e10, doi:10.1016/j.neuron.2019.10.001.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 7554 | OA
Edelsbrunner, Herbert, and Anton Nikitenko. “Weighted Poisson–Delaunay Mosaics.” Theory of Probability and Its Applications, vol. 64, no. 4, SIAM, 2020, pp. 595–614, doi:10.1137/S0040585X97T989726.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7563 | OA
Yalniz, Gökhan, and Nazmi B. Budanur. “Inferring Symbolic Dynamics of Chaotic Flows from Persistence.” Chaos, vol. 30, no. 3, 033109, AIP Publishing, 2020, doi:10.1063/1.5122969.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7567 | OA
Choudhary, Aruni, et al. “Coxeter Triangulations Have Good Quality.” Mathematics in Computer Science, vol. 14, Springer Nature, 2020, pp. 141–76, doi:10.1007/s11786-020-00461-5.
[Published Version] View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 7569 | OA
Grah, Rok, and Tamar Friedlander. “The Relation between Crosstalk and Gene Regulation Form Revisited.” PLOS Computational Biology, vol. 16, no. 2, e1007642, Public Library of Science, 2020, doi:10.1371/journal.pcbi.1007642.
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 7570 | OA
Michailidis, Alexios, et al. “Slow Quantum Thermalization and Many-Body Revivals from Mixed Phase Space.” Physical Review X, vol. 10, no. 1, 011055, American Physical Society, 2020, doi:10.1103/physrevx.10.011055.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Published | Book Chapter | IST-REx-ID: 7572 | OA
Dos Santos Caldas, Paulo R., et al. “Computational Analysis of Filament Polymerization Dynamics in Cytoskeletal Networks.” Methods in Cell Biology, edited by Phong Tran, vol. 158, Elsevier, 2020, pp. 145–61, doi:10.1016/bs.mcb.2020.01.006.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 7573 | OA
Gladbach, Peter, et al. “Homogenisation of One-Dimensional Discrete Optimal Transport.” Journal de Mathematiques Pures et Appliquees, vol. 139, no. 7, Elsevier, 2020, pp. 204–34, doi:10.1016/j.matpur.2020.02.008.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7580 | OA
Bezeljak, Urban, et al. “Stochastic Activation and Bistability in a Rab GTPase Regulatory Network.” Proceedings of the National Academy of Sciences, vol. 117, no. 12, Proceedings of the National Academy of Sciences, 2020, pp. 6504–49, doi:10.1073/pnas.1921027117.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 7586 | OA
Weinert, Stefanie, et al. “Uncoupling Endosomal CLC Chloride/Proton Exchange Causes Severe Neurodegeneration.” EMBO Journal, vol. 39, e103358, EMBO Press, 2020, doi:10.15252/embj.2019103358.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 7593 | OA
Moon, Hyang Mi, et al. “LIS1 Determines Cleavage Plane Positioning by Regulating Actomyosin-Mediated Cell Membrane Contractility.” ELife, vol. 9, 51512, eLife Sciences Publications, 2020, doi:10.7554/elife.51512.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 7594 | OA
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 | Journal Article | IST-REx-ID: 7600 | OA
Tan, Shutang, et al. “The Lipid Code-Dependent Phosphoswitch PDK1–D6PK Activates PIN-Mediated Auxin Efflux in Arabidopsis.” Nature Plants, vol. 6, Springer Nature, 2020, pp. 556–69, doi:10.1038/s41477-020-0648-9.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 

2020 | Published | Preprint | IST-REx-ID: 7601 | OA
Wei, Zhuang, et al. “Plasmodesmata-like Intercellular Connections by Plant Remorin in Animal Cells.” BioRxiv, Cold Spring Harbor Laboratory, 2020, doi:10.1101/791137.
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 | Published | Journal Article | IST-REx-ID: 7603 | OA
Nimeth, Barbara Anna, et al. “Alternative Splicing and DNA Damage Response in Plants.” Frontiers in Plant Science, vol. 11, 91, Frontiers, 2020, doi:10.3389/fpls.2020.00091.
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 7605 | OA
Alistarh, Dan-Adrian, et al. “In Search of the Fastest Concurrent Union-Find Algorithm.” 23rd International Conference on Principles of Distributed Systems, vol. 153, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 15:1-15:16, doi:10.4230/LIPIcs.OPODIS.2019.15.
[Published Version] View | Files available | DOI | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7611 | OA
Rademacher, Simone Anna Elvira. “Central Limit Theorem for Bose Gases Interacting through Singular Potentials.” Letters in Mathematical Physics, vol. 110, Springer Nature, 2020, pp. 2143–74, doi:10.1007/s11005-020-01286-w.
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

department=IST

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed