Caroline Dominik

Orcid: 0009-0007-4044-2005

According to our database1, Caroline Dominik authored at least 2 papers between 2024 and 2026.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Polynomial Verification of 2-Affine Spaces.
Proceedings of the Design, Automation & Test in Europe Conference, 2026

2024
Polynomial Formal Verification of Sequential Circuits.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024


  Loading...