git.upsilon.cc Git - homepage.git/history - research/publications.mdwn

[homepage.git] / research / publications.mdwn

2008-11-06	Stefano Zacchiroli	proper info about 2004 mathsearch paper	blob \| commitdiff \| raw
2008-11-06	Stefano Zacchiroli	add DOIs	blob \| commitdiff \| raw \| diff to current
2008-10-29	Stefano Zacchiroli	add debconf8 paper and mancoosi d5.1	blob \| commitdiff \| raw \| diff to current
2008-10-25	Stefano Zacchiroli	SAC09 paper is now available	blob \| commitdiff \| raw \| diff to current
2008-10-13	Stefano Zacchiroli	mention the SAC paper	blob \| commitdiff \| raw \| diff to current
2008-10-12	Stefano Zacchiroli	more previse copyright info for the hotswup paper	blob \| commitdiff \| raw \| diff to current
2008-09-27	Stefano Zacchiroli	update publication status of hotswup paper	blob \| commitdiff \| raw \| diff to current
2008-09-26	Stefano Zacchiroli	add (camera ready version of) some missing paper/chapte...	blob \| commitdiff \| raw \| diff to current
2008-09-09	Stefano Zacchiroli	update paper list	blob \| commitdiff \| raw \| diff to current
2008-06-26	Stefano Zacchiroli	Merge branch 'master' of fettunta.org:/home/zack/git...	blob \| commitdiff \| raw \| diff to current
2008-06-21	Stefano Zacchiroli	add volume number to Matita JAR paper	blob \| commitdiff \| raw \| diff to current
2008-06-06	Stefano Zacchiroli	add journal entry for NRHM paper about overlapping...	blob \| commitdiff \| raw \| diff to current
2008-06-05	Stefano Zacchiroli	Merge branch 'master' of fettunta.org:/home/zack/git...	blob \| commitdiff \| raw \| diff to current
2008-06-04	Stefano Zacchiroli	add "to appear" entry for mcs disambiguation article	blob \| commitdiff \| raw \| diff to current
2008-05-30	Stefano Zacchiroli	complete citation for www08 paper	blob \| commitdiff \| raw \| diff to current
2008-02-28	Stefano Zacchiroli	Merge branch 'master' of fettunta.org:/home/zack/git...	blob \| commitdiff \| raw \| diff to current
2008-02-28	Stefano Zacchiroli	camera ready of the www2008 paper	blob \| commitdiff \| raw \| diff to current
2008-01-15	Stefano Zacchiroli	mention www 2008 paper acceptance \o/!!!	blob \| commitdiff \| raw \| diff to current
2007-12-23	Stefano Zacchiroli	separate headings with newlines	blob \| commitdiff \| raw \| diff to current
2007-12-23	Stefano Zacchiroli	no useless paragraphs	blob \| commitdiff \| raw \| diff to current
2007-12-23	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-23	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-23	Stefano Zacchiroli	relative link for the pdf logo	blob \| commitdiff \| raw \| diff to current
2007-12-22	Stefano Zacchiroli	relative links for the papers	blob \| commitdiff \| raw \| diff to current
2007-12-22	Stefano Zacchiroli	fix paper page header	blob \| commitdiff \| raw \| diff to current
2007-12-22	Stefano Zacchiroli	unb0rked links	blob \| commitdiff \| raw \| diff to current
2007-12-22	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-22	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-22	Stefano Zacchiroli	better (generated) markdown, add one-liner description	blob \| commitdiff \| raw \| diff to current
2007-12-21	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-21	Stefano Zacchiroli	regenerate publication list	blob \| commitdiff \| raw \| diff to current
2007-12-21	Stefano Zacchiroli	regenerate publication list	blob \| commitdiff \| raw \| diff to current
2007-12-21	Stefano Zacchiroli	regenerate publication list	blob \| commitdiff \| raw \| diff to current
2007-12-21	Stefano Zacchiroli	regenerate publication list	blob \| commitdiff \| raw \| diff to current
2007-12-21	Stefano Zacchiroli	fake merge	blob \| commitdiff \| raw \| diff to current
2007-12-21	Stefano Zacchiroli	regenerate publication list	blob \| commitdiff \| raw \| diff to current
2007-12-21	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-21	Stefano Zacchiroli	...	blob \| commitdiff \| raw \| diff to current
2007-12-21	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-21	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-21	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-21	Stefano Zacchiroli	regenerate publication list	blob \| commitdiff \| raw \| diff to current
2007-12-21	Stefano Zacchiroli	regenerate publication list	blob \| commitdiff \| raw \| diff to current
2007-12-21	Stefano Zacchiroli	regenerate publication list	blob \| commitdiff \| raw \| diff to current
2007-12-21	Stefano Zacchiroli	regenerate publication list	blob \| commitdiff \| raw \| diff to current
2007-12-21	Stefano Zacchiroli	regenerate publication list	blob \| commitdiff \| raw \| diff to current
2007-12-21	Stefano Zacchiroli	regenerate publication list	blob \| commitdiff \| raw \| diff to current
2007-12-21	Stefano Zacchiroli	regenerate publication list	blob \| commitdiff \| raw \| diff to current
2007-12-21	Stefano Zacchiroli	regenerate publication list	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	Merge branch 'master' of fettunta.org:/home/zack/git...	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	regenerate publication list	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	regenerate publication list	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	regenerate publication list	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack: 2nd attempt with the full list	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack: full paper list (1st attempt)	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	web commit by zack: first attempt at publication page...	blob \| commitdiff \| raw \| diff to current
2007-12-20	Stefano Zacchiroli	bunch of empty pages	blob \| commitdiff \| raw \| diff to current

RSS Atom