James K. Huggins

30 papers A 1B 3C 3Journal 15Unranked 6
YearRankTypeTitle / Venue / Authors
2026 — conf
It Seemed Like a Good Idea at the Time ('No, Not Like That!' edition).
SIGCSE (2)
Dan Garcia, James K. Huggins, Brian Law, Narges Norouzi, Jaimin Patel, Michael Shindler
2025 J jnl
Course In A Box: Computing History and Ethics.
J. Comput. Sci. Coll.
James K. Huggins
2024 J jnl
Checksums Everywhere.
J. Comput. Sci. Coll.
James K. Huggins
2024 J jnl
Unusual Standards.
J. Comput. Sci. Coll.
James K. Huggins
2023 J jnl
ChatGPT: The Good, the Bad, and the Ugly.
J. Comput. Sci. Coll.
James K. Huggins
2019 C conf
Education and Licensure Requirements for Automated Motor Vehicles.
ISTAS
Olivia C. Wanless, Chanc D. Gettel, Charles W. Gates, James K. Huggins, Diane L. Peters
2018 C conf
Flipping Unplugged: An Experience Report.
FIE
James K. Huggins
2018 C conf
What Belongs in a Computer Science Syllabus?
FIE
Mitch J. Duncan, James K. Huggins
2015 J jnl
Computing history & ethics: the relevance of the real world for social change.
SIGCAS Comput. Soc.
James K. Huggins
2010 — conf
Abstract State Machines and the Inquiry Process.
Fields of Logic and Computation
James K. Huggins, Charles Wallace
2009 J jnl
Engaging computer science students through cooperative education.
ACM SIGCSE Bull.
James K. Huggins
2003 A conf
Survivor: getting through that class the first time.
SIGCSE
James K. Huggins, Joseph Bergin, James Caristi, Ellen Walker
2003 — conf
Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education.
Abstract State Machines
James K. Huggins, Jean Mayo, Charles Wallace
2000 — conf
An ASM Dynamic Semantics for Standard ML.
Abstract State Machines
Steven C. Cater, James K. Huggins
1998 J jnl
Abstract State Machines 1988-1998: Commented ASM Bibliography
CoRR
Egon Börger, James K. Huggins
1998 J jnl
Abstract State Machines 1988-1998: Commented ASM Bibliography.
Bull. EATCS
Egon Börger, James K. Huggins
1998 J jnl
An Offline Partial Evaluator for Evolving Algebras
CoRR
James K. Huggins
1998 J jnl
Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution
CoRR
James K. Huggins
1998 J jnl
Equivalence is in the Eye of the Beholder
CoRR
Yuri Gurevich, James K. Huggins
1998 J jnl
Evolving Algebras and Partial Evaluation
CoRR
Yuri Gurevich, James K. Huggins
1998 J jnl
Specification and verification of pipelining in the ARM2 RISC microprocessor.
ACM Trans. Design Autom. Electr. Syst.
James K. Huggins, David Van Campenhout
1998 J jnl
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions
CoRR
Yuri Gurevich, James K. Huggins
1997 J jnl
Equivalence is in the Eye of the Beholder.
Theor. Comput. Sci.
Yuri Gurevich, James K. Huggins
1995 — —
Evolving algebras: Tools for specification, validation, and program transformation.
James K. Huggins
1995 B conf
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions.
CSL
Yuri Gurevich, James K. Huggins
1994 — conf
Evolving Algebras and Partial Evaluation.
IFIP Congress (1)
Yuri Gurevich, James K. Huggins
1994 — conf
The assumptions of computing.
Ethics in Computer Age
James K. Huggins
1993 B conf
ERRATA to "The Semantics of the C Programming Language".
CSL
Yuri Gurevich, James K. Huggins
1993 — ch.
Kermit: specification and verification.
Specification and validation methods
James K. Huggins
1992 B conf
The Semantics of the C Programming Language.
CSL
Yuri Gurevich, James K. Huggins