Charles Hoot

According to our database, Charles Hoot authored at least 17 papers between 1992 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Towards a Better Understanding of Proof By Induction.

Charles Hoot

J. Comput. Sci. Coll., April, 2025

2024

Cyberpalooza: Experiences Presenting Cyber/CS Subjects to High School Students.

Charles Hoot, Nathan W. Eloe, Matthew Schieber, Zhengrui Qin

J. Comput. Sci. Coll., 2024

Introducing Controlled Variability in Programming Assignments.

Charles Hoot, Nathan W. Eloe, Diana Linville

J. Comput. Sci. Coll., 2024

2023

Effect of Teaching a Course with a Remote Instructor.

Charles Hoot, Nathan W. Eloe, Chandra Mouli Madhav Kotteti

J. Comput. Sci. Coll., 2023

2022

Teaching multiple graduate sections with large class sizes: panel discussion.

Ajay Bandi, Denise M. Case, Nathan W. Eloe, Aziz Fellah, Charles Hoot

J. Comput. Sci. Coll., 2022

Challenges developing and teaching online professional courses for technical graduate programs: panel discussion.

Ajay Bandi, Denise M. Case, Nathan W. Eloe, Aziz Fellah, Charles Hoot

J. Comput. Sci. Coll., 2022

2020

Discrete math: to blend or not blend.

Charles Hoot

J. Comput. Sci. Coll., 2020

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

Nathan W. Eloe, Charles Hoot

Proceedings of the IEEE Frontiers in Education Conference, 2020

2019

Getting ahead with a hat: reengineering a computer organization course.

Michael P. Rogers, Charles Hoot

J. Comput. Sci. Coll., 2019

Capstone as consulting.

Denise M. Case, Charles Hoot

J. Comput. Sci. Coll., 2019

Blended courses in computer science and information systems education: adapting to changing educational methods and needs.

Charles Badami, Denise M. Case, Nathan W. Eloe, Aziz Fellah, Douglas Hawley, Charles Hoot, Diana Linville

J. Comput. Sci. Coll., 2019

2017

Developing a lessons library for teaching version control.

Denise M. Case, Charles Hoot

J. Comput. Sci. Coll., 2017

2000

A migration course for computer science graduate students.

Leslie D. Fife, Charles Hoot, Larry Sells

J. Comput. Sci. Coll., 2000

1995

Natural Termination.

Nachum Dershowitz, Charles Hoot

Theor. Comput. Sci., 1995

1994

Termination for Restricted Derivations and Conditional Rewrite Systems.

Charles Hoot

Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994

1993

Topics in Termination.

Nachum Dershowitz, Charles Hoot

Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

1992

Completion for Constrained Term Rewriting Systems.

Charles Hoot

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992