# Stefan Berghofer

According to our database

Collaborative distances:

^{1}, Stefan Berghofer authored at least 25 papers between 1999 and 2017.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2017

Arch. Formal Proofs, 2017

2012

J. Autom. Reason., 2012

2011

ACM Trans. Comput. Log., 2011

Proceedings of the 6th International Workshop on Systems Software Verification, 2011

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2009

Arch. Formal Proofs, 2009

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

2008

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

Arch. Formal Proofs, 2007

Arch. Formal Proofs, 2007

Proceedings of the Automated Deduction, 2007

2006

Stud Logica, 2006

Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2006

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2004

Proceedings of the Types for Proofs and Programs, International Workshop, 2004

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

2003

PhD thesis, 2003

Proceedings of the Compiler Optimization Meets Compiler Verification, 2003

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

2002

Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002

2001

Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts.

Proceedings of the Foundations of Software Science and Computation Structures, 2001

2000

Proceedings of the Types for Proofs and Programs, International Workshop, 2000

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

1999

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999