Quan Thanh Tho

According to our database1, Quan Thanh Tho authored at least 10 papers between 2010 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
One size does not fit all: logic-based clustering for on-the-fly web service composition and verification.
IJWGS, 2018

2017
Packer Identification Using Hidden Markov Model.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2017

2016
Multi-threaded On-the-Fly Model Generation of Malware with Hash Compaction.
Proceedings of the Formal Methods and Software Engineering, 2016

2015
Feature-Driven Formal Concept Analysis for Malware Hierarchy Construction.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2015

Reusing Symbolic Observation Graph for Efficient Model Checking.
Proceedings of the 2015 Seventh International Conference on Knowledge and Systems Engineering, 2015

Obfuscation Code Localization Based on CFG Generation of Malware.
Proceedings of the Foundations and Practice of Security - 8th International Symposium, 2015

2014
PeCAn: Compositional Verification of Petri Nets Made Easy.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2012
Efficient Handling of 2D Image Queries Using VPC + -tree.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2012

Systematic Diagram Refinement for Code Generation in SEAM.
Proceedings of the Fourth International Conference on Knowledge and Systems Engineering, 2012

2010
Using Multi Decision Diagram in Model Checking.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010


  Loading...