Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by W. Ifill
A Step Towards Refining and Translating B Control Annotations to Handel-C
Concurrency Computation Practice and Experience
Computer Networks
Communications
Computer Science Applications
Computational Theory
Mathematics
Theoretical Computer Science
Software
Related publications
Translating Patient-Reported Outcome Measures: A Multi-Step Process Is Essential
Jornal Brasileiro de Pneumologia
Pulmonary
Respiratory Medicine
RMCProfile: A Step Towards Complex Modelling
Acta Crystallographica Section A: Foundations and Advances
Materials Science
Condensed Matter Physics
Theoretical Chemistry
Biochemistry
Structural Biology
Inorganic Chemistry
Physical
Digitalization - A Step Towards Cashless Economy
International Journal of Trend in Scientific Research and Development
TreeDyn: Towards Dynamic Graphics and Annotations for Analyses of Trees
BMC Bioinformatics
Biochemistry
Applied Mathematics
Computer Science Applications
Structural Biology
Molecular Biology
From Half to a Third: A Step Towards Reducing Unnecessary Caesarean Sections
BJOG: An International Journal of Obstetrics and Gynaecology
Gynecology
Obstetrics
Rings With (A, B, C) = (A, C, B) and (A, [B, C]d) = 0: A Case Study Using Albert
International Journal of Computer Mathematics
Computational Theory
Applied Mathematics
Computer Science Applications
Mathematics
Green Marketing - A Step Towards Sustainable Growth
International Journal of Trend in Scientific Research and Development
Design Methodology for Construction of Asynchronous Pipelines With Handel-C
IEE Proceedings - Software
Towards a New Step of Logic Paradigm
