Información Básica
Nombre: Malion Malion
Institución: Chinese Academy of Sciences
Registro: 2018-01-22
Puntuación: 594
Conferencias Seguidas
| CCF | CORE | QUALIS | Abreviación | Nombre Completo | Entrega | Notificación | Conferencia |
|---|---|---|---|---|---|---|---|
| a | a* | a1 | ASPLOS | International Conference on Architectural Support for Programming Languages and Operating Systems | 2024-10-11 | 2025-01-15 | 2025-04-27 |
| a | a* | a1 | SIGMOD | ACM Conference on Management of Data | 2024-10-10 | 2024-11-28 | 2025-06-22 |
| a | a* | a1 | NDSS | Annual Network & Distributed System Security Symposium | 2024-07-10 | 2024-09-19 | 2025-02-23 |
| c | b3 | ICTAC | International Colloquium on Theoretical Aspects of Computing | 2024-06-14 | 2024-09-01 | 2024-11-25 | |
| b | a2 | ICCD | International Conference on Computer Design | 2024-05-05 | 2024-08-01 | 2024-11-06 | |
| b | a | a2 | SAS | International Static Analysis Symposium | 2024-05-05 | 2024-07-07 | 2024-10-20 |
| a | a* | a1 | CCS | ACM Conference on Computer and Communications Security | 2024-04-29 | 2024-10-14 | |
| c | b1 | FMCAD | Formal Methods in Computer-Aided Design | 2024-04-28 | 2024-07-08 | 2024-10-14 | |
| b | a | a1 | ICCAD | International Conference on Computer-Aided Design | 2024-04-28 | 2024-06-30 | 2024-10-29 |
| b | a | a2 | ESORICS | European Symposium on Research in Computer Security | 2024-04-19 | 2024-06-14 | 2024-09-16 |
| Abreviación | Nombre Completo | Entrega | Conferencia |
|---|---|---|---|
| ASPLOS | International Conference on Architectural Support for Programming Languages and Operating Systems | 2024-10-11 | 2025-04-27 |
| SIGMOD | ACM Conference on Management of Data | 2024-10-10 | 2025-06-22 |
| NDSS | Annual Network & Distributed System Security Symposium | 2024-07-10 | 2025-02-23 |
| ICTAC | International Colloquium on Theoretical Aspects of Computing | 2024-06-14 | 2024-11-25 |
| ICCD | International Conference on Computer Design | 2024-05-05 | 2024-11-06 |
| SAS | International Static Analysis Symposium | 2024-05-05 | 2024-10-20 |
| CCS | ACM Conference on Computer and Communications Security | 2024-04-29 | 2024-10-14 |
| FMCAD | Formal Methods in Computer-Aided Design | 2024-04-28 | 2024-10-14 |
| ICCAD | International Conference on Computer-Aided Design | 2024-04-28 | 2024-10-29 |
| ESORICS | European Symposium on Research in Computer Security | 2024-04-19 | 2024-09-16 |
Conferencias Asistidas
| CCF | CORE | QUALIS | Abreviación | Nombre Completo | Conferencia | Ubicación |
|---|---|---|---|---|---|---|
| No se encontraron resultados. | ||||||
| Nombre Completo | Conferencia | Ubicación |
|---|---|---|
| No se encontraron resultados. | ||
Revistas Seguidas
| CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
|---|---|---|---|---|
| a | ACM Transactions on Computer Systems | ACM | 0734-2071 | |
| a | IEEE Transactions on Computers | 2.711 | IEEE | 0018-9340 |
| b | Formal Methods in System Design | 0.442 | Springer | 0925-9856 |
| Nombre Completo | Factor de Impacto | Editor |
|---|---|---|
| ACM Transactions on Computer Systems | ACM | |
| IEEE Transactions on Computers | 2.711 | IEEE |
| Formal Methods in System Design | 0.442 | Springer |
Investigadores Seguidos
| Nombre | Institución | Registro | Puntuación |
|---|---|---|---|
| No se encontraron resultados. | |||
| Nombre | Institución | Puntuación |
|---|---|---|
| No se encontraron resultados. | ||
Trabajos rastreados
| Título profesional | Empleadora | locación de trabajo |
|---|---|---|
| No se encontraron resultados. | ||
| Título profesional | Empleadora | locación de trabajo |
|---|---|---|
| No se encontraron resultados. | ||
Conferencias vistas
| CCF | CORE | QUALIS | Abreviación | Nombre Completo | Entrega | Notificación | Conferencia |
|---|---|---|---|---|---|---|---|
| c | ITC-Asia | International Test Conference in Asia | 2024-04-15 | 2024-05-29 | 2024-08-18 | ||
| CNSSE | International Conference on Computer Network Security and Software Engineering | 2024-02-18 | 2024-02-18 | 2024-02-23 | |||
| a | a1 | NeurIPS | Conference on Neural Information Processing Systems | 2024-05-15 | 2024-09-25 | 2024-12-09 | |
| c | EuroS&P | IEEE European Symposium on Security and Privacy | 2023-11-02 | 2024-02-22 | 2024-07-08 | ||
| SciSec | International Conference on Science of Cyber Security | 2023-04-20 | 2023-05-28 | 2023-07-11 | |||
| c | INSCRYPT | International Conference on Information Security and Cryptology | 2023-07-15 | 2023-09-25 | 2023-11-11 | ||
| c | c | NSPW | New Security Paradigms Workshop | 2024-04-12 | 2024-06-14 | 2024-09-16 | |
| b | a | b1 | SAT | International Conference on Theory and Applications of Satisfiability Testing | 2024-03-08 | 2024-05-22 | 2024-08-21 |
| c | b1 | FMCAD | Formal Methods in Computer-Aided Design | 2024-04-28 | 2024-07-08 | 2024-10-14 | |
| c | a2 | VTS | VLSI Test Symposium | 2023-10-09 | 2023-12-23 | 2024-04-22 |
| Abreviación | Nombre Completo | Entrega | Conferencia |
|---|---|---|---|
| ITC-Asia | International Test Conference in Asia | 2024-04-15 | 2024-08-18 |
| CNSSE | International Conference on Computer Network Security and Software Engineering | 2024-02-18 | 2024-02-23 |
| NeurIPS | Conference on Neural Information Processing Systems | 2024-05-15 | 2024-12-09 |
| EuroS&P | IEEE European Symposium on Security and Privacy | 2023-11-02 | 2024-07-08 |
| SciSec | International Conference on Science of Cyber Security | 2023-04-20 | 2023-07-11 |
| INSCRYPT | International Conference on Information Security and Cryptology | 2023-07-15 | 2023-11-11 |
| NSPW | New Security Paradigms Workshop | 2024-04-12 | 2024-09-16 |
| SAT | International Conference on Theory and Applications of Satisfiability Testing | 2024-03-08 | 2024-08-21 |
| FMCAD | Formal Methods in Computer-Aided Design | 2024-04-28 | 2024-10-14 |
| VTS | VLSI Test Symposium | 2023-10-09 | 2024-04-22 |
Revistas vistos
| CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
|---|---|---|---|---|
| b | Formal Methods in System Design | 0.442 | Springer | 0925-9856 |
| a | IEEE Transactions on Computers | 2.711 | IEEE | 0018-9340 |
| a | ACM Transactions on Computer Systems | ACM | 0734-2071 |
| Nombre Completo | Factor de Impacto | Editor |
|---|---|---|
| Formal Methods in System Design | 0.442 | Springer |
| IEEE Transactions on Computers | 2.711 | IEEE |
| ACM Transactions on Computer Systems | ACM |