Información de la conferencia
FTfJP 2012: International Workshop on Formal Techniques for Java-like Programs
http://www.comp.nus.edu.sg/~ftfjp/Día de Entrega: |
|
Fecha de Notificación: |
2012-04-29 |
Fecha de Conferencia: |
2012-06-12 |
Ubicación: |
Beijing, China |
Años: |
14 |
CORE: c QUALIS: b4 Vistas: 10099 Seguidores: 0 Asistentes: 0
Coeficiente de Aceptación
Año | Enviados | Aceptados | Aceptados(%) |
---|---|---|---|
2004 | 20 | 11 | 55% |
Conferencias Relacionadas
Abreviación | Nombre Completo | Entrega | Conferencia |
---|---|---|---|
HAIS | International Conference on Hybrid Artificial Intelligence Systems | 2020-05-27 | 2020-09-04 |
AES2E | International Conference on Advance in Environmental Science and Energy Engineering | 2021-07-10 | 2021-08-27 |
ICCC | International Conference on Innovative Computing and Cloud Computing | 2011-07-20 | 2011-08-13 |
LOPSTR | International Symposium on Logic-Based Program Synthesis and Transformation | 2024-05-10 | 2024-09-09 |
ICCA | International Conference on Computer Applications | 2013-09-15 | 2013-12-19 |
CAAI | International Conference on Control, Automation and Artificial Intelligence | 2017-06-15 | 2017-06-25 |
AINTEC | Asian Internet Engineering Conference | 2024-05-08 | 2024-08-09 |
ICCSA | International Conference on Computational Science and Its Applications | 2022-04-12 | 2022-07-04 |
ICCA' | International Conference on Control and Automation | 2016-12-23 | 2017-01-13 |
AME' | International Conference on Advances in Mechanical Engineering | 2023-08-12 | 2023-08-26 |
Revistas Relacionadas
CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
---|---|---|---|---|
c | International Journal on Document Analysis and Recognition | 2.085 | Springer | 1433-2833 |
International Journal of Information Sciences and Techniques | AIRCC | 2319-409X | ||
Mechanical Systems and Signal Processing | 6.823 | Elsevier | 0888-3270 | |
b | ACM Transactions on Reconfigurable Technology and Systems | 1.409 | ACM | 1936-7406 |
Information Technology and Management | 1.533 | Springer | 1385-951X | |
b | Formal Aspects of Computing | 1.226 | Springer | 0934-5043 |
Information Technology & People | 1.263 | Emerald | 0959-3845 | |
c | International Journal on Software Tools for Technology Transfer | Springer | 1433-2779 | |
Cybernetics and Physics | IPME RAS | 2223-7038 | ||
Archive for Mathematical Logic | 0.313 | Springer | 0933-5846 |
Nombre Completo | Factor de Impacto | Editor |
---|---|---|
International Journal on Document Analysis and Recognition | 2.085 | Springer |
International Journal of Information Sciences and Techniques | AIRCC | |
Mechanical Systems and Signal Processing | 6.823 | Elsevier |
ACM Transactions on Reconfigurable Technology and Systems | 1.409 | ACM |
Information Technology and Management | 1.533 | Springer |
Formal Aspects of Computing | 1.226 | Springer |
Information Technology & People | 1.263 | Emerald |
International Journal on Software Tools for Technology Transfer | Springer | |
Cybernetics and Physics | IPME RAS | |
Archive for Mathematical Logic | 0.313 | Springer |
Recomendaciones