Search results for: Iain Phillips
New Generation Computing > 2018 > 36 > 3 > 281-306
Lecture Notes in Computer Science > FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers – Track B > 333-344
Lecture Notes in Mathematics > Models and Sets > 235-260
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Process Calculi > 246-260
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 408-422
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 297-308
Lecture Notes in Computer Science > Formal Methods for Components and Objects > Algebraic Methods > 172-194
Radiotherapy and Oncology > 2016 > 119 > 1 > 166-171
Journal of Logical and Algebraic Methods in Programming > 2015 > 84 > 6 > 781-805
Digital Investigation > 2014 > 11 > Supplement 2 > S66-S75
IEEE/ACM Transactions on Networking > 2014 > 22 > 2 > 391 - 404
IEEE Sensors Journal > 2014 > 14 > 5 > 1370 - 1379