Login / Signup
Dorel Lucanu
ORCID
Publication Activity (10 Years)
Years Active: 1987-2024
Publications (10 Years): 31
Top Topics
Symbolic Execution
Static Analysis
Rewrite Systems
Ant Colony
Top Venues
CoRR
J. Log. Algebraic Methods Program.
SYNASC
Fundam. Informaticae
</>
Publications
</>