Avoiding Three Consecutive Blocks of the Same Size and Same Sum.
Nearly Optimal Solutions for the Chow Parameters Problem and Low-Weight Approximation of Halfspaces.
Beyond Lamport's
Undecidability of Propositional Separation Logic and Its Neighbours.
Space-Efficient Frameworks for Top-
XML Schema Mappings: Data Exchange and Metadata Management.