Información Básica
Nombre: Frank Xu
Institución: School of Computer Science and Engineering
Fecha de registro: 2017-10-15
Puntuación: 2123
Perfil de intereses de investigación Generado automáticamente por el sistema

Según los congresos y revistas consultados, este investigador parece más interesado en Ingeniería de software, Seguridad y privacidad, Inteligencia artificial y aprendizaje automático, Sistemas y arquitectura. Los lugares consultados con frecuencia incluyen FM, TASE, KR, TACAS, SafeComp.

Currículum
Conferencias Seguidas
Total 53 elementos.
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónFecha de conferencia
BETAPSEuropean Joint Conferences on Theory and Practice of Software2026-10-152026-12-222027-04-10
AA1TACASInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems2026-10-152026-12-222027-04-10
AA*A1FSEACM SIGSOFT Symposium on the Foundations of Software Engineering2026-10-022027-03-312027-07-12
AAA2PPoPPACM SIGPLAN Annual Symposium Principles and Practice of Parallel Programming2026-08-032026-10-262027-03-20
CB3DASCInternational Conference on Dependable, Autonomic and Secure Computing2026-07-152026-09-012026-11-09
AA*A1POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2026-07-092026-10-052027-01-10
CBAPSECAsia-Pacific Software Engineering Conference2026-06-302026-12-07
AA*A1ICSEInternational Conference on Software Engineering2026-06-232026-10-202027-04-25
CB1ICFEMInternational Conference on Formal Engineering Methods2026-06-012026-08-082026-11-17
BAA1EMNLPConference on Empirical Methods in Natural Language Processing2026-05-272026-08-202026-10-24
CBB1SEKEInternational Conference on Software Engineering and Knowledge Engineering2026-05-012026-06-202026-10-01
BAA2SRDSIEEE Symposium on Reliable Distributed Systems2026-04-242026-07-032026-09-21
AA*A1CCSACM Conference on Computer and Communications Security2026-04-222026-07-172026-11-15
BAA2CONCURInternational Conference on Concurrency Theory2026-04-202026-06-152026-09-01
BAA2ISSREInternational Symposium on Software Reliability Engineering2026-04-102026-07-082026-10-20
CBB1QRSInternational Conference on Software Quality, Reliability and Security2026-04-082026-05-302026-07-22
BB1KESInternational Conference on Knowledge-Based and Intelligent Information & Engineering Systems2026-03-302026-05-042026-09-09
AAA1ASEInternational Conference on Automated Software Engineering2026-03-262026-05-252026-10-12
AA*A1SOSPACM Symposium on Operating Systems Principles2026-03-262026-07-032026-09-29
BAA2MODELSInternational Conference on Model Driven Engineering Languages and Systems2026-03-202026-06-172026-10-04
BAB1LCTESACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems2026-03-132026-05-012026-06-15
BA*A2KRInternational Conference on the Principles of Knowledge Representation and Reasoning2026-02-082026-04-132026-07-20
A*B1IJCARInternational Joint Conference on Automated Reasoning2026-02-062026-04-142026-07-26
AA*A1KDDACM SIGKDD Conference on Knowledge Discovery and Data Mining2026-02-012026-05-162026-08-09
CBA2COMPSACInternational Computer Software and Applications Conference2026-01-312026-04-012026-07-07
BA*A1IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
AA*A1CAVInternational Conference on Computer Aided Verification2026-01-282026-04-172026-07-26
AA*A1SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
AA*A2LICSIEEE Symposium on Logic in Computer Science2026-01-152026-04-162026-07-20
AA*A1ACLAnnual Meeting of the Association for Computational Linguistics2026-01-052026-04-042026-07-02
BAA1DSNInternational Conference on Dependable Systems and Networks2025-11-272026-03-192026-06-22
AB1FMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
CAPAKDDPacific-Asia Conference on Knowledge Discovery and Data Mining2025-11-152026-02-082026-06-09
AA*S&PIEEE Symposium on Security and Privacy2025-11-132026-03-192026-05-18
AA*A1PLDIACM SIGPLAN conference on Programming Language Design and Implementation2025-11-132026-03-052026-06-15
AA*A1STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
BA*A1AAMASInternational Joint Conference on Autonomous Agents and Multi-agent Systems2025-10-012025-12-222026-05-25
CB1SEAAEuromicro Conference on Software Engineering and Advanced Applications2025-05-252025-06-232025-09-10
BAA2ECAIEuropean Conference on Artificial Intelligence2025-04-292025-07-102025-10-25
AA*A1FOCSIEEE Symposium on Foundations of Computer Science2025-04-032025-07-082025-12-14
CCB3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
CAB5ICSSPInternational Conference on Software and Systems Process2024-03-222024-04-302024-09-04
BB1SafeCompInternational Conference on Computer Safety, Reliability and Security2024-02-042024-04-212024-09-17
NFMNASA Formal Methods Symposium2022-12-092023-02-202023-05-16
CSSSInternational Symposium on Stabilization, Safety, and Security of Distributed Systems2022-08-052022-09-232022-11-15
BB1SEFMInternational Conference on Software Engineering and Formal Methods2022-06-202022-08-072022-09-28
A*A2ESECEuropean Software Engineering Conference2022-03-102022-06-142022-11-14
BB1iFMInternational Conference on integrated Formal Methods2022-02-112022-03-182022-06-07
B2ICSCInternational Conference on Semantic Computing2020-10-122020-11-252021-01-27
BB1ARESInternational Conference on Availability, Reliability and Security2020-04-152020-06-032020-08-24
SCSSSScandinavian Conference System and Software Safety2017-11-082018-05-21
BAA2CADEInternational Conference on Automated Deduction2017-02-112017-04-222017-08-06
CB2IDEALInternational Conference on Intelligent Data Engineering and Automated Learning2026-11-22
Conferencias Asistidas
Total 2 elementos.
CCFCOREQUALISAbreviaciónNombre CompletoFecha de conferenciaUbicación
AB1FMInternational Symposium on Formal Methods2018-07-15Oxford, UK
CCB3TASEInternational Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
Revistas Seguidas
Total 23 elementos.
CCFNombre CompletoFactor de ImpactoEditorISSN
BJournal of Parallel and Distributed Computing4.0Elsevier0743-7315
AIEEE Transactions on Services Computing5.8IEEE1939-1374
AArtificial Intelligence4.6Elsevier0004-3702
CFuture Generation Computer Systems6.1Elsevier0167-739X
BKnowledge and Information Systems3.1Springer0219-1377
CKnowledge-Based Systems7.2Elsevier0950-7051
BData Mining and Knowledge Discovery4.3Springer1384-5810
BRequirements Engineering3.3Springer0947-3602
BIET Software1.6IET1751-8806
BFormal Methods in System Design0.8Springer0925-9856
AACM Transactions on Programming Languages and Systems1.6ACM0164-0925
AACM Transactions on Software Engineering and Methodology6.2ACM1049-331x
AIEEE Transactions on Software Engineering5.6IEEE0098-5589
BAutomated Software Engineering3.1Springer0928-8910
Annals of Software EngineeringSpringer1022-7091
BJournal of Computer SecurityIOS Press0926-227X
AACM Transactions on Computer Systems1.8ACM0734-2071
IEEE Security & Privacy3.0IEEE1540-7993
BJournal of Computer and System Sciences0.9Elsevier0022-0000
BComputers & Security5.4Elsevier0167-4048
BJournal of Systems and Software4.1Elsevier0164-1212
CIEEE Transactions on Industrial Informatics11.7IEEE1551-3203
AIEEE Transactions on Dependable and Secure Computing7.5IEEE1545-5971
Investigadores Seguidos
NombreInstituciónFecha de registroPuntuación
No se encontraron resultados.

Publicidad