Skip to content
Snippets Groups Projects
Name Last commit Last update
.gitignore
Bodin2014Trusted.github.link
Bodin2014Trusted.pdf
Calcagno2005Context.pdf
Calcagno2005Separation.pdf
Calcagno2007Adjunct.pdf
Calcagno2007Context.pdf
Calcagno2007Local.pdf
Calcagno2010Adjunct.pdf
Cardelli2003Manipulating.pdf
Cardelli2007Manipulating.pdf
Cerone2017Algebraic.pdf
DOsualdo2017Deciding.pdf
Dawar2004Adjunct.pdf
Dawar2007Expressiveness.pdf
Dinsdale-Young2010Abstraction.pdf
Dinsdale-Young2010Concurrent.pdf
Dinsdale-Young2011Abstract.pdf
Dinsdale-Young2013Views.pdf
Dinsdale-Young2017Caper.github.link
Dinsdale-Young2017Caper.pdf
Dinsdale-Young2017Caper.techreport.pdf
FragosoSantos2017Towards.pdf
Gardner2003Modelling.pdf
Gardner2005Modelling.pdf
Gardner2006CONCUR.pdf
Gardner2008DOM.pdf
Gardner2008Local.pdf
Gardner2009Small.pdf
Gardner2010Reasoning.pdf
Gardner2012Towards.pdf
Gardner2014Abstract.pdf
Gardner2014Local.pdf
Gardner2015Trusted.pdf
Luo2016Mashic.pdf
Maffeis2004Behavioural.pdf
Maffeis2008Behavioural.pdf
Ntzik2015Fault.pdf
Ntzik2015Reasoning.pdf
Ntzik2017Reasoning.pdf
README.md
Raad2015CoLoSL.pdf
Raad2016DOM.pdf
Raad2016Verifying.pdf
Raad2017Abstraction.pdf
Raza2008Footprints.pdf
Raza2009Automatic.pdf
Raza2009Footprints.pdf
Xiong2017Abstract.pdf
Xiong2017Abstract.techreport.pdf
_publication_file_types.yml
daRochaPinto2011Simple.pdf
daRochaPinto2011Simple.techreport.pdf
daRochaPinto2014TaDA.pdf
daRochaPinto2015Steps.pdf
daRochaPinto2016Modular.pdf
daRochaPinto2016Modular.techreport.pdf
daRochaPinto2017Reasoning.pdf
publications.bib

PSVG Publication Repository

This repository contains the group's (and its members') publications, BibTeX references, and associated materials.

How to Deposit a Publication.

  1. To fulfill funding and REF requirements and for long-term archival, all papers and tech reports should be deposited into Imperial Spiral within THREE MONTHS OF ACCEPTANCE. Do this now, so you don't forget. Once this is done, email Teresa with a copy of the accepted submission so that she can publish the details of the acceptance in the news section of the website.

  2. Create a BibTeX record for the publication in the publications.bib file. Post-publication, records can be retrieved from DBLP, ACM Digital Library, and the publisher's website. It may be best to download the citations from all sites and pick the most appropriate version of each field, as they all usually vary in quality. See below for BibTeX style notes.

  3. Commit files associated with the publication in this directory. Files should be named with the bibtex key as the base of the file name, and the appropriate extension from the table below according to document purpose.

Copyright Notes

You should check with the publisher's T&Cs (in particular the Copyright waiver form) to determine which version of the paper you are allowed to publish here. Often it is only the pre-print edition that is passed to the publisher before they make any changes. The final proof copy and the publisher's own copy is often not permitted to be published.

BibTeX Record Structure

Record keys have the preferred format of <first author surname><year><first word of title>

Fields:

  • doi: Please remove the http://dx.doi.org/ prefix, so the doi is of the form nn.nnnn/....]
  • url: This field should not contain a duplicate of the doi. It generally only used to link to the publisher's version if the publisher does not also issue a DOI.
  • month: Add the exact date of the conference as publication date. This will keep the file hidden until the actual publication date.
  • file: This field is added automatically by the JabRef reference manager, it is ignored by the website. It is mostly useful as a quick check in the JabRef user interface that all publications have an associated file. See next section for file matching on the website.

Publication File Extension Types

Publication file types are listed in the configuration file _publication_file_types.yml. These file types will be offered directly for download:

  • .pdf: Authors' Preprint
  • .techreport.pdf: Technical Report
  • .slides.pdf: Slides
  • .zip: File Archive (.zip)

These extensions are for plain text files containing only the URL to link to:

  • .github.link: Code Repository (GitHub)
  • .repo.link: Code Repository

Git Submodule Notes

This repository is included as a submodule in the repositories for the Group Website and Philippa's Homepage.

Be aware that changes to the submodule must be committed to the submodule (and optionally, to the top-level project). Website builds will always take the master branch of the publications repository, no matter what submodule version is committed to the website repositories, as they use the command git submodule update --remote, which always fetches the most recent version for use.

This repository can be included in website repositories either as a submodule or as a checkout before build/deploy. Post-checkin/test pass hooks can be configured on this repository to retrigger a website submodule update/rebuild as desired.