Austin Laugesen

According to our database1, Austin Laugesen authored at least 2 papers between 2012 and 2014.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
CSense: a stream-processing toolkit for robust and high-rate mobile sensing applications.
Proceedings of the IPSN'14, 2014

2012
LFSC for SMT Proofs: Work in Progress.
Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012


  Loading...