Información Básica
Nombre: Malion Malion
Institución: Chinese Academy of Sciences
Registro: 2018-01-22
Puntuación: 595
Conferencias Seguidas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
aa*a1SecurityUSENIX Security Symposium2024-02-082024-05-082024-08-14
cbb1SOUPSInternational Symposium On Usable Privacy and Security2024-02-08 2024-08-11
aa2ICCSInternational Conference on Computational Science2024-02-022024-04-012024-07-02
ba*a1SIGMETRICSInternational Conference on Measurement and Modeling of Computer Systems2024-01-242024-03-262024-06-10
aa*a2LICSIEEE Symposium on Logic in Computer Science2024-01-212024-04-152024-07-08
aa*a1CAVInternational Conference on Computer Aided Verification2024-01-192024-03-262024-07-22
cb1CFInternational Conference on Computing Frontiers2024-01-112024-02-122024-05-07
aaa1USENIX ATCUSENIX Annual Technical Conference2024-01-09 2024-07-10
cb2ETSEuropean Test Symposium2023-12-082024-02-162024-05-20
cbb1AsiaCCSACM ASIA Conference on Computer and Communications Security2023-12-072024-03-122024-07-01
AbreviaciónNombre CompletoEntregaConferencia
SecurityUSENIX Security Symposium2024-02-082024-08-14
SOUPSInternational Symposium On Usable Privacy and Security2024-02-082024-08-11
ICCSInternational Conference on Computational Science2024-02-022024-07-02
SIGMETRICSInternational Conference on Measurement and Modeling of Computer Systems2024-01-242024-06-10
LICSIEEE Symposium on Logic in Computer Science2024-01-212024-07-08
CAVInternational Conference on Computer Aided Verification2024-01-192024-07-22
CFInternational Conference on Computing Frontiers2024-01-112024-05-07
USENIX ATCUSENIX Annual Technical Conference2024-01-092024-07-10
ETSEuropean Test Symposium2023-12-082024-05-20
AsiaCCSACM ASIA Conference on Computer and Communications Security2023-12-072024-07-01
Conferencias Asistidas
CCFCOREQUALISAbreviaciónNombre CompletoConferenciaUbicación
No se encontraron resultados.
Nombre CompletoConferenciaUbicación
No se encontraron resultados.
Revistas Seguidas
CCFNombre CompletoFactor de ImpactoEditorISSN
aACM Transactions on Computer SystemsACM0734-2071
aIEEE Transactions on Computers2.711IEEE0018-9340
bFormal Methods in System Design0.442Springer0925-9856
Nombre CompletoFactor de ImpactoEditor
ACM Transactions on Computer SystemsACM
IEEE Transactions on Computers2.711IEEE
Formal Methods in System Design0.442Springer
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
cITC-AsiaInternational Test Conference in Asia2024-04-152024-05-292024-08-18
CNSSEInternational Conference on Computer Network Security and Software Engineering2024-02-182024-02-182024-02-23
aa1NeurIPSConference on Neural Information Processing Systems2024-05-152024-09-252024-12-09
cEuroS&PIEEE European Symposium on Security and Privacy2023-11-022024-02-222024-07-08
SciSecInternational Conference on Science of Cyber Security2023-04-202023-05-282023-07-11
cINSCRYPTInternational Conference on Information Security and Cryptology2023-07-152023-09-252023-11-11
ccNSPWNew Security Paradigms Workshop2024-04-122024-06-142024-09-16
bab1SATInternational Conference on Theory and Applications of Satisfiability Testing2024-03-082024-05-222024-08-21
cb1FMCADFormal Methods in Computer-Aided Design2024-04-282024-07-082024-10-14
ca2VTSVLSI Test Symposium2023-10-092023-12-232024-04-22
AbreviaciónNombre CompletoEntregaConferencia
ITC-AsiaInternational Test Conference in Asia2024-04-152024-08-18
CNSSEInternational Conference on Computer Network Security and Software Engineering2024-02-182024-02-23
NeurIPSConference on Neural Information Processing Systems2024-05-152024-12-09
EuroS&PIEEE European Symposium on Security and Privacy2023-11-022024-07-08
SciSecInternational Conference on Science of Cyber Security2023-04-202023-07-11
INSCRYPTInternational Conference on Information Security and Cryptology2023-07-152023-11-11
NSPWNew Security Paradigms Workshop2024-04-122024-09-16
SATInternational Conference on Theory and Applications of Satisfiability Testing2024-03-082024-08-21
FMCADFormal Methods in Computer-Aided Design2024-04-282024-10-14
VTSVLSI Test Symposium2023-10-092024-04-22
Revistas vistos
CCFNombre CompletoFactor de ImpactoEditorISSN
bFormal Methods in System Design0.442Springer0925-9856
aIEEE Transactions on Computers2.711IEEE0018-9340
aACM Transactions on Computer SystemsACM0734-2071
Nombre CompletoFactor de ImpactoEditor
Formal Methods in System Design0.442Springer
IEEE Transactions on Computers2.711IEEE
ACM Transactions on Computer SystemsACM