We stand with Ukraine  

Thomas Somers

Orcid: 0009-0001-8101-5647

Affiliations:
  • Radboud University Nijmegen, Nijmegen, The Netherlands


According to our database1, Thomas Somers authored at least 2 papers between 2024 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
Building Blocks for Step-Indexed Program Logics.
[BibTeX]
[DOI]
Thomas Somers
,
Jonas Kastberg Hinrichsen
,
Lennard Gäher
,
Robbert Krebbers
Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

2024
Verified Lock-Free Session Channels with Linking.
[BibTeX]
[DOI]
Thomas Somers
,
Robbert Krebbers
Proc. ACM Program. Lang., 2024


  Loading...