Author of the publication

Comparison of Perceptual Differences Between Users and Designers in Mobile Shopping App Interface Design: Implications for Evaluation Practice.

, , , and . IEEE Access, (2019)

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

Certified Verification for Algebraic Abstraction., , , , , and . CAV (3), volume 13966 of Lecture Notes in Computer Science, page 329-349. Springer, (2023)CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver., , , , , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 149-171. Springer, (2021)Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE., , , , , and . IACR Cryptol. ePrint Arch., (2022)CoqCryptoLine: A Verified Model Checker with Certified Results., , , , , and . CAV (2), volume 13965 of Lecture Notes in Computer Science, page 227-240. Springer, (2023)autofz: Automated Fuzzer Composition at Runtime., , and . USENIX Security Symposium, page 1901-1918. USENIX Association, (2023)Signed Cryptographic Program Verification with Typed CryptoLine., , , , , and . CCS, page 1591-1606. ACM, (2019)A graph attention network under probabilistic linguistic environment based on Bi-LSTM applied to film classification., , , , and . Inf. Sci., (November 2023)A Sentiment Analysis Method of Capsule Network Based on BiLSTM., , , , , and . IEEE Access, (2020)Colorectal Tumor Segmentation of CT Scans Based on a Convolutional Neural Network With an Attention Mechanism., , , , , , , , , and . IEEE Access, (2020)A graph convolutional network based on object relationship method under linguistic environment applied to film evaluation., , , and . Inf. Sci., (2022)