LM
Lars Michael Kristensen
0000-0002-1465-5791188
Publications
5,227
Citations
24
h-index
61
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (106)
- Book Chapter (69)
- Book (6)
- Preprint (5)
- Dataset (2)
Filter by Open Access Type
- Open Access (53)
- Closed Access (135)
Filter by Authors
- Lars Michael Kristensen (188)
- Kurt Jensen (25)
- Jonathan Billington (13)
- Laure Petrucci (12)
- Volker Stolz (12)
Filter by Topics
- Petri Nets in System Modeling (80)
- Formal Methods in Verification (54)
- Business Process Modeling and Analysis (41)
- Service-Oriented Architecture and Web Services (39)
- Model-Driven Software Engineering Techniques (27)