Concepedia

Henning Christiansen

HC

16

Publications

466

Citations

13

H-Index

1981

Active since

Affiliations

Roskilde University(Current)

Aarhus University

Graduate School Experimental Plant Sciences

Henning Christiansen is an author at Roskilde University specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationSemanticsMedicineVerificationProgram AnalysisLogic Programming

Publications per year

1981–2020

16

Publications

16

A novel photochromic time–temperature indicator to support cold chain management

Judith Kreyenschmidt, Henning Christiansen, Antonia Hübner et al. · International Journal of Food Science & Technology · 2010 · 91 citations

Shelf Life, Engineering, Light Irradiation +19

A survey of adaptable grammars

Henning Christiansen · ACM SIGPLAN Notices · 1990 · 55 citations · Full text

On Simplification of Database Integrity Constraints

Henning Christiansen, Davide Martinenghi · Fundamenta Informaticae · 2006 · 45 citations

Active Database, Transformation Operators, Data Consistency +15

Henning Christiansen · Theory and Practice of Logic Programming · 2005 · 44 citations

Syntax, Engineering, Automated Reasoning +15

Classification of renal tumour using convolutional neural networks to detect oncocytoma

Mikkel W. Pedersen, Michael Brun Andersen, Henning Christiansen et al. · European Journal of Radiology · 2020 · 34 citations · Full text

Convolutional Neural Network, Urology, Engineering +14

Rows per page

1–5 of 16