Algebra for Infinite Forests with an Application to the Temporal Logic EF. - Mikolaj Bojanczyk; Tomasz Idziaszek (CONCUR, 2009)

Simplifying XML schema: single-type approximations of regular tree languages. - Wouter Gelade; Tomasz Idziaszek; Wim Martens; Frank Neven (PODS, 2010)

Simplifying XML Schema: Single-type approximations of regular tree languages. - Wouter Gelade; Tomasz Idziaszek; Wim Martens; Frank Neven; Jan Paredaens (J. Comput. Syst. Sci., 2013)

Regular Languages of Thin Trees. - Tomasz Idziaszek; Michal Skrzypczak; Mikolaj Bojanczyk (Theory Comput. Syst., 2016)

Efficient Algorithm for Multiplication of Numbers in Zeckendorf Representation. - Tomasz Idziaszek (FUN, 2021)