Specification in PDL with Recursion. - Xinxin Liu; Bingtian Xue (NASA Formal Methods, 2012)

Decidability and Expressiveness of Recursive Weighted Logic. - Kim Guldstrand Larsen; Radu Mardare; Bingtian Xue (Ershov Memorial Conference, 2014)

A Decidable Recursive Logic for Weighted Transition Systems. - Kim Guldstrand Larsen; Radu Mardare; Bingtian Xue (ICTAC, 2014)

Adequacy and Complete Axiomatization for Timed Modal Logic. - Samy Jaziri; Kim Guldstrand Larsen; Radu Mardare; Bingtian Xue (MFPS, 2014)

Alternation-Free Weighted Mu-Calculus: Decidability and Completeness. - Kim G. Larsen; Radu Mardare; Bingtian Xue (MFPS, 2015)

Concurrent weighted logic. - Kim G. Larsen; Radu Mardare; Bingtian Xue (J. Log. Algebraic Methods Program., 2015)

Probabilistic Mu-Calculus: Decidability and Complete Axiomatization. - Kim G. Larsen; Radu Mardare; Bingtian Xue (FSTTCS, 2016)

WNetKAT: A Weighted SDN Programming and Verification Language. - Kim G. Larsen; Stefan Schmid 001; Bingtian Xue (OPODIS, 2016)

A Complete Approximation Theory for Weighted Transition Systems. - Mikkel Hansen; Kim Guldstrand Larsen; Radu Mardare; Mathias Ruggaard Pedersen; Bingtian Xue (SETTA, 2016)

Reasoning About Bounds in Weighted Transition Systems. - Mikkel Hansen; Kim Guldstrand Larsen; Radu Mardare; Mathias Ruggaard Pedersen; Bingtian Xue (CoRR, 2017)

On decidability of recursive weighted logics. - Kim G. Larsen; Radu Mardare; Bingtian Xue (Soft Comput., 2018)