Follow
Bingtian Xue
Bingtian Xue
Distributed and Embedded Systems Unit, Department of Computer Science, Aalborg University
Verified email at cs.aau.dk - Homepage
Title
Cited by
Cited by
Year
Probabilistic mu-calculus: decidability and complete axiomatization
KG Larsen, R Mardare, B Xue
36th IARCS Annual Conference on Foundations of Software Technology and …, 2016
142016
WNetKAT: A weighted SDN programming and verification language
KG Larsen, S Schmid, B Xue
arXiv preprint arXiv:1608.08483, 2016
122016
Alternation-free weighted mu-calculus: Decidability and completeness
KG Larsen, R Mardare, B Xue
Electronic Notes in Theoretical Computer Science 319, 289-313, 2015
122015
Concurrent weighted logic
KG Larsen, R Mardare, B Xue
Journal of Logical and Algebraic Methods in Programming 84 (6), 884-897, 2015
62015
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
62014
Decidability and expressiveness of recursive weighted logic
KG Larsen, R Mardare, B Xue
Perspectives of System Informatics: 9th International Ershov Informatics …, 2015
52015
On decidability of recursive weighted logics
KG Larsen, R Mardare, B Xue
Soft Computing 22, 1085-1102, 2018
42018
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
42016
WNetKAT: Programming and Verifying Weighted Software-Defined Networks
KG Larsen, S Schmid, B Xue
32016
A decidable recursive logic for weighted transition systems
KG Larsen, R Mardare, B Xue
Theoretical Aspects of Computing–ICTAC 2014: 11th International Colloquium …, 2014
32014
Specification in PDL with Recursion
X Liu, B Xue
NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA …, 2012
12012
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
The system can't perform the operation now. Try again later.
Articles 1–16