Update publications.md#16

ondrik wants to merge 1 commit into

masterondrik/ondrik.github.io:masterfrom

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