diff --git a/publications/publications.bib b/publications/publications.bib
index 11fccea23dd0a02a83cce9a098ccc2f5401d0b7b..9d5690f44350004db3a996a69cf358ba9f260178 100644
--- a/publications/publications.bib
+++ b/publications/publications.bib
@@ -511,13 +511,8 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
@inproceedings{Raad2016Verifying,
Title = {Verifying Concurrent Graph Algorithms},
- Author = {Azalea Raad and
- Aquinas Hobor and
- Jules Villard and
- Philippa Gardner},
-
- Booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}
- 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
+ Author = {Azalea Raad and Aquinas Hobor and Jules Villard and Philippa Gardner},
+ Booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS} 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
Year = {2016},
Pages = {314--334},
url = {http://dx.doi.org/10.1007/978-3-319-47958-3_17},
@@ -528,13 +523,9 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
}
@inproceedings{Raad2016DOM,
- Title = {{DOM:} Specification and Client Reasoning},
- Author = {Azalea Raad and
- Jos{\'{e}} Fragoso Santos and
- Philippa Gardner},
-
- Booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}
- 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
+ Title = {{DOM:} Specification and Client Reasoning},
+ Author = {Azalea Raad and Jos{\'{e}} Fragoso Santos and Philippa Gardner},
+ Booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS} 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
Year = {2016},
Pages = {401--422},
url = {http://dx.doi.org/10.1007/978-3-319-47958-3_21},