- Události v budovách vnitřního města Gdansk, Polsko: objevování sociálněprostorové konstrukce aktivity v prostředí budov2009 | Přírodovědecká fakulta
- Verifikace softwarových komponent v platformě SOFA 2 podle paradigmatu assume-guarantee2010 | Matematicko-fyzikální fakulta
- Automatická konstrukce přiměřeného prostředí pro Java komponenty2009 | Matematicko-fyzikální fakulta