Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

478 Publications

2019 | Preprint | IST-REx-ID: 8314 | OA
Brick: Asynchronous payment channels
G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, D. Zindros, ArXiv (n.d.).
View | Download Preprint (ext.) | arXiv

2019 | Preprint | IST-REx-ID: 8315 | OA
Divide and scale: Formalization of distributed ledger sharding protocols
G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, ArXiv (n.d.).
View | Download Preprint (ext.) | arXiv

2019 | Conference Paper | IST-REx-ID: 8324 | OA
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time
P. Wang, H. Fu, K. Chatterjee, Y. Deng, M. Xu, in:, Proceedings of the ACM on Programming Languages, ACM, 2019.
View | Files available | DOI | arXiv

2019 | Journal Article | IST-REx-ID: 8405 | OA
Integrated NMR and cryo-EM atomic-resolution structure determination of a half-megadalton enzyme complex
D.F. Gauto, L.F. Estrozi, C.D. Schwieters, G. Effantin, P. Macek, R. Sounier, A.C. Sivertsen, E. Schmidt, R. Kerfah, G. Mas, J.-P. Colletier, P. Güntert, A. Favier, G. Schoehn, P. Schanda, J. Boisbouvier, Nature Communications 10 (2019).
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2019 | Journal Article | IST-REx-ID: 8406 | OA
Mechanism of the allosteric activation of the ClpP protease machinery by substrates and active-site inhibitors
J. Felix, K. Weinhäupl, C. Chipot, F. Dehez, A. Hessel, D.F. Gauto, C. Morlot, O. Abian, I. Gutsche, A. Velazquez-Campoy, P. Schanda, H. Fraga, Science Advances 5 (2019).
View | DOI | Download Published Version (ext.)

Filters and Search Terms



Filter Publications