Collaborative mobile industrial manipulator: A review of system architecture and applications. - Manman Yang; Erfu Yang; Remi Christophe Zante; Mark Post; Xuefeng Liu (ICAC, 2019)

Brownian Motion in Isabelle/HOL. - Christian Pardillo Laursen; Simon Foster 001; Mark Post (CoRR, 2024)