Campbell, Brian M.
388  results:
Search for persons X
?
2

Contributors:

, In: Operative Techniques: Spine Surgery,
 
?
3

Formal Mechanised Semantics of CHERI C: Capabilities, Undef..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1,
Zaliva, Vadim ; Memarian, Kayvan ; Almeida, Ricardo... - p. 181-196 , 2024
 
?
4

Verified Security for the Morello Capability-enhanced Proto..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Bauereiss, Thomas ; Campbell, Brian ; Sewell, Thomas... - p. 174-203 , 2022
 
?
5

Rigorous engineering for hardware security: Formal modellin..:

, In: 2020 IEEE Symposium on Security and Privacy (SP),
 
?
6

List of Contributors:

, In: Animal and Translational Models for CNS Drug Discovery,
Acri, Jane B. ; Borsini, Franco ; Bergman, Jack... - p. xli-xliii , 2008
 
?
7

List of contributors:

, In: Translational Surgery,
Abadi, Arad ; Abdoli, Sherwin ; Acton, Benjamin... - p. xi-xvii , 2023
 
?
 
?
9

Contributors:

, In: Operative Techniques: Spine Surgery,
 
?
10

CONTRIBUTORS:

, In: Operative Techniques: spine surgery,
Abumi, Kuniyoshi ; Albert, Todd J. ; An, Howard S.... - p. vii-xi , 2008
 
?
11

List of contributors:

, In: Translational Sports Medicine,
 
?
12

Contributors:

, In: Torsades de Pointes,
Alomar, Mohammed ; Amarh, Enoch ; Baranchuk, Adrian... - p. xiii-xiv , 2022
 
?
13

List of contributors:

, In: The Bowhead Whale,
Ashjian, C.J. ; Baird, A.B. ; Bickham, J.W.... - p. xiii-xv , 2021
 
?
14

Contributors:

, In: Essentials of Physical Medicine and Rehabilitation,
Ahmed, Tayyaba ; Akuthota, Venu ; Alleva, Joseph T.... - p. vi-xviii , 2020
 
?
15

Contributors:

, In: The Handbook of Antagonism,
 
1-15