- PDDL EditorPublikace bez příslušnosti k fakultě
- Inspect, Edit and Debug PDDL Documents: Simply and Efficiently with PDDL Studio2012 | Matematicko-fyzikální fakulta
- NuSeenPublikace bez příslušnosti k fakultě
- KonText version 0.12Publikace bez příslušnosti k fakultě
- Phalanger IntelliSense: syntaktická a sémantická predikce2009 | Matematicko-fyzikální fakulta
- PHP Visual Studio IntelliSensePublikace bez příslušnosti k fakultě
- NuSeen: A Tool Framework for the NuSMV Model Checker2017 | Matematicko-fyzikální fakulta