Renomovaný časopis Logical Methods in Computer Science publikoval práci Partially ordered automata and piecewise testability, jejímž spoluautorem je člen katedry informatiky Tomáš Masopust.

V práci je popsán kompletní obrázek o složitosti ověřování důležitých vlastností různých variant částečně uspořádaných automatů. Autoři mimo jiné ukázali, že zmíněné problémy jsou pro uvažované typy automatů stejně komplikované, jako pro obecné nedeterministické automaty.