Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Daniel Jackson
A Lightweight Code Analysis and Its Role in Evaluation of a Dependability Case
Dependability Arguments With Trusted Bases
Rubicon
Panopticon as an eLearning Support Search Tool
Waterpipe Smoking in Students: Prevalence, Risk Factors, Symptoms of Addiction, and Smoke Intake. Evidence From One British University
BMC Public Health
Environmental
Public Health
Occupational Health
Efficient Search as a Means of Executing Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Hazards of Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
‹
1
2
