Trevor Hansen

According to our database1, Trevor Hansen authored at least 3 papers between 2002 and 2012.

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

Timeline

2002
2004
2006
2008
2010
2012
0
1
2
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
A constraint solver and its application to machine code test generation.
PhD thesis, 2012

2009
State Joining and Splitting for the Symbolic Execution of Binaries.
Proceedings of the Runtime Verification, 9th International Workshop, 2009

2002
Flexible Graph Layout for the Web.
J. Vis. Lang. Comput., 2002


  Loading...