Caroline Dominik

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Polynomial Verification of 2-Affine Spaces.

Anna Bernasconi, Valentina Ciriani, Gianmarco Cuciniello, Caroline Dominik, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference, 2026

2024

Polynomial Formal Verification of Sequential Circuits.

Caroline Dominik, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024