James K. Huggins

According to our database, James K. Huggins authored at least 39 papers between 1992 and 2024.

Collaborative distances:

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

2024

Unusual Standards.

James K. Huggins

J. Comput. Sci. Coll., 2024

Checksums Everywhere.

James K. Huggins

J. Comput. Sci. Coll., 2024

2023

ChatGPT: The Good, the Bad, and the Ugly.

James K. Huggins

J. Comput. Sci. Coll., 2023

It Seemed Like a Good Idea at the Time: ("Let Me Help You with That" edition).

Dan Garcia, Jim Huggins, Lauren J. Bricker, Adam Gaweda, David J. Malan, Joël Porquet-Lupine, Kristin Stephens-Martinez

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

2022

It Seemed Like a Good Idea at the Time (COVID-19 edition).

Dan Garcia, Jim Huggins, Christine Alvarado, Paul Gestwicki, Andy Gunawardena, Victoria Hong, Ellen Spertus

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

2020

It Seemed Like a Good Idea at the Time (Hindsight is 2020).

Dan Garcia, Jim Huggins, Kevin Lin, Raja Sooriamurthi, Leo C. Ureel, Ursula Wolz

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

2019

Education and Licensure Requirements for Automated Motor Vehicles.

Olivia C. Wanless, Chanc D. Gettel, Charles W. Gates, James K. Huggins, Diane L. Peters

Proceedings of the 2019 IEEE International Symposium on Technology and Society, 2019

2018

Flipping Unplugged: An Experience Report.

James K. Huggins

Proceedings of the IEEE Frontiers in Education Conference, 2018

What Belongs in a Computer Science Syllabus?

Mitch J. Duncan, James K. Huggins

Proceedings of the IEEE Frontiers in Education Conference, 2018

2017

A KERNEL OF TRUTH: The light is better here (and that's okay).

Jim Huggins

Inroads, 2017

2015

Computing history & ethics: the relevance of the real world for social change.

James K. Huggins

SIGCAS Comput. Soc., 2015

2013

Nifty computing in society case studies (abstract only).

Jim Huggins, Alfreda Dudley, Karla Carter, Dee A. B. Weikle, Netiva Caftori

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

2012

The pledge of the computing professional: recognizing and promoting ethics in the computing professions.

William Albrecht, Ken Christensen, Venu Dasigi, Jim Huggins, Jody Paul

SIGCAS Comput. Soc., 2012

2011

Rock-paper-scissors: nifty tools and assignments.

Jim Huggins

J. Comput. Sci. Coll., 2011

2010

Abstract State Machines and the Inquiry Process.

James K. Huggins, Charles Wallace

Proceedings of the Fields of Logic and Computation, 2010

2009

Engaging computer science students through cooperative education.

James K. Huggins

ACM SIGCSE Bull., 2009

It seemed like a good idea at the time.

Jonas Boustedt, Robert McCartney, Katherine Deibel, Jim Huggins, Beth Simon, Suzanne Westbrook, The Mystery Presenter

Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009

2004

Execution of A Requirement Model in Software Development.

Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J. Compton, James Huggins

Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

2003

Multi-phase homework assignments in CS I and CS II.

Jim Huggins, Clif Kussmaul, Amruth Kumar, John A. Trono

J. Comput. Sci. Coll., 2003

Survivor: getting through that class the first time.

James K. Huggins, Joseph Bergin, James Caristi, Ellen Walker

Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education.

James K. Huggins, Jean Mayo, Charles Wallace

Proceedings of the Abstract State Machines, 2003

A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines.

Wuwei Shen, Kevin J. Compton, James Huggins

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

A Toolset for Supporting UML Static and Dynamic Model Checking.

Wuwei Shen, Kevin J. Compton, James Huggins

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

A UML Validation Toolset Based on Abstract State Machines.

Wuwei Shen, Kevin J. Compton, James Huggins

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

An ASM Dynamic Semantics for Standard ML.

Steven C. Cater, James K. Huggins

Proceedings of the Abstract State Machines, 2000

1998

Specification and verification of pipelining in the ARM2 RISC microprocessor.

James K. Huggins, David Van Campenhout

ACM Trans. Design Autom. Electr. Syst., 1998

Abstract State Machines 1988-1998: Commented ASM Bibliography.

Egon Börger, James K. Huggins

Bull. EATCS, 1998

An Offline Partial Evaluator for Evolving Algebras

James K. Huggins

CoRR, 1998

Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution

James K. Huggins

CoRR, 1998

Zen and the art of Alpha verification.

Nathan Dohm, Carl Ramey, Darren Brown, Scot Hildebrandt, James Huggins, Michael Quinn, Scott A. Taylor

Proceedings of the International Conference on Computer Design: VLSI in Computers and Processors, 1998

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, Carl Ramey

Proceedings of the 35th Conference on Design Automation, 1998

1997

Equivalence is in the Eye of the Beholder.

Yuri Gurevich, James K. Huggins

Theor. Comput. Sci., 1997

1995

Evolving algebras: Tools for specification, validation, and program transformation.

James K. Huggins

PhD thesis, 1995

The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions.

Yuri Gurevich, James K. Huggins

Proceedings of the Computer Science Logic, 9th International Workshop, 1995

1994

Evolving Algebras and Partial Evaluation.

Yuri Gurevich, James K. Huggins

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

The assumptions of computing.

James K. Huggins

Proceedings of the Conference on Ethics in Computer Age, 1994

1993

ERRATA to "The Semantics of the C Programming Language".

Yuri Gurevich, James K. Huggins

Proceedings of the Computer Science Logic, 7th Workshop, 1993

Kermit: specification and verification.

James K. Huggins

Proceedings of the Specification and validation methods, 1993

1992

The Semantics of the C Programming Language.

Yuri Gurevich, James K. Huggins

Proceedings of the Computer Science Logic, 6th Workshop, 1992