papers page: add links to DBLP and Google Scholar profiles
[homepage.git] / research / publications /
drwxr-xr-x   ..
-rw-r--r-- 1576 ahci2012-wiki.bib
-rw-r--r-- 3019412 ahci2012-wiki.pdf
-rw-r--r-- 1146 cbse2011-mpm.bib
-rw-r--r-- 317307 cbse2011-mpm.pdf
-rw-r--r-- 1415 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-- 1333 enase2009-upgrade.bib
-rw-r--r-- 612040 enase2009-upgrade.pdf
-rw-r--r-- 1163 esocc2013-aeolus.bib
-rw-r--r-- 261541 esocc2013-aeolus.pdf
-rw-r--r-- 1285 flea.bib
-rw-r--r-- 279242 flea.pdf
-rw-r--r-- 1227 fmco2012-foss-components.bib
-rw-r--r-- 435624 fmco2012-foss-components.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-- 1144 icalp2013-aeolus.bib
-rw-r--r-- 309912 icalp2013-aeolus.pdf
-rw-r--r-- 1031 icalp2013-tr.bib
-rw-r--r-- 344599 icalp2013-tr.pdf
-rw-r--r-- 1435 infsof2012-mpm.bib
-rw-r--r-- 503286 infsof2012-mpm.pdf
-rw-r--r-- 1329 jfla10-dh-ocaml.bib
-rw-r--r-- 442565 jfla10-dh-ocaml.pdf
-rw-r--r-- 1693 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-- 1829 mancoosi-d2.1.bib
-rw-r--r-- 4093812 mancoosi-d2.1.pdf
-rw-r--r-- 894 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-- 1200 matita-crafting.bib
-rw-r--r-- 508876 matita-crafting.pdf
-rw-r--r-- 776 matita.bib
-rw-r--r-- 1068749 matita.pdf
-rw-r--r-- 1233 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-- 1434 msr2012-conflicts.bib
-rw-r--r-- 134341 msr2012-conflicts.pdf
-rw-r--r-- 1133 notation.bib
-rw-r--r-- 311752 notation.pdf
-rw-r--r-- 1353 nrhm-overlapping-conversions.bib
-rw-r--r-- 645227 nrhm-overlapping-conversions.pdf
-rw-r--r-- 4801 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-- 1533 scp2010-evolution.bib
-rw-r--r-- 3198284 scp2010-evolution.pdf
-rw-r--r-- 1409 scp2013-futures.bib
-rw-r--r-- 1044 sefm2012-aeolus.bib
-rw-r--r-- 447853 sefm2012-aeolus.pdf
-rw-r--r-- 341 spe-wt-2012-editorial.bib
-rw-r--r-- 45152 spe-wt-2012-editorial.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-- 1267 streaming-co-constraints.bib
-rw-r--r-- 183121 streaming-co-constraints.pdf
-rw-r--r-- 1368 strongdeps-esem-2009.bib
-rw-r--r-- 279147 strongdeps-esem-2009.pdf
-rw-r--r-- 1249 strongdeps-tr.bib
-rw-r--r-- 1185166 strongdeps-tr.pdf
-rw-r--r-- 1325 studia11-dh-ocaml.bib
-rw-r--r-- 523694 studia11-dh-ocaml.pdf
-rw-r--r-- 1114 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-- 1158 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
-rw-r--r-- 1314 zephyrus-tr.bib
-rw-r--r-- 769669 zephyrus-tr.pdf