基本情報
名前: Frank Xu
所属機関: School of Computer Science and Engineering
登録日: 2017-10-15
スコア: 2123
研究関心プロフィール システム自動生成

閲覧した会議やジャーナルから、この研究者は主に ソフトウェア工学, セキュリティ・プライバシー, 人工知能・機械学習, システム・アーキテクチャ に関心があると見られます。 よく閲覧する会議・ジャーナルには FM, TASE, KR, TACAS, SafeComp などがあります。

履歴書
フォロー中の会議
合計 53 件。
CCFCOREQUALIS略称正式名称投稿締切通知日開催日
BETAPSEuropean Joint Conferences on Theory and Practice of Software2026-10-152026-12-222027-04-10
AA1TACASInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems2026-10-152026-12-222027-04-10
AA*A1FSEACM SIGSOFT Symposium on the Foundations of Software Engineering2026-10-022027-03-312027-07-12
AAA2PPoPPACM SIGPLAN Annual Symposium Principles and Practice of Parallel Programming2026-08-032026-10-262027-03-20
CB3DASCInternational Conference on Dependable, Autonomic and Secure Computing2026-07-152026-09-012026-11-09
AA*A1POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2026-07-092026-10-052027-01-10
CBAPSECAsia-Pacific Software Engineering Conference2026-06-302026-12-07
AA*A1ICSEInternational Conference on Software Engineering2026-06-232026-10-202027-04-25
CB1ICFEMInternational Conference on Formal Engineering Methods2026-06-012026-08-082026-11-17
BAA1EMNLPConference on Empirical Methods in Natural Language Processing2026-05-272026-08-202026-10-24
CBB1SEKEInternational Conference on Software Engineering and Knowledge Engineering2026-05-012026-06-202026-10-01
BAA2SRDSIEEE Symposium on Reliable Distributed Systems2026-04-242026-07-032026-09-21
AA*A1CCSACM Conference on Computer and Communications Security2026-04-222026-07-172026-11-15
BAA2CONCURInternational Conference on Concurrency Theory2026-04-202026-06-152026-09-01
BAA2ISSREInternational Symposium on Software Reliability Engineering2026-04-102026-07-082026-10-20
CBB1QRSInternational Conference on Software Quality, Reliability and Security2026-04-082026-05-302026-07-22
BB1KESInternational Conference on Knowledge-Based and Intelligent Information & Engineering Systems2026-03-302026-05-042026-09-09
AAA1ASEInternational Conference on Automated Software Engineering2026-03-262026-05-252026-10-12
AA*A1SOSPACM Symposium on Operating Systems Principles2026-03-262026-07-032026-09-29
BAA2MODELSInternational Conference on Model Driven Engineering Languages and Systems2026-03-202026-06-172026-10-04
BAB1LCTESACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems2026-03-132026-05-012026-06-15
BA*A2KRInternational Conference on the Principles of Knowledge Representation and Reasoning2026-02-082026-04-132026-07-20
A*B1IJCARInternational Joint Conference on Automated Reasoning2026-02-062026-04-142026-07-26
AA*A1KDDACM SIGKDD Conference on Knowledge Discovery and Data Mining2026-02-012026-05-162026-08-09
CBA2COMPSACInternational Computer Software and Applications Conference2026-01-312026-04-012026-07-07
BA*A1IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
AA*A1CAVInternational Conference on Computer Aided Verification2026-01-282026-04-172026-07-26
AA*A1SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
AA*A2LICSIEEE Symposium on Logic in Computer Science2026-01-152026-04-162026-07-20
AA*A1ACLAnnual Meeting of the Association for Computational Linguistics2026-01-052026-04-042026-07-02
BAA1DSNInternational Conference on Dependable Systems and Networks2025-11-272026-03-192026-06-22
AB1FMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
CAPAKDDPacific-Asia Conference on Knowledge Discovery and Data Mining2025-11-152026-02-082026-06-09
AA*S&PIEEE Symposium on Security and Privacy2025-11-132026-03-192026-05-18
AA*A1PLDIACM SIGPLAN conference on Programming Language Design and Implementation2025-11-132026-03-052026-06-15
AA*A1STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
BA*A1AAMASInternational Joint Conference on Autonomous Agents and Multi-agent Systems2025-10-012025-12-222026-05-25
CB1SEAAEuromicro Conference on Software Engineering and Advanced Applications2025-05-252025-06-232025-09-10
BAA2ECAIEuropean Conference on Artificial Intelligence2025-04-292025-07-102025-10-25
AA*A1FOCSIEEE Symposium on Foundations of Computer Science2025-04-032025-07-082025-12-14
CCB3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
CAB5ICSSPInternational Conference on Software and Systems Process2024-03-222024-04-302024-09-04
BB1SafeCompInternational Conference on Computer Safety, Reliability and Security2024-02-042024-04-212024-09-17
NFMNASA Formal Methods Symposium2022-12-092023-02-202023-05-16
CSSSInternational Symposium on Stabilization, Safety, and Security of Distributed Systems2022-08-052022-09-232022-11-15
BB1SEFMInternational Conference on Software Engineering and Formal Methods2022-06-202022-08-072022-09-28
A*A2ESECEuropean Software Engineering Conference2022-03-102022-06-142022-11-14
BB1iFMInternational Conference on integrated Formal Methods2022-02-112022-03-182022-06-07
B2ICSCInternational Conference on Semantic Computing2020-10-122020-11-252021-01-27
BB1ARESInternational Conference on Availability, Reliability and Security2020-04-152020-06-032020-08-24
SCSSSScandinavian Conference System and Software Safety2017-11-082018-05-21
BAA2CADEInternational Conference on Automated Deduction2017-02-112017-04-222017-08-06
CB2IDEALInternational Conference on Intelligent Data Engineering and Automated Learning2026-11-22
参加した会議
合計 2 件。
CCFCOREQUALIS略称正式名称開催日開催地
AB1FMInternational Symposium on Formal Methods2018-07-15Oxford, UK
CCB3TASEInternational Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
フォロー中のジャーナル
合計 23 件。
CCF正式名称インパクトファクター出版社ISSN
BJournal of Parallel and Distributed Computing4.0Elsevier0743-7315
AIEEE Transactions on Services Computing5.8IEEE1939-1374
AArtificial Intelligence4.6Elsevier0004-3702
CFuture Generation Computer Systems6.1Elsevier0167-739X
BKnowledge and Information Systems3.1Springer0219-1377
CKnowledge-Based Systems7.2Elsevier0950-7051
BData Mining and Knowledge Discovery4.3Springer1384-5810
BRequirements Engineering3.3Springer0947-3602
BIET Software1.6IET1751-8806
BFormal Methods in System Design0.8Springer0925-9856
AACM Transactions on Programming Languages and Systems1.6ACM0164-0925
AACM Transactions on Software Engineering and Methodology6.2ACM1049-331x
AIEEE Transactions on Software Engineering5.6IEEE0098-5589
BAutomated Software Engineering3.1Springer0928-8910
Annals of Software EngineeringSpringer1022-7091
BJournal of Computer SecurityIOS Press0926-227X
AACM Transactions on Computer Systems1.8ACM0734-2071
IEEE Security & Privacy3.0IEEE1540-7993
BJournal of Computer and System Sciences0.9Elsevier0022-0000
BComputers & Security5.4Elsevier0167-4048
BJournal of Systems and Software4.1Elsevier0164-1212
CIEEE Transactions on Industrial Informatics11.7IEEE1551-3203
AIEEE Transactions on Dependable and Secure Computing7.5IEEE1545-5971
フォロー中の研究者
名前所属機関登録日スコア
結果が得られませんでした。

広告