Inference of XML Integrity Constraints. - Matej Vitásek; Irena Mlýnková (ADBIS (2), 2012)

ShadowData: shadowing heap objects in Java. - Matej Vitásek; Walter Binder; Matthias Hauswirth (PASTE, 2013)

jInfer: A Framework for XML Schema Inference. - Michal Klempa; Michal Kozák; Mario Mikula; Robert Smetana; Jakub Stárka; Michal Svirec; Matej Vitásek; Martin Necaský; Irena Holubová (Comput. J., 2015)