Leonard J Brice
2 Publications
2026 |
Published |
Conference Paper |
IST-REx-ID: 22617 |
Brice, Leonard J., et al. “Dicey Games: Shared Sources of Randomness in Distributed Systems.” 41st Annual Symposium on Logic in Computer Science, vol. 380, 23:1-23:26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026, doi:10.4230/LIPIcs.LICS.2026.23.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22717 |
Brice, Leonard J., et al. “Randomise Alone, Reach as a Team.” 38th International Conference on Computer Aided Verification, vol. 16682, Springer Nature, 2026, pp. 215–36, doi:10.1007/978-3-032-32519-8_12.
[Published Version]
View
| Files available
| DOI
| arXiv
Grants
2 Publications
2026 |
Published |
Conference Paper |
IST-REx-ID: 22617 |
Brice, Leonard J., et al. “Dicey Games: Shared Sources of Randomness in Distributed Systems.” 41st Annual Symposium on Logic in Computer Science, vol. 380, 23:1-23:26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026, doi:10.4230/LIPIcs.LICS.2026.23.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22717 |
Brice, Leonard J., et al. “Randomise Alone, Reach as a Team.” 38th International Conference on Computer Aided Verification, vol. 16682, Springer Nature, 2026, pp. 215–36, doi:10.1007/978-3-032-32519-8_12.
[Published Version]
View
| Files available
| DOI
| arXiv