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.
6465 Publications
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7944 |
Masárová, Zuzana. Reconfiguration Problems. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7944.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8574 |
Szep, Eniko. Local Adaptation in Metapopulations. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8574.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7629 |
Forkert, Dominik L. Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7629.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8032 |
Huszár, Kristóf. Combinatorial Width Parameters for 3-Dimensional Manifolds. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8032.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8353 |
Steiner, Julia. Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8353.
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8332 |
Kragl, Bernhard. Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8332.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Journal Article |
IST-REx-ID: 8284 |
Steiner, Julia, and Leonid A. Sazanov. “Structure and Mechanism of the Mrp Complex, an Ancient Cation/Proton Antiporter.” ELife, vol. 9, e59407, eLife Sciences Publications, 2020, doi:10.7554/eLife.59407.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7460 |
Ölsböck, Katharina. The Hole System of Triangulated Shapes. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7460.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Conference Paper |
IST-REx-ID: 8195 |
Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” Computer Aided Verification, vol. 12224, Springer Nature, 2020, pp. 275–98, doi:10.1007/978-3-030-53288-8_14.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |
Published |
Conference Paper |
IST-REx-ID: 8012 |
Kragl, Bernhard, et al. “Inductive Sequentialization of Asynchronous Programs.” Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–42, doi:10.1145/3385412.3385980.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7896 |
Kamath Hosdurg, Chethan. On the Average-Case Hardness of Total Search Problems. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7896.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Journal Article |
IST-REx-ID: 7212 |
Tkadlec, Josef, et al. “Limits on Amplifiers of Natural Selection under Death-Birth Updating.” PLoS Computational Biology, vol. 16, e1007494, Public Library of Science, 2020, doi:10.1371/journal.pcbi.1007494.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8589 |
Han, Huibin. Novel Insights into PIN Polarity Regulation during Arabidopsis Development. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8589.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7196 |
Tkadlec, Josef. A Role of Graphs in Evolutionary Processes. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7196.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Journal Article |
IST-REx-ID: 7643 |
Han, Huibin, et al. “SCF TIR1/AFB Auxin Signaling for Bending Termination during Shoot Gravitropism.” Plant Physiology, vol. 183, no. 5, American Society of Plant Biologists, 2020, pp. 37–40, doi:10.1104/pp.20.00212.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2020 |
Published |
Journal Article |
IST-REx-ID: 7569 |
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
| PubMed | Europe PMC
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8341 |
Bezeljak, Urban. In Vitro Reconstitution of a Rab Activation Switch. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8341.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8155 |
Grah, Rok. Gene Regulation across Scales – How Biophysical Constraints Shape Evolution. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8155.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Journal Article |
IST-REx-ID: 7580 |
Bezeljak, Urban, et al. “Stochastic Activation and Bistability in a Rab GTPase Regulatory Network.” Proceedings of the National Academy of Sciences of the United States of America, vol. 117, no. 12, National Academy of Sciences, 2020, pp. 6504–49, doi:10.1073/pnas.1921027117.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2020 |
Published |
Preprint |
IST-REx-ID: 7675 |
Grah, Rok, et al. “Normative Models of Enhancer Function.” BioRxiv, Cold Spring Harbor Laboratory, 2020, doi:10.1101/2020.04.08.029405.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)