Información Básica
Nombre: Frank Xu
Institución: School of Computer Science and Engineering
Registro: 2017-10-15
Puntuación: 1737
Conferencias Seguidas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
bb1FMInternational Symposium on Formal Methods2021-04-302021-07-162021-11-20
baa1DSNInternational Conference on Dependable Systems and Networks2020-12-042021-03-082021-06-21
aa*S&PIEEE Symposium on Security and Privacy2020-12-032021-02-192021-05-23
aa1TACASInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems2020-10-152020-12-232021-03-27
bETAPSEuropean Joint Conferences on Theory and Practice of Software2020-10-152020-12-232021-03-27
ba*a1AAMASInternational Joint Conference on Autonomous Agents and Multi-agent Systems2020-10-022020-12-182021-05-03
b2ICSCInternational Conference on Semantic Computing2020-09-282020-11-152021-01-27
aa*a1ICSEInternational Conference on Software Engineering2020-08-28 2021-05-23
aaa2PPoPPACM SIGPLAN Annual Symposium Principles and Practice of Parallel Programming2020-08-062020-10-102021-02-27
cSSSInternational Symposium on Stabilization, Safety, and Security of Distributed Systems2020-07-272020-09-272020-11-18
Conferencias Asistidas
CCFCOREQUALISAbreviaciónNombre CompletoConferenciaUbicación
bb1FMInternational Symposium on Formal Methods2018-07-15Oxford, UK
Nombre CompletoConferenciaUbicación
International Symposium on Formal Methods2018-07-15Oxford, UK
Revistas Seguidas
CCFNombre CompletoFactor de ImpactoEditorISSN
bJournal of Parallel and Distributed Computing1.819Elsevier0743-7315
bIEEE Transactions on Services Computing5.707IEEE1939-1374
aArtificial Intelligence4.483Elsevier0004-3702
cFuture Generation Computer Systems5.768Elsevier0167-739X
bKnowledge and Information Systems2.008Springer0219-1377
cKnowledge-Based Systems5.101Elsevier0950-7051
bData Mining and Knowledge Discovery3.16Springer1384-5810
bRequirements Engineering0.862Springer0947-3602
bIET Software0.733IET1751-8806
bFormal Methods in System Design0.875Springer0925-9856
Investigadores Seguidos
NombreInstituciónRegistroPuntuación
No se encontraron resultados.
NombreInstituciónPuntuación
No se encontraron resultados.
Trabajos rastreados
Título profesionalEmpleadoralocación de trabajo
No se encontraron resultados.
Título profesionalEmpleadoralocación de trabajo
No se encontraron resultados.
Conferencias vistas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
AISAIEEE SERVICES Workshop on Artificial Intelligence and Services Adaption2020-04-062020-04-272020-07-20
BDEInternational Conference on Big Data Engineering2021-01-152021-02-052021-05-26
AIACTInternational Conference on Artificial Intelligence, Automation and Control Technologies2020-10-252020-11-252021-03-26
AIAATInternational Conference on Artificial Intelligence Applications and Technologies2020-07-052020-07-202020-08-07
cb1FMCADFormal Methods in Computer-Aided Design2020-05-092020-07-022020-09-21
caTrustComInternational Conference on Trust, Security and Privacy in Computing and Communications2020-08-152020-09-292020-12-29
cb4FMICSInternational Conference on Formal Methods for Industrial Critical Systems2020-05-222020-07-012020-09-02
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2020-01-242020-03-162020-07-15
cbb1ICANNInternational Conference on Artificial Neural Networks2020-04-302020-06-302020-09-15
aa*a1OSDIUSENIX Symposium on Operating Systems Design and Implementation2020-05-052020-07-242020-11-04