- Space debris as part of climate change: a cosmopolitically responsible approachPublication without faculty affiliation
- Exodus - Exploring SMT for EU Institutions2010 | Faculty of Mathematics and Physics
- Depfix, Automatic Post-editing of SMTPublication without faculty affiliation
- Depfix, a Tool for Automatic Rule-based Post-editing of SMT2014 | Faculty of Mathematics and Physics
- Incremental Verification by SMT-based Summary Repair2020 | Faculty of Mathematics and Physics
- Benders Decomposition in SMT for Rescheduling of Hierarchical Workflows2017 | Faculty of Mathematics and Physics
- SMT-based verification of program changes through summary repair2023 | Faculty of Mathematics and Physics
- SMT for state-based formal methods: the ASM case study2018 | Faculty of Mathematics and Physics
- Smet Stijn. Resolving conflicts between human rights: the judge's dilemma. New York: Routledge, 2017, 244 pp.2017 | Faculty of Law
- Soft tissue sarcomas - rare tumors requiring treatment in centers2016 | Second Faculty of Medicine
- SMT-based automatic proof of ASM model refinement2016 | Faculty of Mathematics and Physics
- Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Faculty of Mathematics and Physics
- Dikes of paper and garbagePublication without faculty affiliation
- Sarkomy měkkých tkání (SMT)1997 | Publication without faculty affiliation
- Ifosfamide and doxorubicin in the treatment of locally advanced or metastatic soft tissue sarcoma2004 | Second Faculty of Medicine
- Theory-Specific Proof Steps Witnessing Correctness of SMT Executions2021 | Faculty of Mathematics and Physics
- Towards an Indonesian-English SMT System: A Case Study of an Under-Studied and Under-Resourced Language, Indonesian2012 | Faculty of Mathematics and Physics
- Depfix: Automatic Post-editing of SMTPublication without faculty affiliation
- Improving SMT by Using Parallel Data of a Closely Related Language2012 | Faculty of Mathematics and Physics
- SMT and Hybrid systems of the QTLeap project in the WMT16 IT-task2016 | Faculty of Mathematics and Physics
- Ifosfamid a doxorubin v léčbě lokálně pokročilých či metastatických sarkomů měkkých tkání ( SMT )2004 | First Faculty of Medicine
- Adapting SMT Query Translation Reranker to New Languages in Cross-Lingual Information Retrieval2016 | Faculty of Mathematics and Physics
- CHC Model Validation with Proof Guarantees2024 | Faculty of Mathematics and Physics
- AsmRefProver - Asmeta Refinement correctness ProverPublication without faculty affiliation
- Finding Minimum Satisfying Assignments of Boolean FormulasPublication without faculty affiliation
- Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Faculty of Mathematics and Physics
- PhraseFix: Statistical Post-Editing of TectoMT2013 | Faculty of Mathematics and Physics
- Domain adaptation of statistical machine translation with domain-focused web crawling2015 | Faculty of Mathematics and Physics
- Farkas-Based Tree Interpolation2020 | Faculty of Mathematics and Physics
- Document Translation vs. Query Translation for Cross-Lingual Information Retrieval in the Medical Domain2020 | Faculty of Mathematics and Physics
