Sign in
Tengshun Yang
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Bayes Nets
Formal Analysis
Agent Model
Conditional Probability Distributions
Top Venues
SETTA
CoRR
J. Syst. Archit.
</>
Publications
</>
Peixin Wang
,
Hongfei Fu
,
Tengshun Yang
,
Guanyan Li
,
Luke Ong
Template-Based Static Posterior Inference for Bayesian Probabilistic Programming.
CoRR
(2023)
Tengshun Yang
,
Shuling Wang
,
Bohua Zhan
,
Naijun Zhan
,
Jinghui Li
,
Shuangqing Xiang
,
Zhan Xiang
,
Bifei Mao
Formal Analysis of 5G Authentication and Key Management for Applications (AKMA).
J. Syst. Archit.
126 (2022)
Tengshun Yang
,
Shuling Wang
,
Bohua Zhan
,
Naijun Zhan
,
Jinghui Li
,
Shuangqing Xiang
,
Zhan Xiang
,
Bifei Mao
Formal Analysis of 5G AKMA.
SETTA
(2021)