Renomovaný časopis Journal of Computer and Systems Sciences zveřejnil práci člena katedry informatiky Petra Jančara ,,Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence''.

V práci je představen algoritmus, který řeší problém sémantické ekvivalence důležitých výpočetních modelů. Otázka, zda takový algoritmus existuje, byla několik let otevřená.