| |
| 2001 | ||
|---|---|---|
| 4 | EE | Allen S. Parrish, Joe Hollingsworth, Peter M. Maurer, Benjamin Shults, Bruce W. Weide: Identifying an appropriate view of software components for undergraduate education. SIGCSE 2001: 394-395 |
| 1997 | ||
| 3 | Benjamin Shults: A Framework for Using Knowledge in Tableau Proofs. TABLEAUX 1997: 328-342 | |
| 2 | EE | Benjamin Shults, Benjamin Kuipers: Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic. Artif. Intell. 92(1-2): 91-129 (1997) |
| 1994 | ||
| 1 | Benjamin Kuipers, Benjamin Shults: Reasoning in Logic about Continuous Systems. KR 1994: 391-402 | |
| 1 | Joe Hollingsworth | [4] |
| 2 | Benjamin Kuipers | [1] [2] |
| 3 | Peter M. Maurer | [4] |
| 4 | Allen S. Parrish | [4] |
| 5 | Bruce W. Weide | [4] |