The Semantics of the C Programming Language. - Yuri Gurevich; James K. Huggins (CSL, 1992)

Kermit: specification and verification. - James K. Huggins (Specification and validation methods, 1993)

ERRATA to "The Semantics of the C Programming Language". - Yuri Gurevich; James K. Huggins (CSL, 1993)

The assumptions of computing. - James K. Huggins (Ethics in Computer Age, 1994)

Evolving Algebras and Partial Evaluation. - Yuri Gurevich; James K. Huggins (IFIP Congress (1), 1994)

The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions. - Yuri Gurevich; James K. Huggins (CSL, 1995)

Evolving algebras: Tools for specification, validation, and program transformation. - James K. Huggins (1995)

Equivalence is in the Eye of the Beholder. - Yuri Gurevich; James K. Huggins (Theor. Comput. Sci., 1997)

Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor - The DEC Alpha 21264 Microprocessor. - Scott A. Taylor; Michael Quinn; Darren Brown; Nathan Dohm; Scot Hildebrandt; James Huggins 001; Carl Ramey (DAC, 1998)

Zen and the art of Alpha verification. - Nathan Dohm; Carl Ramey; Darren Brown; Scot Hildebrandt; James Huggins 001; Michael Quinn; Scott A. Taylor (ICCD, 1998)

Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution - James K. Huggins (CoRR, 1998)

An Offline Partial Evaluator for Evolving Algebras - James K. Huggins (CoRR, 1998)

Abstract State Machines 1988-1998: Commented ASM Bibliography. - Egon Börger; James K. Huggins (Bull. EATCS, 1998)

Specification and verification of pipelining in the ARM2 RISC microprocessor. - James K. Huggins; David Van Campenhout (ACM Trans. Design Autom. Electr. Syst., 1998)

An ASM Dynamic Semantics for Standard ML. - Steven C. Cater; James K. Huggins (Abstract State Machines, 2000)

A UML Validation Toolset Based on Abstract State Machines. - Wuwei Shen; Kevin J. Compton; James Huggins 001 (ASE, 2001)

A Toolset for Supporting UML Static and Dynamic Model Checking. - Wuwei Shen; Kevin J. Compton; James Huggins 001 (COMPSAC, 2002)

A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines. - Wuwei Shen; Kevin J. Compton; James Huggins 001 (APSEC, 2003)

Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education. - James K. Huggins; Jean Mayo; Charles Wallace 001 (Abstract State Machines, 2003)

Survivor: getting through that class the first time. - James K. Huggins; Joseph Bergin; James Caristi; Ellen Walker (SIGCSE, 2003)

Multi-phase homework assignments in CS I and CS II. - Jim Huggins 001; Clif Kussmaul; Amruth Kumar 001; John A. Trono (J. Comput. Sci. Coll., 2003)

Execution of A Requirement Model in Software Development. - Wuwei Shen; Mohsen Guizani; Zijiang Yang; Kevin J. Compton; James Huggins 001 (IASSE, 2004)

It seemed like a good idea at the time. - Jonas Boustedt; Robert McCartney; Katherine Deibel; Jim Huggins 001; Beth Simon; Suzanne Westbrook; The Mystery Presenter (SIGCSE, 2009)

Engaging computer science students through cooperative education. - James K. Huggins (ACM SIGCSE Bull., 2009)

Abstract State Machines and the Inquiry Process. - James K. Huggins; Charles Wallace 001 (Fields of Logic and Computation, 2010)

Rock-paper-scissors: nifty tools and assignments. - Jim Huggins 001 (J. Comput. Sci. Coll., 2011)

The pledge of the computing professional: recognizing and promoting ethics in the computing professions. - William Albrecht; Ken Christensen 001; Venu Dasigi; Jim Huggins 001; Jody Paul (SIGCAS Comput. Soc., 2012)

Nifty computing in society case studies (abstract only). - Jim Huggins 001; Alfreda Dudley; Karla Carter; Dee A. B. Weikle; Netiva Caftori (SIGCSE, 2013)

Computing history & ethics: the relevance of the real world for social change. - James K. Huggins (SIGCAS Comput. Soc., 2015)

A KERNEL OF TRUTH: The light is better here (and that's okay). - Jim Huggins 001 (Inroads, 2017)

What Belongs in a Computer Science Syllabus? - Mitch J. Duncan; James K. Huggins (FIE, 2018)

Flipping Unplugged: An Experience Report. - James K. Huggins (FIE, 2018)

Education and Licensure Requirements for Automated Motor Vehicles. - Olivia C. Wanless; Chanc D. Gettel; Charles W. Gates; James K. Huggins; Diane L. Peters (ISTAS, 2019)

It Seemed Like a Good Idea at the Time (Hindsight is 2020). - Dan Garcia 001; Jim Huggins 001; Kevin Lin; Raja Sooriamurthi; Leo C. Ureel; Ursula Wolz (SIGCSE, 2020)

It Seemed Like a Good Idea at the Time (COVID-19 edition). - Dan Garcia 001; Jim Huggins 001; Christine Alvarado; Paul Gestwicki; Andy Gunawardena; Victoria Hong; Ellen Spertus (SIGCSE (2), 2022)

It Seemed Like a Good Idea at the Time: ("Let Me Help You with That" edition). - Dan Garcia 001; Jim Huggins 001; Lauren J. Bricker; Adam Gaweda; David J. Malan; Joël Porquet-Lupine; Kristin Stephens-Martinez (SIGCSE (2), 2023)

ChatGPT: The Good, the Bad, and the Ugly. - James K. Huggins (J. Comput. Sci. Coll., 2023)

Checksums Everywhere. - James K. Huggins (J. Comput. Sci. Coll., 2024)

Unusual Standards. - James K. Huggins (J. Comput. Sci. Coll., 2024)