基本信息
姓名: Frank Xu
科研机构: School of Computer Science and Engineering
注册时间: 2017-10-15
活跃度: 1737
关注的会议
| 简称 | 全称 | 截稿日期 | 会议日期 |
|---|---|---|---|
| FM | International Symposium on Formal Methods | 2021-04-30 | 2021-11-20 |
| DSN | International Conference on Dependable Systems and Networks | 2020-12-04 | 2021-06-21 |
| S&P | IEEE Symposium on Security and Privacy | 2020-12-03 | 2021-05-23 |
| TACAS | International Conference on Tools and Algorithms for the Construction and Analysis of Systems | 2020-10-15 | 2021-03-27 |
| ETAPS | European Joint Conferences on Theory and Practice of Software | 2020-10-15 | 2021-03-27 |
| AAMAS | International Joint Conference on Autonomous Agents and Multi-agent Systems | 2020-10-02 | 2021-05-03 |
| ICSC | International Conference on Semantic Computing | 2020-09-28 | 2021-01-27 |
| ICSE | International Conference on Software Engineering | 2020-08-28 | 2021-05-23 |
| PPoPP | ACM SIGPLAN Annual Symposium Principles and Practice of Parallel Programming | 2020-08-06 | 2021-02-27 |
| SSS | International Symposium on Stabilization, Safety, and Security of Distributed Systems | 2020-07-27 | 2020-11-18 |
参加的会议
| CCF | CORE | QUALIS | 简称 | 全称 | 会议日期 | 会议地点 |
|---|---|---|---|---|---|---|
| b | b1 | FM | International Symposium on Formal Methods | 2018-07-15 | Oxford, UK |
| 全称 | 会议日期 | 会议地点 |
|---|---|---|
| International Symposium on Formal Methods | 2018-07-15 | Oxford, UK |
关注的期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| b | Journal of Parallel and Distributed Computing | 1.819 | Elsevier | 0743-7315 |
| b | IEEE Transactions on Services Computing | 5.707 | IEEE | 1939-1374 |
| a | Artificial Intelligence | 4.483 | Elsevier | 0004-3702 |
| c | Future Generation Computer Systems | 5.768 | Elsevier | 0167-739X |
| b | Knowledge and Information Systems | 2.008 | Springer | 0219-1377 |
| c | Knowledge-Based Systems | 5.101 | Elsevier | 0950-7051 |
| b | Data Mining and Knowledge Discovery | 3.16 | Springer | 1384-5810 |
| b | Requirements Engineering | 0.862 | Springer | 0947-3602 |
| b | IET Software | 0.733 | IET | 1751-8806 |
| b | Formal Methods in System Design | 0.875 | Springer | 0925-9856 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| Journal of Parallel and Distributed Computing | 1.819 | Elsevier |
| IEEE Transactions on Services Computing | 5.707 | IEEE |
| Artificial Intelligence | 4.483 | Elsevier |
| Future Generation Computer Systems | 5.768 | Elsevier |
| Knowledge and Information Systems | 2.008 | Springer |
| Knowledge-Based Systems | 5.101 | Elsevier |
| Data Mining and Knowledge Discovery | 3.16 | Springer |
| Requirements Engineering | 0.862 | Springer |
| IET Software | 0.733 | IET |
| Formal Methods in System Design | 0.875 | Springer |
关注的科研人员
| 姓名 | 科研机构 | 注册时间 | 活跃度 |
|---|---|---|---|
| 没有找到数据. | |||
| 姓名 | 科研机构 | 活跃度 |
|---|---|---|
| 没有找到数据. | ||
关注的职位
| 职位名称 | 雇主 | 职位地点 |
|---|---|---|
| 没有找到数据. | ||
| 职位名称 | 雇主 | 职位地点 |
|---|---|---|
| 没有找到数据. | ||
浏览的会议
| 简称 | 全称 | 截稿日期 | 会议日期 |
|---|---|---|---|
| AISA | IEEE SERVICES Workshop on Artificial Intelligence and Services Adaption | 2020-04-06 | 2020-07-20 |
| BDE | International Conference on Big Data Engineering | 2021-01-15 | 2021-05-26 |
| AIACT | International Conference on Artificial Intelligence, Automation and Control Technologies | 2020-10-25 | 2021-03-26 |
| AIAAT | International Conference on Artificial Intelligence Applications and Technologies | 2020-07-05 | 2020-08-07 |
| FMCAD | Formal Methods in Computer-Aided Design | 2020-05-09 | 2020-09-21 |
| TrustCom | International Conference on Trust, Security and Privacy in Computing and Communications | 2020-08-15 | 2020-12-29 |
| FMICS | International Conference on Formal Methods for Industrial Critical Systems | 2020-05-22 | 2020-09-02 |
| TASE | International Symposium on Theoretical Aspects of Software Engineering | 2020-01-24 | 2020-07-15 |
| ICANN | International Conference on Artificial Neural Networks | 2020-04-30 | 2020-09-15 |
| OSDI | USENIX Symposium on Operating Systems Design and Implementation | 2020-05-05 | 2020-11-04 |
浏览的期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| IEEE Access | 4.098 | IEEE | 2169-3536 | |
| International Journal of Advanced Computer Science and Applications | 1.324 | Science and Information | 2158-107X | |
| b | IEEE Transactions on Services Computing | 5.707 | IEEE | 1939-1374 |
| b | IEEE Transactions on Intelligent Transportation Systems | 2.534 | IEEE | 1524-9050 |
| b | Information Processing & Management | 3.892 | Elsevier | 0306-4573 |
| b | Journal of Systems and Software | 2.559 | Elsevier | 0164-1212 |
| a | ACM Transactions on Programming Languages and Systems | ACM | 0164-0925 | |
| b | Theoretical Computer Science | 0.718 | Elsevier | 0304-3975 |
| c | Future Generation Computer Systems | 5.768 | Elsevier | 0167-739X |
| b | The Journal of Systems Architecture: Embedded Software Design | 1.159 | Elsevier | 1383-7621 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| IEEE Access | 4.098 | IEEE |
| International Journal of Advanced Computer Science and Applications | 1.324 | Science and Information |
| IEEE Transactions on Services Computing | 5.707 | IEEE |
| IEEE Transactions on Intelligent Transportation Systems | 2.534 | IEEE |
| Information Processing & Management | 3.892 | Elsevier |
| Journal of Systems and Software | 2.559 | Elsevier |
| ACM Transactions on Programming Languages and Systems | ACM | |
| Theoretical Computer Science | 0.718 | Elsevier |
| Future Generation Computer Systems | 5.768 | Elsevier |
| The Journal of Systems Architecture: Embedded Software Design | 1.159 | Elsevier |