projects
/
homepage.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
fun post about topgit
[homepage.git]
/
research
/
2009-02-26
Stefano Zacchiroli
camera ready version of enase 2009 paper
tree
|
commitdiff
2009-02-14
Stefano Zacchiroli
use ACM as source for some DOIs
tree
|
commitdiff
2009-02-14
Stefano Zacchiroli
add hyperlinks to (co-)author homepages
tree
|
commitdiff
2009-02-14
Stefano Zacchiroli
enase 2009 paper: accepted!
tree
|
commitdiff
2009-02-11
Stefano Zacchiroli
add mancoosi deliverable D2.1
tree
|
commitdiff
2009-02-11
Stefano Zacchiroli
add missing pdf ot mancoosi deliverable D5.1
tree
|
commitdiff
2009-02-04
Stefano Zacchiroli
DOI for hotswup paper
tree
|
commitdiff
2009-01-05
Stefano Zacchiroli
transition: prefix_directives
tree
|
commitdiff
2008-12-07
Stefano Zacchiroli
Merge branch 'master' of fettunta.org:/home/zack/git...
tree
|
commitdiff
2008-12-07
Stefano Zacchiroli
add editorial info for handbook chapter
tree
|
commitdiff
2008-12-03
Stefano Zacchiroli
formatting
tree
|
commitdiff
2008-12-03
Stefano Zacchiroli
add publishing info
tree
|
commitdiff
2008-12-03
Stefano Zacchiroli
pre-print version of MCS paper
tree
|
commitdiff
2008-11-09
Stefano Zacchiroli
more precise info about T&F paper
tree
|
commitdiff
2008-11-06
Stefano Zacchiroli
more DOIs
tree
|
commitdiff
2008-11-06
Stefano Zacchiroli
proper info about 2004 mathsearch paper
tree
|
commitdiff
2008-11-06
Stefano Zacchiroli
add DOIs
tree
|
commitdiff
2008-10-29
Stefano Zacchiroli
add debconf8 paper and mancoosi d5.1
tree
|
commitdiff
2008-10-25
Stefano Zacchiroli
SAC09 paper is now available
tree
|
commitdiff
2008-10-13
Stefano Zacchiroli
mention the SAC paper
tree
|
commitdiff
2008-10-12
Stefano Zacchiroli
more previse copyright info for the hotswup paper
tree
|
commitdiff
2008-10-12
Stefano Zacchiroli
Merge branch 'master' of fettunta.org:/home/zack/git...
tree
|
commitdiff
2008-10-12
Stefano Zacchiroli
fix copyright info
tree
|
commitdiff
2008-10-01
Stefano Zacchiroli
fill in copyright data
tree
|
commitdiff
2008-09-28
Stefano Zacchiroli
some minor changes
tree
|
commitdiff
2008-09-28
Stefano Zacchiroli
camera ready version: some minor changes
tree
|
commitdiff
2008-09-27
Stefano Zacchiroli
update publication status of hotswup paper
tree
|
commitdiff
2008-09-27
Stefano Zacchiroli
minor changes in the hotswup paper
tree
|
commitdiff
2008-09-26
Stefano Zacchiroli
add (camera ready version of) some missing paper/chapte...
tree
|
commitdiff
2008-09-09
Stefano Zacchiroli
update paper list
tree
|
commitdiff
2008-07-17
Stefano Zacchiroli
blog post about DebConf8 Mancoosi paper
tree
|
commitdiff
2008-06-26
Stefano Zacchiroli
Merge branch 'master' of fettunta.org:/home/zack/git...
tree
|
commitdiff
2008-06-21
Stefano Zacchiroli
add volume number to Matita JAR paper
tree
|
commitdiff
2008-06-06
Stefano Zacchiroli
add journal entry for NRHM paper about overlapping...
tree
|
commitdiff
2008-06-05
Stefano Zacchiroli
camera ready version of mcs paper
tree
|
commitdiff
2008-06-05
Stefano Zacchiroli
Merge branch 'master' of fettunta.org:/home/zack/git...
tree
|
commitdiff
2008-06-04
Stefano Zacchiroli
add "to appear" entry for mcs disambiguation article
tree
|
commitdiff
2008-05-30
Stefano Zacchiroli
complete citation for www08 paper
tree
|
commitdiff
2008-02-28
Stefano Zacchiroli
Merge branch 'master' of fettunta.org:/home/zack/git...
tree
|
commitdiff
2008-02-28
Stefano Zacchiroli
camera ready of the www2008 paper
tree
|
commitdiff
2008-01-15
Stefano Zacchiroli
mention www 2008 paper acceptance \o/!!!
tree
|
commitdiff
2007-12-23
Stefano Zacchiroli
separate headings with newlines
tree
|
commitdiff
2007-12-23
Stefano Zacchiroli
no useless paragraphs
tree
|
commitdiff
2007-12-23
Stefano Zacchiroli
smaller rendering for the publication list
tree
|
commitdiff
2007-12-23
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-23
Stefano Zacchiroli
delegate paper rendering to papers.css
tree
|
commitdiff
2007-12-23
Stefano Zacchiroli
css for the publication page
tree
|
commitdiff
2007-12-23
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-23
Stefano Zacchiroli
relative link for the pdf logo
tree
|
commitdiff
2007-12-22
Stefano Zacchiroli
checkin of pdf papers in the repo
tree
|
commitdiff
2007-12-22
Stefano Zacchiroli
relative links for the papers
tree
|
commitdiff
2007-12-22
Stefano Zacchiroli
fix paper page header
tree
|
commitdiff
2007-12-22
Stefano Zacchiroli
unb0rked links
tree
|
commitdiff
2007-12-22
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-22
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-22
Stefano Zacchiroli
better (generated) markdown, add one-liner description
tree
|
commitdiff
2007-12-21
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-21
Stefano Zacchiroli
regenerate publication list
tree
|
commitdiff
2007-12-21
Stefano Zacchiroli
regenerate publication list
tree
|
commitdiff
2007-12-21
Stefano Zacchiroli
regenerate publication list
tree
|
commitdiff
2007-12-21
Stefano Zacchiroli
regenerate publication list
tree
|
commitdiff
2007-12-21
Stefano Zacchiroli
fake merge
tree
|
commitdiff
2007-12-21
Stefano Zacchiroli
regenerate publication list
tree
|
commitdiff
2007-12-21
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-21
Stefano Zacchiroli
...
tree
|
commitdiff
2007-12-21
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-21
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-21
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-21
Stefano Zacchiroli
regenerate publication list
tree
|
commitdiff
2007-12-21
Stefano Zacchiroli
regenerate publication list
tree
|
commitdiff
2007-12-21
Stefano Zacchiroli
regenerate publication list
tree
|
commitdiff
2007-12-21
Stefano Zacchiroli
regenerate publication list
tree
|
commitdiff
2007-12-21
Stefano Zacchiroli
regenerate publication list
tree
|
commitdiff
2007-12-21
Stefano Zacchiroli
regenerate publication list
tree
|
commitdiff
2007-12-21
Stefano Zacchiroli
regenerate publication list
tree
|
commitdiff
2007-12-21
Stefano Zacchiroli
regenerate publication list
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
Merge branch 'master' of fettunta.org:/home/zack/git...
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
regenerate publication list
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
regenerate publication list
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
regenerate publication list
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
web commit by zack: 2nd attempt with the full list
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
web commit by zack: full paper list (1st attempt)
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
2007-12-20
Stefano Zacchiroli
web commit by zack
tree
|
commitdiff
next