Login / Signup
Dimitar K. Dimitrov
Publication Activity (10 Years)
Years Active: 2014-2020
Publications (10 Years): 5
Top Topics
Hebbian Learning
Detection Accuracy
Formal Verification
Model Checking
Top Venues
PLDI
IEEE Symposium on Security and Privacy
ACM Trans. Parallel Comput.
OOPSLA
</>
Publications
</>