publications: add HDR manuscript
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 28 Nov 2017 12:59:31 +0000 (13:59 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 28 Nov 2017 12:59:31 +0000 (13:59 +0100)
research/publications.mdwn
research/publications/hdr-thesis.bib [new file with mode: 0644]
research/publications/hdr-thesis.pdf [new file with mode: 0644]

index e7e8df2..af53c6f 100644 (file)
@@ -613,6 +613,13 @@ You might also be interested in my author profiles on
 
 # dissertations
 
+ 1. <a class="paper-download" href="hdr-thesis.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="hdr-thesis.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Large-scale Modeling, Analysis, and Preservation of Free and Open Source Software**.  <em>
+        HDR (Habilitation √† diriger des recherches) dissertation, defended
+        publicly on 27 November 2017, at Universit√© Paris Diderot, France,
+        before a jury composed of: Ahmed Bouajjani, Carlo Ghezzi, Jesus
+        M. Gonzalez-Barahona, Roberto Di Cosmo, Jean-Bernard Stefani, Diomidis
+        Spinellis, Andreas Zeller.
+      </em>
  1. <a class="paper-download" href="phd-thesis.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="phd-thesis.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **User Interaction Widgets for Interactive Theorem Proving**.  <em>
         Ph.D. dissertation, <a href="http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2007.bib?ncstrl.cabernet//BOLOGNA-UBLCS-2007-10">Technical
           report UBLCS-2007-10</a>, March 2007, <a href="http://www.cs.unibo.it">Department of Computer Science</a>, <a href="http://www.unibo.it">University of Bologna</a> (advisor: <a href="http://www.cs.unibo.it/~asperti">Andrea Asperti</a>; refereed
diff --git a/research/publications/hdr-thesis.bib b/research/publications/hdr-thesis.bib
new file mode 100644 (file)
index 0000000..46f84d4
--- /dev/null
@@ -0,0 +1,6 @@
+@phdthesis{hdr-thesis,
+  author = {Stefano Zacchiroli},
+  title = {Large-scale Modeling, Analysis, and Preservation of Free and Open Source Software},
+  abstract = {},
+  year = {2017},
+}
diff --git a/research/publications/hdr-thesis.pdf b/research/publications/hdr-thesis.pdf
new file mode 100644 (file)
index 0000000..1c4a5c1
Binary files /dev/null and b/research/publications/hdr-thesis.pdf differ