Fix linking of Pedro's name in publications

publications.bib

@@ -434,7 +434,7 @@ We introduce a program logic for reasoning about a broad subset of JavaScript, i
 
 @InProceedings{Ntzik2015Fault,
   Title                    = {{Fault-tolerant Resource Reasoning}},
-  Author                   = {Gian Ntzik and Pedro da Rocha Pinto and Philippa Gardner},
+  Author                   = {Gian Ntzik and Pedro {da Rocha Pinto} and Philippa Gardner},
   Booktitle                = {Proceedings of the 13\textsuperscript{th} Asian Symposium on Programming Languages and Systems ({APLAS})},
   Year                     = {2015},
   Note                     = {(Awaiting Publication)$^*$},
@@ -485,7 +485,7 @@ We introduce a program logic for reasoning about a broad subset of JavaScript, i
 
 @InProceedings{RochaPinto2011Simple,
   Title                    = {{A Simple Abstraction for Complex Concurrent Indexes}},
-  Author                   = {Pedro da Rocha Pinto and Thomas Dinsdale{-}Young and Mike Dodds and Philippa Gardner and Mark J. Wheelhouse},
+  Author                   = {Pedro {da Rocha Pinto} and Thomas Dinsdale{-}Young and Mike Dodds and Philippa Gardner and Mark J. Wheelhouse},
   Booktitle                = {Proceedings of the 26\textsuperscript{th} Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages, and Applications ({OOPSLA})},
   Year                     = {2011},
   Pages                    = {845--864},
@@ -496,7 +496,7 @@ We present an abstract specification for concurrent indexes. We verify several r
 
 @InProceedings{RochaPinto2014TaDA,
   Title                    = {{TaDA: A Logic for Time and Data Abstraction}},
-  Author                   = {Pedro da Rocha Pinto and Thomas Dinsdale{-}Young and Philippa Gardner},
+  Author                   = {Pedro {da Rocha Pinto} and Thomas Dinsdale{-}Young and Philippa Gardner},
   Booktitle                = {Proceedings of the 28\textsuperscript{th} European Conference on Object-Oriented Programming ({ECOOP})},
   Year                     = {2014},
   Pages                    = {207--231},
@@ -507,7 +507,7 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
 
 @InProceedings{RochaPinto2015Steps,
   Title                    = {{Steps in Modular Specifications for Concurrent Modules}},
-  Author                   = {Pedro da Rocha Pinto and Thomas Dinsdale-Young and Philippa Gardner},
+  Author                   = {Pedro {da Rocha Pinto} and Thomas Dinsdale-Young and Philippa Gardner},
   Booktitle                = {Proceedings of the 31\textsuperscript{st} Conference on the Mathematical Foundations of Programming Semantics},
   Year                     = {2015},
 
@@ -516,7 +516,7 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
 
 @InProceedings{RochaPinto2016Modular,
   Title                    = {Modular Termination Verification for Non-blocking Concurrency},
-  Author                   = {Pedro da Rocha Pinto and Thomas Dinsdale-Young and Philippa Gardner and Julian Sutherland},
+  Author                   = {Pedro {da Rocha Pinto} and Thomas Dinsdale-Young and Philippa Gardner and Julian Sutherland},
   Booktitle                = {Proceedings of the 25\textsuperscript{th} European Symposium on Programming ({ESOP})},
   Year                     = {2016},