teaching: add cproj course page for 15/16
[homepage.git] / research /
2015-11-29 Stefano Zacchirolipapers: fill in publication info for ICSOC 2015 Aeolus...
2015-10-28 Stefano Zacchirolipapers: update biblio entries for CONCUR 2015 paper
2015-08-25 Stefano Zacchiroliadd papers: concur 2015, icsoc 2015, msr 2015
2015-03-29 Stefano Zacchirolipapers: publish preprint of distcheck-msr-2015 paper
2015-03-26 Stefano Zacchirolipapers: add missing hyperlinks to co-author homepages
2015-03-26 Stefano Zacchirolipaper classification: move MSR from workshop to conference
2015-03-26 Stefano Zacchirolipapers: publish info about accepted MSR 2015 papers
2015-02-11 Stefano Zacchirolipublications: finalize JWE editorial, add page number...
2015-02-11 Stefano Zacchirolipublications: finalize I&C Aeolus paper, drop "to appear"
2015-01-25 Stefano Zacchirolipapers: add CUDF paper at OCaml meeting 2014
2014-11-26 Stefano Zacchirolipublications: add biblio info and camera ready for...
2014-11-03 Stefano Zacchirolipublications: add preliminary bib info about I&C Aeolus...
2014-10-10 Stefano Zacchirolipaper scp2013-futures: fix copyright year, should be...
2014-10-10 Stefano Zacchirolipapers: add JWE 2014 editorial
2014-09-24 Stefano Zacchirolibiblio info for ESEM 2014 and ASE 2014 papers
2014-09-19 Stefano Zacchirolipublications: add Zephyrus ASE 2014 paper
2014-09-10 Stefano Zacchiroliadd biblio info for scp editorial
2014-06-11 Stefano ZacchiroliESEM 2014 debsources paper: update preprint
2014-06-10 Stefano Zacchirolidebsources ESEM 2014 paper: update to match camera...
2014-06-04 Stefano Zacchirolipublications: add preprint of ESEM 2014 paper
2014-05-21 Stefano Zacchirolipapers: update biblio entries for debsources, scp-wt...
2014-04-02 Stefano Zacchirolipublications: add preprint of scp2013-futures
2014-01-18 Stefano Zacchirolipapers page: add links to DBLP and Google Scholar profiles
2013-12-09 Stefano Zacchirolipapers: add publishing info for SPE WT 2012 editorial
2013-09-11 Stefano Zacchirolipapers: add ESOCC 2013 invited talk paper
2013-09-11 Stefano Zacchirolipapers: add DOI and update info for fmco2012 survey
2013-07-12 Stefano Zacchirolipapers: add publication info for ICALP 2013 paper
2013-07-07 Stefano Zacchirolipublications: add entry for SCICO paper on futures
2013-06-12 Stefano Zacchirolipublications: add howpublished/month entries to TR...
2013-06-12 Stefano Zacchirolipublications: rebuild to fix error in generated markup
2013-06-12 Stefano Zacchirolipapers: publish TRs for icalp 2013 and zephyrus
2013-06-12 Stefano Zacchiroliresearch: publish HATS FMCO 2012 paper
2013-05-16 Stefano Zacchirolipapers: add pub info and preprint of icalp 2013 paper
2013-05-12 Stefano Zacchirolipublications: add missing empty line between editorials...
2013-05-12 Stefano Zacchirolipublications: add new "editorials" category
2013-05-10 Stefano Zacchirolipublications: publish pre print of SPE Special Issue...
2013-05-10 Stefano Zacchirolipublications list: regenerate, no functional change
2013-05-10 Stefano Zacchirolibibliography: regenerate BiBTeX to include publisher...
2013-04-13 Stefano Zacchiroliicalp 2013 paper: add "to appear" mention
2013-04-13 Stefano Zacchirolipublications: new paper at ICALP 2013
2013-02-16 Stefano Zacchirolipapers: remove unicode extended characters from abstracts
2013-01-31 Stefano Zacchirolipublications: add MSR 2012 papers on conflicts
2012-12-05 Stefano Zacchirolipapers: rebuild BiBTeX entries to contain number fields
2012-12-05 Stefano Zacchirolipapers: add publishing information for infsof2012-mpm
2012-10-22 Stefano Zacchirolipapers: add publication info for CBSE 2012 paper
2012-09-28 Stefano Zacchirolipapers: add DOI for SEFM 2012 paper
2012-09-28 Stefano Zacchirolipapers: add DOI for INFSOF paper
2012-09-28 Stefano Zacchirolipapers: publish preprint of INFSOF paper
2012-09-22 Stefano Zacchirolipapers: fix wrong link for SPLC 2010 paper
2012-08-11 Stefano Zacchirolipublications: add missing hyperlink from page numbers...
2012-08-11 Stefano Zacchirolipublications: rebuild BiBTeX files to include pages...
2012-08-11 Stefano Zacchirolipublications: add volume/issues details for JSS 2012...
2012-07-30 Stefano Zacchiroliresearch: publishing details for SEFM 2012 paper
2012-07-30 Stefano Zacchiroliresearch: add series/volume information to BiBTeX entries
2012-07-25 Stefano Zacchirolipapers: mark InfSof paper as draft, properly
2012-06-25 Stefano Zacchirolipapers: add SEFM 2012 preprint version
2012-06-14 Stefano Zacchirolipapers: add two "to appear" entries
2012-06-11 Stefano Zacchirolipublications: note award for CBSE 2012 paper
2012-04-21 Stefano Zacchirolipublication details for ahci 2012 wiki paper
2012-04-18 Stefano Zacchirolipublications: make available preprint of CBSE 2012...
2012-04-15 Stefano ZacchiroliMerge branch 'master' into identica-badge
2012-04-11 Stefano Zacchirolipapers: update biblio ref for studia dh-ocaml paper
2012-03-17 Stefano ZacchiroliMerge branch 'master' of upsilon.cc:/home/zack/git...
2012-03-17 Stefano Zacchirolipublish preprint version of JSS paper
2012-01-04 Stefano Zacchirolipublish lococo 2011 paper
2011-09-15 Stefano Zacchirolipublications page: make available BibTeX entries for...
2011-09-15 Stefano Zacchirolipublications page: fix spacing error
2011-09-14 Stefano ZacchiroliCBSE paper: fill in publication details
2011-09-12 Stefano Zacchirolipublications: add LoCoCo 2011 paper
2011-06-24 Stefano ZacchiroliCBSE 2011 paper: publish pdf and mention SIGSOFT award
2011-06-10 Stefano ZacchiroliSCP paper: fill in volume information
2011-04-04 Stefano ZacchiroliMerge branch 'master' of upsilon.cc:/home/zack/git...
2011-04-04 Stefano Zacchirolicheck-in camera ready version of CBSE 2011 paper
2011-04-01 Stefano Zacchirolifix classification of a specific paper
2011-03-15 Stefano Zacchirolimore fine grained classification for publications
2011-03-11 Stefano Zacchirolipapers: CBSE 2011 paper
2011-03-11 Stefano Zacchirolipapers: publish preprint of SCP paper
2010-12-01 Stefano ZacchiroliMerge branch 'master' of upsilon.cc:/home/zack/git...
2010-12-01 Stefano Zacchiroliadd DOI for latest SCP paper
2010-11-23 Stefano ZacchiroliMerge branch 'master' of upsilon.cc:/home/zack/git...
2010-11-23 Stefano Zacchiroliupdate bibliographic information for ENASE paper
2010-11-04 Stefano Zacchiroliadd SCP ISSN
2010-11-04 Stefano Zacchiroliadd publication year
2010-11-04 Stefano Zacchiroliupdate paper index: mention accepted SCP paper
2010-11-04 Stefano Zacchirolidrop "special issue" mentions
2010-09-29 Stefano Zacchirolipublications page: fix markup glitches
2010-09-29 Stefano Zacchiroliupdate some publication references
2010-07-14 Stefano Zacchiroliadd publication details for SPLC paper
2010-05-27 Stefano Zacchirolipublish author copy of SPLC 2010 paper
2010-05-21 Stefano Zacchirolitypo
2010-05-21 Stefano Zacchirolinotice of acceptance of SPLC 2010 paper
2010-03-15 Stefano Zacchirolicamera ready version of the MSR 2010 paper
2010-02-21 Stefano Zacchirolifix homepage links of some co-authors
2010-02-21 Stefano Zacchiroliadd UDD paper, draft version of
2010-02-10 Stefano Zacchirolimore links in the papers page
2009-12-29 Stefano Zacchirolifix dup @id error
2009-12-03 Stefano Zacchiroliadd publication reference for ESEM 2009 paper
2009-11-27 Stefano Zacchiroliadd JFLA 2010 paper about dh-ocaml
2009-11-02 Stefano Zacchiroliadd SAC 2010 paper (preprint)
2009-10-11 Stefano ZacchiroliMerge branch 'master' of fettunta.org:/home/zack/git...
next