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.
6532 Publications
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8574 |
Local adaptation in metapopulations
E. Szep, Local Adaptation in Metapopulations, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
E. Szep, Local Adaptation in Metapopulations, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7629 |
Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains
D.L. Forkert, 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.
[Published Version]
View
| Files available
| DOI
D.L. Forkert, 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.
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8032 |
Combinatorial width parameters for 3-dimensional manifolds
K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8353 |
Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I
J. Steiner, Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I, Institute of Science and Technology Austria, 2020.
View
| Files available
| DOI
J. Steiner, Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8332 |
Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Journal Article |
IST-REx-ID: 8284 |
Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter
J. Steiner, L.A. Sazanov, ELife 9 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Steiner, L.A. Sazanov, ELife 9 (2020).
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7460 |
The hole system of triangulated shapes
K. Ölsböck, The Hole System of Triangulated Shapes, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
K. Ölsböck, The Hole System of Triangulated Shapes, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Conference Paper |
IST-REx-ID: 8195 |
Refinement for structured concurrent programs
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
[Published Version]
View
| Files available
| DOI
| WoS
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
2020 |
Published |
Conference Paper |
IST-REx-ID: 8012 |
Inductive sequentialization of asynchronous programs
B. Kragl, C. Enea, T.A. Henzinger, S.O. Mutluergil, S. Qadeer, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–242.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
B. Kragl, C. Enea, T.A. Henzinger, S.O. Mutluergil, S. Qadeer, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–242.
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7896 |
On the average-case hardness of total search problems
C. Kamath Hosdurg, On the Average-Case Hardness of Total Search Problems, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
C. Kamath Hosdurg, On the Average-Case Hardness of Total Search Problems, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8589 |
Novel insights into PIN polarity regulation during Arabidopsis development
H. Han, Novel Insights into PIN Polarity Regulation during Arabidopsis Development, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
H. Han, Novel Insights into PIN Polarity Regulation during Arabidopsis Development, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Journal Article |
IST-REx-ID: 7643 |
SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism
H. Han, H. Rakusova, I. Verstraeten, Y. Zhang, J. Friml, Plant Physiology 183 (2020) 37–40.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
H. Han, H. Rakusova, I. Verstraeten, Y. Zhang, J. Friml, Plant Physiology 183 (2020) 37–40.
2020 |
Published |
Journal Article |
IST-REx-ID: 7569 |
The relation between crosstalk and gene regulation form revisited
R. Grah, T. Friedlander, PLOS Computational Biology 16 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R. Grah, T. Friedlander, PLOS Computational Biology 16 (2020).
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8341 |
In vitro reconstitution of a Rab activation switch
U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8155 |
Gene regulation across scales – how biophysical constraints shape evolution
R. Grah, Gene Regulation across Scales – How Biophysical Constraints Shape Evolution, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
R. Grah, Gene Regulation across Scales – How Biophysical Constraints Shape Evolution, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Journal Article |
IST-REx-ID: 7580 |
Stochastic activation and bistability in a Rab GTPase regulatory network
U. Bezeljak, H. Loya, B.M. Kaczmarek, T.E. Saunders, M. Loose, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 6504–6549.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
U. Bezeljak, H. Loya, B.M. Kaczmarek, T.E. Saunders, M. Loose, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 6504–6549.
2020 |
Published |
Preprint |
IST-REx-ID: 7675 |
Normative models of enhancer function
R. Grah, B. Zoller, G. Tkačik, BioRxiv (2020).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
R. Grah, B. Zoller, G. Tkačik, BioRxiv (2020).
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8366 |
Computational design of curved thin shells: From glass façades to programmable matter
R. Guseinov, Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
R. Guseinov, Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Journal Article |
IST-REx-ID: 8562 |
Computational design of cold bent glass façades
K. Gavriil, R. Guseinov, J. Perez Rodriguez, D. Pellis, P.M. Henderson, F. Rist, H. Pottmann, B. Bickel, ACM Transactions on Graphics 39 (2020).
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
K. Gavriil, R. Guseinov, J. Perez Rodriguez, D. Pellis, P.M. Henderson, F. Rist, H. Pottmann, B. Bickel, ACM Transactions on Graphics 39 (2020).
2020 |
Published |
Journal Article |
IST-REx-ID: 7262 |
Programming temporal morphing of self-actuated shells
R. Guseinov, C. McMahan, J. Perez Rodriguez, C. Daraio, B. Bickel, Nature Communications 11 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R. Guseinov, C. McMahan, J. Perez Rodriguez, C. Daraio, B. Bickel, Nature Communications 11 (2020).