Concepedia

Michael R. Hansen

MR

16

Publications

640

Citations

12

H-Index

1989

Active since

Affiliations

Technical University of Denmark(Current)

United Nations University Institute on Globalization, Culture and Mobility

Michael R. Hansen is an author at Technical University of Denmark specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationComputer EngineeringProgram AnalysisHardware SecuritySoftware AnalysisSystems Engineering

Publications per year

1989–2015

16

Publications

16

Duration calculus: Logical foundations

Michael R. Hansen, Zhou Chaochen · Formal Aspects of Computing · 1997 · 144 citations

Eye tracking in computing education

Teresa Busjahn, Carsten Schulte, Bonita Sharif et al. · 2014 · 116 citations

Engineering, Visual Programming Language, Ophthalmology +15

DEHAR: A distributed energy harvesting aware routing algorithm for ad-hoc multi-hop wireless sensor networks

Mikkel Koefoed Jakobsen, Jan Madsen, Michael R. Hansen · 2010 · 76 citations

Sensor Networks, Energy Harvesting, Continuous Operation +13

Tabu search for multiobjective combinatorial optimization : TAMOCO

Michael R. Hansen · Control and Cybernetics · 2000 · 49 citations

Engineering, Intelligent Optimization, Combinatorial Optimization +3

Models and formal verification of multiprocessor system-on-chips

Aske W. Brekling, Michael R. Hansen, Jan Madsen · The Journal of Logic and Algebraic Programming · 2008 · 36 citations

Hardware Security, Hardware Modeling, Engineering +7

Rows per page

1–5 of 16