|
Search the dblp DataBase
Benjamin Shults:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Benjamin Kuipers, Benjamin Shults
Reasoning in Logic about Continuous Systems. [Citation Graph (0, 0)][DBLP] KR, 1994, pp:391-402 [Conf]
- Allen S. Parrish, Joe Hollingsworth, Peter M. Maurer, Benjamin Shults, Bruce W. Weide
Identifying an appropriate view of software components for undergraduate education. [Citation Graph (0, 0)][DBLP] SIGCSE, 2001, pp:394-395 [Conf]
- Benjamin Shults
A Framework for Using Knowledge in Tableau Proofs. [Citation Graph (0, 0)][DBLP] TABLEAUX, 1997, pp:328-342 [Conf]
- Benjamin Shults, Benjamin Kuipers
Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1997, v:92, n:1-2, pp:91-129 [Journal]
Search in 0.001secs, Finished in 0.001secs
|