publications: rebuild BiBTeX files to include pages annotation
[homepage.git] / research / publications /
drwxr-xr-x   ..
-rw-r--r-- 1551 ahci2012-wiki.bib
-rw-r--r-- 3019412 ahci2012-wiki.pdf
-rw-r--r-- 1148 cbse2011-mpm.bib
-rw-r--r-- 317307 cbse2011-mpm.pdf
-rw-r--r-- 1310 cbse2012-futures.bib
-rw-r--r-- 197413 cbse2012-futures.pdf
-rw-r--r-- 1160 constrainedwiki.bib
-rw-r--r-- 360863 constrainedwiki.pdf
-rw-r--r-- 1203 debconf8-mancoosi.bib
-rw-r--r-- 311857 debconf8-mancoosi.pdf
-rw-r--r-- 889 disambiguation-errors.bib
-rw-r--r-- 218725 disambiguation-errors.pdf
-rw-r--r-- 1458 disambiguation.bib
-rw-r--r-- 199960 disambiguation.pdf
-rw-r--r-- 1335 enase2009-upgrade.bib
-rw-r--r-- 612040 enase2009-upgrade.pdf
-rw-r--r-- 1142 flea.bib
-rw-r--r-- 279242 flea.pdf
-rw-r--r-- 1104 gmetadom.bib
-rw-r--r-- 276157 gmetadom.pdf
-rw-r--r-- 1000 hbugs.bib
-rw-r--r-- 359155 hbugs.pdf
-rw-r--r-- 827 hotswup-package-upgrade.bib
-rw-r--r-- 173962 hotswup-package-upgrade.pdf
-rw-r--r-- 1273 infsof2012-mpm.bib
-rw-r--r-- 1329 jfla10-dh-ocaml.bib
-rw-r--r-- 442565 jfla10-dh-ocaml.pdf
-rw-r--r-- 1650 jss2012-concern.bib
-rw-r--r-- 763343 jss2012-concern.pdf
-rw-r--r-- 1191 lococo2011-conflicts.bib
-rw-r--r-- 202689 lococo2011-conflicts.pdf
-rw-r--r-- 1736 mancoosi-d2.1.bib
-rw-r--r-- 4093812 mancoosi-d2.1.pdf
-rw-r--r-- 800 mancoosi-d5.1.bib
-rw-r--r-- 584039 mancoosi-d5.1.pdf
-rw-r--r-- 212 master-thesis.bib
-rw-r--r-- 1192880 master-thesis.pdf
-rw-r--r-- 655 mathsearch.bib
-rw-r--r-- 172737 mathsearch.pdf
-rw-r--r-- 1202 matita-crafting.bib
-rw-r--r-- 508876 matita-crafting.pdf
-rw-r--r-- 734 matita.bib
-rw-r--r-- 1068749 matita.pdf
-rw-r--r-- 1191 mcs-disambiguation-errors.bib
-rw-r--r-- 2325039 mcs-disambiguation-errors.pdf
-rw-r--r-- 1267 modernization-iwoce-2009.bib
-rw-r--r-- 868243 modernization-iwoce-2009.pdf
-rw-r--r-- 1250 mooml-iwoce-2009.bib
-rw-r--r-- 291613 mooml-iwoce-2009.pdf
-rw-r--r-- 1576 msr2010-udd.bib
-rw-r--r-- 316754 msr2010-udd.pdf
-rw-r--r-- 1133 notation.bib
-rw-r--r-- 311752 notation.pdf
-rw-r--r-- 1304 nrhm-overlapping-conversions.bib
-rw-r--r-- 645227 nrhm-overlapping-conversions.pdf
-rw-r--r-- 4803 phd-thesis.bib
-rw-r--r-- 2519366 phd-thesis.pdf
-rw-r--r-- 1272 sac09-manners.bib
-rw-r--r-- 97150 sac09-manners.pdf
-rw-r--r-- 920 sac10-coclo.bib
-rw-r--r-- 300849 sac10-coclo.pdf
-rw-r--r-- 1496 scp2010-evolution.bib
-rw-r--r-- 3198284 scp2010-evolution.pdf
-rw-r--r-- 1004 sefm2012-aeolus.bib
-rw-r--r-- 447853 sefm2012-aeolus.pdf
-rw-r--r-- 910 splc2010-fd-deps.bib
-rw-r--r-- 294376 splc2010-fd-deps.pdf
-rw-r--r-- 1539 steve-latvia.bib
-rw-r--r-- 465201 steve-latvia.pdf
-rw-r--r-- 1269 streaming-co-constraints.bib
-rw-r--r-- 183121 streaming-co-constraints.pdf
-rw-r--r-- 1370 strongdeps-esem-2009.bib
-rw-r--r-- 279147 strongdeps-esem-2009.pdf
-rw-r--r-- 1168 strongdeps-tr.bib
-rw-r--r-- 1185166 strongdeps-tr.pdf
-rw-r--r-- 1309 studia11-dh-ocaml.bib
-rw-r--r-- 523694 studia11-dh-ocaml.pdf
-rw-r--r-- 1098 tinycals.bib
-rw-r--r-- 286805 tinycals.pdf
-rw-r--r-- 1175 web30-semantics-templating.bib
-rw-r--r-- 1218577 web30-semantics-templating.pdf
-rw-r--r-- 980 whelp.bib
-rw-r--r-- 350558 whelp.pdf
-rw-r--r-- 1020 wiki-templating-tr.bib
-rw-r--r-- 317897 wiki-templating-tr.pdf
-rw-r--r-- 926 wiki-templating.bib
-rw-r--r-- 435954 wiki-templating.pdf