Conference Partner » 研究員: Jian Liu
基本情報
名前: Jian Liu
機関: Institute of Software, Chinese Academy of Sciences
登記時間: 2015-09-07
スコア: 1207
CV
关注の会議
合計 20 件。
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
aa*a2LICSIEEE Symposium on Logic in Computer Science2026-01-152026-04-162026-07-20
cab2ICSTInternational Conference on Software Testing, Verification and Validation2025-12-152026-02-202026-05-18
ab1FMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
caa2STACSInternational Symposium on Theoretical Aspects of Computer Science2025-09-252025-12-122026-03-10
bba1DATEDesign, Automation and Test in Europe2025-09-152025-11-192026-04-20
aa*a1FSEACM SIGSOFT Symposium on the Foundations of Software Engineering2025-09-112025-11-212026-07-05
cISVCInternational Symposium on Visual Computing2025-08-202025-09-222025-11-17
aa*a1AAAIAAAI Conference on Artificial Intelligence2025-07-252025-11-032026-01-20
cbAPSECAsia-Pacific Software Engineering Conference2025-07-062025-09-132025-12-02
cbb1FSTTCSIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2025-07-042025-09-152025-12-17
cb1ICFEMInternational Conference on Formal Engineering Methods2025-05-252025-08-012025-11-10
cbb3LOPSTRInternational Symposium on Logic-Based Program Synthesis and Transformation2025-05-092025-06-272025-09-09
cb1FMCADFormal Methods in Computer-Aided Design2025-04-202025-07-012025-10-06
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
aa*a1CAVInternational Conference on Computer Aided Verification2025-01-312025-04-022025-07-21
aa2ESOPEuropean Symposium on Programming2024-10-102024-12-192025-05-03
ba*b1IJCARInternational Joint Conference on Automated Reasoning2024-01-292024-03-282024-07-01
aa*a2ESECEuropean Software Engineering Conference2022-03-102022-06-142022-11-14
cSPINInternational SPIN Symposium on Model Checking of Software2025-05-07
合計 20 件。
完全な名前提出日会議日
International Joint Conference on Artificial Intelligence2026-01-312026-08-15
IEEE Symposium on Logic in Computer Science2026-01-152026-07-20
International Conference on Software Testing, Verification and Validation2025-12-152026-05-18
International Symposium on Formal Methods2025-11-252026-05-18
International Symposium on Theoretical Aspects of Computer Science2025-09-252026-03-10
Design, Automation and Test in Europe2025-09-152026-04-20
ACM SIGSOFT Symposium on the Foundations of Software Engineering2025-09-112026-07-05
International Symposium on Visual Computing2025-08-202025-11-17
AAAI Conference on Artificial Intelligence2025-07-252026-01-20
Asia-Pacific Software Engineering Conference2025-07-062025-12-02
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2025-07-042025-12-17
International Conference on Formal Engineering Methods2025-05-252025-11-10
International Symposium on Logic-Based Program Synthesis and Transformation2025-05-092025-09-09
Formal Methods in Computer-Aided Design2025-04-202025-10-06
International Symposium on Theoretical Aspects of Software Engineering2025-03-012025-07-14
International Conference on Computer Aided Verification2025-01-312025-07-21
European Symposium on Programming2024-10-102025-05-03
International Joint Conference on Automated Reasoning2024-01-292024-07-01
European Software Engineering Conference2022-03-102022-11-14
International SPIN Symposium on Model Checking of Software2025-05-07
出席の会議
合計 1 件。
CCFCOREQUALIS省略名完全な名前会議日場所
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2017-09-13Nice, France
合計 1 件。
完全な名前会議日場所
International Symposium on Theoretical Aspects of Software Engineering2017-09-13Nice, France
关注の仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
結果が得られませんでした。
完全な名前インパクト ・ ファクター出版社
結果が得られませんでした。
关注の研究員
名前機関登記時間Score
結果が得られませんでした。
名前機関Score
結果が得られませんでした。

关注者
結果が得られませんでした。
サプライズ