James K. Huggins
发表
James K. Huggins,
2009
.
Charles Wallace,
Jean Mayo,
James K. Huggins,
2003,
Abstract State Machines.
Charles Wallace,
James K. Huggins,
C. Wallace,
2010,
Fields of Logic and Computation.
Egon Börger,
James K. Huggins,
E. Börger,
1998,
Bull. EATCS.
James K. Huggins,
1998,
ArXiv.
James K. Huggins,
2010,
SGCS.
James K. Huggins,
2015,
CSOC.
Diane L. Peters,
James K. Huggins,
Olivia C. Wanless,
2019,
2019 IEEE International Symposium on Technology and Society (ISTAS).
James K. Huggins,
1998,
ArXiv.
Charles Wallace,
James K. Huggins,
Charles Wallace,
2002
.
Yuri Gurevich,
James K. Huggins,
1994,
IFIP Congress.
James K. Huggins,
1993,
Specification and validation methods.
Yuri Gurevich,
James K. Huggins,
1993,
CSL.
Yuri Gurevich,
James K. Huggins,
Y. Gurevich,
1997,
Theor. Comput. Sci..
Yuri Gurevich,
James K. Huggins,
1995,
CSL.
James K. Huggins,
Mitchell Duncan,
2018,
2018 IEEE Frontiers in Education Conference (FIE).
James K. Huggins,
Wuwei Shenyz,
2000
.
James K. Huggins,
1984
.
James K. Huggins,
J. Huggins,
1994,
ECA '94.
Yuri Gurevich,
Kevin J. Compton,
James K. Huggins,
2000
.
James K. Huggins,
2000,
30th Annual Frontiers in Education Conference. Building on A Century of Progress in Engineering Education. Conference Proceedings (IEEE Cat. No.00CH37135).
James K. Huggins,
1986
.
James K. Huggins,
2011
.
James K. Huggins,
Wuwei Shen,
1999
.
James K. Huggins,
Steven C. Cater,
S. Cater,
2000,
Abstract State Machines.
David Van Campenhout,
James K. Huggins,
D. V. Campenhout,
1998,
TODE.
Kevin J. Compton,
James K. Huggins,
Wuwei Shen,
2000
.
John A. Trono,
Amruth N. Kumar,
James K. Huggins,
2003
.
Yuri Gurevich,
James K. Huggins,
Y. Gurevich,
1992,
CSL.
Yuri Gurevich,
James K. Huggins,
1992
.
James K. Huggins,
2018,
2018 IEEE Frontiers in Education Conference (FIE).