Maintaining XML Data Integrity in Programs. - Patrick Michel; Arnd Poetzsch-Heffter (SOFSEM, 2010)

Verifying and Generating WP Transformers for Procedures on Complex Data. - Patrick Michel; Arnd Poetzsch-Heffter (ITP, 2012)

A Generic Functional Representation of Sorted Trees Supporting Attribution - (Haskell Can Do It). - Jean-Marie Gaillourdet; Patrick Michel; Arnd Poetzsch-Heffter; Nicole Rauch (Programming Logics, 2013)

A Formal Framework for Maintaining the Integrity of Structured Data. - Patrick Michel (Verlag Dr. Hut, 2014)

Particle Size-Frequency Distributions of the OSIRIS-REx Candidate Sample Sites on Asteroid (101955) Bennu. - Keara N. Burke; Daniella N. DellaGiustina; Carina A. Bennett; Kevin J. Walsh; Maurizio Pajola; Edward B. Bierhaus; Michael C. Nolan; William V. Boynton; Juliette I. Brodbeck; Harold C. Connolly; Jasinghege Don Prasanna Deshapriya; Jason P. Dworkin; et al. (Remote. Sens., 2021)