Hung-En Wang

According to our database1, Hung-En Wang authored at least 4 papers between 2016 and 2022.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Homing Sequence Derivation With Quantified Boolean Satisfiability.
IEEE Trans. Computers, 2022

2018
A symbolic model checking approach to the analysis of string and length constraints.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017
Homing Sequence Derivation with Quantified Boolean Satisfiability.
Proceedings of the Testing Software and Systems, 2017

2016
String Analysis via Automata Manipulation with Logic Circuit Representation.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016


  Loading...