- Dvojité precedenční grafy2005 | Matematicko-fyzikální fakulta
- Hledání tříd ekvivalence v precedenčních grafech2007 | Matematicko-fyzikální fakulta
- Objevování odvozených podmínek v precedenčních grafech s alternativami2010 | 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
- Inkrementální propagační pravidla pro precedenční graf s volitelnými aktivitami a časovými okny +12005 | Matematicko-fyzikální fakulta
- Double Precedence Graphs2005 | Matematicko-fyzikální fakulta
- Inkrementální propagační pravidla pro precedenční grafy s volitelnými aktivitami a časovými okny2010 | Matematicko-fyzikální fakulta
- Incremental Propagation Rules for Precedence Graph with Optional Activities and Time Windows2005 | Matematicko-fyzikální fakulta
- Incremental Propagation Rules for A Precedence Graph with Optional Activities and Time Windows2005 | Matematicko-fyzikální fakulta
- Modely s podmínkami pro stavové přechody v disjunktivních zdrojích2007 | Matematicko-fyzikální fakulta
- Model s podmínkami pro stavové přechody v disjunktivních zdrojíchPublikace bez příslušnosti k fakultě
- Model s podmínkami pro stavové přechody v disjunktivních zdrojích +12006 | Matematicko-fyzikální fakulta