semSL: Tagging and Data Linking for Second Life. - Michael Schneider 001; Felix Kratzer; Kai Mainzer (ISWC (Posters & Demos), 2008)

A Conformance Test Suite for the OWL 2 RL/RDF Rules Language and the OWL 2 RDF-Based Semantics. - Michael Schneider 001; Kai Mainzer (OWLED, 2009)

Combining local preferences with multi-criteria decision analysis and linear optimization to develop feasible energy concepts in small communities. - Russell McKenna; Valentin Bertsch; Kai Mainzer; Wolf Fichtner (Eur. J. Oper. Res., 2018)

Analysis and Optimization of Urban Energy Systems. - Kai Mainzer (OR, 2019)