基本情報
名前: Frank Xu
機関: School of Computer Science and Engineering
登記時間: 2017-10-15
スコア: 1737
关注の会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
bb1FMInternational Symposium on Formal Methods2021-04-302021-07-162021-11-20
baa1DSNInternational Conference on Dependable Systems and Networks2020-12-042021-03-082021-06-21
aa*S&PIEEE Symposium on Security and Privacy2020-12-032021-02-192021-05-23
aa1TACASInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems2020-10-152020-12-232021-03-27
bETAPSEuropean Joint Conferences on Theory and Practice of Software2020-10-152020-12-232021-03-27
ba*a1AAMASInternational Joint Conference on Autonomous Agents and Multi-agent Systems2020-10-022020-12-182021-05-03
b2ICSCInternational Conference on Semantic Computing2020-09-282020-11-152021-01-27
aa*a1ICSEInternational Conference on Software Engineering2020-08-28 2021-05-23
aaa2PPoPPACM SIGPLAN Annual Symposium Principles and Practice of Parallel Programming2020-08-062020-10-102021-02-27
cSSSInternational Symposium on Stabilization, Safety, and Security of Distributed Systems2020-07-272020-09-272020-11-18
出席の会議
CCFCOREQUALIS省略名完全な名前会議日場所
bb1FMInternational Symposium on Formal Methods2018-07-15Oxford, UK
完全な名前会議日場所
International Symposium on Formal Methods2018-07-15Oxford, UK
关注の仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
bJournal of Parallel and Distributed Computing1.819Elsevier0743-7315
bIEEE Transactions on Services Computing5.707IEEE1939-1374
aArtificial Intelligence4.483Elsevier0004-3702
cFuture Generation Computer Systems5.768Elsevier0167-739X
bKnowledge and Information Systems2.008Springer0219-1377
cKnowledge-Based Systems5.101Elsevier0950-7051
bData Mining and Knowledge Discovery3.16Springer1384-5810
bRequirements Engineering0.862Springer0947-3602
bIET Software0.733IET1751-8806
bFormal Methods in System Design0.875Springer0925-9856
完全な名前インパクト ・ ファクター出版社
Journal of Parallel and Distributed Computing1.819Elsevier
IEEE Transactions on Services Computing5.707IEEE
Artificial Intelligence4.483Elsevier
Future Generation Computer Systems5.768Elsevier
Knowledge and Information Systems2.008Springer
Knowledge-Based Systems5.101Elsevier
Data Mining and Knowledge Discovery3.16Springer
Requirements Engineering0.862Springer
IET Software0.733IET
Formal Methods in System Design0.875Springer
关注の研究員
名前機関登記時間スコア
結果が得られませんでした。
名前機関スコア
結果が得られませんでした。
フォロー中の仕事
役職雇用主勤務地
結果が得られませんでした。
役職雇用主勤務地
結果が得られませんでした。
表示された会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
AISAIEEE SERVICES Workshop on Artificial Intelligence and Services Adaption2020-04-062020-04-272020-07-20
BDEInternational Conference on Big Data Engineering2021-01-152021-02-052021-05-26
AIACTInternational Conference on Artificial Intelligence, Automation and Control Technologies2020-10-252020-11-252021-03-26
AIAATInternational Conference on Artificial Intelligence Applications and Technologies2020-07-052020-07-202020-08-07
cb1FMCADFormal Methods in Computer-Aided Design2020-05-092020-07-022020-09-21
caTrustComInternational Conference on Trust, Security and Privacy in Computing and Communications2020-08-152020-09-292020-12-29
cb4FMICSInternational Conference on Formal Methods for Industrial Critical Systems2020-05-222020-07-012020-09-02
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2020-01-242020-03-162020-07-15
cbb1ICANNInternational Conference on Artificial Neural Networks2020-04-302020-06-302020-09-15
aa*a1OSDIUSENIX Symposium on Operating Systems Design and Implementation2020-05-052020-07-242020-11-04
閲覧したジャーナル