From 0d7ed5df2995c874e16dcbcadf778b84ea6855e8 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Thu, 16 Apr 2020 21:43:42 +0100 Subject: [PATCH] Updated title page. --- Core_DOM/Core_SC_DOM/document/root.tex | 31 +++++++++++--------------- 1 file changed, 13 insertions(+), 18 deletions(-) diff --git a/Core_DOM/Core_SC_DOM/document/root.tex b/Core_DOM/Core_SC_DOM/document/root.tex index 445b9bb..9043cbc 100644 --- a/Core_DOM/Core_SC_DOM/document/root.tex +++ b/Core_DOM/Core_SC_DOM/document/root.tex @@ -1,15 +1,5 @@ \documentclass[10pt,DIV16,a4paper,abstract=true,twoside=semi,openright] {scrreprt} -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -%%% Overrides the (rightfully issued) warnings by Koma Script that \rm -%%% etc. should not be used (they are deprecated since more than a -%%% decade) - \DeclareOldFontCommand{\rm}{\normalfont\rmfamily}{\mathrm} - \DeclareOldFontCommand{\sf}{\normalfont\sffamily}{\mathsf} - \DeclareOldFontCommand{\tt}{\normalfont\ttfamily}{\mathtt} - \DeclareOldFontCommand{\bf}{\normalfont\bfseries}{\mathbf} - \DeclareOldFontCommand{\it}{\normalfont\itshape}{\mathit} -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \usepackage[USenglish]{babel} \usepackage[numbers, sort&compress]{natbib} \usepackage{isabelle,isabellesym} @@ -55,15 +45,20 @@ \endgroup% } -\title{Core DOM\\\medskip \Large - A Formal Model of the Document Object Model}% -\author{Achim~D.~Brucker \and Michael~Herzberg}% +\title{Core SC DOM\\\medskip \Large + A Formal Model of the Document Object Model for Safe Components}% +\author{% + \href{https://www.brucker.ch/}{Achim~D.~Brucker}\footnotemark[1] + \and + \href{https://www.michael-herzberg.de/}{Michael Herzberg}\footnotemark[2] +} + \publishers{ - Department of Computer Science\\ - The University of Sheffield\\ - Sheffield, UK\\ - \texttt{\{\href{mailto:a.brucker@sheffield.ac.uk}{a.brucker}, - \href{mailto:msherzberg1@sheffield.ac.uk}{msherzberg1}\}@sheffield.ac.uk} + \footnotemark[1]~Department of Computer Science, University of Exeter, Exeter, UK\texorpdfstring{\\}{, } + \texttt{a.brucker@exeter.ac.uk}\\[2em] + % + \footnotemark[2]~ Department of Computer Science, The University of Sheffield, Sheffield, UK\texorpdfstring{\\}{, } + \texttt{msherzberg1@sheffield.ac.uk} } \begin{document} \maketitle