1: Reconstructing Polyatomic Structures from Discrete X-Rays: NP-Completeness Proof for Three Atoms 2: Reconstructing hv-Convex Polyominoes from Orthogonal Projections 3: A decision procedure for well-formed linear quantum cellular automata