Update publications.md#14

ondrik wants to merge 1 commit into

masterondrik/ondrik.github.io:masterfrom

prose-patch-14ondrik/ondrik.github.io:prose-patch-14Copy head branch name to clipboard