Henrik Böving

Orcid: 0009-0007-8294-2710

According to our database¹, Henrik Böving authored at least 5 papers in 2025.

Collaborative distances:

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

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

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

Henrik Böving

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...