Login / Signup

Ahmed Rezine

ORCID

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 20

Top Topics

Hybrid Automata
Constraint Solvers
Ordered Sets
Model Checking

Top Venues

CoRR
Int. J. Softw. Tools Technol. Transf.
FMCAD
VMCAI

Uppsala University, Sweden (PHD)

Education History
Uppsala University, Sweden

PHD

Publications