Add more TUD publications and unify formatting for theses#268

lhstrh merged 1 commit intomainlf-lang/lf-lang.github.io:mainfrom

new-publicationslf-lang/lf-lang.github.io:new-publicationsCopy head branch name to clipboard