Tycho Andersen

According to our database1, Tycho Andersen authored at least 2 papers between 2010 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
Abstract Domains of Affine Relations.
ACM Trans. Program. Lang. Syst., 2014

2010
Directed Proof Generation for Machine Code.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010


  Loading...