Leonard J Brice
2 Publications
2026 |
Published |
Conference Paper |
IST-REx-ID: 22617 |
Brice, Leonard J, Thomas A Henzinger, and K. S. Thejaswini. “Dicey Games: Shared Sources of Randomness in Distributed Systems.” In 41st Annual Symposium on Logic in Computer Science, Vol. 380. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. https://doi.org/10.4230/LIPIcs.LICS.2026.23.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22717 |
Brice, Leonard J, Thomas A Henzinger, Alipasha Montaseri, Ali Shafiee, and K. S. Thejaswini. “Randomise Alone, Reach as a Team.” In 38th International Conference on Computer Aided Verification, 16682:215–36. Springer Nature, 2026. https://doi.org/10.1007/978-3-032-32519-8_12.
[Published Version]
View
| Files available
| DOI
| arXiv
Search
Filter Publications
Display / Sort
Export / Embed
Grants
2 Publications
2026 |
Published |
Conference Paper |
IST-REx-ID: 22617 |
Brice, Leonard J, Thomas A Henzinger, and K. S. Thejaswini. “Dicey Games: Shared Sources of Randomness in Distributed Systems.” In 41st Annual Symposium on Logic in Computer Science, Vol. 380. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. https://doi.org/10.4230/LIPIcs.LICS.2026.23.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22717 |
Brice, Leonard J, Thomas A Henzinger, Alipasha Montaseri, Ali Shafiee, and K. S. Thejaswini. “Randomise Alone, Reach as a Team.” In 38th International Conference on Computer Aided Verification, 16682:215–36. Springer Nature, 2026. https://doi.org/10.1007/978-3-032-32519-8_12.
[Published Version]
View
| Files available
| DOI
| arXiv