Research output per year
Research output per year
Personal profile
Keywords
- Computer science, IT
- Natural Language Analysis
- Computer assisted information retrieval
- Data and Knowledge Bases
- Information seeking
- Intelligent information retrieval
- Artificial intelligence
- Logic programming
- Methodology for teaching Computer Science
- Education, Learning, Training
- Erasmus
- Socrates
- International student exchanges
Publication network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Classification of renal tumour using convolutional neural networks to detect oncocytoma
Pedersen, M., Andersen, M. B., Christiansen, H. & Asawi, N. H., 2020, In: European Journal of Radiology. 133, 109343, 5 p., 109343.Research output: Contribution to journal › Journal article › Research › peer-review
-
Efficient and Precise Classification of CT Scannings of Renal Tumors Using Convolutional Neural Networks
Pedersen, M., Christiansen, H. & Asawi, N. H., 2020, Foundations of Intelligent Systems: 25th International Symposium, ISMIS 2020, Graz, Austria, September 23-25, 2020, Proceedings. Helic, D., Leitner, G., Stettinger, N., Felfernig, A. & Ras, Z. W. (eds.). Springer, p. 440-447 (Lecture Notes in Computer Science, Vol. 12117).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Robots on stage
Christiansen, H. & Lindelof, A. M., 18 Dec 2020, In: EAI Endorsed Transactions on Creative Technologies. 7, 25, 13 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile -
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems
Kirkeby, M. H. & Christiansen, H., 2019, In: International Journal of Approximate Reasoning. 105, p. 217-228Research output: Contribution to journal › Journal article › Research › peer-review
File -
Confluence of CHR Revisited: Invariants and Modulo Equivalence
Christiansen, H. & Kirkeby, M. H., 2019, Logic-Based Program Synthesis and Transformation: 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Mesnard, F. & Stuckey, P. J. (eds.). Cham: Springer, Vol. 11408. p. 94-111 (Lecture Notes in Computer Science, Vol. 11408). (Theoretical Computer Science and General Issues, Vol. 11408).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile
-
NorDigHealth: Novel Regional Digital Solutions for Improving Health
Barrett, B. A., Holen, M., Tvilsted, S. S., Hartvig, D. L., Fahse, F., Krauth, H. H., Seger, K., Burmeister, E., Jernskæg, D. R., Kjær, T. W., Sørensen, T. L., Bulskov, H., Christiansen, H. & Andreasen, T.
01/01/2019 → 31/12/2021
Project: Research
-
INGRACOMLEN: Algoritmos de inferencia gramatical para medir la complejidad relativa de las lenguas naturales (Grammatical Inference Algorithms for measuring the relative complexity of natural languages)
Jiménez López, M. D., Christiansen, H., Becerra-Bonache, L., Martín Vide, C., Jacquenet, F., Batista Galván, M., Torrens Urrutia, A. & Loukanova, R.
01/01/2016 → 31/12/2018
Project: Research
-
Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules
Christiansen, H. & Kirkeby, M. H.
Det Frie Forskningsråd | Natur og Univers
01/11/2015 → 31/12/2018
Project: Research
-
Kulturportalen, Experience Lab RUC projekt
Jensen, S. S., Laursen, B., Gallagher, J. P., Andreasen, T. & Christiansen, H.
15/08/2014 → 01/02/2017
Project: Research
-
Italian Drawings
Christiansen, H., Laursen, B., Hansen, M. R. P. & Simonsen, J.
01/02/2014 → 30/06/2016
Project: Research
Activities
-
FQAS 2021, 14th International Conference on Flexible Query Answering Systems
Henning Christiansen (Organizer)
19 Sep 2021 → 24 Sep 2021Activity: Participating in or organising an event › Organisation and participation in conference
-
MRC-HCCS – Human-Centric and Contextual Systems Thirteenth International Workshop Modelling | Reasoning | Context
Henning Christiansen (Participant)
21 Aug 2021 → 26 Aug 2021Activity: Participating in or organising an event › Organisation and participation in conference
-
The 8th Workshop on Probabilistic Logic Programming
Henning Christiansen (Participant)
20 Sep 2021 → 27 Sep 2021Activity: Participating in or organising an event › Organisation and participation in conference
-
International Journal of Approximate Reasoning (Journal)
Henning Christiansen (Peer reviewer)
2021Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
MRC 2020 – Human-Centric and Contextual Systems. Eleventh International Workshop Modelling and Reasoning in Context
Henning Christiansen (Organizer)
29 Aug 2020Activity: Participating in or organising an event › Participation in workshop, seminar, course
Press / Media
-
-
-
Italienske tegninger
Henning Christiansen, Hanne Leth Andersen & Bjørn Laursen
06/05/2014
1 item of Media coverage
Press/Media: Press / Media
-
-