- Inkrementální propagační pravidla pro precedenční grafy s volitelnými aktivitami a časovými okny2010 | Matematicko-fyzikální fakulta
- Objevování odvozených podmínek v precedenčních grafech s alternativami2010 | Matematicko-fyzikální fakulta
- Dvojité precedenční grafy2005 | Matematicko-fyzikální fakulta
- Inkrementální propagační pravidla pro precedenční graf s volitelnými aktivitami a časovými okny +12005 | Matematicko-fyzikální fakulta
- Inkrementální udržování dvojitého precedenčního grafu v kontextu omezujících podmínek2006 | Matematicko-fyzikální fakulta
- Hledání tříd ekvivalence v precedenčních grafech2007 | Matematicko-fyzikální fakulta
- Model s podmínkami pro stavové přechody v disjunktivních zdrojích +12006 | Matematicko-fyzikální fakulta
- Model s podmínkami pro stavové přechody v disjunktivních zdrojíchPublikace bez příslušnosti k fakultě