Search results for: Chris Myers
Metal Powder Report > 2016 > 71 > 3 > 172-179
Journal of Retailing and Consumer Services > 2016 > 30 > C > 84-95
Lecture Notes in Computer Science > Computer Aided Verification > Abstraction and Refinement > 182-193
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 426-440
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 114-128
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 66-81
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 339-353
Lecture Notes in Computer Science > Advances in Applied Artificial Intelligence > Special Session on Bioinformatics > 962-971
Science of Computer Programming > 2016 > 118 > C > 24-39
Journal of Retailing and Consumer Services > 2014 > 21 > 1 > 48-53
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2011 > 30 > 4 > 617 - 630