From c1bfa0255b4232ab1246cabd3142006acda7e731 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sat, 22 Sep 2018 12:15:10 +0200 Subject: [PATCH] add twinsem paper --- research/publications.html | 21 ++++++++++++++------- 1 file changed, 14 insertions(+), 7 deletions(-) diff --git a/research/publications.html b/research/publications.html index 71d6be5..c91cf03 100644 --- a/research/publications.html +++ b/research/publications.html @@ -13,17 +13,24 @@ slug: Publications

2018

+ + @@ -32,14 +39,14 @@ slug: Publications @@ -48,7 +55,7 @@ slug: Publications @@ -57,14 +64,14 @@ slug: Publications -- 2.30.2