会議情報
FMOODS 2013: International Conference on Formal Methods for Open Object-based Distributed Systems
http://forte13.sosy-lab.org/提出日: |
2013-02-11 Extended |
通知日: |
2013-03-18 |
会議日: |
2013-06-03 |
場所: |
Florence, Italy |
年: |
15 |
CORE: c QUALIS: b1 閲覧: 18182 追跡: 0 出席: 0
論文募集
合格率
| 時間 | 提出 | 受け入れ | 受け入れ(%) |
|---|---|---|---|
| 2009 | 46 | 18 | 39.1% |
| 2008 | 35 | 14 | 40% |
| 2007 | 45 | 17 | 37.8% |
| 2006 | 55 | 16 | 29.1% |
| 2005 | 44 | 19 | 43.2% |
| 2003 | 63 | 18 | 28.6% |
| 2002 | 31 | 15 | 48.4% |
| 2000 | 33 | 16 | 48.5% |
| 1999 | 52 | 26 | 50% |
| 1997 | 58 | 28 | 48.3% |
関連会議
関連仕訳帳
| CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
|---|---|---|---|---|
| b | IEEE Transactions on Neural Networks and Learning Systems | 8.9 | IEEE | 1045-9227 |
| c | Knowledge-Based Systems | 7.2 | Elsevier | 0950-7051 |
| a | IEEE Transactions on Parallel and Distributed Systems | 6.0 | IEEE | 1045-9219 |
| Nonlinear Analysis: Hybrid Systems | 4.1 | Elsevier | 1751-570X | |
| b | Journal of Parallel and Distributed Computing | 4.0 | Elsevier | 0743-7315 |
| IEEE Open Journal of Circuits and Systems | 2.4 | IEEE | 2644-1225 | |
| b | ACM Transactions on Design Automation of Electronic Systems | 2.0 | ACM | 1084-4309 |
| Design Automation for Embedded Systems | 0.900 | Springer | 0929-5585 | |
| Mathematical Methods of Operations Research | 0.900 | Springer | 1432-2994 | |
| b | Formal Methods in System Design | 0.700 | Springer | 0925-9856 |