( en | de | ru )

 

Disambiguation of "Liang, Tianyi"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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

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)Evaluating Localized MOOCs: The Role of Culture on Interface Design and User Experience., , , and . IEEE Access, (2020)Enhancing Visual Understanding by Removing Dithering with Global and Self-Conditioned Transformation., , , , and . VINCI, page 27:1-27:8. ACM, (2023)Domain-specific feature recalibration and alignment for multi-source unsupervised domain adaptation., , , , , , and . IET Comput. Vis., 17 (1): 26-38 (February 2023)Logit Distillation via Student Diversity., , , , , and . ICONIP (5), volume 1792 of Communications in Computer and Information Science, page 338-349. Springer, (2022)Research on PDCCH Channel in 5G NR System., and . NaNA, page 113-118. IEEE, (2021)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)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)Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification., , , , , and . CAV (2), volume 10427 of Lecture Notes in Computer Science, page 453-474. Springer, (2017)InterBN: Channel Fusion for Adversarial Unsupervised Domain Adaptation., , , , , , , , and . ACM Multimedia, page 3691-3700. ACM, (2021)