Charles Hoot

17 papers C 1Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Towards a Better Understanding of Proof By Induction.
J. Comput. Sci. Coll.
Charles Hoot
2024 J jnl
Cyberpalooza: Experiences Presenting Cyber/CS Subjects to High School Students.
J. Comput. Sci. Coll.
Charles Hoot, Nathan W. Eloe, Matthew Schieber, Zhengrui Qin
2024 J jnl
Introducing Controlled Variability in Programming Assignments.
J. Comput. Sci. Coll.
Charles Hoot, Nathan W. Eloe, Diana Linville
2023 J jnl
Effect of Teaching a Course with a Remote Instructor.
J. Comput. Sci. Coll.
Charles Hoot, Nathan W. Eloe, Chandra Mouli Madhav Kotteti
2022 J jnl
Challenges developing and teaching online professional courses for technical graduate programs: panel discussion.
J. Comput. Sci. Coll.
Ajay Bandi, Denise M. Case, Nathan W. Eloe, Aziz Fellah, Charles Hoot
2022 J jnl
Teaching multiple graduate sections with large class sizes: panel discussion.
J. Comput. Sci. Coll.
Ajay Bandi, Denise M. Case, Nathan W. Eloe, Aziz Fellah, Charles Hoot
2020 C conf
Accommodating Shortened Term Lengths in a Capstone Course using Minimally Viable Prototypes.
FIE
Nathan W. Eloe, Charles Hoot
2020 J jnl
Discrete math: to blend or not blend.
J. Comput. Sci. Coll.
Charles Hoot
2019 J jnl
Blended courses in computer science and information systems education: adapting to changing educational methods and needs.
J. Comput. Sci. Coll.
Charles Badami, Denise M. Case, Nathan W. Eloe, Aziz Fellah, Douglas Hawley, Charles Hoot, Diana Linville
2019 J jnl
Capstone as consulting.
J. Comput. Sci. Coll.
Denise M. Case, Charles Hoot
2019 J jnl
Getting ahead with a hat: reengineering a computer organization course.
J. Comput. Sci. Coll.
Michael P. Rogers, Charles Hoot
2017 J jnl
Developing a lessons library for teaching version control.
J. Comput. Sci. Coll.
Denise M. Case, Charles Hoot
2000 J jnl
A migration course for computer science graduate students.
J. Comput. Sci. Coll.
Leslie D. Fife, Charles Hoot, Larry Sells
1995 J jnl
Natural Termination.
Theor. Comput. Sci.
Nachum Dershowitz, Charles Hoot
1994 — conf
Termination for Restricted Derivations and Conditional Rewrite Systems.
CTRS
Charles Hoot
1993 — conf
Topics in Termination.
RTA
Nachum Dershowitz, Charles Hoot
1992 — conf
Completion for Constrained Term Rewriting Systems.
CTRS
Charles Hoot