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 |
Szep E. 2020. Local adaptation in metapopulations. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7629 |
Forkert DL. 2020. Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8032 |
Huszár K. 2020. Combinatorial width parameters for 3-dimensional manifolds. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8353 |
Steiner J. 2020. Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I. Institute of Science and Technology Austria.
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8332 |
Kragl B. 2020. Verifying concurrent programs: Refinement, synchronization, sequentialization. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Journal Article |
IST-REx-ID: 8284 |
Steiner J, Sazanov LA. 2020. Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. eLife. 9, e59407.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7460 |
Ölsböck K. 2020. The hole system of triangulated shapes. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Conference Paper |
IST-REx-ID: 8195 |
Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent programs. Computer Aided Verification. , LNCS, vol. 12224, 275–298.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |
Published |
Conference Paper |
IST-REx-ID: 8012 |
Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. 2020. Inductive sequentialization of asynchronous programs. Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 227–242.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7896 |
Kamath Hosdurg C. 2020. On the average-case hardness of total search problems. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8589 |
Han H. 2020. Novel insights into PIN polarity regulation during Arabidopsis development. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Journal Article |
IST-REx-ID: 7643 |
Han H, Rakusova H, Verstraeten I, Zhang Y, Friml J. 2020. SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism. Plant Physiology. 183(5), 37–40.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2020 |
Published |
Journal Article |
IST-REx-ID: 7569 |
Grah R, Friedlander T. 2020. The relation between crosstalk and gene regulation form revisited. PLOS Computational Biology. 16(2), e1007642.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8341 |
Bezeljak U. 2020. In vitro reconstitution of a Rab activation switch. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8155 |
Grah R. 2020. Gene regulation across scales – how biophysical constraints shape evolution. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Journal Article |
IST-REx-ID: 7580 |
Bezeljak U, Loya H, Kaczmarek BM, Saunders TE, Loose M. 2020. Stochastic activation and bistability in a Rab GTPase regulatory network. Proceedings of the National Academy of Sciences of the United States of America. 117(12), 6504–6549.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2020 |
Published |
Preprint |
IST-REx-ID: 7675 |
Grah R, Zoller B, Tkačik G. 2020. Normative models of enhancer function. bioRxiv, 10.1101/2020.04.08.029405.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8366 |
Guseinov R. 2020. Computational design of curved thin shells: From glass façades to programmable matter. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Journal Article |
IST-REx-ID: 8562 |
Gavriil K, Guseinov R, Perez Rodriguez J, Pellis D, Henderson PM, Rist F, Pottmann H, Bickel B. 2020. Computational design of cold bent glass façades. ACM Transactions on Graphics. 39(6), 208.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 7262 |
Guseinov R, McMahan C, Perez Rodriguez J, Daraio C, Bickel B. 2020. Programming temporal morphing of self-actuated shells. Nature Communications. 11, 237.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC