Concepedia

Christopher Walton

CW

Statistics

Publications

10

Citations

414

H-Index

10

Active since

1995

Affiliations

University of Edinburgh(Current)

Christopher Walton is an author at University of Edinburgh specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationVerificationFormal MethodsAutomated ReasoningSoftware DesignMulti-agent SystemsSystems EngineeringDesign

Publications per year

1995–2010

10

Publications

10

Choreographing Web Services

Adam Barker, Christopher Walton, David Robertson · IEEE Transactions on Services Computing · 2009 · 101 citations

Cluster Computing, Web Service Specification, Engineering +19

Supporting Programming and Learning-to-Program with an Integrated CAD and Scaffolding Workbench*

Mark Guzdial, Luke Hohmann, Michael Konneman et al. · Interactive Learning Environments · 1998 · 64 citations

Engineering, Education, Software Engineering +22

Model Checking Multi-Agent Web Services

Christopher Walton · 2004 · 51 citations

Web Service Specification, Engineering, Web Service Modeling +14

Dynamic ML without dynamic types

Stephen Gilmore, Dilsun K rl, Christopher Walton · 1997 · 44 citations

Reducing Response Effects for Sensitive Questions: A Computer-Assisted Self Interview with Audio

J. Howard Johnston, Christopher Walton · Social Science Computer Review · 1995 · 37 citations

Voice Interaction, Engineering, Sensitive Questions +28

1–5 of 10