Basic Information
Name: Yuusuke Urameshi
Institution: Sarayashiki
Registration: 2020-03-23
Score: 344
Tracked Conferences
| Short | Full Name | Submission | Conference |
|---|---|---|---|
| ICFEM | International Conference on Formal Engineering Methods | 2024-06-24 | 2024-12-02 |
| SEKE | International Conference on Software Engineering and Knowledge Engineering | 2024-06-01 | 2024-10-26 |
| APLAS | Asian Symposium on Programming Languages and Systems | 2024-05-24 | 2024-10-22 |
| SAS | International Static Analysis Symposium | 2024-05-05 | 2024-10-20 |
| FMCAD | Formal Methods in Computer-Aided Design | 2024-04-28 | 2024-10-14 |
| MFCS | International Symposium on Mathematical Foundations of Computer Science | 2024-04-26 | 2024-08-26 |
| ATVA | International Symposium on Automated Technology for Verification and Analysis | 2024-04-19 | 2024-10-21 |
| OOPSLA | Object-Oriented Programming Systems, Languages and Applications | 2024-04-05 | 2024-10-20 |
| FM | International Symposium on Formal Methods | 2024-04-05 | 2024-09-09 |
| QRS | International Conference on Software Quality, Reliability and Security | 2024-03-11 | 2024-07-01 |
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 |
|---|---|---|---|---|---|---|---|
| c | a | b1 | MFCS | International Symposium on Mathematical Foundations of Computer Science | 2024-04-26 | 2024-06-24 | 2024-08-26 |
| Short | Full Name | Submission | Conference |
|---|---|---|---|
| MFCS | International Symposium on Mathematical Foundations of Computer Science | 2024-04-26 | 2024-08-26 |
Viewed Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| c | Higher-Order and Symbolic Computation | Springer | 1388-3690 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| Higher-Order and Symbolic Computation | Springer |