会議情報
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 閲覧: 10502 追跡: 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% |
関連会議
省略名 | 完全な名前 | 提出日 | 会議日 |
---|---|---|---|
HAIS | International Conference on Hybrid Artificial Intelligence Systems | 2020-05-27 | 2020-09-04 |
WONS | International Conference on Wireless On-demand Network Systems and Services | 2022-10-30 | 2023-01-30 |
NOBIDS | Norwegian Big Data Symposium | 2017-10-17 | 2017-11-14 |
ATVA | International Symposium on Automated Technology for Verification and Analysis | 2024-04-19 | 2024-10-21 |
ASP-DAC | Asia and South Pacific Design Automation Conference | 2023-07-23 | 2024-01-22 |
ISDF | International Conference in Information Security and Digital Forensics | 2015-08-25 | 2015-09-29 |
MLT | International Conference on Machine Learning & Trends | 2023-03-11 | 2022-03-19 |
ACNS | International Conference on Applied Cryptography and Network Security | 2022-01-14 | 2022-06-20 |
TAMC | Annual Conference on Theory and Applications of Models of Computation | 2014-11-27 | 2015-05-18 |
APSAC | International Conference on Applied Physics, System Science and Computers | 2017-06-30 | 2018-09-26 |
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
b | Formal Methods in System Design | 0.442 | Springer | 0925-9856 |
c | Machine Vision and Applications | 2.012 | Springer | 0932-8092 |
b | IEEE Transactions on Neural Networks and Learning Systems | 11.68 | IEEE | 1045-9227 |
International Journal of Distributed and Parallel Systems | AIRCC | 2229-3957 | ||
Design Automation for Embedded Systems | 0.250 | Springer | 0929-5585 | |
International Journal of Knowledge-Based and Intelligent Engineering Systems | IOS Press | 1327-2314 | ||
International Journal on Artificial Intelligence Tools | 0.849 | World Scientific | 0218-2130 | |
c | Logical Methods in Computer Science | Logical Methods in Computer Science | 1860-5974 | |
Computational Social Networks | Springer | 2197-4314 | ||
b | Journal of Parallel and Distributed Computing | 3.734 | Elsevier | 0743-7315 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
Formal Methods in System Design | 0.442 | Springer |
Machine Vision and Applications | 2.012 | Springer |
IEEE Transactions on Neural Networks and Learning Systems | 11.68 | IEEE |
International Journal of Distributed and Parallel Systems | AIRCC | |
Design Automation for Embedded Systems | 0.250 | Springer |
International Journal of Knowledge-Based and Intelligent Engineering Systems | IOS Press | |
International Journal on Artificial Intelligence Tools | 0.849 | World Scientific |
Logical Methods in Computer Science | Logical Methods in Computer Science | |
Computational Social Networks | Springer | |
Journal of Parallel and Distributed Computing | 3.734 | Elsevier |
おすすめ