# Brian Huffman

According to our database

Collaborative distances:

^{1}, Brian Huffman authored at least 18 papers between 2005 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Proceedings of the 26th IEEE International Symposium on Asynchronous Circuits and Systems, 2020

2018

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Arch. Formal Proofs, 2017

2016

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

2013

CoRR, 2013

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

Proceedings of the Certified Programs and Proofs - Third International Conference, 2013

2012

Arch. Formal Proofs, 2012

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2010

Arch. Formal Proofs, 2010

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

2009

Arch. Formal Proofs, 2009

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

2005

Arch. Formal Proofs, 2005

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005