Harvey M. Friedman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2014–2016
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CPP | Perspectives on formal verification (invited talk). | Harvey M. Friedman |
| 2014 | SIGCSE | Syrus: providing practice problems in discrete mathematics with instant feedback. | Diego Zaccai, Aditi Tagore, Dustin Hoffman, Jason Kirschenbaum, Zakariya Bainazarov, Harvey M. Friedman, Dennis K. Pearl, Bruce W. Weide |