add now page
[~bandali/bndl.org] / publications.html
index d842230..9743e5a 100644 (file)
@@ -12,7 +12,7 @@
   <body>
     <main id="publications">
       <header>
   <body>
     <main id="publications">
       <header>
-        <h1 id="title">bandali</h1>
+        <h1 id="title"><a href="/">bandali</a></h1>
         <h2 id="subtitle">Publications</h2>
       </header>
       <section>
         <h2 id="subtitle">Publications</h2>
       </header>
       <section>
           <dt>
             A Comparison of the Declarative Modelling Languages B,
             Dash, and TLA<sup>+</sup>
           <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,
           </dt>
           <dd>
             Ali Abbassi,
         <dl>
           <dt>
             The Magic of Specifications and Type Systems
         <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,
             <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>,
           </dt>
           <dd>
             <a href="https://bandali.eu.org">Amin Bandali</a>,