Markus Wenzel
Orcid: 0000-0002-3753-8280Affiliations:
- TU München, Garching, Germany
According to our database1,
Markus Wenzel
authored at least 50 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024
2022
Proceedings of the Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, 2022
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022
Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover.
Proceedings of the Computers Helping People with Special Needs, 2022
2021
Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021
Proceedings of the Automated Deduction - CADE 28, 2021
2019
Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019
Proceedings of the Joint Proceedings of the FMM and LML Workshops, 2019
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
2018
Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents.
Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018
2016
2014
Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014
2013
Proceedings of the Intelligent Computer Mathematics, 2013
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.
Proceedings of the Intelligent Computer Mathematics, 2013
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013
Proceedings of the Formal Methods and Software Engineering, 2013
2012
Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 2012
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
2011
Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011
2010
Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, 2010
Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010
2009
Proceedings of the 4th International Workshop on Systems Software Verification, 2009
2008
Proceedings of the Types for Proofs and Programs, International Conference, 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 Theorem Proving in Higher Order Logics, 20th International Conference, 2007
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007
2006
Proceedings of the Types for Proofs and Programs, International Workshop, 2006
Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006
2002
PhD thesis, 2002
Lecture Notes in Computer Science 2283, Springer, ISBN: 3-540-43376-7, 2002
2001
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001
1999
Proceedings of the Types for Proofs and Programs, 1999
Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999
Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999
Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999
1998
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998
1997
Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997