Charles Hoot

Termination of non-simple rewrite systems

N. Dershowitz, Charles Hoot, 1996 .

Natural Termination

Nachum Dershowitz, Charles Hoot, N. Dershowitz, 1995, Theor. Comput. Sci..

Topics in Termination

Nachum Dershowitz, Charles Hoot, N. Dershowitz, 1993, RTA.

Accommodating Shortened Term Lengths in a Capstone Course using Minimally Viable Prototypes

Nathan Eloe, Charles Hoot, Charles Hoot, 2020, 2020 IEEE Frontiers in Education Conference (FIE).