Login / Signup
Tomer Kotek
Publication Activity (10 Years)
Years Active: 2008-2022
Publications (10 Years): 13
Top Topics
Web Applications
Model Checking
Automated Verification
Graph Theoretic
Top Venues
CoRR
CONCUR
Description Logics
Eur. J. Comb.
</>
Publications
</>