Stefan Berghofer
According to our database1,
Stefan Berghofer
authored at least 25 papers
between 1999 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
2012
J. Autom. Reason., 2012
2011
Proceedings of the 6th International Workshop on Systems Software Verification, 2011
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011
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
Proceedings of the Automated Deduction, 2007
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