1. Verified software toolchain;A W Appel;Programming Languages and Systems,2011
2. C?ash: Structural descriptions of synchronous hardware using haskell;C Baaij;13th Euromicro Conference on Digital System Design: Architectures, Methods and Tools,2010
3. Ngluon: A package to calculate one-loop multi-gluon amplitudes;S Badger;Computer Physics Communications,2011
4. Higgsbounds: Confronting arbitrary higgs sectors with exclusion bounds from lep and the tevatron;P Bechtle;Computer Physics Communications,2010
5. Genxicc2.0: An upgraded version of the generator for hadronic production of double heavy baryons c c, b c and b b;C H Chang;Computer Physics Communications,2010