Basic Information
Name: Jie Luo
Institution: Beihang University
Registration: 2018-03-10
Score: 454
CV
Tracked Conferences
Showing 21-21 of 21 items.
| Short | Full Name | Submission | Conference |
|---|---|---|---|
| FM | International Symposium on Formal Methods | 2024-04-05 | 2024-09-09 |
Attend Conferences
Tracked Journals
Showing 1-10 of 13 items.
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| Information Fusion | 15.5 | Elsevier | 1566-2535 | |
| b | The Computer Journal | 1.500 | Oxford University Press | 0010-4620 |
| c | Knowledge-Based Systems | 7.2 | Elsevier | 0950-7051 |
| b | Journal of Automated Reasoning | 0.900 | Springer | 0168-7433 |
| a | Artificial Intelligence | 5.100 | Elsevier | 0004-3702 |
| b | Data & Knowledge Engineering | 2.6 | Elsevier | 0169-023X |
| a | IEEE Transactions on Knowledge and Data Engineering | 8.9 | IEEE | 1041-4347 |
| c | International Journal of Software Engineering and Knowledge Engineering | World Scientific | 0218-1940 | |
| c | Journal of Symbolic Logic | Association for Symbolic Logic | 0022-4812 | |
| b | Journal of Symbolic Computation | 1.1 | Elsevier | 0747-7171 |
Showing 1-10 of 13 items.
| Full Name | Impact Factor | Publisher |
|---|---|---|
| Information Fusion | 15.5 | Elsevier |
| The Computer Journal | 1.500 | Oxford University Press |
| Knowledge-Based Systems | 7.2 | Elsevier |
| Journal of Automated Reasoning | 0.900 | Springer |
| Artificial Intelligence | 5.100 | Elsevier |
| Data & Knowledge Engineering | 2.6 | Elsevier |
| IEEE Transactions on Knowledge and Data Engineering | 8.9 | IEEE |
| International Journal of Software Engineering and Knowledge Engineering | World Scientific | |
| Journal of Symbolic Logic | Association for Symbolic Logic | |
| Journal of Symbolic Computation | 1.1 | Elsevier |
Followed Researchers
| Name | Institution | Registration | Score |
|---|---|---|---|
No results found. | |||
| Name | Institution | Score |
|---|---|---|
No results found. | ||