embed PDFs from www.informatik.uni-rostock.de/~nl/publications