- Kosmické smetí jako součást klimatické změny: Kosmopolitně zodpovědný přístupPublikace bez příslušnosti k fakultě
- Exodus - využití SMT v institucích EU2010 | Matematicko-fyzikální fakulta
- Depfix, automatická post-editace SMTPublikace bez příslušnosti k fakultě
- Depfix, nástroj pro automatickou pravidlovou post-editaci SMT2014 | Matematicko-fyzikální fakulta
- Incremental Verification by SMT-based Summary Repair2020 | Matematicko-fyzikální fakulta
- Benders Decomposition in SMT for Rescheduling of Hierarchical Workflows2017 | Matematicko-fyzikální fakulta
- SMT-based verification of program changes through summary repair2023 | Matematicko-fyzikální fakulta
- SMT for state-based formal methods: the ASM case study2018 | Matematicko-fyzikální fakulta
- Smet Stijn. Resolving conflicts between human rights: the judge's dilemma. New York: Routledge, 2017, 244 s.2017 | Právnická fakulta
- Sarkomy měkkých tkání – vzácné tumory s nutností léčby v centrech2016 | 2. lékařská fakulta
- SMT-based automatic proof of ASM model refinement2016 | Matematicko-fyzikální fakulta
- Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Matematicko-fyzikální fakulta
- Hráze z papíru a ze smetí.Publikace bez příslušnosti k fakultě
- Sarkomy měkkých tkání (SMT)1997 | Publikace bez příslušnosti k fakultě
- Ifosfamid a doxorubicin v léčbě lokálně pokročilých či metastatických sarkomů měkkých tkání (SMT)2004 | 2. lékařská fakulta
- Theory-Specific Proof Steps Witnessing Correctness of SMT Executions2021 | Matematicko-fyzikální fakulta
- Towards an Indonesian-English SMT System: A Case Study of an Under-Studied and Under-Resourced Language, Indonesian2012 | Matematicko-fyzikální fakulta
- Depfix: Automatická post-editace SSPPublikace bez příslušnosti k fakultě
- Vylepšenie štatistického automatického prekladu pomocou paralelných dát blízkych jazykov2012 | Matematicko-fyzikální fakulta
- Statistické a hybridní systémy strojového překladu z projektu QTLeap v úloze IT překladu WMT162016 | Matematicko-fyzikální fakulta
- Ifosfamid a doxorubin v léčbě lokálně pokročilých či metastatických sarkomů měkkých tkání ( SMT )2004 | 1. lékařská fakulta
- Adaptace sytému pro přeuspořádávání hypotéz strojového překladu dotazů na nové jazyky pro vícejazyčné vyhledávání informací.2016 | Matematicko-fyzikální fakulta
- CHC Model Validation with Proof Guarantees2024 | Matematicko-fyzikální fakulta
- AsmRefProver - Asmeta Refinement correctness ProverPublikace bez příslušnosti k fakultě
- Finding Minimum Satisfying Assignments of Boolean FormulasPublikace bez příslušnosti k fakultě
- Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Matematicko-fyzikální fakulta
- PhraseFix: Štatistická posteditácia systému TectoMT2013 | Matematicko-fyzikální fakulta
- Doménová adaptace statistického strojového překladu s doménově specifickým stahováním data z webu2015 | Matematicko-fyzikální fakulta
- Farkas-Based Tree Interpolation2020 | Matematicko-fyzikální fakulta
- Překlad dokumentů a překlad dotazů jako dva přístupy ve vícejazyčném vyhledávání informací2020 | Matematicko-fyzikální fakulta