Concepedia
Statistics
Publications
32
Citations
1.2K
H-Index
18
Active since
1977
Affiliations
University of Oxford(Current)
Palo Alto Research Center
Stanford University
University of Trás-os-Montes and Alto Douro
Birkbeck, University of London
Ken Kahn is an author at University of Oxford specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsAutomated ReasoningDesignProgram AnalysisFormal VerificationEducationSoftware AnalysisSystems Engineering
Publications per year
1977–2021
ToonTalkTM—An Animated Programming Environment for Children
Ken Kahn · Journal of Visual Languages & Computing · 1996 · 164 citations
Digital Playground, Design, Computer Animation +2
Integrating Access-Oriented Programming into a Multiparadigm Environment
Mark Stefik, Daniel G. Bobrow, Ken Kahn · IEEE Software · 1986 · 130 citations
Engineering, System Programming, Software Systems +20
Complete visualizations of concurrent programs and their executions
Ken Kahn, Vijay Saraswat · 2002 · 106 citations
Engineering, Visual Programming Language, Software Systems +19
Constructionism and AI: A history and possible futures
Ken Kahn, Niall Winters · British Journal of Educational Technology · 2021 · 97 citations · Full text
Artificial Intelligence, Engineering, Machine Learning +16
Janus: a step towards distributed constraint programming
Vijay Saraswat, Ken Kahn, Jacob Levy · Conference on Logic Programming · 1990 · 85 citations
Constraint Solving, Engineering, Constraint Satisfaction +8
1–5 of 32