USP1 deubiquitinase: cellular functions, regulatory mechanisms and emerging potential as target in cancer therapy

12 p.

An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

23 p. -- An extended abstract of this work appears in the proceedings of the 2012 ACM/IEEE Symposium on Logic in Computer Science