Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael Butler
Radiation Belt Storm Probes—Observatory and Environments
Space Science Reviews
Astrophysics
Astronomy
Planetary Science
Space
The Ghana PrenaBelt Trial: A Double-Blind, Sham-Controlled, Randomised Clinical Trial to Evaluate the Effect of Maternal Positional Therapy During Third-Trimester Sleep on Birth Weight
BMJ Open
Medicine
Erratum To: Mass Spectrometric Analysis of Products of Metabolic Glycan Engineering With Azido-Modification of Sialic Acids
Analytical and Bioanalytical Chemistry
Biochemistry
Analytical Chemistry
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Refinement of Timing Constraints for Concurrent Tasks With Scheduling
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Analysing Security Protocols Using Refinement in iUML-B
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Production of IgGs With a Human-Like Sialylation in CHO Cells
BMC Proceedings
Biochemistry
Medicine
Genetics
Molecular Biology
Editorial
Formal Aspects of Computing
Theoretical Computer Science
Software
Decomposition Structures for Event-B
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
1
2
›
