X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/da14228658fc24331843063c2cbcc01b3deeb0e2..e30d4988385bf8a631468f031291a1e9babdf17f:/publications.html
diff --git a/publications.html b/publications.html
index d842230..9743e5a 100644
--- a/publications.html
+++ b/publications.html
@@ -12,7 +12,7 @@
<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>
@@ -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>,