Search results for: S. Haddad
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Abstraction and Reduction Techniques > 202-216
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Established Formalisms and Standards > 293-307
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency – ICATPN 2007 > Full Papers > 43-62
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 52-67
IEEE Transactions on Biomedical Circuits and Systems > 2016 > 10 > 2 > 477 - 486
Fundamenta Informaticae > 2016 > Vol. 143, nr 3/4 > 235--259
Archives de P�diatrie > 2016 > 23 > 3 > 279-282
Journal of Ethnopharmacology > 2016 > 178 > C > 251-257
The Journal of Arthroplasty > 2016 > 31 > 2 > 517-523
BMC Musculoskeletal Disorders > 2016 > 17 > 1 > 1-9
European Journal of Nutrition > 2016 > 55 > 3 > 941-954
Clinical Orthopaedics and Related Research® > 2016 > 474 > 10 > 2320-2320
The Journal of Arthroplasty > 2016 > 31 > 1 > 22-26
The Journal of Arthroplasty > 2015 > 30 > 12 > 2264-2270