Scholar
Ciprian Teodorov
Google Scholar ID: UfcYMEUAAAAJ
Professor, ENSTA | Institut Polytechnique de Paris, Brest, France
formal verification
electronic design-automation
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
301
H-index
10
i10-index
10
Publications
20
Co-authors
18
list available
Publications
1 items
Modeling in the Design Multiverse
2025
Cited
0
Co-authors
1 total
Benoit Combemale
Research Director (Inria), Full Professor (University of Rennes, IRISA)
