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. Local adaptation in metapopulations. 2020. doi:10.15479/AT:ISTA:8574
[Published Version] View | Files available | DOI
 
2020 | Published | Thesis | PhD | IST-REx-ID: 7629 | OA
Forkert DL. Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains. 2020. doi:10.15479/AT:ISTA:7629
[Published Version] View | Files available | DOI
 
2020 | Published | Thesis | PhD | IST-REx-ID: 8032 | OA
Huszár K. Combinatorial width parameters for 3-dimensional manifolds. 2020. doi:10.15479/AT:ISTA:8032
[Published Version] View | Files available | DOI
 
2020 | Published | Thesis | PhD | IST-REx-ID: 8353 | OA
Steiner J. Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I. 2020. doi:10.15479/AT:ISTA:8353
View | Files available | DOI
 
2020 | Published | Thesis | PhD | IST-REx-ID: 8332 | OA
Kragl B. Verifying concurrent programs: Refinement, synchronization, sequentialization. 2020. doi:10.15479/AT:ISTA:8332
[Published Version] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 8284 | OA
Steiner J, Sazanov LA. Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. eLife. 2020;9. doi: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. The hole system of triangulated shapes. 2020. doi: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 TA. Refinement for structured concurrent programs. In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298. doi: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 TA, Mutluergil SO, Qadeer S. Inductive sequentialization of asynchronous programs. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2020:227-242. doi: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. On the average-case hardness of total search problems. 2020. doi:10.15479/AT:ISTA:7896
[Published Version] View | Files available | DOI
 
2020 | Published | Thesis | PhD | IST-REx-ID: 8589 | OA
Han H. Novel insights into PIN polarity regulation during Arabidopsis development. 2020. doi: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. SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism. Plant Physiology. 2020;183(5):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 | OA
Grah R, Friedlander T. The relation between crosstalk and gene regulation form revisited. PLOS Computational Biology. 2020;16(2). doi: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. In vitro reconstitution of a Rab activation switch. 2020. doi:10.15479/AT:ISTA:8341
[Published Version] View | Files available | DOI
 
2020 | Published | Thesis | PhD | IST-REx-ID: 8155 | OA
Grah R. Gene regulation across scales – how biophysical constraints shape evolution. 2020. doi: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 BM, Saunders TE, Loose M. Stochastic activation and bistability in a Rab GTPase regulatory network. Proceedings of the National Academy of Sciences of the United States of America. 2020;117(12):6504-6549. doi: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. Normative models of enhancer function. bioRxiv. 2020. doi: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. Computational design of curved thin shells: From glass façades to programmable matter. 2020. doi: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, et al. Computational design of cold bent glass façades. ACM Transactions on Graphics. 2020;39(6). doi: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. Programming temporal morphing of self-actuated shells. Nature Communications. 2020;11. doi:10.1038/s41467-019-14015-2
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed