James K. Huggins

Citado por

	Total	Desde 2019
Citas	960	73
Índice h	15	5
Índice i10	19	1

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 9 27 31 27 39 36 55 40 48 63 60 56 60 37 44 36 30 20 31 19 22 15 21 17 13 15 9 10 9 14 15

Coautores

Yuri GurevichProfessor of Computer Science and EngineeringDirección de correo verificada de umich.edu
Dan GarciaUC BerkeleyDirección de correo verificada de berkeley.edu
Charles WallaceProfessor of Computer Science, Michigan Technological UniversityDirección de correo verificada de mtu.edu
Egon BoergerProfessor of Computer Science, University of Pisa (Italy)Dirección de correo verificada de di.unipi.it
Steven C CaterKettering University, retiredDirección de correo verificada de kasmid.org
Kristin Stephens-MartinezDuke UniversityDirección de correo verificada de cs.duke.edu
Robert McCartneyUniversity of ConnecticutDirección de correo verificada de engr.uconn.edu
Jonas BoustedtComputer Science, Högskolan i GävleDirección de correo verificada de hig.se
Leo C. Ureel IIMichigan Technological UniversityDirección de correo verificada de mtu.edu
Diane PetersKettering UniversityDirección de correo verificada de kettering.edu
Ken ChristensenProfessor of Computer Science and Engineering, University of South FloridaDirección de correo verificada de cse.usf.edu
Mitchell DuncanPhD Student, Wayne State UniversityDirección de correo verificada de wayne.edu
Jean MayoMichigan Technological UniversityDirección de correo verificada de mtu.edu

Seguir

James K. Huggins

Associate Professor of Computer Science, Kettering University

Dirección de correo verificada de kettering.edu - Página principal

Formal methods computing education computing ethics


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
The semantics of the C programming language Y Gurevich, JK Huggins International Workshop on Computer Science Logic, 274-308, 1992	253	1992
The railroad crossing problem: an experiment with instantaneous actions and immediate reactions Y Gurevich, JK Huggins International Workshop on Computer Science Logic, 266-290, 1995	83	1995
Abstract state machines 1988-1998: Commented ASM bibliography E Börger, JK Huggins arXiv preprint cs/9811014, 1998	82	1998
A toolset for supporting UML static and dynamic model checking W Shen, K Compton, J Huggins Proceedings 26th Annual International Computer Software and Applications …, 2002	79	2002
An automatic verification tool for UML K Compton, Y Gurevich, J Huggins, W Shen Univ. of Michigan, EECS Dept. Tech. Report CSE-TR-423, 2000	57	2000
Specification and verification of pipelining in the ARM2 RISC microprocessor JK Huggins, DV Campenhout ACM Transactions on Design Automation of Electronic Systems (TODAES) 3 (4 …, 1998	54	1998
Kermit: specification and verification. JK Huggins Specification and validation methods, 247-293, 1993	47	1993
An abstract state machine primer J Huggins, C Wallace Technical Report CS-TR-02-04, Computer Science Department, Michigan …, 2002	30	2002
A Semantic Model for the State Machine in the Uni ed Modeling Language K Compton, J Huggins, W Shen Dynamic Behavior in UML Models: Semantic Questions, UML 2000 workshop …, 2000	29	2000
Evolving algebras and partial evaluation Y Gurevich, JK Huggins arXiv preprint cs/9810024, 1998	25	1998
The static and dynamic semantics of C JK Huggins, W Shen Local Proc. Int. Workshop on Abstract State Machines, 2000	22	2000
Engaging computer science students through cooperative education JK Huggins ACM SIGCSE Bulletin 41 (4), 90-94, 2010	18	2010
Equivalence is in the eye of the beholder Y Gurevich, JK Huggins Theoretical Computer Science 179 (1-2), 353-380, 1997	18	1997
A validation method for uml model based on abstract state machines W Shen, K Compton, J Huggins Proceeding of EUROCAST, 220-223, 2001	16	2001
ASM Michigan web page JK Huggins	15
A UML validation toolset based on abstract state machines W Shen, K Compton, J Huggins Proceedings 16th Annual International Conference on Automated Software …, 2001	11	2001
Abstract state machines home page. EECS Department, University of Michigan JK Huggins	11	1998
Execution of A Requirement Model in Software Development. W Shen, M Guizani, Z Yang, KJ Compton, J Huggins IASSE, 203-208, 2004	10	2004
The evolving algebra interpreter version 2.0 J Huggins, R Mani University of Michigan, 1995	10	1995
Multi-phase homework assignments in CS I and CS II J Huggins	8	2003

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores