기본 정보
이름: Yuusuke Urameshi
소속 기관: Sarayashiki
가입일: 2020-03-23
점수: 344
연구 관심 프로필 시스템 자동 생성

조회한 학회와 저널로 볼 때, 이 연구자는 주로 소프트웨어 공학, 이론·알고리즘에 관심이 있는 것으로 보입니다. 자주 조회하는 학회·저널로는 ATVA, FSTTCS, MFCS, VMCAI, ICFEM 등이 있습니다.

이력서
팔로우한 학회
모두 26 개
CCFICORE약칭정식 명칭투고 마감통보일개최일
CAICSTInternational Conference on Software Testing, Verification and Validation2026-11-022027-02-202027-05-17
BFoSSaCSInternational Conference on Foundations of Software Science and Computation Structures2026-10-152026-12-222027-04-10
CASTACSInternational Symposium on Theoretical Aspects of Computer Science2026-10-112026-12-222027-03-08
AA*FSEACM SIGSOFT Symposium on the Foundations of Software Engineering2026-10-022027-03-312027-07-12
CSETTASymposium on Dependable Software Engineering: Theories, Tools and Applications2026-08-102026-09-302026-12-02
CFSTTCSIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2026-07-042026-09-152026-12-16
CBAPLASAsian Symposium on Programming Languages and Systems2026-06-222026-08-042026-12-01
CCICFEMInternational Conference on Formal Engineering Methods2026-06-012026-08-082026-11-17
CBATVAInternational Symposium on Automated Technology for Verification and Analysis2026-05-192026-07-232026-12-01
BBFMCADFormal Methods in Computer-Aided Design2026-05-042026-07-192026-09-14
CCSEKEInternational Conference on Software Engineering and Knowledge Engineering2026-05-012026-06-202026-10-01
BBSASInternational Static Analysis Symposium2026-05-012026-06-262026-10-03
BBCONCURInternational Conference on Concurrency Theory2026-04-202026-06-152026-09-01
QESTInternational Conference on Quantitative Evaluation of SysTems2026-04-132026-06-032026-09-02
CCQRSInternational Conference on Software Quality, Reliability and Security2026-04-082026-05-302026-07-22
AA*ASEInternational Conference on Automated Software Engineering2026-03-262026-05-252026-10-12
AAOOPSLAObject-Oriented Programming Systems, Languages and Applications2026-03-172026-06-102026-10-03
BA*ICALPInternational Colloquium on Automata, Languages and Programming2026-02-032026-04-202026-07-07
AA*CAVInternational Conference on Computer Aided Verification2026-01-282026-04-172026-07-26
AA*LICSIEEE Symposium on Logic in Computer Science2026-01-152026-04-162026-07-20
ABFMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
BHSCCInternational Conference on Hybrid Systems: Computation and Control2025-11-062026-01-292026-05-11
BBVMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2025-09-102025-11-062026-01-11
CTASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
CCPEPMACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation2024-10-142024-11-182025-01-19
CBMFCSInternational Symposium on Mathematical Foundations of Computer Science2024-04-262024-06-242024-08-26
참가한 학회
CCFICORE약칭정식 명칭개최일개최지
결과가 없습니다.
팔로우한 저널
CCF정식 명칭영향력 지수출판사ISSN
결과가 없습니다.
팔로우한 연구자
이름소속 기관가입일점수
결과가 없습니다.