Bingtian Xue
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2014–2016
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | OPODIS | WNetKAT: A Weighted SDN Programming and Verification Language. | Kim G. Larsen, Stefan Schmid, Bingtian Xue |
| 2016 | SETTA | A Complete Approximation Theory for Weighted Transition Systems. | Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue |
| 2014 | ICTAC | A Decidable Recursive Logic for Weighted Transition Systems. | Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue |