revamp the website

[~bandali/bndl.org] / static / publications-partial.html

diff --git a/static/publications-partial.html b/static/publications-partial.html
index 8d5cf21..bcf502a 100644 (file)
--- a/static/publications-partial.html
+++ b/static/publications-partial.html
@@ -5,13 +5,13 @@
 [<a name="bandali2020">4</a>]
 </td>
 <td class="bibtexitem">
 [<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>.
  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;]
 
 <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">
 [<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.
  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;]
 
 <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 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.
  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>
 <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 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.
  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>
 <a href="https://p.bndl.org/cucsc-2017-slides.pdf">slides</a>&nbsp;]
 
 </td>
 </tr>

-</table>
\ No newline at end of file
+</table>