Leonard J Brice

2 Publications

Mark all

[2]
2026 | Published | Conference Paper | IST-REx-ID: 22617 | OA
L. J. Brice, T. A. Henzinger, and K. S. Thejaswini, “Dicey games: Shared sources of randomness in distributed systems,” in 41st Annual Symposium on Logic in Computer Science, Lisbon, Portugal, 2026, vol. 380.
[Published Version] View | Files available | DOI | arXiv
 
[1]
2026 | Published | Conference Paper | IST-REx-ID: 22717 | OA
L. J. Brice, T. A. Henzinger, A. Montaseri, A. Shafiee, and K. S. Thejaswini, “Randomise alone, reach as a team,” in 38th International Conference on Computer Aided Verification, Lisbon, Portugal, 2026, vol. 16682, pp. 215–236.
[Published Version] View | Files available | DOI | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

Grants


2 Publications

Mark all

[2]
2026 | Published | Conference Paper | IST-REx-ID: 22617 | OA
L. J. Brice, T. A. Henzinger, and K. S. Thejaswini, “Dicey games: Shared sources of randomness in distributed systems,” in 41st Annual Symposium on Logic in Computer Science, Lisbon, Portugal, 2026, vol. 380.
[Published Version] View | Files available | DOI | arXiv
 
[1]
2026 | Published | Conference Paper | IST-REx-ID: 22717 | OA
L. J. Brice, T. A. Henzinger, A. Montaseri, A. Shafiee, and K. S. Thejaswini, “Randomise alone, reach as a team,” in 38th International Conference on Computer Aided Verification, Lisbon, Portugal, 2026, vol. 16682, pp. 215–236.
[Published Version] View | Files available | DOI | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed