- Third International Workshop on Formal Aspects of Component Software (FACS 2006)2007 | Faculty of Mathematics and Physics
- U. Junghanns und G. Zybatow (Hrsg.) - Formale Slavistik1999 | Faculty of Mathematics and Physics
- Legislatism and formalism2020 | Faculty of Law
- Czech Education in nature in formal and non-formal environments2022 | Faculty of Physical Education and Sport
- Jakobsons formalism.2011 | Faculty of Arts
- Competence in formal and non-formal education2017 | Faculty of Education
- On Formal Concept Analysis1996 | Faculty of Mathematics and Physics
- Legal formalism2016 | Faculty of Law
- Formalization and Responsibility2015 | Publication without faculty affiliation
- Formalization of Basic Combinatorics on Words2021 | Faculty of Mathematics and Physics
- Formalizing a Fragment of Combinatorics on Words2017 | Faculty of Mathematics and Physics
- The Emergence of Structuralism and FormalismPublication without faculty affiliation
- Possibilities of application of blended learning in formal and non-formal education2011 | Faculty of Arts
- Tree Searching/Rewriting Formalism2006 | Faculty of Mathematics and Physics
- Lyndon Words Formalized in Isabelle/HOL2021 | Faculty of Mathematics and Physics
- Extension Complexity of Formal Languages2020 | Faculty of Mathematics and Physics
- Formal Properties of Present Conditional in Czech2013 | Faculty of Arts
- A formalized or nonformalized approach to conducting interviews?2013 | Publication without faculty affiliation
- Russian Formalism : A meta-poetics2012 | Publication without faculty affiliation
- Formal Verification of Components in Java2008 | Faculty of Mathematics and Physics
- On Modeling Formalisms for Automated Planning2014 | Faculty of Mathematics and Physics
- Non-theory of "formal non-method"2014 | Faculty of Arts
- The formal reason od infinity2008 | Faculty of Arts
- 22nd Theorietag Automata and Formal LanguagesPublication without faculty affiliation
- On Formalization of Word Order Properties2012 | Faculty of Mathematics and Physics
- Formal Models of Object-Oriented Databases2008 | Faculty of Mathematics and Physics
- Proceedings of the 22nd Theorietag Automata and Formal Languages2012 | Faculty of Mathematics and Physics
- Comparing Prosody Formalisms for Machine Learning +22007 | Faculty of Mathematics and Physics