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 11-13 of 13 items.
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| c | Annals of Pure and Applied Logic | 0.600 | Elsevier | 0168-0072 |
| b | Journal of Systems and Software | 4.1 | Elsevier | 0164-1212 |
| b | IET Software | 1.500 | IET | 1751-8806 |
Showing 11-13 of 13 items.
| Full Name | Impact Factor | Publisher |
|---|---|---|
| Annals of Pure and Applied Logic | 0.600 | Elsevier |
| Journal of Systems and Software | 4.1 | Elsevier |
| IET Software | 1.500 | IET |
Followed Researchers
| Name | Institution | Registration | Score |
|---|---|---|---|
No results found. | |||
| Name | Institution | Score |
|---|---|---|
No results found. | ||