Wolfgang Windsteiger
Orcid: 0000-0002-7449-8388
According to our database1,
Wolfgang Windsteiger
authored at least 18 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2024
2022
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022
2021
Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021
2020
Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App.
Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020
Proceedings of the 12th International Conference on Computer Supported Education, 2020
2017
Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017
The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema.
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017
2016
J. Formaliz. Reason., 2016
2014
Proceedings of the Mathematical Software - ICMS 2014, 2014
2013
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.
Proceedings of the Intelligent Computer Mathematics, 2013
2012
Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 2012
2011
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011
2009
2006
J. Symb. Comput., 2006
J. Appl. Log., 2006
Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006
2001
Proceedings of the Computer Aided Systems Theory, 2001
1999
Proceedings of the Systems for Integrated Computation and Deduction, 1999