Search results for: Brian Matthews
Journal of the Association for Information Science and Technology > 70 > 10 > 1047 - 1059
Lecture Notes in Computer Science > Trust Management > Short Papers and Experience Reports > 369-375
Lecture Notes in Computer Science > ECOOP 2000 — Object-Oriented Programming > Cooperation and Distribution > 296-312
Lecture Notes in Computer Science > B’98: Recent Advances in the Development and Use of the B Method > 148-161
IFIP — The International Federation for Information Processing > Collaborative Networks and Their Breeding Environments > Holistic Approaches to Collaborative Networks > 17-24
Lecture Notes in Computer Science > Towards a Service-Based Internet > Security, Privacy and Trust > 112-121
Lecture Notes in Computer Science > ZB 2000: Formal Specification and Development in Z and B > 107-126
The Journal of Supercomputing > 2014 > 70 > 1 > 408-464
Future Generation Computer Systems > 2013 > 29 > 2 > 612-623
The International Journal of Cardiovascular Imaging > 2012 > 28 > 6 > 1435-1444