Jiaqi Yin

77 papers A* 4A 7B 6C 14Misc 5Journal 34Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Differentiable Initialization-Accelerated CPU-GPU Hybrid Combinatorial Scheduling.
CoRR
Mingju Liu, Jiaqi Yin, Alvaro Velasquez, Cunxi Yu
2026 J jnl
Intelligent traffic signal control based on reinforcement learning: a survey.
Artif. Intell. Rev.
Hang Xiao, Huale Li, Zhaobin Wang, Zhen Yang, Shuhan Qi, Jiajia Zhang, Dingzhong Cai, Jiaqi Yin
2026 J jnl
Metacognitive skills driven knowledge tracing.
Expert Syst. Appl.
Jiaqi Yin, Jingyang Qiao, Haoxin Xu, Tiong-Thye Goh, Yi Hu
2026 J jnl
PAIR-Former: Budgeted Relational MIL for miRNA Target Prediction.
CoRR
Jiaqi Yin, Baiming Chen, Jia Fei, Mingjun Yang
2026 A* conf
Shaping Human-AI Collaboration in Education: Effects of AI-Assisted Decision-Making Paradigms and Human-AI Decision Consistency on Pre-Service Teachers' Psychological States and Performance.
AAAI
Yingying Wang, Qin Ni, Haoxin Xu, Jiaqi Yin, Tingjiang Wei
2025 A* conf
BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation.
DAC
Jiaqi Yin, Zhan Song, Chen Chen, Qihao Hu, Cunxi Yu
2025 J jnl
BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation.
CoRR
Jiaqi Yin, Zhan Song, Chen Chen, Qihao Hu, Cunxi Yu
2025 A conf
Enhancing Personalized Recommendation via Metacognitive Profile.
ICME
Jiaqi Yin, Jingyang Qiao, Tiong-Thye Goh, Yi Hu
2025 J jnl
Formal Verification and Security Analysis of Go-based New Simple Queue System.
J. Circuits Syst. Comput.
Zhiru Hou, Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu
2025 — conf
HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation.
USENIX ATC
Jiaqi Yin, Zhan Song, Nicolas Bohm Agostini, Antonino Tumeo, Cunxi Yu
2025 J jnl
HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation.
CoRR
Jiaqi Yin, Zhan Song, Nicolas Bohm Agostini, Antonino Tumeo, Cunxi Yu
2025 B conf
HIRSA: A Novel Hybrid Method for the Infrared Object Recognition of Weak and Small Aircrafts.
ICPADS
Huanyu Dong, Jiaqi Yin, Huale Li, Yue Zhao
2025 J jnl
Immersive Intergroup Contact: Using Virtual Reality to Enhance Empathy and Reduce Stigma Towards Schizophrenia.
IEEE Trans. Vis. Comput. Graph.
Jiaqi Yin, Shihan Liu, Shao-Wen Lee, Andreas Kitsios, Marco Gillies, Michèle Denise Birtel, Harry Farmer, Xueni Pan
2025 B conf
NL2CSP: Towards Automated CSP Code Generation with Large Language Models.
ICPADS
Chenhui Wang, Nuowei Liu, Han Bao, Di Wu, Huiying Liu, Jiaqi Yin, Huibiao Zhu
2025 A conf
Revisit Choice Network for Synthesis and Technology Mapping.
ICCAD
Chen Chen, Jiaqi Yin, Cunxi Yu
2025 J jnl
Revisit Choice Network for Synthesis and Technology Mapping.
CoRR
Chen Chen, Jiaqi Yin, Cunxi Yu
2025 A conf
SPARK Hand: Scooping-Pinching Adaptive Robotic Hand with Kempe Mechanism for Vertical Passive Grasp in Environmental Constraints.
IROS
Jiaqi Yin, Tianyi Bi, Wenzeng Zhang
2025 J jnl
SPARK Hand: Scooping-Pinching Adaptive Robotic Hand with Kempe Mechanism for Vertical Passive Grasp in Environmental Constraints.
CoRR
Jiaqi Yin, Tianyi Bi, Wenzeng Zhang
2025 J jnl
Schema Lineage Extraction at Scale: Multilingual Pipelines, Composite Evaluation, and Language-Model Benchmarks.
CoRR
Jiaqi Yin, Yi-Wei Chen, Meng-Lung Lee, Xiya Liu
2025 A conf
e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving.
ICCAD
Jiaqi Yin, Zhan Song, Chen Chen, Yaohui Cai, Zhiru Zhang, Cunxi Yu
2025 J jnl
e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving.
CoRR
Jiaqi Yin, Zhan Song, Chen Chen, Yaohui Cai, Zhiru Zhang, Cunxi Yu
2024 A* conf
Differentiable Combinatorial Scheduling at Scale.
ICML
Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu
2024 J jnl
Differentiable Combinatorial Scheduling at Scale.
CoRR
Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu
2024 J jnl
Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system.
Softw. Qual. J.
Jiaqi Yin, Sini Chen, Yixiao Lv, Huibiao Zhu
2024 J jnl
FVF-BIoT: a formal verification framework for blockchain-based IoT authentication.
Softw. Qual. J.
Jiaqi Yin, Yuan Fei
2024 J jnl
Formal Modeling and Verifying Dubbo Using Process Algebra.
Mob. Networks Appl.
Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh
2024 Misc conf
Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP.
SAC
Bangjie Zhu, Jiaqi Yin, Sini Chen, Huibiao Zhu
2024 — conf
LumiPane: Intelligent Interaction through Gesture Sensing and Ambient Light Communication.
GLOBECOM (Workshops)
Liguang Ruan, Chenxin Liang, Jiaqi Yin, Jiarong Li, Xiaojun Liang, Wenbo Ding
2024 J jnl
MicroProteinDB: A database to provide knowledge on sequences, structures and function of ncRNA-derived microproteins.
Comput. Biol. Medicine
Yinan Liang, Dezhong Lv, Kefan Liu, Liting Yang, Huan Shu, Luan Wen, Chongwen Lv, Qisen Sun, Jiaqi Yin, Hui Liu, Juan Xu, Zhigang Liu, Na Ding
2024 J jnl
Using a Chatbot to Provide Formative Feedback: A Longitudinal Study of Intrinsic Motivation, Cognitive Load, and Learning Performance.
IEEE Trans. Learn. Technol.
Jiaqi Yin, Tiong-Thye Goh, Yi Hu
2023 A conf
AIM: Accelerating Arbitrary-Precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP.
ICCAD
Zhuoping Yang, Jinming Zhuang, Jiaqi Yin, Cunxi Yu, Alex K. Jones, Peipei Zhou
2023 J jnl
AIM: Accelerating Arbitrary-precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP.
CoRR
Zhuoping Yang, Jinming Zhuang, Jiaqi Yin, Cunxi Yu, Alex K. Jones, Peipei Zhou
2023 A conf
Accelerating Exact Combinatorial Optimization via RL-based Initialization - A Case Study in Scheduling.
ICCAD
Jiaqi Yin, Cunxi Yu
2023 J jnl
Accelerating Exact Combinatorial Optimization via RL-based Initialization - A Case Study in Scheduling.
CoRR
Jiaqi Yin, Cunxi Yu
2023 J jnl
FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT.
Formal Aspects Comput.
Yuan Fei, Huibiao Zhu, Jiaqi Yin
2023 — conf
Formalization and Verification of Go-based New Simple Queue System.
IWESQ/QuASoQ@APSEC
Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu
2023 — conf
Formalization and Verification of the ICC Mechanism in Android System Using CSP.
ISSREW
Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu
2023 J jnl
Formalization and verification of Kafka messaging mechanism using CSP.
Comput. Sci. Inf. Syst.
Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao
2023 J jnl
IEAtlas: an atlas of HLA-presented immune epitopes derived from non-coding regions.
Nucleic Acids Res.
Yangyang Cai, Dezhong Lv, Donghao Li, Jiaqi Yin, Yingying Ma, Ya Luo, Limei Fu, Na Ding, Yongsheng Li, Zhenwei Pan, Xia Li, Juan Xu
2023 J jnl
Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL.
J. Softw. Evol. Process.
Yuan Fei, Huibiao Zhu, Jiaqi Yin
2023 A* conf
RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs.
DAC
Jiaqi Yin, Yingjie Li, Daniel Robinson, Cunxi Yu
2023 J jnl
RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs.
CoRR
Jiaqi Yin, Yingjie Li, Daniel Robinson, Cunxi Yu
2022 Misc conf
Exact Memory- and Communication-aware Scheduling of DNNs on Pipelined Edge TPUs.
SEC
Jiaqi Yin, Zhiru Zhang, Cunxi Yu
2022 B conf
Formal Analysis and Verification of DPSTM v2 Architecture Using CSP.
COMPSAC
Peimu Li, Jiaqi Yin, Huibiao Zhu, Lili Xiao, Miroslav Popovic
2022 C conf
Formal Verification of COCO Database Framework Using CSP.
SEKE
Peimu Li, Jiaqi Yin, Huibiao Zhu
2022 C conf
Formalization and Verification of SIP Using CSP.
PDCAT
Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen
2022 Misc conf
IMpress: Large Integer Multiplication Expression Rewriting for FPGA HLS.
FCCM
Ecenur Ustun, Ismail San, Jiaqi Yin, Cunxi Yu, Zhiru Zhang
2022 C conf
MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity.
PDCAT
Junfu Luo, Jiaqi Yin, Huibiao Zhu
2022 C conf
Modeling and Verifying AUPS Using CSP.
SEKE
Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen
2022 J jnl
Modeling and verifying NDN-based IoV using CSP.
J. Softw. Evol. Process.
Ningning Chen, Huibiao Zhu, Jiaqi Yin, Yuan Fei, Lili Xiao, Minghua Zhu
2022 B conf
The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge Computing.
ICECCS
Jiaqi Yin, Huibiao Zhu
2022 J jnl
Verification of RabbitMQ with Kerberos Using Timed Automata.
Mob. Networks Appl.
Ran Li, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh
2021 C conf
Formal Modeling and Verification of ICN-IoT Middleware Architecture (S).
SEKE
Hongqin Zhang, Jiaqi Yin, Huibiao Zhu, Ningning Chen
2021 Misc conf
Formal Modelling and Verification of the RTPS Behavior Module.
TASE
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu
2021 B conf
Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata.
TrustCom
Jiaqi Yin, Huibiao Zhu, Yuan Fei
2021 J jnl
Formal analysis and automated validation of privacy-preserving AICE protocol in mobile edge computing.
Mob. Networks Appl.
Jiaqi Yin, Huibiao Zhu, Yuan Fei
2021 J jnl
Formalization and Analysis of Ceph Using Process Algebra.
IEICE Trans. Inf. Syst.
Ran Li, Huibiao Zhu, Jiaqi Yin
2021 C conf
Formalization and Verification of Dubbo Using CSP.
SEKE
Zhiru Hou, Jiaqi Yin, Huibiao Zhu
2021 J jnl
Hateful Memes Challenge: An Enhanced Multimodal Framework.
CoRR
Aijing Gao, Bingjun Wang, Jiaqi Yin, Yating Tian
2021 — conf
Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP.
ECBS
Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao
2021 — conf
Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP.
ISPA/BDCloud/SocialCom/SustainCom
Chen Zhao, Jiaqi Yin, Huibiao Zhu, Ran Li
2021 A conf
SC4MEC: Automated Implementation of A Secure Hierarchical Calculus for Mobile Edge Computing.
DATE
Jiaqi Yin, Huibiao Zhu, Yuan Fei
2020 C conf
Formal Modelling and Verification of MCAC Router Architecture in ICN.
SEKE
Junya Xu, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu
2020 J jnl
Formalization and Analysis of Haystack Architecture from Process Algebra Perspective.
Mob. Networks Appl.
Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh
2020 C conf
Formalization and Verification of VANET.
SEKE
Ran Li, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu
2020 B conf
Modeling and Analysis of RabbitMQ Using UPPAAL.
TrustCom
Ran Li, Jiaqi Yin, Huibiao Zhu
2020 C conf
Modeling and Verifying Data Access Mechanism of NLSR Trust Model.
APSEC
Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin
2020 C conf
Modeling and Verifying NDN-based IoV Using CSP.
SEKE
Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei
2020 J jnl
Specification and Verification of the Zab Protocol with TLA+.
J. Comput. Sci. Technol.
Jiaqi Yin, Huibiao Zhu, Yuan Fei
2019 C conf
A Security Calculus for Wireless Networks of Named Data Networking.
ICFEM
Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin
2019 C conf
Formalization and Verification of RTPS StatefulWriter Module Using CSP.
SEKE
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu
2019 J jnl
Formalization and Verification of TESAC Using CSP.
Int. J. Softw. Eng. Knowl. Eng.
Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin
2019 — conf
Modeling and Verifying Spark on YARN Using Process Algebra.
HASE
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang
2019 C conf
Modeling and Verifying TESAC Using CSP.
SEKE
Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin
2019 Misc conf
Verifying Opacity of a Modified PSTM.
TASE
Yucheng Fang, Huibiao Zhu, Jiaqi Yin
2019 C conf
Verifying Static Aspects of UML models using Prolog (S).
SEKE
Feng Sheng, Huibiao Zhu, Zongyuan Yang, Jiaqi Yin, Gang Lu
2017 J jnl
A 300-mA load CMOS low-dropout regulator without an external capacitor for SoC and embedded applications.
Int. J. Circuit Theory Appl.
Shengming Huang, Quanzhen Duan, Tian Guo, Yaping Cheng, Jiaqi Yin, Yuemin Ding