Concepedia

Lars Michael Kristensen

LM

31

Publications

2.4K

Citations

16

H-Index

1998

Active since

Affiliations

Aarhus University(Current)

Western Norway University of Applied Sciences

University of South Australia

Defence Science and Technology Group

Lars Michael Kristensen is an author at Aarhus University specializing in engineering, systems engineering, and formal methods.

ORCID

Top concepts

Publications per year

1998–2023

31

Publications

31

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

Kurt Jensen, Lars Michael Kristensen, Lisa Wells · International Journal on Software Tools for Technology Transfer · 2007 · 1.1K citations

, , +15

An Industrial Perspective on Wireless Sensor Networks — A Survey of Requirements, Protocols, and Challenges

Adam S�™, Knut Øvsthus, Lars Michael Kristensen · IEEE Communications Surveys & Tutorials · 2014 · 367 citations

, , +18

The practitioner's guide to coloured Petri nets

Lars Michael Kristensen, Søren Christensen, Kurt Jensen · International Journal on Software Tools for Technology Transfer · 1998 · 312 citations

, , +9

Colored Petri nets

Kurt Jensen, Lars Michael Kristensen · Communications of the ACM · 2015 · 150 citations

, , +23

Simulation based performance analysis of web servers

Lisa Wells, Søren Christensen, Lars Michael Kristensen et al. · 2002 · 43 citations

, , +19

Rows per page

1–5 of 31