☰

Michael K. Katelman, Ph.D.

Affiliations: 
2011 Computer Science University of Illinois, Urbana-Champaign, Urbana-Champaign, IL 
Area:
Computer Science
Google:
"Michael Katelman"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Jose Meseguer grad student 2011 UIUC
 (A meta-language for functional verification.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Katelman M, Keller S, Meseguer J. (2012) Rewriting semantics of production rule sets The Journal of Logic and Algebraic Programming. 81: 929-956
Katelman M, Meseguer J. (2007) A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis Electronic Notes in Theoretical Computer Science. 176: 47-60
See more...