Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jeremías Sauceda
Let's Verify Linux
Related publications
Linux
Verify Your Runs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Let's Challenge!
Yuki Gosei Kagaku Kyokaishi/Journal of Synthetic Organic Chemistry
Organic Chemistry
Linux Driver Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Linux en Router Inalámbricos Linksys [Linux in Wireless Router Linksys]
Ventana Informatica
Let's Hear It
Waikato Journal of Education
Education
Let's Get Critical
Evidence-Based Dentistry
Dentistry
Linux Kernel Vulnerabilities
Let's Think Operationally
BMJ