Lynch
AstraZeneca (United Kingdom)(GB)
Publications by Year
Research Areas
Schizophrenia research and treatment, Epilepsy research and treatment, Glioma Diagnosis and Treatment, Formal Methods in Verification, Advanced Software Engineering Methodologies
Most-Cited Works
- → The generalized railroad crossing: a case study in formal verification of real-time systems(1994)142 cited
- → Electroencephalographic and psychomotor effects of chlorpromazine and risperidone relative to placebo in normal healthy volunteers(1999)37 cited
- → Intrapelvic neurilemmoma presenting with bladder outlet obstruction(1998)1 cited