Christian Hagemeier

Orcid: 0000-0002-0849-1073

According to our database¹, Christian Hagemeier authored at least 3 papers between 2005 and 2022.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2022

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

[BibT_eX]

[DOI]

Christian Hagemeier

Dominik Kirst

J. Log. Comput., 2022

Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Nucleic Acids Res., 2005

Christian Hagemeier

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...