General pattern matching on regular collage system. - Jan Lahoda; Borivoj Melichar (Stringology, 2005)

Pattern Matching in DCA Coded Text. - Jan Lahoda; Borivoj Melichar; Jan Zdárek (CIAA, 2008)

Custom declarative refactoring in NetBeans: tool demonstration. - Jan Lahoda; Jan Becicka; Ralph Benjamin Ruijs (WRT@ICSE, 2012)

Refactoring development simplified: demonstration. - Ralph Benjamin Ruijs; Jan Lahoda; Jan Becicka (WRT@ICSE, 2012)

LAMBDAFICATOR: from imperative to functional programming through automated refactoring. - Lyle Franklin; Alex Gyori; Jan Lahoda; Danny Dig (ICSE, 2013)

Crossing the gap from imperative to functional programming through refactoring. - Alex Gyori; Lyle Franklin; Danny Dig; Jan Lahoda (ESEC/SIGSOFT FSE, 2013)

Simple tree pattern matching for trees in the prefix bar notation. - Jan Lahoda; Jan Zdárek (Discret. Appl. Math., 2014)