WY

Wen-Jing Yang

h-1 H-Index

2 Citations

1 Papers

Published Papers

1 indexed

1

Qualitative and Quantitative Model Checking Against Recurrent Neural Networks

Journal of Computer Science and Technology Q2 2024 10.1007/s11390-023-2703-2

2 citations 379

Publication Activity

Journals Published In

Journal of Computer Science and Technology

🇸🇩 Q2 AMS 100

Research Metrics

h-1 H-Index

2 Total Citations

379 Total Views

1 Total Papers

2 Avg Citations/Paper

Profile Details

Share Profile

View Author Rankings