Christian Hagemeier

According to our database, Christian Hagemeier authored at least 4 papers between 2005 and 2025.

Collaborative distances:

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

2025

LTLf Synthesis Under Unreliable Input.

Christian Hagemeier, Giuseppe De Giacomo, Moshe Y. Vardi

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 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