Languages for Parallel Processing / Sprachen für die parallele Datenverarbeitung. - Tom Lake (it Inf. Technol., 1988)

Cooperative acceleration: robust conservative distributed discrete event simulation. - Timothy David Blanchard; Thomas W. Lake; Stephen John Turner (PADS, 1994)

Featherweight Threads and ANDF Compilation of Concurrency. - Ben Sloman; Tom Lake (Euro-Par, 1995)

Distributed simulation with locality. - Tim Blanchard; Tom Lake (PADS, 1995)

Reverse Engineering of Assembler Programs: A Model-Based Approach and its Logical Basis. - Tom Lake; Tim Blanchard (WCRE, 1996)

Non-Interference Analysis for Mixed Criticality Code in Avionics Systems. - Mike G. Hill; Thomas W. Lake (ASE, 2000)