An exact subexponential-time lattice algorithm for Asian options Tian-Shyr DaiYuh-Dauh Lyuu Original Article 03 January 2007 Pages: 23 - 39
On using data abstractions for model checking refinements John DerrickHeike Wehrheim Original Article 07 March 2007 Pages: 41 - 71
Parallel LL parsing Ladislav VagnerBořivoj Melichar Publisher's Erratum 09 January 2007 Pages: 73 - 73