Jerome Jochems

According to our database¹, Jerome Jochems authored at least 3 papers between 2020 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Higher-Order MSL Horn Constraints.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., January, 2023

2021

Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021

2020

Higher-order constrained Horn clauses for higher-order program verification.

[BibT_eX]

[DOI]

PhD thesis, 2020