Concepedia

Morten Laursen

ML

Statistics

Publications

3

Citations

177

H-Index

3

Active since

1999

Affiliations

Aalborg University(Current)

Morten Laursen is an author at Aalborg University specializing in system software, computer science, and software verification.

Top concepts

Publications per year

1999–2013

3

Publications

3

Tapping-In-Place: Increasing the naturalness of immersive walking-in-place locomotion through novel gestural input

Niels Christian Nilsson, Stefania Serafin, Morten Laursen et al. · 2013 · 95 citations

, , +22

Model-checking real-time control programs: verifying LEGO MINDSTORMS<sup>TM</sup> systems using UPPAAL

Torsten K. Iversen, Kåre J. Kristoffersen, Kim G. Larsen et al. · 2000 · 48 citations

, , +29

Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL

Torsten K. Iversen, Kåre J. Kristoffersen, Kim G. Larsen et al. · BRICS Report Series · 1999 · 34 citations · Full text

, , +22

1–3 of 3