Lars Michael Kristensen

44 papers and 1.3k indexed citations i.

Lars Michael Kristensen has authored 44 papers that have received a total of 1.3k indexed citations. This includes 25 papers in Computational Theory and Mathematics, 16 papers in Computer Networks and Communications and 13 papers in Management Information Systems. The topics of these papers are Petri Nets in System Modeling (22 papers), Business Process Modeling and Analysis (13 papers) and Formal Methods in Verification (11 papers). Lars Michael Kristensen is often cited by papers focused on Petri Nets in System Modeling (22 papers), Business Process Modeling and Analysis (13 papers) and Formal Methods in Verification (11 papers) and collaborates with scholars based in Denmark, Norway and Australia. Lars Michael Kristensen's co-authors include Kurt Jensen, Jonathan Billington, E. Horsdal-Pedersen, B. D. DePaola and Jens Bæk Jørgensen and has published in prestigious journals such as IEEE Transactions on Geoscience and Remote Sensing, Communications of the ACM and IEEE Communications Surveys & Tutorials.