跳到主要导航
跳到搜索
跳到主要内容
西北工业大学 国内
English
中文
国内
简介
研究单位
科研成果
按专业知识、名称或附属进行搜索
查看 Scopus 资料
印 佳奇
Professor
软件学院
h-index
105
引用
6
H-指数
根据储存在 Pure 的刊物以及来自 Scopus 的引用文献数量计算
2019
2025
每年的科研成果
综述
指纹
网络
科研成果
(45)
指纹
深入其中 Jiaqi Yin 为活跃的研究主题。这些主题标签来自此人的成果。它们共同形成唯一的指纹。
分类
加权
按字母排序
Computer Science
communicating sequential process
100%
Formalization
60%
Process Analysis
36%
Remote Procedure Call
31%
Deadlock Freedom
31%
model checker
31%
Process Algebra
29%
Kafka
23%
Sequential Process
23%
Transactional Memory
23%
Python Software
23%
Broadcast Protocol
23%
formal modeling
23%
Formal Verification
23%
fault-tolerance
18%
Smart Contract
15%
Process Description
15%
Service Registration
15%
Authentication Mechanism
15%
Modeling Process
15%
Parallelism
14%
Major Property
11%
Formal Framework
11%
Timed Automaton
11%
Acknowledgement Message
11%
Mutual Exclusion
11%
Router Architecture
11%
Behavior Module
11%
Internet of Vehicles
11%
Internet-Of-Things
11%
Concurrent Access
11%
Wireless Network
11%
Link State Routing Protocol
11%
Transport Layer Security
11%
Partition Tolerance
11%
Session Initiation Protocol
11%
Concurrency Control
11%
Access Control
11%
Eventual Consistency
11%
Denotational Semantics
11%
Vehicular Ad-Hoc Network
11%
Security Analysis
11%
Public Key Certificate
10%
Messaging System
9%
Cloud Computing
9%
Security protocols
9%
Data Security
8%
consistency checking
7%
Access Control Policy
7%
Intelligent Transportation System
6%