Login / Signup
Tim Leys
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 7
Top Topics
Continuous Domains
Generic Model
Computational Framework
Metamodel
Top Venues
CoRR
LICS
ACM Trans. Comput. Log.
RP
</>
Publications
</>