会議情報
FTfJP 2012: International Workshop on Formal Techniques for Java-like Programs
http://www.comp.nus.edu.sg/~ftfjp/提出日: |
|
通知日: |
2012-04-29 |
会議日: |
2012-06-12 |
場所: |
Beijing, China |
年: |
14 |
CORE: c QUALIS: b4 閲覧: 14700 追跡: 0 出席: 0
論文募集
合格率
| 時間 | 提出 | 受け入れ | 受け入れ(%) |
|---|---|---|---|
| 2004 | 20 | 11 | 55% |
関連会議
関連仕訳帳
| CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
|---|---|---|---|---|
| IEEE Industrial Electronics Magazine | 5.7 | IEEE | 1932-4529 | |
| Information Technology & People | 5.6 | Emerald | 0959-3845 | |
| b | ACM Transactions on Reconfigurable Technology and Systems | 2.8 | ACM | 1936-7406 |
| Archive for Rational Mechanics and Analysis | 2.4 | Springer | 0003-9527 | |
| Information Technology and Management | 2.300 | Springer | 1385-951X | |
| b | Formal Aspects of Computing | 1.400 | ACM | 0934-5043 |
| c | International Journal on Software Tools for Technology Transfer | 1.100 | Springer | 1433-2779 |
| International Journal of Parallel Programming | 0.900 | Springer | 0885-7458 | |
| Journal of Logical and Algebraic Methods in Programming | 0.700 | Elsevier | 2352-2208 | |
| IET Computers and Digital Techniques | 0.484 | IET | 1751-8601 |
| 完全な名前 | インパクト ・ ファクター | 出版社 |
|---|---|---|
| IEEE Industrial Electronics Magazine | 5.7 | IEEE |
| Information Technology & People | 5.6 | Emerald |
| ACM Transactions on Reconfigurable Technology and Systems | 2.8 | ACM |
| Archive for Rational Mechanics and Analysis | 2.4 | Springer |
| Information Technology and Management | 2.300 | Springer |
| Formal Aspects of Computing | 1.400 | ACM |
| International Journal on Software Tools for Technology Transfer | 1.100 | Springer |
| International Journal of Parallel Programming | 0.900 | Springer |
| Journal of Logical and Algebraic Methods in Programming | 0.700 | Elsevier |
| IET Computers and Digital Techniques | 0.484 | IET |