add thesis

papers/bach-PhDThesis.bib

@@ -0,0 +1,14 @@
+@phdthesis{bach:tel-01081055,
+  TITLE = {{Un \^ilot formel pour les transformations de modèles qualifiables}},
+  AUTHOR = {Bach, Jean-Christophe},
+  URL = {https://tel.archives-ouvertes.fr/tel-01081055},
+  SCHOOL = {{Universit{\'e} de Lorraine}},
+  YEAR = {2014},
+  MONTH = Sep,
+  KEYWORDS = {traceability ; models ; terms ; rewriting ; qualification ; tra{\c c}abilit{\'e} ; mod{\`e}les ; transformation ; termes ; r{\'e}{\'e}criture},
+  TYPE = {Theses},
+  PDF = {https://tel.archives-ouvertes.fr/tel-01081055/file/JCBach-these.pdf},
+  HAL_ID = {tel-01081055},
+  HAL_VERSION = {v1},
+}
+

research-fr.html

@@ -142,6 +142,22 @@ résoudre le problème de l'ordre d'application des règles de réécriture.
     Liste des publications :</p>
   <table>
 
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[9]
+</td>
+<td class="bibtexitem">
+<b>Jean-Christophe</b> <b>Bach</b>.
+Un îlot formel pour les transformations de modèles qualifiables
+  <em>Université de Lorraine</em>, September 2014.
+PhD Thesis in French.
+[&nbsp;<a href="papers/bach-PhDThesis.bib">bib</a>&nbsp;| 
+<a href="https://tel.archives-ouvertes.fr/tel-01081055">TEL</a>&nbsp;|
+<a href="https://hal.inria.fr/tel-01081055">hal</a>&nbsp;|
+&nbsp;<a href="papers/bach-PhDThesis.pdf">Local copy</a>&nbsp;]
+</td>
+</tr>
+
 <tr valign="top">
 <td align="right" class="bibtexnumber">
 [8]

research.html

@@ -139,6 +139,22 @@ rewriting rules application.
     <table>
 
 
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[9]
+</td>
+<td class="bibtexitem">
+<b>Jean-Christophe</b> <b>Bach</b>.
+Un îlot formel pour les transformations de modèles qualifiables
+  <em>Université de Lorraine</em>, September 2014.
+PhD Thesis in French.
+[&nbsp;<a href="papers/bach-PhDThesis.bib">bib</a>&nbsp;| 
+<a href="https://tel.archives-ouvertes.fr/tel-01081055">TEL</a>&nbsp;|
+<a href="https://hal.inria.fr/tel-01081055">hal</a>&nbsp;|
+&nbsp;<a href="papers/bach-PhDThesis.pdf">Local copy</a>&nbsp;]
+</td>
+</tr>
+
 <tr valign="top">
 <td align="right" class="bibtexnumber">
 [8]