- Modelování eHealth procesů v pomocí hierarchických stavových automatů (statecharts)2018 | 1. lékařská fakulta
- GFE - Grafický editor stavových automatů pro paralelní běh +1Publikace bez příslušnosti k fakultě
- GFE - Grafický editor stavových automatů pro paralelní běh +12006 | Matematicko-fyzikální fakulta
- Nové postupy v tvorbě simulátorů - inteligentní propojení Matlab Simulinku s platformou .NET a tvorba stavových automatů řídících výslednou aplikaci2006 | 1. lékařská fakulta
- Modely s podmínkami pro komplexní stavové přechody2007 | Matematicko-fyzikální fakulta
- Volba mezi diskrétním a spojitým modelem v ekonomických aplikacích a její implikace2005 | Fakulta sociálních věd
- Protokoly chování: Efektivní kontrola chyb skládání2005 | Matematicko-fyzikální fakulta
- Technická dokumentace modelu TIMES rozšířeného o parametry poptávky, emisní koeficienty a TCO modulPublikace bez příslušnosti k fakultě
- GFEPublikace bez příslušnosti k fakultě
- Modelování a verifikace relačně-orientovaných interakcí mezi webovými službami: kompatibilita BPEL a relačních protokolůPublikace bez příslušnosti k fakultě
- Ověřování relačně-omezené komunikace mezi webovými službami2008 | Matematicko-fyzikální fakulta
- Anizotropie tuhosti jílů v oboru velmi malých přetvoření2012 | Přírodovědecká fakulta
