Brian Campbell

发表

Brian Campbell, Yaron Goland, Michael Jones, 2011 .

Brian Campbell, Nat Sakimura, Filip Skokan, 2019 .

Igor Böhm, Björn Franke, Ian Stark, 2020, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Brian Campbell, Torsten Lodderstedt, Justin Richer, 2019, RFC.

Ian Stark, Brian Campbell, 2016, 2016 Formal Methods in Computer-Aided Design (FMCAD).

Michael Jones, Brian Campbell, John Bradley, 2000 .

Michael B. Jones, Chuck Mortimore, Brian Campbell, 2015, RFC.

Brian Campbell, Nat Sakimura, Torsten Lodderstedt, 2020, RFC.

Peter G. Neumann, Robert N. M. Watson, Simon W. Moore, 2020, 2020 IEEE Symposium on Security and Privacy (SP).

Chuck Mortimore, Michael Jones, Brian Campbell, 2012 .

William Denniss, John Bradley, Brian Campbell, 2018 .

Michael Jones, John Bradley, Brian Campbell, 2016 .

Michael Jones, Brian Campbell, Torsten Lodderstedt, 2020 .

Chuck Mortimore, Brian Campbell, 2010 .

Hannes Tschofenig, Brian Campbell, H. Tschofenig, 2012, RFC.

Michael B. Jones, Chuck Mortimore, Brian Campbell, 2015, RFC.

John Bradley, Chuck Mortimore, Brian Campbell, 2020, RFC.