Update publications.md#17

ondrik wants to merge 1 commit into

masterondrik/ondrik.github.io:masterfrom

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