default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJiaqi Yin
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j15]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:
MicroProteinDB: A database to provide knowledge on sequences, structures and function of ncRNA-derived microproteins. Comput. Biol. Medicine 177: 108660 (2024)- [j14]Jiaqi Yin, Sini Chen, Yixiao Lv, Huibiao Zhu:
Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system. Softw. Qual. J. 32(3): 1175-1202 (2024) - [j13]Jiaqi Yin, Tiong-Thye Goh, Yi Hu:
Using a Chatbot to Provide Formative Feedback: A Longitudinal Study of Intrinsic Motivation, Cognitive Load, and Learning Performance. IEEE Trans. Learn. Technol. 17: 1404-1415 (2024) - [c33]Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu:
Differentiable Combinatorial Scheduling at Scale. ICML 2024 - [c32]Bangjie Zhu, Jiaqi Yin, Sini Chen, Huibiao Zhu:
Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP. SAC 2024: 300-304 - [i5]Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu:
Differentiable Combinatorial Scheduling at Scale. CoRR abs/2406.06593 (2024) - 2023
- [j12]Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao:
Formalization and verification of Kafka messaging mechanism using CSP. Comput. Sci. Inf. Syst. 20(1): 277-306 (2023) - [j11]Yuan Fei, Huibiao Zhu, Jiaqi Yin:
FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT. Formal Aspects Comput. 35(4): 21:1-21:36 (2023) - [j10]Yangyang Cai, Dezhong Lv, Donghao Li, Jiaqi Yin, Yingying Ma, Ya Luo, Limei Fu, Na Ding, Yongsheng Li, Zhenwei Pan, Xia Li, Juan Xu:
IEAtlas: an atlas of HLA-presented immune epitopes derived from non-coding regions. Nucleic Acids Res. 51(D1): 409-417 (2023) - [j9]Yuan Fei, Huibiao Zhu, Jiaqi Yin:
Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL. J. Softw. Evol. Process. 35(7) (2023) - [c31]Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu:
Formalization and Verification of Go-based New Simple Queue System. IWESQ/QuASoQ@APSEC 2023: 74-81 - [c30]Jiaqi Yin, Yingjie Li, Daniel Robinson, Cunxi Yu:
RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs. DAC 2023: 1-6 - [c29]Zhuoping Yang, Jinming Zhuang, Jiaqi Yin, Cunxi Yu, Alex K. Jones, Peipei Zhou:
AIM: Accelerating Arbitrary-Precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP. ICCAD 2023: 1-9 - [c28]Jiaqi Yin, Cunxi Yu:
Accelerating Exact Combinatorial Optimization via RL-based Initialization - A Case Study in Scheduling. ICCAD 2023: 1-9 - [c27]Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu:
Formalization and Verification of the ICC Mechanism in Android System Using CSP. ISSREW 2023: 89-95 - [i4]Jiaqi Yin, Yingjie Li, Daniel Robinson, Cunxi Yu:
RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs. CoRR abs/2304.04716 (2023) - [i3]Jiaqi Yin, Cunxi Yu:
Accelerating Exact Combinatorial Optimization via RL-based Initialization - A Case Study in Scheduling. CoRR abs/2308.11652 (2023) - [i2]Zhuoping Yang, Jinming Zhuang, Jiaqi Yin, Cunxi Yu, Alex K. Jones, Peipei Zhou:
AIM: Accelerating Arbitrary-precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP. CoRR abs/2309.12275 (2023) - 2022
- [j8]Ran Li, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh:
Verification of RabbitMQ with Kerberos Using Timed Automata. Mob. Networks Appl. 27(5): 2049-2067 (2022) - [j7]Ningning Chen, Huibiao Zhu, Jiaqi Yin, Yuan Fei, Lili Xiao, Minghua Zhu:
Modeling and verifying NDN-based IoV using CSP. J. Softw. Evol. Process. 34(10) (2022) - [c26]Peimu Li, Jiaqi Yin, Huibiao Zhu, Lili Xiao, Miroslav Popovic:
Formal Analysis and Verification of DPSTM v2 Architecture Using CSP. COMPSAC 2022: 872-877 - [c25]Ecenur Ustun, Ismail San, Jiaqi Yin, Cunxi Yu, Zhiru Zhang:
IMpress: Large Integer Multiplication Expression Rewriting for FPGA HLS. FCCM 2022: 1-10 - [c24]Jiaqi Yin, Huibiao Zhu:
The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge Computing. ICECCS 2022: 133-142 - [c23]Jiaqi Yin, Zhiru Zhang, Cunxi Yu:
Exact Memory- and Communication-aware Scheduling of DNNs on Pipelined Edge TPUs. SEC 2022: 203-215 - [c22]Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen:
Formalization and Verification of SIP Using CSP. PDCAT 2022: 158-171 - [c21]Junfu Luo, Jiaqi Yin, Huibiao Zhu:
MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity. PDCAT 2022: 387-398 - [c20]Peimu Li, Jiaqi Yin, Huibiao Zhu:
Formal Verification of COCO Database Framework Using CSP. SEKE 2022: 363-368 - [c19]Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen:
Modeling and Verifying AUPS Using CSP. SEKE 2022: 568-573 - 2021
- [j6]Ran Li, Huibiao Zhu, Jiaqi Yin:
Formalization and Analysis of Ceph Using Process Algebra. IEICE Trans. Inf. Syst. 104-D(12): 2154-2163 (2021) - [j5]Jiaqi Yin, Huibiao Zhu, Yuan Fei:
Formal analysis and automated validation of privacy-preserving AICE protocol in mobile edge computing. Mob. Networks Appl. 26(6): 2258-2271 (2021) - [c18]Jiaqi Yin, Huibiao Zhu, Yuan Fei:
SC4MEC: Automated Implementation of A Secure Hierarchical Calculus for Mobile Edge Computing. DATE 2021: 990-993 - [c17]Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao:
Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP. ECBS 2021: 9:1-9:10 - [c16]Chen Zhao, Jiaqi Yin, Huibiao Zhu, Ran Li:
Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP. ISPA/BDCloud/SocialCom/SustainCom 2021: 845-852 - [c15]Hongqin Zhang, Jiaqi Yin, Huibiao Zhu, Ningning Chen:
Formal Modeling and Verification of ICN-IoT Middleware Architecture (S). SEKE 2021: 102-107 - [c14]Zhiru Hou, Jiaqi Yin, Huibiao Zhu:
Formalization and Verification of Dubbo Using CSP. SEKE 2021: 154-159 - [c13]Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu:
Formal Modelling and Verification of the RTPS Behavior Module. TASE 2021: 127-134 - [c12]Jiaqi Yin, Huibiao Zhu, Yuan Fei:
Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata. TrustCom 2021: 68-75 - [i1]Aijing Gao, Bingjun Wang, Jiaqi Yin, Yating Tian:
Hateful Memes Challenge: An Enhanced Multimodal Framework. CoRR abs/2112.11244 (2021) - 2020
- [j4]Jiaqi Yin, Huibiao Zhu, Yuan Fei:
Specification and Verification of the Zab Protocol with TLA+. J. Comput. Sci. Technol. 35(6): 1312-1323 (2020) - [j3]Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh:
Formalization and Analysis of Haystack Architecture from Process Algebra Perspective. Mob. Networks Appl. 25(3): 1125-1139 (2020) - [c11]Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin:
Modeling and Verifying Data Access Mechanism of NLSR Trust Model. APSEC 2020: 198-207 - [c10]Ran Li, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu:
Formalization and Verification of VANET. SEKE 2020: 1-6 - [c9]Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei:
Modeling and Verifying NDN-based IoV Using CSP. SEKE 2020: 31-36 - [c8]Junya Xu, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu:
Formal Modelling and Verification of MCAC Router Architecture in ICN. SEKE 2020: 222-227 - [c7]Ran Li, Jiaqi Yin, Huibiao Zhu:
Modeling and Analysis of RabbitMQ Using UPPAAL. TrustCom 2020: 79-86
2010 – 2019
- 2019
- [j2]Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin:
Formalization and Verification of TESAC Using CSP. Int. J. Softw. Eng. Knowl. Eng. 29(11&12): 1741-1760 (2019) - [c6]Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang:
Modeling and Verifying Spark on YARN Using Process Algebra. HASE 2019: 208-215 - [c5]Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin:
A Security Calculus for Wireless Networks of Named Data Networking. ICFEM 2019: 170-185 - [c4]Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu:
Formalization and Verification of RTPS StatefulWriter Module Using CSP. SEKE 2019: 147-198 - [c3]Feng Sheng, Huibiao Zhu, Zongyuan Yang, Jiaqi Yin, Gang Lu:
Verifying Static Aspects of UML models using Prolog (S). SEKE 2019: 259-342 - [c2]Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin:
Modeling and Verifying TESAC Using CSP. SEKE 2019: 265-348 - [c1]Yucheng Fang, Huibiao Zhu, Jiaqi Yin:
Verifying Opacity of a Modified PSTM. TASE 2019: 232-239 - 2017
- [j1]Shengming Huang, Quanzhen Duan, Tian Guo, Yaping Cheng, Jiaqi Yin, Yuemin Ding:
A 300-mA load CMOS low-dropout regulator without an external capacitor for SoC and embedded applications. Int. J. Circuit Theory Appl. 45(12): 2281-2289 (2017)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-10 23:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
