Jiaqi Yin

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Ningning Chen

> Home > Persons > Jiaqi Yin

Publications

2022
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/ChenZYFXZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/ChenZYFXZ22
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)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/pdcat/HouYZC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdcat/HouYZC22
Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen:
Formalization and Verification of SIP Using CSP. PDCAT 2022: 158-171
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/ZhangZYC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/ZhangZYC22
Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen:
Modeling and Verifying AUPS Using CSP. SEKE 2022: 568-573
2021
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/ZhangYZC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/ZhangYZC21
Hongqin Zhang, Jiaqi Yin, Huibiao Zhu, Ningning Chen:
Formal Modeling and Verification of ICN-IoT Middleware Architecture (S). SEKE 2021: 102-107
2020
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/ChenZFXY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/ChenZFXY20
Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin:
Modeling and Verifying Data Access Mechanism of NLSR Trust Model. APSEC 2020: 198-207
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/ZhuYXFC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/ZhuYXFC20
Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei:
Modeling and Verifying NDN-based IoV Using CSP. SEKE 2020: 31-36

a service of

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.