blob: 3004b99b7baba0619932df85c620c586c28d9957 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
\RequirePackage[ngerman,USenglish]{babel}
\newcommand{\mikoand}[1]% joint work with
{{\large\sc Michael Kohlhase}\\{\normalsize\green{joint work with #1}}\\[1ex]\mikoaffiliation}
\newcommand{\miko}
{{\large\sc Michael Kohlhase}\\[1ex]
\JacobsAffiliation}
\newcommand{\mikoJacobsDFKI}{\mikoJacobsDfki}
\newcommand{\mikoJacobsDfki}
{{\large\sc Michael Kohlhase}\\[1ex]
\JacobsDfkiAffiliation}
\newcommand{\JacobsAffiliation}
{{\begin{small}
Computer Science\\
School of Engineering \& Science \\
Jacobs University Bremen, Germany \\
\end{small}}
{\color{black}\normalsize\url{http://kwarc.info/kohlhase}}}
\newcommand{\mikoboth}
{\begin{creator}
{\large\sc Michael Kohlhase}\\[1ex]
{\small\begin{tabular}{c@{\qquad}c}
School of Engineering \& Science & School of Computer Science \\
Jacobs University Bremen & Carnegie Mellon yUniversity
\end{tabular}}
{\color{black}\normalsize\url{http://kwarc.info/kohlhase}}
\end{creator}}
\newcommand{\JacobsDfkiAffiliation}
{\begin{small}
\begin{tabular}{c@{\qquad}c}
Computer Science
&\iflanguage{german}{Sichere Kognitive Systeme}{Safe and Secure Cognitive Systems} \\
%School of Engineering \& Science
%& DFKI Bremen\\
Jacobs University, Bremen
&\iflanguage{german}{Deutsches Forschungszentrum f\"ur KI}{German Research Center for AI}\\
\end{tabular}
\end{small}
{\color{black}\normalsize\url{http://kwarc.info/kohlhase}}}
\newcommand{\mikocmu}
{\begin{creator}
{\large\sc Michael Kohlhase}\\[1ex]
{\small\begin{tabular}{c}
School of Computer Science \\
Carnegie Mellon University \\
\end{tabular}}\\
{\color{black}\normalsize\url{http://kwarc.info/kohlhase}}
\end{center}}
|