A 300-mA load CMOS low-dropout regulator without an external capacitor for SoC and embedded applications. - Shengming Huang; Quanzhen Duan; Tian Guo 006; Yaping Cheng; Jiaqi Yin; Yuemin Ding (Int. J. Circuit Theory Appl., 2017)

Modeling and Verifying Spark on YARN Using Process Algebra. - Jiaqi Yin; Huibiao Zhu; Yuan Fei; Yucheng Fang (HASE, 2019)

A Security Calculus for Wireless Networks of Named Data Networking. - Yuan Fei; Huibiao Zhu; Haiying Sun; Jiaqi Yin (ICFEM, 2019)

Verifying Static Aspects of UML models using Prolog (S). - Feng Sheng; Huibiao Zhu; Zongyuan Yang; Jiaqi Yin; Gang Lu (SEKE, 2019)

Modeling and Verifying TESAC Using CSP. - Dongzhen Sun; Huibiao Zhu; Yuan Fei; Lili Xiao; Gang Lu; Jiaqi Yin (SEKE, 2019)

Formalization and Verification of RTPS StatefulWriter Module Using CSP. - Jiaqi Yin; Huibiao Zhu; Yuan Fei; Qiwen Xu; Ruobiao Wu (SEKE, 2019)

Verifying Opacity of a Modified PSTM. - Yucheng Fang; Huibiao Zhu; Jiaqi Yin (TASE, 2019)

Formalization and Verification of TESAC Using CSP. - Dongzhen Sun; Huibiao Zhu; Yuan Fei; Lili Xiao; Gang Lu; Jiaqi Yin (Int. J. Softw. Eng. Knowl. Eng., 2019)

Modeling and Verifying Data Access Mechanism of NLSR Trust Model. - Ningning Chen; Huibiao Zhu; Yuan Fei; Lili Xiao; Jiaqi Yin (APSEC, 2020)

Formalization and Verification of VANET. - Ran Li; Huibiao Zhu; Lili Xiao; Jiaqi Yin; Yuan Fei; Gang Lu (SEKE, 2020)

Formal Modelling and Verification of MCAC Router Architecture in ICN. - Junya Xu; Huibiao Zhu; Lili Xiao; Jiaqi Yin; Yuan Fei; Gang Lu (SEKE, 2020)

Modeling and Verifying NDN-based IoV Using CSP. - Ningning Chen; Huibiao Zhu; Jiaqi Yin; Lili Xiao; Yuan Fei (SEKE, 2020)

Modeling and Analysis of RabbitMQ Using UPPAAL. - Ran Li; Jiaqi Yin; Huibiao Zhu (TrustCom, 2020)

Specification and Verification of the Zab Protocol with TLA+. - Jiaqi Yin; Huibiao Zhu; Yuan Fei (J. Comput. Sci. Technol., 2020)

Formalization and Analysis of Haystack Architecture from Process Algebra Perspective. - Jiaqi Yin; Huibiao Zhu; Phan Cong Vinh (Mob. Networks Appl., 2020)

SC4MEC: Automated Implementation of A Secure Hierarchical Calculus for Mobile Edge Computing. - Jiaqi Yin; Huibiao Zhu; Yuan Fei (DATE, 2021)

Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP. - Junya Xu; Jiaqi Yin; Huibiao Zhu; Lili Xiao (ECBS, 2021)

Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP. - Chen Zhao; Jiaqi Yin; Huibiao Zhu; Ran Li (ISPA/BDCloud/SocialCom/SustainCom, 2021)

Formalization and Verification of Dubbo Using CSP. - Zhiru Hou; Jiaqi Yin; Huibiao Zhu (SEKE, 2021)

Formal Modeling and Verification of ICN-IoT Middleware Architecture (S). - Hongqin Zhang; Jiaqi Yin; Huibiao Zhu; Ningning Chen (SEKE, 2021)

Formal Modelling and Verification of the RTPS Behavior Module. - Jiaqi Yin; Huibiao Zhu; Yuan Fei; Qiwen Xu (TASE, 2021)

Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata. - Jiaqi Yin; Huibiao Zhu; Yuan Fei (TrustCom, 2021)

Hateful Memes Challenge: An Enhanced Multimodal Framework. - Aijing Gao; Bingjun Wang; Jiaqi Yin; Yating Tian (CoRR, 2021)

Formalization and Analysis of Ceph Using Process Algebra. - Ran Li; Huibiao Zhu; Jiaqi Yin (IEICE Trans. Inf. Syst., 2021)

Formal analysis and automated validation of privacy-preserving AICE protocol in mobile edge computing. - Jiaqi Yin; Huibiao Zhu; Yuan Fei (Mob. Networks Appl., 2021)

Formal Analysis and Verification of DPSTM v2 Architecture Using CSP. - Peimu Li; Jiaqi Yin; Huibiao Zhu; Lili Xiao; Miroslav Popovic (COMPSAC, 2022)

IMpress: Large Integer Multiplication Expression Rewriting for FPGA HLS. - Ecenur Ustun; Ismail San; Jiaqi Yin; Cunxi Yu; Zhiru Zhang (FCCM, 2022)

The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge Computing. - Jiaqi Yin; Huibiao Zhu (ICECCS, 2022)

Exact Memory- and Communication-aware Scheduling of DNNs on Pipelined Edge TPUs. - Jiaqi Yin; Zhiru Zhang; Cunxi Yu (SEC, 2022)

Formalization and Verification of SIP Using CSP. - Zhiru Hou; Jiaqi Yin; Huibiao Zhu; Ningning Chen (PDCAT, 2022)

MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity. - Junfu Luo; Jiaqi Yin; Huibiao Zhu (PDCAT, 2022)

Formal Verification of COCO Database Framework Using CSP. - Peimu Li; Jiaqi Yin; Huibiao Zhu (SEKE, 2022)

Modeling and Verifying AUPS Using CSP. - Hongqin Zhang; Huibiao Zhu; Jiaqi Yin; Ningning Chen (SEKE, 2022)

Verification of RabbitMQ with Kerberos Using Timed Automata. - Ran Li; Jiaqi Yin; Huibiao Zhu; Phan Cong Vinh (Mob. Networks Appl., 2022)

Modeling and verifying NDN-based IoV using CSP. - Ningning Chen; Huibiao Zhu; Jiaqi Yin; Yuan Fei; Lili Xiao; Minghua Zhu (J. Softw. Evol. Process., 2022)

Formalization and Verification of Go-based New Simple Queue System. - Danyang Wang; Jiaqi Yin; Sini Chen; Huibiao Zhu (IWESQ/QuASoQ@APSEC, 2023)

RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs. - Jiaqi Yin; Yingjie Li; Daniel Robinson; Cunxi Yu (DAC, 2023)

AIM: Accelerating Arbitrary-Precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP. - Zhuoping Yang; Jinming Zhuang; Jiaqi Yin; Cunxi Yu; Alex K. Jones; Peipei Zhou 001 (ICCAD, 2023)

Accelerating Exact Combinatorial Optimization via RL-based Initialization - A Case Study in Scheduling. - Jiaqi Yin; Cunxi Yu (ICCAD, 2023)

Formalization and Verification of the ICC Mechanism in Android System Using CSP. - Yixiao Lv; Jiaqi Yin; Sini Chen; Huibiao Zhu (ISSREW, 2023)

Formalization and verification of Kafka messaging mechanism using CSP. - Junya Xu; Jiaqi Yin; Huibiao Zhu; Lili Xiao (Comput. Sci. Inf. Syst., 2023)

IEAtlas: an atlas of HLA-presented immune epitopes derived from non-coding regions. - Yangyang Cai; Dezhong Lv; Donghao Li; Jiaqi Yin; Yingying Ma; Ya Luo; Limei Fu; Na Ding; Yongsheng Li 001; Zhenwei Pan; Xia Li 004; Juan Xu 001 (Nucleic Acids Res., 2023)

Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL. - Yuan Fei; Huibiao Zhu; Jiaqi Yin (J. Softw. Evol. Process., 2023)

FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT. - Yuan Fei; Huibiao Zhu; Jiaqi Yin (Formal Aspects Comput., 2023)

LumiPane: Intelligent Interaction through Gesture Sensing and Ambient Light Communication. - Liguang Ruan; Chenxin Liang; Jiaqi Yin; Jiarong Li; Xiaojun Liang; Wenbo Ding 001 (GLOBECOM (Workshops), 2024)

Differentiable Combinatorial Scheduling at Scale. - Mingju Liu; Yingjie Li; Jiaqi Yin; Zhiru Zhang; Cunxi Yu (ICML, 2024)

Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP. - Bangjie Zhu; Jiaqi Yin; Sini Chen; Huibiao Zhu (SAC, 2024)

MicroProteinDB: A database to provide knowledge on sequences, structures and function of ncRNA-derived microproteins. - Yinan Liang; Dezhong Lv; Kefan Liu; Liting Yang; Huan Shu; Luan Wen; Chongwen Lv; Qisen Sun; Jiaqi Yin; Hui Liu; Juan Xu 001; Zhigang Liu; et al. (Comput. Biol. Medicine, 2024)

Using a Chatbot to Provide Formative Feedback: A Longitudinal Study of Intrinsic Motivation, Cognitive Load, and Learning Performance. - Jiaqi Yin; Tiong-Thye Goh; Yi Hu (IEEE Trans. Learn. Technol., 2024)

Formal Modeling and Verifying Dubbo Using Process Algebra. - Zhiru Hou; Jiaqi Yin; Huibiao Zhu; Phan Cong Vinh (Mob. Networks Appl., 2024)

Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system. - Jiaqi Yin; Sini Chen; Yixiao Lv; Huibiao Zhu (Softw. Qual. J., 2024)

FVF-BIoT: a formal verification framework for blockchain-based IoT authentication. - Jiaqi Yin; Yuan Fei (Softw. Qual. J., 2024)

HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation. - Jiaqi Yin; Zhan Song; Nicolas Bohm Agostini; Antonino Tumeo; Cunxi Yu (USENIX ATC, 2025)

Formal Verification and Security Analysis of Go-based New Simple Queue System. - Zhiru Hou; Danyang Wang; Jiaqi Yin; Sini Chen; Huibiao Zhu (J. Circuits Syst. Comput., 2025)

BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation. - Jiaqi Yin; Zhan Song; Chen Chen; Qihao Hu; Cunxi Yu (CoRR, 2025)

SPARK Hand: Scooping-Pinching Adaptive Robotic Hand with Kempe Mechanism for Vertical Passive Grasp in Environmental Constraints. - Jiaqi Yin; Tianyi Bi; Wenzeng Zhang (CoRR, 2025)

Schema Lineage Extraction at Scale: Multilingual Pipelines, Composite Evaluation, and Language-Model Benchmarks. - Jiaqi Yin; Yi-Wei Chen; Meng-Lung Lee; Xiya Liu (CoRR, 2025)

e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving. - Jiaqi Yin; Zhan Song; Chen Chen; Yaohui Cai; Zhiru Zhang; Cunxi Yu (CoRR, 2025)

Revisit Choice Network for Synthesis and Technology Mapping. - Chen Chen; Jiaqi Yin; Cunxi Yu (CoRR, 2025)

Metacognitive skills driven knowledge tracing. - Jiaqi Yin; Jingyang Qiao; Haoxin Xu; Tiong-Thye Goh; Yi Hu (Expert Syst. Appl., 2026)