Alex C. Keizer

Orcid: 0000-0002-8826-9607

According to our database¹, Alex C. Keizer authored at least 8 papers between 2021 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2025

bv_decide SMT-COMP 2025 Submission.

[BibT_eX]

[DOI]

Dataset, June, 2025

bv_decide SMT-COMP 2025 Submission.

[BibT_eX]

[DOI]

Dataset, June, 2025

bv_decide SMT-COMP 2025 Submission.

[BibT_eX]

[DOI]

Dataset, June, 2025

bv_decide SMT-COMP 2025 Submission.

[BibT_eX]

[DOI]

Dataset, June, 2025

Interactive Bitvector Reasoning using Verified Bit-Blasting.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2025

2024

Verifying Peephole Rewriting in SSA Compiler IRs.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2022

Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types.

[BibT_eX]

[DOI]

Alex C. Keizer

Henning Basold

Jorge A. Pérez

ACM Trans. Program. Lang. Syst., 2022

2021

Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols.

[BibT_eX]

[DOI]

Alex C. Keizer

Henning Basold

Jorge A. Pérez

Proceedings of the Programming Languages and Systems, 2021

Alex C. Keizer

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...