Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen. - Mathias Soeken; Robert Wille; Eugen Kuksa; Rolf Drechsler (MBMV, 2013)

Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub. - Eugen Kuksa; Till Mossakowski (PAAR@IJCAR, 2016)

Ontohub: Version Control, Linked Data and Theorem Proving for Ontologies. - Eugen Kuksa; Till Mossakowski (JOWO@FOIS, 2016)

Ontohub: A semantic repository for heterogeneous ontologies. - Mihai Codescu; Eugen Kuksa; Oliver Kutz; Till Mossakowski; Fabian Neuhaus (CoRR, 2016)

Ontohub: A semantic repository engine for heterogeneous ontologies. - Mihai Codescu; Eugen Kuksa; Oliver Kutz; Till Mossakowski; Fabian Neuhaus (Appl. Ontology, 2017)