- Hvězdicově lineární rovnicové teorie grupoidů2007 | Matematicko-fyzikální fakulta
- Hvězdově kvazilineární rovnicové teorie grupoidů2010 | Matematicko-fyzikální fakulta
- Perfect bases for equational theories1996 | Matematicko-fyzikální fakulta
- Nízkoteplotní a vysokoteplotní aproximace pro tekutinu z průstupných sfér: Porovnání s Monte Carlo simulacemi a teoriemi integrálních rovnic2007 | Publikace bez příslušnosti k fakultě
- The equational theory of paramedial camellative groupoids2000 | Matematicko-fyzikální fakulta
- Linear equational theories and semimodule representations1998 | Matematicko-fyzikální fakulta
- Partial differential equations, Theory and numerical solutions1999 | Matematicko-fyzikální fakulta
- Euler and Navier-Stokes Equations (Theory, Numerical Solution, Applications)2001 | Matematicko-fyzikální fakulta
- The existence of finitely based lower covers for finitely based equational theories1996 | Matematicko-fyzikální fakulta
- Optimalizační problémy při omezení ve tvaru soustav (max,min)-lineárních rovnic.2009 | Matematicko-fyzikální fakulta
- Taylor term does not imply any nontrivial linear one-equality Maltsev condition2019 | Matematicko-fyzikální fakulta
- Extensions of unificationmodulo ACUI2019 | Matematicko-fyzikální fakulta
- Z historie lineární algebry2007 | Matematicko-fyzikální fakulta