Información Básica
Nombre: Malion Malion
Institución: Chinese Academy of Sciences
Registro: 2018-01-22
Puntuación: 840
CV
Conferencias Seguidas
Mostrando 11-20 de 51 elementos.
Mostrando 11-20 de 51 elementos.
| Abreviación | Nombre Completo | Entrega | Conferencia |
|---|---|---|---|
| SIGMOD | ACM Conference on Management of Data | 2025-10-10 | 2026-05-31 |
| EuroSys | European Conference on Computer Systems | 2025-09-18 | 2026-04-13 |
| DATE | Design, Automation and Test in Europe | 2025-09-15 | 2026-04-20 |
| VMCAI | International Conference on Verification, Model Checking, and Abstract Interpretation | 2025-09-10 | 2026-01-11 |
| ASPLOS | International Conference on Architectural Support for Programming Languages and Operating Systems | 2025-08-13 | 2026-03-22 |
| NDSS | Annual Network & Distributed System Security Symposium | 2025-08-06 | 2026-02-23 |
| TrustCom | International Conference on Trust, Security and Privacy in Computing and Communications | 2025-08-01 | 2025-11-14 |
| HPCA | International Symposium on High-Performance Computer Architecture | 2025-07-25 | 2026-01-31 |
| ICSE | International Conference on Software Engineering | 2025-07-11 | 2026-04-12 |
| ASP-DAC | Asia and South Pacific Design Automation Conference | 2025-07-04 | 2026-01-19 |
Conferencias Asistidas
Mostrando 1-1 de 1 elemento.
| CCF | CORE | QUALIS | Abreviación | Nombre Completo | Conferencia | Ubicación |
|---|---|---|---|---|---|---|
| a | a* | a1 | PLDI | ACM SIGPLAN conference on Programming Language Design and Implementation | 2024-06-24 | Orlando, Florida, USA |
Mostrando 1-1 de 1 elemento.
| Nombre Completo | Conferencia | Ubicación |
|---|---|---|
| ACM SIGPLAN conference on Programming Language Design and Implementation | 2024-06-24 | Orlando, Florida, USA |
Revistas Seguidas
Mostrando 1-3 de 3 elementos.
| CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
|---|---|---|---|---|
| a | ACM Transactions on Computer Systems | 2.000 | ACM | 0734-2071 |
| a | IEEE Transactions on Computers | 3.600 | IEEE | 0018-9340 |
| b | Formal Methods in System Design | 0.700 | Springer | 0925-9856 |
Mostrando 1-3 de 3 elementos.
| Nombre Completo | Factor de Impacto | Editor |
|---|---|---|
| ACM Transactions on Computer Systems | 2.000 | ACM |
| IEEE Transactions on Computers | 3.600 | IEEE |
| Formal Methods in System Design | 0.700 | Springer |
Investigadores Seguidos
| Nombre | Institución | Registro | Score |
|---|---|---|---|
No se encontraron resultados. | |||
| Nombre | Institución | Score |
|---|---|---|
No se encontraron resultados. | ||