Space Effective Model Checking for Component-Interaction Automata. - Nikola Benes; Milan Krivánek; Filip Stefanak (MEMICS, 2009)

Nash Equilibria in Concurrent Priced Games. - Miroslav Klimos; Kim G. Larsen; Filip Stefanak; Jeppe Thaarup (LATA, 2012)

Factorization for Component-Interaction Automata. - Nikola Benes; Ivana Cerná; Filip Stefanak (SOFSEM, 2012)