( en | de | ru )

 

Disambiguierung von "Wang, Xiaobing"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Runtime Verification Monitor Construction for Three-valued PPTL.

, , , und . SOFL+MSVL, Volume 10189 von Lecture Notes in Computer Science, Seite 144-159. (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Xiaobing Wang

Xiaobing Wang-Riese

Xiaobing Zhao

Xiaobing Wu

Xiaobing Gong

 

Weitere Publikationen von Autoren mit dem selben Namen

Driver Violation Prediction based on Neural Network., , , , , und . DSA, Seite 143-152. IEEE, (2022)Natural Scene Text Detection with Multi-channel Connected Component Segmentation., , und . ICDAR, Seite 1375-1379. IEEE Computer Society, (2013)Model checking of pushdown systems for projection temporal logic., , und . Theor. Comput. Sci., (2019)MRNET: Multi-Refinement Network for Dual-Pixel Images Defocus Deblurring., , und . ICASSP, Seite 1-5. IEEE, (2023)Model Checking Python Programs with MSVL., , , , , und . SOFL+MSVL, Volume 12028 von Lecture Notes in Computer Science, Seite 205-224. Springer, (2019)Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework., , , , und . SOFL+MSVL, Volume 12028 von Lecture Notes in Computer Science, Seite 73-87. Springer, (2019)A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks., , , und . SOFL+MSVL, Volume 10795 von Lecture Notes in Computer Science, Seite 133-147. Springer, (2017)A Proof System for a Unified Temporal Logic., , , und . COCOON, Volume 11653 von Lecture Notes in Computer Science, Seite 663-676. Springer, (2019)Formalization of Natural Language into PPTL Specification via Neural Machine Translation., , , , und . SOFL+MSVL, Volume 13854 von Lecture Notes in Computer Science, Seite 79-92. Springer, (2022)Automatic Generation of Specification from Natural Language Based on Temporal Logic., , , , und . SOFL+MSVL, Volume 12723 von Lecture Notes in Computer Science, Seite 154-171. Springer, (2020)