Search results for: Chris Hankin
Journal of Biomedical Semantics > 2016 > 7 > 1 > 1-14
Decision Support Systems > 2016 > 86 > C > 13-23
Lecture Notes in Computer Science > Program Analysis and Compilation, Theory and Practice > Technical Papers > 160-174
Lecture Notes in Computer Science > Information and Communications Security > Side Channel Analysis > 81-96
Lecture Notes in Computer Science > Static Analysis > 380-394
Lecture Notes in Computer Science > Progamming Language Implementation and Logic Programming > 318-331
Lecture Notes in Computer Science > Static Analysis > 242-253
Lecture Notes in Computer Science > Static Analysis > 310-325
Lecture Notes in Computer Science > ESOP '92 > 219-232