Basic Information
Name: Deyun Lyu
Institution: National Institute of Informatics
Registration: 2020-11-21
Score: 533
Tracked Conferences
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
No results found. |
Short | Full Name | Submission | Conference |
---|---|---|---|
No results found. |
Attend Conferences
CCF | CORE | QUALIS | Short | Full Name | Conference | Location |
---|---|---|---|---|---|---|
No results found. |
Full Name | Conference | Location |
---|---|---|
No results found. |
Tracked Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
No results found. |
Full Name | Impact Factor | Publisher |
---|---|---|
No results found. |
Followed Researchers
Name | Institution | Registration | Score |
---|---|---|---|
No results found. |
Name | Institution | Score |
---|---|---|
No results found. |
Tracked Jobs
Job Title | Employer | Job Location |
---|---|---|
No results found. |
Job Title | Employer | Job Location |
---|---|---|
No results found. |
Viewed Conferences
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
NFM | NASA Formal Methods Symposium | 2022-12-09 | 2023-02-20 | 2023-05-16 |
Short | Full Name | Submission | Conference |
---|---|---|---|
NFM | NASA Formal Methods Symposium | 2022-12-09 | 2023-05-16 |
Viewed Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
a | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 2.700 | IEEE | 0278-0070 |
Full Name | Impact Factor | Publisher |
---|---|---|
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 2.700 | IEEE |