Benjamin Shults
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1994–2001
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | SIGCSE | Identifying an appropriate view of software components for undergraduate education. | Allen S. Parrish, Joe Hollingsworth, Peter M. Maurer, Benjamin Shults, Bruce W. Weide |
| 1997 | TABLEAUX | A Framework for Using Knowledge in Tableau Proofs. | Benjamin Shults |
| 1994 | KR | Reasoning in Logic about Continuous Systems. | Benjamin Kuipers, Benjamin Shults |