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 | OA
Szep, E. (2020). Local adaptation in metapopulations. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8574
[Published Version] View | Files available | DOI
 
2020 | Published | Thesis | PhD | IST-REx-ID: 7629 | OA
Forkert, D. L. (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. https://doi.org/10.15479/AT:ISTA:7629
[Published Version] View | Files available | DOI
 
2020 | Published | Thesis | PhD | IST-REx-ID: 8032 | OA
Huszár, K. (2020). Combinatorial width parameters for 3-dimensional manifolds. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8032
[Published Version] View | Files available | DOI
 
2020 | Published | Thesis | PhD | IST-REx-ID: 8353 | OA
Steiner, J. (2020). Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8353
View | Files available | DOI
 
2020 | Published | Thesis | PhD | IST-REx-ID: 8332 | OA
Kragl, B. (2020). Verifying concurrent programs: Refinement, synchronization, sequentialization. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8332
[Published Version] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 8284 | OA
Steiner, J., & Sazanov, L. A. (2020). Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.59407
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Thesis | PhD | IST-REx-ID: 7460 | OA
Ölsböck, K. (2020). The hole system of triangulated shapes. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7460
[Published Version] View | Files available | DOI
 
2020 | Published | Conference Paper | IST-REx-ID: 8195 | OA
Kragl, B., Qadeer, S., & Henzinger, T. A. (2020). Refinement for structured concurrent programs. In Computer Aided Verification (Vol. 12224, pp. 275–298). Springer Nature. https://doi.org/10.1007/978-3-030-53288-8_14
[Published Version] View | Files available | DOI | WoS
 
2020 | Published | Conference Paper | IST-REx-ID: 8012 | OA
Kragl, B., Enea, C., Henzinger, T. A., Mutluergil, S. O., & Qadeer, S. (2020). Inductive sequentialization of asynchronous programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 227–242). London, United Kingdom: Association for Computing Machinery. https://doi.org/10.1145/3385412.3385980
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
2020 | Published | Thesis | PhD | IST-REx-ID: 7896 | OA
Kamath Hosdurg, C. (2020). On the average-case hardness of total search problems. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7896
[Published Version] View | Files available | DOI
 
2020 | Published | Thesis | PhD | IST-REx-ID: 8589 | OA
Han, H. (2020). Novel insights into PIN polarity regulation during Arabidopsis development. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8589
[Published Version] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 7643 | OA
Han, H., Rakusova, H., Verstraeten, I., Zhang, Y., & Friml, J. (2020). SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism. Plant Physiology. American Society of Plant Biologists. https://doi.org/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 | OA
Grah, R., & Friedlander, T. (2020). The relation between crosstalk and gene regulation form revisited. PLOS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1007642
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Thesis | PhD | IST-REx-ID: 8341 | OA
Bezeljak, U. (2020). In vitro reconstitution of a Rab activation switch. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8341
[Published Version] View | Files available | DOI
 
2020 | Published | Thesis | PhD | IST-REx-ID: 8155 | OA
Grah, R. (2020). Gene regulation across scales – how biophysical constraints shape evolution. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8155
[Published Version] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 7580 | OA
Bezeljak, U., Loya, H., Kaczmarek, B. M., Saunders, T. E., & 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. National Academy of Sciences. https://doi.org/10.1073/pnas.1921027117
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 
2020 | Published | Preprint | IST-REx-ID: 7675 | OA
Grah, R., Zoller, B., & Tkačik, G. (2020). Normative models of enhancer function. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.04.08.029405
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2020 | Published | Thesis | PhD | IST-REx-ID: 8366 | OA
Guseinov, R. (2020). Computational design of curved thin shells: From glass façades to programmable matter. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8366
[Published Version] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 8562 | OA
Gavriil, K., Guseinov, R., Perez Rodriguez, J., Pellis, D., Henderson, P. M., Rist, F., … Bickel, B. (2020). Computational design of cold bent glass façades. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3414685.3417843
[Submitted Version] View | Files available | DOI | WoS | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 7262 | OA
Guseinov, R., McMahan, C., Perez Rodriguez, J., Daraio, C., & Bickel, B. (2020). Programming temporal morphing of self-actuated shells. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-019-14015-2
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed