Jia-Jen Yeh

According to our database1, Jia-Jen Yeh authored at least 2 papers between 2006 and 2014.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Accelerating Coverage Estimation Through Partial Model Checking.
IEEE Trans. Computers, 2014

2006
Model Checking Timed Systems with Urgencies.
Proceedings of the Automated Technology for Verification and Analysis, 2006


  Loading...