X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/60d1cae9374d09398e12f0b6239092e4d0b3eb76..e080516ce6defaf997bcc5b54bf380044c65ebd2:/publications.html

diff --git a/publications.html b/publications.html
index 0970fa9..1c6da5c 100644
--- a/publications.html
+++ b/publications.html
@@ -3,7 +3,7 @@
   <head>
     <meta charset="utf-8" />
     <meta name=viewport content="width=device-width, initial-scale=1" />
-    <title>bandali's publications</title>
+    <title>Amin Bandali's Publications</title>
     <meta
       name="description"
       content="Amin Bandali's publications" />
@@ -29,10 +29,17 @@
           <dt>
             A Comparison of the Declarative Modelling Languages B,
             Dash, and TLA<sup>+</sup>
-            (<a href="publications/modre2018-declarative.pdf">pdf</a>,
-            <a href="publications/modre2018-declarative.bib">bib</a>,
-            <a href="https://doi.org/10.1109/MoDRE.2018.00008">doi</a>,
-            <a href="https://cs.uwaterloo.ca/~nday/models/2018-modre">models</a>)
+            <span class="plinks">
+              [
+              <a href="publications/modre2018-declarative.pdf">pdf</a>
+              |
+              <a href="publications/modre2018-declarative.bib">bib</a>
+              |
+              <a href="https://doi.org/10.1109/MoDRE.2018.00008">doi</a>
+              |
+              <a href="https://cs.uwaterloo.ca/~nday/models/2018-modre">models</a>
+              ]
+            </span>
           </dt>
           <dd>
             Ali Abbassi,
@@ -52,12 +59,17 @@
         <dl>
           <dt>
             The Magic of Specifications and Type Systems
-            (<a href="publications/cucsc-2017-slides.pdf"
-                title="presented at the Canadian Undergraduate Computer Science Conference 2017,
-University of Toronto, Canada, June 15-17, 2017">slides</a>,
+            <span class="plinks">
+            [
+            <a href="publications/cucsc-2017-slides.pdf"
+               title="presented at the Canadian Undergraduate Computer Science Conference 2017,
+University of Toronto, Canada, June 15-17, 2017">slides</a>
+            |
             <a href="publications/eecs4080-poster.pdf"
                title="presented at the Lassonde Undergraduate Summer Student Research Conference,
-York University, Toronto, Canada, August 15, 2017">poster</a>)
+York University, Toronto, Canada, August 15, 2017">poster</a>
+            ]
+            </span>
           </dt>
           <dd>
             <a href="https://bandali.eu.org">Amin Bandali</a>,
