Spatial Quantales. - David Kruml (Appl. Categorical Struct., 2002)

Distributive Quantales. - David Kruml (Appl. Categorical Struct., 2003)

On Quantales and Spectra of C*-Algebras. - David Kruml; Joan Wick Pelletier; Pedro Resende; Jirí Rosický (Appl. Categorical Struct., 2003)

Girard Couples of Quantales. - Jeffrey M. Egger; David Kruml (Appl. Categorical Struct., 2010)

Open projections do not form a right residuated lattice. - David Kruml (TACL, 2013)

Nuclei and conuclei on Girard posets. - David Kruml; Jan Paseka (EUSFLAT Conf., 2019)

On the Coextension of Cut-Continuous Pomonoids. - David Kruml; Jan Paseka; Thomas Vetterlein (Order, 2019)

Quantile Based Summation of Random Variables. - Kadir Emir; David Kruml; Jan Paseka; Iveta Selingerová (IFSA/EUSFLAT/AGOP, 2021)

Linear orthogonality spaces as a new approach to quantum logic. - Kadir Emir; David Kruml; Jan Paseka; Thomas Vetterlein (ISMVL, 2021)