James K. Huggins
According to our database1,
James K. Huggins
authored at least 21 papers
between 1992 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Proceedings of the 2019 IEEE International Symposium on Technology and Society, 2019
2018
Proceedings of the IEEE Frontiers in Education Conference, 2018
Proceedings of the IEEE Frontiers in Education Conference, 2018
2015
SIGCAS Comput. Soc., 2015
2010
Proceedings of the Fields of Logic and Computation, 2010
2009
ACM SIGCSE Bull., 2009
2003
Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003
Proceedings of the Abstract State Machines, 2003
2000
Proceedings of the Abstract State Machines, 2000
1998
ACM Trans. Design Autom. Electr. Syst., 1998
Abstract State Machines 1988-1998: Commented ASM Bibliography.
Bull. EATCS, 1998
CoRR, 1998
1997
1995
PhD thesis, 1995
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions.
Proceedings of the Computer Science Logic, 9th International Workshop, 1995
1994
Evolving Algebras and Partial Evaluation.
Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994
Proceedings of the Conference on Ethics in Computer Age, 1994
1993
Proceedings of the Computer Science Logic, 7th Workshop, 1993
Kermit: specification and verification.
Proceedings of the Specification and validation methods, 1993
1992
Proceedings of the Computer Science Logic, 6th Workshop, 1992