publications page: make available BibTeX entries for all papers
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 15 Sep 2011 11:48:52 +0000 (13:48 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 15 Sep 2011 11:48:52 +0000 (13:48 +0200)
commit72ea94115de679a2c33db9f58b9d51071ba9b07f
tree74310d86c62be564366afc9f60efdaa8ca56d0e3
parent17407ad898b167566afe50c9ec42a068752b8f00
publications page: make available BibTeX entries for all papers
40 files changed:
research/publications.mdwn
research/publications/cbse2011-mpm.bib [new file with mode: 0644]
research/publications/constrainedwiki.bib [new file with mode: 0644]
research/publications/debconf8-mancoosi.bib [new file with mode: 0644]
research/publications/disambiguation-errors.bib [new file with mode: 0644]
research/publications/disambiguation.bib [new file with mode: 0644]
research/publications/enase2009-upgrade.bib [new file with mode: 0644]
research/publications/flea.bib [new file with mode: 0644]
research/publications/gmetadom.bib [new file with mode: 0644]
research/publications/hbugs.bib [new file with mode: 0644]
research/publications/hotswup-package-upgrade.bib [new file with mode: 0644]
research/publications/jfla10-dh-ocaml.bib [new file with mode: 0644]
research/publications/lococo2011-conflicts.bib [new file with mode: 0644]
research/publications/mancoosi-d2.1.bib [new file with mode: 0644]
research/publications/mancoosi-d5.1.bib [new file with mode: 0644]
research/publications/master-thesis.bib [new file with mode: 0644]
research/publications/mathsearch.bib [new file with mode: 0644]
research/publications/matita-crafting.bib [new file with mode: 0644]
research/publications/matita.bib [new file with mode: 0644]
research/publications/mcs-disambiguation-errors.bib [new file with mode: 0644]
research/publications/modernization-iwoce-2009.bib [new file with mode: 0644]
research/publications/mooml-iwoce-2009.bib [new file with mode: 0644]
research/publications/msr2010-udd.bib [new file with mode: 0644]
research/publications/notation.bib [new file with mode: 0644]
research/publications/nrhm-overlapping-conversions.bib [new file with mode: 0644]
research/publications/phd-thesis.bib [new file with mode: 0644]
research/publications/sac09-manners.bib [new file with mode: 0644]
research/publications/sac10-coclo.bib [new file with mode: 0644]
research/publications/scp2010-evolution.bib [new file with mode: 0644]
research/publications/splc2010-fd-deps.bib [new file with mode: 0644]
research/publications/steve-latvia.bib [new file with mode: 0644]
research/publications/streaming-co-constraints.bib [new file with mode: 0644]
research/publications/strongdeps-esem-2009.bib [new file with mode: 0644]
research/publications/strongdeps-tr.bib [new file with mode: 0644]
research/publications/studia11-dh-ocaml.bib [new file with mode: 0644]
research/publications/tinycals.bib [new file with mode: 0644]
research/publications/web30-semantics-templating.bib [new file with mode: 0644]
research/publications/whelp.bib [new file with mode: 0644]
research/publications/wiki-templating-tr.bib [new file with mode: 0644]
research/publications/wiki-templating.bib [new file with mode: 0644]