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.

450 Publications


2019 | Preprint | IST-REx-ID: 8314 | OA
Avarikioti, Georgia, Eleftherios Kokoris Kogias, Roger Wattenhofer, and Dionysis Zindros. “Brick: Asynchronous Payment Channels.” ArXiv, n.d.
View | Download Preprint (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 8315 | OA
Avarikioti, Georgia, Eleftherios Kokoris Kogias, and Roger Wattenhofer. “Divide and Scale: Formalization of Distributed Ledger Sharding Protocols.” ArXiv, n.d.
View | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 8324 | OA
Wang, Peixin, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, and Ming Xu. “Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time.” In Proceedings of the ACM on Programming Languages, Vol. 4. ACM, 2019. https://doi.org/10.1145/3371093.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 138 | OA
Nikolic, Nela. “Autoregulation of Bacterial Gene Expression: Lessons from the MazEF Toxin–Antitoxin System.” Current Genetics 65, no. 1 (2019): 133–38. https://doi.org/10.1007/s00294-018-0879-8.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 151 | OA
Fischer, Julian L, and Olivier Kneuss. “Bi-Sobolev Solutions to the Prescribed Jacobian Inequality in the Plane with L p Data and Applications to Nonlinear Elasticity.” Journal of Differential Equations 266, no. 1 (2019): 257–311. https://doi.org/10.1016/j.jde.2018.07.045.
View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

year=2019

Search

Filter Publications