( en | de | ru )

 

Disambiguation of "Xue, Bai"

Author of the publication

copydeleteadd this publication to your clipboard
Nonlinear Craig Interpolant Generation.

, , , , and . CAV (1), volume 12224 of Lecture Notes in Computer Science, page 415-438. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xue Bai

Xue Xue Zhang

Mingzeng Bai

Alexandra Bai

Cheng Xue

 

Other publications of authors with the same name

The measurement-induced nonlocality of two spins in a single-model cavity system., , , , and . Quantum Inf. Process., 20 (11): 364 (2021)A Spatiotemporal Heterogeneous Two-Stream Network for Action Recognition., , , , and . IEEE Access, (2019)Learning Framework for Virtual Network Function Instance Migration., , and . WCSP, page 1-7. IEEE, (2018)Geodesic Matting: A Framework for Fast Interactive Image and Video Segmentation and Matting., and . Int. J. Comput. Vis., 82 (2): 113-132 (2009)Multichannel High-Speed Data Caching System on FPGA for RAID Storage., , and . CSPS (3), volume 517 of Lecture Notes in Electrical Engineering, page 482-491. Springer, (2018)GenerativeMap: Visualization and Exploration of Dynamic Density Maps via Generative Learning Model., , , , and . IEEE Trans. Vis. Comput. Graph., 26 (1): 216-226 (2020)For education or for profit: The purpose of corporate universities in Taiwan. The Educational Information of the World, (1999)Under-Approximating Backward Reachable Sets by Polytopes., , and . CAV (1), volume 9779 of Lecture Notes in Computer Science, page 457-476. Springer, (2016)Using ASP-Based Message Encryption Project to Teach Information Security Concepts., , , and . J. Inf. Syst. Educ., 13 (3): 183-188 (2002)A method for calculating the water savings at typical hospitals., , , and . J. Comput. Methods Sci. Eng., 23 (3): 1617-1623 (2023)