As always, lists like these don’t include Joe Armstrong's PhD thesis “Making reliable distributed systems in the presence of software errors” - http://erlang.org/download/armstrong_thesis_2003.pdf
Lamport is the author of more than half of these, it's crazy how influential he is in this space
In addition to making LaTex which has almost nothing to do with it
No disrespect meant to Mr. Armstrong, but it's possible it's never listed because it's basically a textbook. It's 295 pages. The rough average of all papers in OP is like 15 pages.
His thesis is only slightly longer than typical PhD theses, I think.
Are there any other works that should also be included that you know of?