\documentclass{article} \usepackage{a4wide,url,ngerman} \usepackage{biblatex} \bibliography{dummy} \defbibheading{empty}{} \def\omdoc{OMDoc} \begin{document} \begin{center}\huge\bf Lebenslauf (kurz), Publikationen\\ Prof.\ Dr.\ Michael Kohlhase \end{center} \section{Tabellarischer Lebenslauf} \noindent\begin{tabular}{lp{12cm}} Name: & Dr.\ Michael Kohlhase, geb.\ Kaup 13.9.1964 in Erlangen \\ \ldots \end{tabular} \section{F"unf wichtige Ver"offentlichungen} Eine vollst"andige Liste zum Teil mit Volltexten (21 Journalartikel, 15 Beitr"age in Sammelb"anden, 60 Beitr"age auf interantionalen Konferenzen und ca. 40 Beitr"age in der grauen Literatur (Workshopbeitr"age und Technical Reports) kann unter \url{http://kwarc.info/kohlhase/publications.html} eingesehen werden. \nocite{Kohlhase:pdpl10,providemore} \printbibliography[heading=empty] \end{document} %%% Local Variables: %%% mode: latex %%% TeX-master: t %%% End: % LocalWords: miko Kaup ubingen qquad Universit Studienf acher adikat Hyperfl % LocalWords: homologische Minimalit extremalen achen Mannigfaltigkeiten arz % LocalWords: Siekmann Auckand Calude Bundy Benthem Pfenning Deduktionssysteme % LocalWords: Heisenbergstipendium unstliche Ausgew ahlte offentlichungen ofx % LocalWords: vollst andige footnotesize subsubsection ucher omdoclnai omdoc % LocalWords: emph Freksa Schill CALCULEMUS-2000 Kerber Beitr Stamerjohanns sc % LocalWords: textbf Deyan Ginev Catalin Birkh auser Chulkov rgen onw exttjsl % LocalWords: Benzmueller impredicativity Benzm Extensionality mgperfmod casys % LocalWords: calculemus-jsl sigsam00 hocujar Hutter omega-kogwiss hocutsi unf % LocalWords: Kognitionswissenschaft lisa-kogwiss Coloured foascomp99 ovely % LocalWords: nterface jucs99 jancl Scheja sapperjar sortski oherer Scientec % LocalWords: omegaife Nesmith Richts Beweisentwicklungsumgebung sosklkgs dipl % LocalWords: Logicum odel-Society noindent Sammelb interantionalen nocite % LocalWords: Workshopbeitr ufungsarbeiten pdpl10 providemore