( en | de | ru )

 

Disambiguation of "Liang, Tianyi"

Author of the publication

copydeleteadd this publication to your clipboard
A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions.

, , , , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 646-662. Springer, (2014)

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.

Tianyi Yu

Liang Liang

Liang-Liang Fu

Shu Chuan Liang

Dsin Dshin Liang

 

Other publications of authors with the same name

Evaluating Localized MOOCs: The Role of Culture on Interface Design and User Experience., , , and . IEEE Access, (2020)Artificial Intelligence-Empowered Chatbot for Effective COVID-19 Information Delivery to Older Adults., , , , , , and . Int. J. E Health Medical Commun., 12 (6): 1-18 (2021)Domain-specific feature recalibration and alignment for multi-source unsupervised domain adaptation., , , , , , and . IET Comput. Vis., 17 (1): 26-38 (February 2023)Enhancing Visual Understanding by Removing Dithering with Global and Self-Conditioned Transformation., , , , and . VINCI, page 27:1-27:8. ACM, (2023)Research on PDCCH Channel in 5G NR System., and . NaNA, page 113-118. IEEE, (2021)Logit Distillation via Student Diversity., , , , , and . ICONIP (5), volume 1792 of Communications in Computer and Information Science, page 338-349. Springer, (2022)A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings., , , , and . FroCos, volume 9322 of Lecture Notes in Computer Science, page 135-150. Springer, (2015)Enhancing the Association in Multi-Object Tracking via Neighbor Graph., , and . CoRR, (2020)Enhancing the association in multi-object tracking via neighbor graph., , , , and . Int. J. Intell. Syst., 36 (11): 6713-6730 (2021)A generic MOT boosting framework by combining cues from SOT, tracklet and re-identification., , , and . Knowl. Inf. Syst., 63 (8): 2109-2127 (2021)