Dave Robertson is an author at University of Edinburgh specializing in engineering, computer science, and automated reasoning.
Top concepts
EngineeringComputer ScienceFormal MethodsAutomated ReasoningSoftware DesignLogic ProgrammingHuman-computer InteractionCommunicationSocial ComputingFormal Verification
Publications per year
1989–2019
20
20
Neurostimulation for refractory epilepsy.
Kristl Vonck, Paul Boon, Lut Goossens et al. · PubMed · 2003 · 48 citations
Rows per page
1–5 of 20