Gerald Whitters

Orcid: 0000-0001-7721-8196

According to our database¹, Gerald Whitters authored at least 3 papers between 2022 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

On the Automated Verification of BGP Convergence.

[DOI]

Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, 2025

2023

Incremental Rewriting Modulo SMT.

[DOI]

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Declarative smart contracts.

[DOI]

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022