Benjamin Shults

	2001
4		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		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

Coauthor Index

1	Joe Hollingsworth	[4]
2	Benjamin Kuipers	[1] [2]
3	Peter M. Maurer	[4]
4	Allen S. Parrish	[4]
5	Bruce W. Weide	[4]

Colors in the list of coauthors