Concepedia
Statistics
Publications
2
Citations
76
H-Index
Active since
1994
Lars Kempe is an author specializing in temporal logic, computing, and temporal knowledge representation.
Publications per year
1994–1995
Automatic Detection of Feature Interactions in Temporal Logic.
Johan Blom, Roland Bol, Lars Kempe · 1995 · 42 citations
Computing, Computer Science, Artificial Intelligence +13
Using temporal logic for modular specification of telephone services.
Johan Blom, Bengt Jönsson, Lars Kempe · 1994 · 34 citations
Computing, Computer Science, Information Systems +16
1–2 of 2