- Component-based General-purpose Operating System2007 | Faculty of Mathematics and Physics
- A Road to a Formally Verified General-Purpose Operating System2010 | Faculty of Mathematics and Physics
- KWJA: A Japanese language analyzer based on a general-purpose language modelPublication without faculty affiliation
- Atlas technical proposal for a general-purpose pp experiment at the large hadron collider at CERN1994 | Publication without faculty affiliation
- Optimal Broadcast on Parallel Locality Models2003 | Faculty of Mathematics and Physics
- Two Preambles in the Czech Constitutional System2011 | Faculty of Law
- Two Preambles in the Czech Constitutional System2010 | Faculty of Law, Faculty of Mathematics and Physics
- Be spatial, GIS planet 2005Publication without faculty affiliation
- Comparison of spoken corpora: really just a matter of perspective?2019 | Faculty of Arts
- Marine Video Kit: A New Marine Video Dataset for Content-Based Analysis and Retrieval2023 | Faculty of Mathematics and Physics
- Dark Side of the Principles of Non-discrimination and Proportionality : the Case of Mandatory Vaccination2023 | Faculty of Law
- Semi-Automatic Alignment of Multilingual Parts of Speech TagsetsPublication without faculty affiliation
- Interoperable domain-specific languages families for code generation2013 | Faculty of Mathematics and Physics
- The Crisis of Liberal Democracy in the Czech Republic2023 | Faculty of Law
- Tequila - a query language for the Semantic Web2009 | Faculty of Mathematics and Physics
- Stochastic Programming Software: A Comparison for Investment Problem2011 | Faculty of Mathematics and Physics
- The Immaterial Existence in Terms of Rodrigo Arriaga2011 | Publication without faculty affiliation
- Thermomechanics of damageable materials under diffusion: modelling and analysis2015 | Faculty of Mathematics and Physics
- Thermodynamically consistent model for poroelastic rocks towards tectonic and volcanic processes and earthquakes2021 | Faculty of Mathematics and Physics
- Fortran 77 package FORMS version 6.40Publication without faculty affiliation
- Introducing Support for Embedded and Real-time Devices into Existing Hierarchical Component System: Lessons Learned2011 | Faculty of Mathematics and Physics
- Fortran 77 package FORMS version 6.50Publication without faculty affiliation
- Fortran 77 package FORMS version 6.60Publication without faculty affiliation
- Fortran 77 package FORMS version 7.00Publication without faculty affiliation
- Fortran 77 package FORMS version 7.10Publication without faculty affiliation
- Protection of the land from the legal perspective2016 | Faculty of Law
- Author and register as sources of variation : A corpus-based study using elicited texts2020 | Faculty of Arts
- Designing a National Corpus in a Minoritised LanguagePublication without faculty affiliation
- Teaching English with Corpora: A Resource BookPublication without faculty affiliation
- Improving matrix-based dynamic programming on massively parallel accelerators2016 | Faculty of Mathematics and Physics