Leonard J Brice
2 Publications
2026 |
Published |
Conference Paper |
IST-REx-ID: 22617 |
Brice LJ, Henzinger TA, Thejaswini KS. 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. doi:10.4230/LIPIcs.LICS.2026.23
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22717 |
Brice LJ, Henzinger TA, Montaseri A, Shafiee A, Thejaswini KS. Randomise alone, reach as a team. In: 38th International Conference on Computer Aided Verification. Vol 16682. Springer Nature; 2026:215-236. 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 LJ, Henzinger TA, Thejaswini KS. 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. doi:10.4230/LIPIcs.LICS.2026.23
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22717 |
Brice LJ, Henzinger TA, Montaseri A, Shafiee A, Thejaswini KS. Randomise alone, reach as a team. In: 38th International Conference on Computer Aided Verification. Vol 16682. Springer Nature; 2026:215-236. doi:10.1007/978-3-032-32519-8_12
[Published Version]
View
| Files available
| DOI
| arXiv