X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/a98c50cd044a2d649c345ee6c88dba9cc8016b65..29f0d7b9e10f827c29213a40279b8a767c99d80b:/static/publications-partial.html

diff --git a/static/publications-partial.html b/static/publications-partial.html
index 8d5cf21..bcf502a 100644
--- a/static/publications-partial.html
+++ b/static/publications-partial.html
@@ -5,13 +5,13 @@
 [<a name="bandali2020">4</a>]
 </td>
 <td class="bibtexitem">
-<a href="https://bndl.org">Amin Bandali</a>.
+<a href="https://shemshak.org/~bandali/">Amin Bandali</a>.
  A Comprehensive Study of Declarative Modelling Languages.
  MMath thesis, University of Waterloo, David R. Cheriton School of
   Computer Science, July 2020.
  <a href="http://hdl.handle.net/10012/16059">http://hdl.handle.net/10012/16059</a> and
   <a href="https://bndl.org/mmath">https://bndl.org/mmath</a>.
-[&nbsp;<a href="bandali-bib#bandali2020">bib</a>&nbsp;| 
+[&nbsp;<a href="bandali-bib.html#bandali2020">bib</a>&nbsp;| 
 <a href="http://hdl.handle.net/10012/16059">http</a>&nbsp;| 
 <a href="https://p.bndl.org/bandali-mmath-thesis.pdf">.pdf</a>&nbsp;]
 
@@ -24,14 +24,14 @@
 [<a name="DBLP:conf/re/AbbassiBDS18">3</a>]
 </td>
 <td class="bibtexitem">
-Ali Abbassi, <a href="https://bndl.org">Amin Bandali</a>, <a href="https://cs.uwaterloo.ca/~nday/">Nancy&nbsp;A. Day</a>, and Jos&eacute; Serna.
+Ali Abbassi, <a href="https://shemshak.org/~bandali/">Amin Bandali</a>, <a href="https://cs.uwaterloo.ca/~nday/">Nancy&nbsp;A. Day</a>, and Jos&eacute; Serna.
  A comparison of the declarative modelling languages B, Dash, and
   TLA<sup>+</sup>.
  In Ana Moreira, Gunter Mussbacher, Jo&atilde;o Ara&uacute;jo, and Pablo
   S&aacute;nchez, editors, <em>8th IEEE International Model-Driven
   Requirements Engineering Workshop, MoDRE@RE 2018, Banff, AB, Canada, August
   20, 2018</em>, pages 11&#x2013;20. IEEE Computer Society, 2018.
-[&nbsp;<a href="bandali-bib#DBLP:conf/re/AbbassiBDS18">bib</a>&nbsp;| 
+[&nbsp;<a href="bandali-bib.html#DBLP:conf/re/AbbassiBDS18">bib</a>&nbsp;| 
 <a href="https://doi.org/10.1109/MoDRE.2018.00008">http</a>&nbsp;| 
 <a href="https://p.bndl.org/modre2018-declarative.pdf">.pdf</a>&nbsp;]
 
@@ -44,11 +44,11 @@ Ali Abbassi, <a href="https://bndl.org">Amin Bandali</a>, <a href="https://cs.uw
 [<a name="bandali-magic-lassonde-2017">2</a>]
 </td>
 <td class="bibtexitem">
-<a href="https://bndl.org">Amin Bandali</a>, <a href="https://github.com/cipher1024">Simon Hudon</a>, and <a href="https://www.eecs.yorku.ca/~jonathan/">Jonathan&nbsp;S. Ostroff</a>.
+<a href="https://shemshak.org/~bandali/">Amin Bandali</a>, <a href="https://github.com/cipher1024">Simon Hudon</a>, and <a href="https://www.eecs.yorku.ca/~jonathan/">Jonathan&nbsp;S. Ostroff</a>.
  The magic of specifications and type systems.
  Presented at the 2017 Lassonde Undergraduate Summer Student Research
   Conference, York University, Toronto, Canada, August 2017.
-[&nbsp;<a href="bandali-bib#bandali-magic-lassonde-2017">bib</a>&nbsp;| 
+[&nbsp;<a href="bandali-bib.html#bandali-magic-lassonde-2017">bib</a>&nbsp;| 
 <a href="https://p.bndl.org/eecs4080-poster.pdf">poster</a>&nbsp;]
 
 </td>
@@ -60,13 +60,13 @@ Ali Abbassi, <a href="https://bndl.org">Amin Bandali</a>, <a href="https://cs.uw
 [<a name="bandali-magic-cucsc-2017">1</a>]
 </td>
 <td class="bibtexitem">
-<a href="https://bndl.org">Amin Bandali</a>, <a href="https://github.com/cipher1024">Simon Hudon</a>, and <a href="https://www.eecs.yorku.ca/~jonathan/">Jonathan&nbsp;S. Ostroff</a>.
+<a href="https://shemshak.org/~bandali/">Amin Bandali</a>, <a href="https://github.com/cipher1024">Simon Hudon</a>, and <a href="https://www.eecs.yorku.ca/~jonathan/">Jonathan&nbsp;S. Ostroff</a>.
  The magic of specifications and type systems.
  Presented at the Canadian Undergraduate Computer Science Conference
   2017, University of Toronto, Canada, June 2017.
-[&nbsp;<a href="bandali-bib#bandali-magic-cucsc-2017">bib</a>&nbsp;| 
+[&nbsp;<a href="bandali-bib.html#bandali-magic-cucsc-2017">bib</a>&nbsp;| 
 <a href="https://p.bndl.org/cucsc-2017-slides.pdf">slides</a>&nbsp;]
 
 </td>
 </tr>
-</table>
\ No newline at end of file
+</table>