James K. Huggins

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

Collaborative distances:

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

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

2015

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

James K. Huggins

SIGCAS Comput. Soc., 2015

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

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

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

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