Christian Hagemeier

According to our database, Christian Hagemeier authored at least 5 papers between 2005 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Symbolic Synthesis for LTLf+ Obligations.

Giuseppe De Giacomo, Christian Hagemeier, Daniel Hausmann, Nir Piterman

CoRR, April, 2026

2025

LTLf Synthesis Under Unreliable Input.

Christian Hagemeier, Giuseppe De Giacomo, Moshe Y. Vardi

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2022

Constructive and mechanised meta-theory of IEL and similar modal logics.

Christian Hagemeier, Dominik Kirst

J. Log. Comput., 2022

Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic.

Christian Hagemeier, Dominik Kirst

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

2005

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