add (camera ready version of) some missing paper/chapter PDFs
[homepage.git] / research / publications /
drwxr-xr-x   ..
-rw-r--r-- 360863 constrainedwiki.pdf
-rw-r--r-- 316799 debconf8-mancoosi.pdf
-rw-r--r-- 218725 disambiguation-errors.pdf
-rw-r--r-- 199960 disambiguation.pdf
-rw-r--r-- 279242 flea.pdf
-rw-r--r-- 276157 gmetadom.pdf
-rw-r--r-- 359155 hbugs.pdf
-rw-r--r-- 173885 hotswup-package-upgrade.pdf
-rw-r--r-- 1192880 master-thesis.pdf
-rw-r--r-- 228038 mathsearch.pdf
-rw-r--r-- 508876 matita-crafting.pdf
-rw-r--r-- 1068749 matita.pdf
-rw-r--r-- 849581 mcs-disambiguation-errors.pdf
-rw-r--r-- 311752 notation.pdf
-rw-r--r-- 645227 nrhm-overlapping-conversions.pdf
-rw-r--r-- 2519366 phd-thesis.pdf
-rw-r--r-- 465201 steve-latvia.pdf
-rw-r--r-- 183121 streaming-co-constraints.pdf
-rw-r--r-- 286805 tinycals.pdf
-rw-r--r-- 1218577 web30-semantics-templating.pdf
-rw-r--r-- 350558 whelp.pdf
-rw-r--r-- 317897 wiki-templating-tr.pdf
-rw-r--r-- 435954 wiki-templating.pdf