James K. Huggins

Publication Activity (10 Years)

Years Active: 1992-2019
Publications (10 Years): 3

Top Topics

Lifelong Learning

Information Sciences

Computer Science

Top Venues

SIGCAS Comput. Soc.

Publications

Olivia C. Wanless, Chanc D. Gettel, Charles W. Gates, James K. Huggins, Diane L. Peters
Education and Licensure Requirements for Automated Motor Vehicles. ISTAS (2019)
Mitchell Duncan, James K. Huggins
What Belongs in a Computer Science Syllabus? FIE (2018)
James K. Huggins
Flipping Unplugged: An Experience Report. FIE (2018)
James K. Huggins
Computing history & ethics: the relevance of the real world for social change. SIGCAS Comput. Soc. 45 (2) (2015)
James K. Huggins, Charles Wallace
Abstract State Machines and the Inquiry Process. Fields of Logic and Computation (2010)
James K. Huggins
Engaging computer science students through cooperative education. ACM SIGCSE Bull. 41 (4) (2009)
James K. Huggins, Joseph Bergin, James Caristi, Ellen Walker
Survivor: getting through that class the first time. SIGCSE (2003)
James K. Huggins, Jean Mayo, Charles Wallace
Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education. Abstract State Machines (2003)
Steven C. Cater, James K. Huggins
An ASM Dynamic Semantics for Standard ML. Abstract State Machines (2000)
Yuri Gurevich, James K. Huggins
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions CoRR (1998)
James K. Huggins
An Offline Partial Evaluator for Evolving Algebras CoRR (1998)
Egon Börger, James K. Huggins
Abstract State Machines 1988-1998: Commented ASM Bibliography CoRR (1998)
Egon Börger, James K. Huggins
Abstract State Machines 1988-1998: Commented ASM Bibliography. Bull. EATCS 64 (1998)
Yuri Gurevich, James K. Huggins
Evolving Algebras and Partial Evaluation CoRR (1998)
Yuri Gurevich, James K. Huggins
Equivalence is in the Eye of the Beholder CoRR (1998)
James K. Huggins
Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution CoRR (1998)
James K. Huggins, David Van Campenhout
Specification and verification of pipelining in the ARM2 RISC microprocessor. ACM Trans. Design Autom. Electr. Syst. 3 (4) (1998)
Yuri Gurevich, James K. Huggins
Equivalence is in the Eye of the Beholder. Theor. Comput. Sci. 179 (1-2) (1997)
Yuri Gurevich, James K. Huggins
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions. CSL (1995)
Yuri Gurevich, James K. Huggins
Evolving Algebras and Partial Evaluation. IFIP Congress (1) (1994)
James K. Huggins
The assumptions of computing. Ethics in Computer Age (1994)
Yuri Gurevich, James K. Huggins
ERRATA to "The Semantics of the C Programming Language". CSL (1993)
Yuri Gurevich, James K. Huggins
The Semantics of the C Programming Language. CSL (1992)