( en | de | ru )

 

Disambiguation of "Yin, Jiaqi"

Author of the publication

copydeleteadd this publication to your clipboard
Formalization and Verification of the ICC Mechanism in Android System Using CSP.

, , , and . ISSREW, page 89-95. IEEE, (2023)

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.

Jiaqi Zhang

Renfu Yin

Lu Yin

Zhihong Yin

Li Yin

 

Other publications of authors with the same name

IMpress: Large Integer Multiplication Expression Rewriting for FPGA HLS., , , , and . FCCM, page 1-10. IEEE, (2022)Formalization and Verification of the ICC Mechanism in Android System Using CSP., , , and . ISSREW, page 89-95. IEEE, (2023)Formalization and Verification of VANET., , , , , and . SEKE, page 1-6. KSI Research Inc., (2020)MicroProteinDB: A database to provide knowledge on sequences, structures and function of ncRNA-derived microproteins., , , , , , , , , and 3 other author(s). Comput. Biol. Medicine, (2024)Formalization and Verification of SIP Using CSP., , , and . PDCAT, volume 13798 of Lecture Notes in Computer Science, page 158-171. Springer, (2022)Formal Verification of COCO Database Framework Using CSP., , and . SEKE, page 363-368. KSI Research Inc., (2022)Formalization and Verification of Go-based New Simple Queue System., , , and . IWESQ/QuASoQ@APSEC, volume 3612 of CEUR Workshop Proceedings, page 74-81. CEUR-WS.org, (2023)Verifying Opacity of a Modified PSTM., , and . TASE, page 232-239. IEEE, (2019)Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP., , , and . ISPA/BDCloud/SocialCom/SustainCom, page 845-852. IEEE, (2021)Exact Memory- and Communication-aware Scheduling of DNNs on Pipelined Edge TPUs., , and . SEC, page 203-215. IEEE, (2022)