Aaron Bohannon
According to our database1,
Aaron Bohannon
authored at least 7 papers
between 2005 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
2005
2006
2007
2008
2009
2010
0
1
2
3
1
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
Proceedings of the USENIX Conference on Web Application Development, 2010
2009
Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009
2008
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008
2006
Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2006
Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006
2005
Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005