Sort
By YearBy Citation
pacific-asia conference on knowledge discovery and data mining, pp.16-28, (2019)
EI
ACL, pp.1118-1127, (2018)
EI
International Workshop on the ACL2 Theorem Prover and Its Applications, (2015)
EI
2009 International Conference on E-Business and Information System Security, EBISS 2009, no. null (2009): null-null
WOSSCOPUS
View All