Wolfgang Windsteiger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2017–2024
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SYNASC | Gray-Box Proving in Theorema. | Wolfgang Windsteiger |
| 2020 | CSEDU | Computational Logic in the First Semester of Computer Science: An Experience Report. | David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere |
| 2020 | ITiCSE | Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App. | David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere |
| 2017 | SYNASC | Theorema 2.0: A Brief Tutorial. | Wolfgang Windsteiger |