Search results for: Andy King
Molecular Breeding > 2018 > 38 > 5 > 1-12
Formal Methods in System Design > 2019 > 54 > 2 > 232-277
Theoretical and Applied Genetics > 2017 > 130 > 10 > 2203-2217
Pattern Recognition Letters > 2017 > 87 > C > 47-54
Renewable Energy Focus > 2016 > 17 > 6 > 223-224
Meat Science > 2016 > 116 > C > 165-173
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Analysis and Specialisation > 82-101
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Abstraction and Refinement > 306-320
Lecture Notes in Computer Science > Static Analysis > 167-183