William T. Gowers
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2019–2021
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ITP | A Graphical User Interface Framework for Formal Verification. | Edward W. Ayers, Mateja Jamnik, William T. Gowers |
| 2019 | KI | A Human-Oriented Term Rewriting System. | Edward William Ayers, William T. Gowers, Mateja Jamnik |