Author of the publication

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.

 

Other publications of authors with the same name

Exploiting parallelism in the ME calculus., and . PAAR@IJCAR, volume 21 of EPiC Series in Computing, page 96-108. EasyChair, (2012)Enhancing the association in multi-object tracking via neighbor graph., , , , and . Int. J. Intell. Syst., 36 (11): 6713-6730 (2021)An efficient SMT solver for string constraints., , , , , and . Formal Methods Syst. Des., 48 (3): 206-234 (2016)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)Enhancing Visual Understanding by Removing Dithering with Global and Self-Conditioned Transformation., , , , and . VINCI, page 27:1-27:8. ACM, (2023)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)InterBN: Channel Fusion for Adversarial Unsupervised Domain Adaptation., , , , , , , , and . ACM Multimedia, page 3691-3700. ACM, (2021)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)