Login / Signup
Maciej J. Ciesielski
ORCID
Publication Activity (10 Years)
Years Active: 1981-2024
Publications (10 Years): 33
Top Topics
Model Checker
Formal Verification
Reverse Engineer
Galois Field
Top Venues
ISVLSI
CoRR
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
DATE
</>
Publications
</>