Conference Partner » Researchers: Yuusuke Urameshi
Basic Information
Name: Yuusuke Urameshi
Institution: Sarayashiki
Registration: 2020-03-23
Score: 344
CV
Tracked Conferences
Total 26 items.
CCFCOREQUALISShortFull NameSubmissionNotificationConference
aa*a1OOPSLAObject-Oriented Programming Systems, Languages and Applications2026-03-172026-06-102026-10-03
aa*a2LICSIEEE Symposium on Logic in Computer Science2026-01-152026-04-162026-07-20
cab2ICSTInternational Conference on Software Testing, Verification and Validation2025-12-152026-02-202026-05-18
ab1FMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
bHSCCInternational Conference on Hybrid Systems: Computation and Control2025-11-062026-01-292026-05-11
caa2STACSInternational Symposium on Theoretical Aspects of Computer Science2025-09-252025-12-122026-03-10
aa*a1FSEACM SIGSOFT Symposium on the Foundations of Software Engineering2025-09-112025-11-212026-07-05
bba2VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2025-09-102025-11-062026-01-11
cSETTASymposium on Dependable Software Engineering: Theories, Tools and Applications2025-08-202025-10-082025-12-01
cbb1FSTTCSIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2025-07-042025-09-152025-12-17
cbb1APLASAsian Symposium on Programming Languages and Systems2025-05-312025-07-182025-10-27
aaa1ASEInternational Conference on Automated Software Engineering2025-05-302025-08-142025-11-16
cb1ICFEMInternational Conference on Formal Engineering Methods2025-05-252025-08-012025-11-10
cbb1SEKEInternational Conference on Software Engineering and Knowledge Engineering2025-05-012025-06-202025-09-29
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2025-04-252025-07-042025-10-27
cb1FMCADFormal Methods in Computer-Aided Design2025-04-202025-07-012025-10-06
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
baa1ICALPInternational Colloquium on Automata, Languages and Programming2025-02-072025-04-142025-07-08
aa*a1CAVInternational Conference on Computer Aided Verification2025-01-312025-04-022025-07-21
cbb1PEPMACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation2024-10-142024-11-182025-01-19
aa2FoSSaCSInternational Conference on Foundations of Software Science and Computation Structures2024-10-102024-12-202025-05-03
baa2SASInternational Static Analysis Symposium2024-05-052024-07-072024-10-20
cab1MFCSInternational Symposium on Mathematical Foundations of Computer Science2024-04-262024-06-242024-08-26
baa2CONCURInternational Conference on Concurrency Theory2024-04-262024-06-212024-09-09
bb1QRSInternational Conference on Software Quality, Reliability and Security2024-03-112024-05-062024-07-01
QESTInternational Conference on Quantitative Evaluation of SysTems2022-04-182022-06-202022-09-12
Total 26 items.
Full NameSubmissionConference
Object-Oriented Programming Systems, Languages and Applications2026-03-172026-10-03
IEEE Symposium on Logic in Computer Science2026-01-152026-07-20
International Conference on Software Testing, Verification and Validation2025-12-152026-05-18
International Symposium on Formal Methods2025-11-252026-05-18
International Conference on Hybrid Systems: Computation and Control2025-11-062026-05-11
International Symposium on Theoretical Aspects of Computer Science2025-09-252026-03-10
ACM SIGSOFT Symposium on the Foundations of Software Engineering2025-09-112026-07-05
International Conference on Verification, Model Checking, and Abstract Interpretation2025-09-102026-01-11
Symposium on Dependable Software Engineering: Theories, Tools and Applications2025-08-202025-12-01
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2025-07-042025-12-17
Asian Symposium on Programming Languages and Systems2025-05-312025-10-27
International Conference on Automated Software Engineering2025-05-302025-11-16
International Conference on Formal Engineering Methods2025-05-252025-11-10
International Conference on Software Engineering and Knowledge Engineering2025-05-012025-09-29
International Symposium on Automated Technology for Verification and Analysis2025-04-252025-10-27
Formal Methods in Computer-Aided Design2025-04-202025-10-06
International Symposium on Theoretical Aspects of Software Engineering2025-03-012025-07-14
International Colloquium on Automata, Languages and Programming2025-02-072025-07-08
International Conference on Computer Aided Verification2025-01-312025-07-21
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation2024-10-142025-01-19
International Conference on Foundations of Software Science and Computation Structures2024-10-102025-05-03
International Static Analysis Symposium2024-05-052024-10-20
International Symposium on Mathematical Foundations of Computer Science2024-04-262024-08-26
International Conference on Concurrency Theory2024-04-262024-09-09
International Conference on Software Quality, Reliability and Security2024-03-112024-07-01
International Conference on Quantitative Evaluation of SysTems2022-04-182022-09-12
Attend Conferences
CCFCOREQUALISShortFull NameConferenceLocation
No results found.
Full NameConferenceLocation
No results found.
Tracked Journals
CCFFull NameImpact FactorPublisherISSN
No results found.
Full NameImpact FactorPublisher
No results found.
Followed Researchers
NameInstitutionRegistrationScore
No results found.
NameInstitutionScore
No results found.

Follower
No results found.
Advertisment