Wspólnie z Sylvią Pulmannovą opublikował monografię Orthomodular Structures as Quantum Logics, wydaną w 1991 roku przez Kluwer Academic Publishers w serii Fundamental Theories of Physics. Książka dotyczy własności wewnętrznych struktur ortomodularnych, przestrzeni stanów oraz probabilistycznych aspektów logik kwantowych.
Do jego ważniejszych artykułów należą prace o konkretności logik kwantowych, stanach na ortostrukturach, własnościach ortomodularnych krat i posetów, symetrycznej różnicy w strukturach ortokomplementarnych oraz modelach prawdopodobieństwa w logice klasycznej, kwantowej i rozmytej.
Działalność dydaktyczna Na Czeskim Uniwersytecie Technicznym prowadził podstawowe kursy matematyki dla inżynierów, w tym rachunek różniczkowy i całkowy, algebrę liniową, szeregi Fouriera, transformatę Laplace’a, logikę matematyczną i elementarny rachunek prawdopodobieństwa. Prowadził także kursy podyplomowe z topologii, algebry, algebry liniowej, analizy funkcjonalnej i operatorów w przestrzeniach Hilberta.
Jest autorem podręczników akademickich, między innymi Calculus II oraz Introduction to Linear Algebra.