WNetKAT: A weighted SDN programming and verification language KG Larsen, S Schmid, B Xue arXiv preprint arXiv:1608.08483, 2016 | 13 | 2016 |

Probabilistic mu-calculus: decidability and complete axiomatization KG Larsen, R Mardare, B Xue 36th IARCS Annual Conference on Foundations of Software Technology and …, 2016 | 12 | 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 | 10 | 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 | 8 | 2014 |

On decidability of recursive weighted logics KG Larsen, R Mardare, B Xue Soft Computing 22 (4), 1085-1102, 2018 | 6 | 2018 |

Decidability and expressiveness of recursive weighted logic KG Larsen, R Mardare, B Xue International Andrei Ershov Memorial Conference on Perspectives of System …, 2014 | 6 | 2014 |

Decidability and expressiveness of recursive weighted logic KG Larsen, R Mardare, B Xue International Andrei Ershov Memorial Conference on Perspectives of System …, 2014 | 6 | 2014 |

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 | 5 | 2016 |

Concurrent weighted logic KG Larsen, R Mardare, B Xue Journal of Logical and Algebraic Methods in Programming 84 (6), 884-897, 2015 | 5 | 2015 |

Concurrent weighted logic KG Larsen, R Mardare, B Xue Journal of Logical and Algebraic Methods in Programming 84 (6), 884-897, 2015 | 5 | 2015 |

A decidable recursive logic for weighted transition systems KG Larsen, R Mardare, B Xue International Colloquium on Theoretical Aspects of Computing, 460-476, 2014 | 4 | 2014 |

A decidable recursive logic for weighted transition systems KG Larsen, R Mardare, B Xue International Colloquium on Theoretical Aspects of Computing, 460-476, 2014 | 4 | 2014 |

WNetKAT: Programming and Verifying Weighted Software-Defined Networks KG Larsen, S Schmid, B Xue | 2 | 2016 |

Specification in PDL with Recursion X Liu, B Xue NASA Formal Methods Symposium, 181-194, 2012 | 1 | 2012 |

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 | | |