仕訳帳情報
Acta Informatica (ACTA)
http://www.springer.com/computer/theoretical+computer+science/journal/236
インパクト ・ ファクター:
0.375
出版社:
Springer
ISSN:
0001-5903
閲覧:
11450
追跡:
0
論文募集
Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics.

Topics of interest include:

• semantics of programming languages
• models and modeling languages for concurrent, distributed, reactive and mobile systems
• models and modeling languages for timed, hybrid and probabilistic systems
• specification, program analysis and verification
• model checking and theorem proving
• modal, temporal, first- and higher-order logics, and their variants
• constraint logic, SAT/SMT-solving techniques
• theoretical aspects of databases, semi-structured data and finite model theory
• theoretical aspects of artificial intelligence, knowledge representation, description logic
• automata theory, formal languages, term and graph rewriting
• game-based models, synthesis
• type theory, typed calculi
• algebraic, coalgebraic and categorical methods
• formal aspects of performance, dependability and reliability analysis
• foundations of information and network security
• parallel, distributed and randomized algorithms
• design and analysis of algorithms
• foundations of network and communication protocols
最終更新 Dou Sun 2022-01-30
関連仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
InformaticaIOS Press0868-4952
bGeoInformatica2.684Springer1384-6175
Brain InformaticsSpringer2198-4018
Scalable Computing Springer2194-6876
cFundamenta Informaticae IOS Press0169-2968
Personalized Medicine Universe Elsevier2186-4950
cJournal of Biomedical Informatics6.317Elsevier1532-0464
Ecological Informatics3.142Elsevier1574-9541
cIEEE Transactions on Industrial Informatics10.21IEEE1551-3203
International Journal of Game Theory and TechnologyAIRCC2455-0892
完全な名前インパクト ・ ファクター出版社
InformaticaIOS Press
GeoInformatica2.684Springer
Brain InformaticsSpringer
Scalable Computing Springer
Fundamenta Informaticae IOS Press
Personalized Medicine Universe Elsevier
Journal of Biomedical Informatics6.317Elsevier
Ecological Informatics3.142Elsevier
IEEE Transactions on Industrial Informatics10.21IEEE
International Journal of Game Theory and TechnologyAIRCC
関連会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
ICAICAIEEE International Conference on Artificial Intelligence and Computer Applications2020-03-312020-04-152020-06-27
BIInternational Conference on Brain Informatics2023-04-152023-05-302023-08-01
Iranian-RadarIranian Conference on Radar and Surveillance Systems2019-07-222019-09-222019-11-20
CNIoT'International Conference on Green Communication, Network and Internet of Things2022-09-10 2022-09-16
b4IHIInternational Health Informatics Symposium2011-06-232011-09-012012-01-28
SE'International Conference on Software Engineering & Trends2023-02-042023-02-182023-05-27
ab3ICMCSInternational Conference on Multimedia Computing and Systems2018-03-182018-03-312018-05-10
b3INDINInternational Conference on Industrial Informatics2022-05-312022-06-212022-07-25
AEAHSSInternational Conference on Advanced Education, Arts, Humanity and Social Science2020-06-16 2020-06-20
APCRASAsia-Pacific Conference on Robotics and Autonomous Systems2020-02-152020-02-202021-03-12
おすすめ