Morten Laursen - Concepedia

Author

Morten Laursen

Also Known As

Morten H. Laursen, Morten Laursen

Publications

181

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	2	2	82
2	Computer Engineering	2	2	82
3	Computer Science	2	2	82
4	Health Sciences	1	1	95
5	Medicine	1	1	95

Morten Laursen

Publications

177

Citations

H-Index

Page 1

	Year	Citations
Tapping-In-Place: Increasing the naturalness of immersive walking-in-place locomotion through novel gestural input Niels Christian Nilsson, Stefania Serafin, Morten Laursen, Gait AnalysisHaptic FeedbackHaptic TechnologyMotor ControlMovement Analysis	2013	95
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, EngineeringVerificationComputer-aided VerificationModel CheckingVerification Tool Uppaal	2000	48
Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL Torsten K. Iversen, Kåre J. Kristoffersen, Kim G. Larsen, BRICS Report Series EngineeringVerificationComputer-aided VerificationSoftware EngineeringModel Checking	1999	34

Page 1