会议信息
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 浏览: 16641 关注: 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% |
相关会议
| 简称 | 全称 | 会议日期 |
|---|---|---|
| FORMATS | International Conference on Formal Modeling and Analysis of Timed Systems | 2022-09-12 |
| FMCAD | Formal Methods in Computer-Aided Design | 2025-10-06 |
| Policy | International Symposium on Policies for Distributed Systems and Networks | 2012-07-16 |
| SSS | International Symposium on Stabilization, Safety, and Security of Distributed Systems | 2022-11-15 |
| SRDS | IEEE Symposium on Reliable Distributed Systems | 2025-09-29 |
| OPODIS | International Conference on Principles of Distributed Systems | 2022-12-13 |
| ICPADS | International Conference on Parallel and Distributed Systems | 2025-12-14 |
| FMICS | International Conference on Formal Methods for Industrial Critical Systems | 2022-09-14 |
| FORTE | International Conference on Formal Techniques for Distributed Systems | 2026-06-08 |
| FMOODS | International Conference on Formal Methods for Open Object-based Distributed Systems | 2013-06-03 |
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| a | IEEE Transactions on Parallel and Distributed Systems | 5.600 | IEEE | 1045-9219 |
| b | Formal Methods in System Design | 0.700 | Springer | 0925-9856 |
| c | Knowledge-Based Systems | 7.2 | Elsevier | 0950-7051 |
| b | IEEE Transactions on Neural Networks and Learning Systems | 8.9 | IEEE | 1045-9227 |
| International Journal of Distributed and Parallel Systems | AIRCC | 2229-3957 | ||
| Design Automation for Embedded Systems | 0.900 | Springer | 0929-5585 | |
| International Journal of Knowledge-Based and Intelligent Engineering Systems | IOS Press | 1327-2314 | ||
| Mathematical Methods of Operations Research | 0.900 | Springer | 1432-2994 | |
| c | Logical Methods in Computer Science | Logical Methods in Computer Science | 1860-5974 | |
| International Journal of Distributed Systems and Technologies | IGI Global Publishing | 1947-3532 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| IEEE Transactions on Parallel and Distributed Systems | 5.600 | IEEE |
| Formal Methods in System Design | 0.700 | Springer |
| Knowledge-Based Systems | 7.2 | Elsevier |
| IEEE Transactions on Neural Networks and Learning Systems | 8.9 | IEEE |
| International Journal of Distributed and Parallel Systems | AIRCC | |
| Design Automation for Embedded Systems | 0.900 | Springer |
| International Journal of Knowledge-Based and Intelligent Engineering Systems | IOS Press | |
| Mathematical Methods of Operations Research | 0.900 | Springer |
| Logical Methods in Computer Science | Logical Methods in Computer Science | |
| International Journal of Distributed Systems and Technologies | IGI Global Publishing |