Research output per year
Research output per year
Search results
-
2017
On-the-Fly Computation of Bisimilarity Distances
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2017, In: Logical Methods in Computer Science. 13, 2Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile4 Citations (Scopus)84 Downloads (Pure) -
2015
Schedulability of Herschel revisited using statistical model checking
David, A., Larsen, K. G., Legay, A. & Mikučionis, M., 2015, In: International Journal on Software Tools for Technology Transfer. 17, 2, p. 187-199 13 p.Research output: Contribution to journal › Journal article › Research › peer-review
11 Citations (Scopus) -
2014
Statistical Model Checking for Biological Systems
David, A., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 1 Jul 2014, In: International Journal on Software Tools for Technology Transfer. 17, 3, p. 351-367 17 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access38 Citations (Scopus)