HuSiDa - the human siRNA database: an open-access database for published functional siRNA sequences and technical details of efficient transfer into recipient cells. - Matthias Truss; Maciej Swat; Szymon M. Kielbasa; Reinhold Schäfer; Hanspeter Herzel; Christian Hagemeier (Nucleic Acids Res., 2005)

Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic. - Christian Hagemeier; Dominik Kirst (LFCS, 2022)

Constructive and mechanised meta-theory of IEL and similar modal logics. - Christian Hagemeier; Dominik Kirst (J. Log. Comput., 2022)

LTLf Synthesis Under Unreliable Input. - Christian Hagemeier; Giuseppe De Giacomo; Moshe Y. Vardi (AAAI, 2025)