ITRT
IT Research Trends
논문
논문
저자
기관
국가
키워드
Search
소개
분석
인기 자료
연구분야별 논문
Analysis
Artificial Intelligence
Cryptography
Databases
Infrastructure
Networking
Safety
Software Development
Strategies
Verification
로그인
회원가입
Search by keyword
College of Computer Science and Technology National University of Defense Technology Changsha 410073 China
Home
search page
affiliation
College of Computer Science and Technology National University of Defense Technology Changsha 410073 China
국가:
Andorra
주요 연구 분야:
Artificial Intelligence
주요 키워드:
#algorithm
#neural
#challenging
주요 저자:
#Zhen Liang (梁 震)
#Wan-Wei Liu (刘万伟)
#Fu Song (宋 富)
#Bai Xue (薛 白)
#Wen-Jing Yang (杨文婧)
더보기
#Zhen Liang (梁 震)
#Wan-Wei Liu (刘万伟)
#Fu Song (宋 富)
#Bai Xue (薛 白)
#Wen-Jing Yang (杨文婧)
#Ji Wang (王 戟)
#Zheng-Bin Pang (庞征斌)
#Jianxin Huang (黄见欣)
#Bo Yu (喻波)
#Runhao Liu (刘润昊)
#Jinshu Su (苏金树)
좋아요 (
0
)
PDF 저장
📄 기관 상세정보
출판수
2
총 인용수
0
평균 인용수
0.00
저자 수
11
좋아요 수
0
정량적 분석
정성적 분석
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도
로그인 후 사용 가능
📊 분석 중입니다. 잠시만 기다려 주세요...
논문 목록
(2건)
내 서재 담기
Qualitative and Quantitative Model Checking Against Recurrent Neural Networks
저자:
Zhen Liang (梁 震)
,
Wan-Wei Liu (刘万伟)
,
Fu Song (宋 富)
,
Bai Xue (薛 白)
,
Wen-Jing Yang (杨文婧)
,
Ji Wang (王 戟)
,
Zheng-Bin Pang (庞征斌)
키워드:
#algorithm
#neural
#challenging
#urgent
#rigorous
파트:
Artificial Intelligence
|
연도:
2025
Automatic discovery of stateful variables in network protocol software based on replay analysis
저자:
Jianxin Huang (黄见欣)
,
Bo Yu (喻波)
,
Runhao Liu (刘润昊)
,
Jinshu Su (苏金树)
키워드:
#vulnerabilities
#complex
#massive
#complicated
#exploiting
파트:
Strategies
|
연도:
2023