| Probabilistic mu-calculus: decidability and complete axiomatization KG Larsen, R Mardare, B Xue 36th IARCS Annual Conference on Foundations of Software Technology and …, 2016 | 15 | 2016 |
| WNetKAT: A weighted SDN programming and verification language KG Larsen, S Schmid, B Xue arXiv preprint arXiv:1608.08483, 2016 | 13 | 2016 |
| Alternation-free weighted mu-calculus: Decidability and completeness KG Larsen, R Mardare, B Xue Electronic Notes in Theoretical Computer Science 319, 289-313, 2015 | 13 | 2015 |
| Concurrent weighted logic KG Larsen, R Mardare, B Xue Journal of Logical and Algebraic Methods in Programming 84 (6), 884-897, 2015 | 6 | 2015 |
| Adequacy and complete axiomatization for timed modal logic S Jaziri, KG Larsen, R Mardare, B Xue Electronic Notes in Theoretical Computer Science 308, 183-210, 2014 | 6 | 2014 |
| Logical characterization and complexity of weighted branching preorders and distances L Foshammer, KG Larsen, R Mardare, B Xue Unpublished draft, 2017 | 5 | 2017 |
| Decidability and expressiveness of recursive weighted logic KG Larsen, R Mardare, B Xue International Andrei Ershov Memorial Conference on Perspectives of System …, 2014 | 5 | 2014 |
| On decidability of recursive weighted logics KG Larsen, R Mardare, B Xue Soft Computing 22, 1085-1102, 2018 | 4 | 2018 |
| A complete approximation theory for weighted transition systems M Hansen, KG Larsen, R Mardare, MR Pedersen, B Xue International Symposium on Dependable Software Engineering: Theories, Tools …, 2016 | 4 | 2016 |
| WNetKAT: Programming and Verifying Weighted Software-Defined Networks KG Larsen, S Schmid, B Xue | 3 | 2016 |
| A decidable recursive logic for weighted transition systems KG Larsen, R Mardare, B Xue Theoretical Aspects of Computing–ICTAC 2014: 11th International Colloquium …, 2014 | 3 | 2014 |
| Specification in PDL with Recursion X Liu, B Xue NASA Formal Methods Symposium, 181-194, 2012 | 1 | 2012 |
| Decidability and expressiveness of recursive weighted logic KG Larsen, R Mardare, B Xue Perspectives of System Informatics: 9th International Ershov Informatics …, 2015 | | 2015 |
| Verification Language KG Larsen, S Schmid, B Xue | | |
| Weighted Branching Preorders and Distances: Logical Characterization and Complexity L Foshammer, KG Larsen, R Mardare, B Xue | | |
| Adequacy and Complete Axiomatization for Timed Modal Logic B Xue | | |
| Decomposition of Automata PDL and its Extension X Liu, B Xue | | |
Kim G. LarsenDirector, Professor Aalborg UniversityBestätigte E-Mail-Adresse bei cs.aau.dk
