Marta Z. Kwiatkowska . A metric for traces. Hidden line elimination for isooriented rectangles. Endmarkers can make a difference. Linear algorithm for optimal path cover problem on interval graphs.
Strictness analysis aids inductive proofs.
A functional model of a simplified sequential machine. Chau-Jy Lin . Parallel algorithm for generating permutations on linear array. Shyan-Ming Yuan . The communication complexity for decentralized evaluation of functions.