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>,