Edit Profile (opens in new tab) Jensen, Mathias Claus Compute Distance To: Compute Author ID: jensen.mathias-claus Published as: Jensen, Mathias Claus Documents Indexed: 3 Publications since 2018 Co-Authors: 5 Co-Authors with 3 Joint Publications 233 Co-Co-Authors Co-Authors 0 single-authored 3 Larsen, Kim Guldstrand 1 Enevoldsen, Søren 1 Mardare, Radu 1 Mariegaard, Anders 1 Srba, Jiří Serials 1 Acta Informatica Fields 3 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ Weighted branching systems: behavioural equivalence, behavioural distance, and their logical characterisations. Zbl 06989604Jensen, Mathias Claus; Larsen, Kim Guldstrand; Mardare, Radu 1 2018 Weighted branching systems: behavioural equivalence, behavioural distance, and their logical characterisations. Zbl 06989604Jensen, Mathias Claus; Larsen, Kim Guldstrand; Mardare, Radu 1 2018 Cited by 2 Authors 1 Jensen, Mathias Claus 1 Larsen, Kim Guldstrand Cited in 1 Serial 1 Acta Informatica Cited in 1 Field 1 Computer science (68-XX) Citations by Year