Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Javier Esparza
Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Hydrocephalus in Cerebral Cysticercosis
Journal of Neurosurgery
Surgery
Neurology
Model Checking Using Net Unfoldings
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Checking System Properties via Integer Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
BRICS Report Series
Related publications
Neuropsychiatric Outcomes After Stroke – Authors' Reply
The Lancet Neurology
Neurology
Maximising the Value of Research for Brain Health
The Lancet Neurology
Neurology
Cannabidiol in Patients With Treatment-Resistant Epilepsy
The Lancet Neurology
Neurology
WHO Takes Up the Baton on Dementia
The Lancet Neurology
Neurology
Learning About the Brain With Comics
The Lancet Neurology
Neurology
Functional (Psychogenic) Saccadic Oscillations and Oculogyric Crises – Authors' Reply
The Lancet Neurology
Neurology
Dream Weaver
The Lancet Neurology
Neurology
The Evolution of Universally Accessible Building Design
The Lancet Neurology
Neurology
Global, Regional, and National Burden of Meningitis, 1990–2016: A Systematic Analysis for the Global Burden of Disease Study 2016
The Lancet Neurology
Neurology
Intravenous Immunoglobulin for Treatment of Mild-To-Moderate Alzheimer's Disease: A Phase 2, Randomised, Double-Blind, Placebo-Controlled, Dose-Finding Trial
The Lancet Neurology
Neurology
