According to our database1, Mike Kelley authored at least 3 papers between 1991 and 2017.
Legend:Book In proceedings Article PhD thesis Other
SysML executable systems of system architecture definition: A working example.
Proceedings of the 2017 Annual IEEE International Systems Conference, 2017
Inheritance for ADTs (revised)
ANSI X2H2, July, 1991
ADT-based Type System for SQL.
Proceedings of the Query Processing for Advanced Database Systems, 1991