歡迎來到優(yōu)發(fā)表網(wǎng)!

購物車(0)

期刊大全 雜志訂閱 SCI期刊 期刊投稿 出版社 公文范文 精品范文

Acta Informatica

  • ISSN:0001-5903
  • ESSN:1432-0525
  • 國際標準簡稱:ACTA INFORM
  • 出版地區(qū):GERMANY
  • 出版周期:Monthly
  • 研究方向:工程技術 - 計算機:信息系統(tǒng)
  • 出版年份:1971
  • 語言:Multi-Language
  • 是否OA:未開放
  • 學科領域

    計算機科學
  • 中科院分區(qū)

    4區(qū)
  • JCR分區(qū)

    Q4
  • IF影響因子

    0.4
  • 是否預警

期刊簡介

Journal Title:Acta Informatica

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.

中文簡介

Acta Informatica 提供關于程序、計算系統(tǒng)和信息結(jié)構(gòu)的設計與分析的形式化方法文章的國際傳播,以及理論計算機科學的相關領域,如自動機理論、計算機科學中的邏輯和算法。

感興趣的主題包括:

? 編程語言的語義

? 并發(fā)、分布式、反應式和移動系統(tǒng)的模型和建模語言

? 定時、混合和概率系統(tǒng)的模型和建模語言

? 規(guī)范、程序分析和驗證

? 模型檢查和定理證明

? 模態(tài)、時間、一階和高階邏輯及其變體

? 約束邏輯、SAT/SMT 求解技術

? 數(shù)據(jù)庫、半結(jié)構(gòu)化數(shù)據(jù)和有限模型理論的理論方面

? 人工智能的理論方面,知識表示、描述邏輯

? 自動機理論、形式語言、術語和圖形重寫

? 基于游戲的模型、綜合

? 類型理論、類型演算

? 代數(shù)、余代數(shù)和分類方法

? 性能、可靠性和可靠性分析的形式化方面

? 信息和網(wǎng)絡安全基礎

? 并行、分布式和隨機算法

? 算法的設計和分析

? 網(wǎng)絡和通信協(xié)議基礎。

期刊點評

Acta Informatica創(chuàng)刊于1971年,由Springer Berlin Heidelberg出版商出版,收稿方向涵蓋工程技術 - 計算機:信息系統(tǒng)全領域,此期刊水平偏中等偏靠后,在所屬細分領域中專業(yè)影響力一般,過審相對較易,如果您文章質(zhì)量佳,選擇此期刊,發(fā)表機率較高。平均審稿速度 12周,或約稿 ,影響因子指數(shù)0.4,該期刊近期沒有被列入國際期刊預警名單,廣大學者值得一試。

中科院分區(qū)(數(shù)據(jù)版本:2023年12月升級版)

大類學科 分區(qū) 小類學科 分區(qū) Top期刊 綜述期刊
計算機科學 4區(qū) COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機:信息系統(tǒng) 4區(qū)

名詞解釋:
中科院分區(qū)也叫中科院JCR分區(qū),基礎版分為13個大類學科,然后按照各類期刊影響因子分別將每個類別分為四個區(qū),影響因子5%為1區(qū),6%-20%為2區(qū),21%-50%為3區(qū),其余為4區(qū)。

中科院分區(qū)(數(shù)據(jù)版本:2022年12月升級版)

大類學科 分區(qū) 小類學科 分區(qū) Top期刊 綜述期刊
計算機科學 4區(qū) COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機:信息系統(tǒng) 4區(qū)

中科院分區(qū)(數(shù)據(jù)版本:2021年12月舊的升級版)

大類學科 分區(qū) 小類學科 分區(qū) Top期刊 綜述期刊
計算機科學 4區(qū) COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機:信息系統(tǒng) 4區(qū)

中科院分區(qū)(數(shù)據(jù)版本:2021年12月基礎版)

大類學科 分區(qū) 小類學科 分區(qū) Top期刊 綜述期刊
工程技術 4區(qū) COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機:信息系統(tǒng) 4區(qū)

中科院分區(qū)(數(shù)據(jù)版本:2021年12月升級版)

大類學科 分區(qū) 小類學科 分區(qū) Top期刊 綜述期刊
計算機科學 4區(qū) COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機:信息系統(tǒng) 4區(qū)

中科院分區(qū)(數(shù)據(jù)版本:2020年12月舊的升級版)

大類學科 分區(qū) 小類學科 分區(qū) Top期刊 綜述期刊
計算機科學 3區(qū) COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機:信息系統(tǒng) 3區(qū)

WOS分區(qū)(數(shù)據(jù)版本:2023-2024年最新版)

按JIF指標學科分區(qū) 收錄子集 分區(qū) 排名 百分位
學科:COMPUTER SCIENCE, INFORMATION SYSTEMS SCIE Q4 237 / 249

5%

按JCI指標學科分區(qū) 收錄子集 分區(qū) 排名 百分位
學科:COMPUTER SCIENCE, INFORMATION SYSTEMS SCIE Q4 237 / 251

5.78%

名詞解釋:
WOS即Web of Science,是全球獲取學術信息的重要數(shù)據(jù)庫,Web of Science包括自然科學、社會科學、藝術與人文領域的信息,來自全世界近9,000種最負盛名的高影響力研究期刊及12,000多種學術會議多學科內(nèi)容。給期刊分區(qū)時會按照某一個學科領域劃分,根據(jù)這一學科所有按照影響因子數(shù)值降序排名,然后平均分成4等份,期刊影響因子值高的就會在高分區(qū)中,最后的劃分結(jié)果分別是Q1,Q2,Q3,Q4,Q1代表質(zhì)量最高。

CiteScore分區(qū)(數(shù)據(jù)版本:2024年最新版)

CiteScore SJR SNIP CiteScore排名
2.4 0.407 1.118
學科 分區(qū) 排名 百分位
大類:Computer Science 小類:Computer Networks and Communications Q3 247 / 395

37%

大類:Computer Science 小類:Information Systems Q3 250 / 394

36%

大類:Computer Science 小類:Software Q3 288 / 407

29%

名詞解釋:
CiteScore:衡量期刊所發(fā)表文獻的平均受引用次數(shù)。
SJR:SCImago 期刊等級衡量經(jīng)過加權后的期刊受引用次數(shù)。引用次數(shù)的加權值由施引期刊的學科領域和聲望 (SJR) 決定。
SNIP:每篇文章中來源出版物的標準化影響將實際受引用情況對照期刊所屬學科領域中預期的受引用情況進行衡量。

其他數(shù)據(jù)

是否OA開放訪問: h-index: 年文章數(shù):
未開放 34 13
Gold OA文章占比: 2021-2022最新影響因子(數(shù)據(jù)來源于搜索引擎): 開源占比(OA被引用占比):
45.00% 0.4 0.44...
研究類文章占比:文章 ÷(文章 + 綜述) 期刊收錄: 中科院《國際期刊預警名單(試行)》名單:
92.31% SCIE

歷年IF值(影響因子):

歷年引文指標和發(fā)文量:

歷年中科院JCR大類分區(qū)數(shù)據(jù):

歷年自引數(shù)據(jù):

發(fā)文統(tǒng)計

2023-2024國家/地區(qū)發(fā)文量統(tǒng)計:

國家/地區(qū) 數(shù)量
GERMANY (FED REP GER) 30
Italy 12
CHINA MAINLAND 11
France 10
England 9
Netherlands 9
USA 7
Belgium 6
Denmark 6
India 6

2023-2024機構(gòu)發(fā)文量統(tǒng)計:

機構(gòu) 數(shù)量
UNIVERSITATSKLINIKUM DES SAARLAN... 8
CENTRE NATIONAL DE LA RECHERCHE ... 7
CHINESE ACADEMY OF SCIENCES 4
TECHNICAL UNIVERSITY OF MUNICH 4
UNIVERSITE LIBRE DE BRUXELLES 4
AALBORG UNIVERSITY 3
CARL VON OSSIETZKY UNIVERSITAT O... 3
EAST CHINA NORMAL UNIVERSITY 3
INRIA 3
INRIA LILLE NORD EUROPE 3

近年引用統(tǒng)計:

期刊名稱 數(shù)量
THEOR COMPUT SCI 41
INT J FOUND COMPUT S 16
J COMPUT SYST SCI 16
ACTA INFORM 14
J ACM 12
INFORM COMPUT 11
FUND INFORM 9
LOG METH COMPUT SCI 8
SIAM J COMPUT 7
J CRYPTOL 6

近年被引用統(tǒng)計:

期刊名稱 數(shù)量
FUND INFORM 27
IEEE ACCESS 24
THEOR COMPUT SCI 24
J LOG ALGEBR METHODS 23
FORM ASP COMPUT 18
SCI COMPUT PROGRAM 17
ACTA INFORM 14
INFORM COMPUT 11
PROC VLDB ENDOW 11
J SYMB COMPUT 10

近年文章引用統(tǒng)計:

文章名稱 數(shù)量
Bounded choice-free Petri net sy... 3
Parikh matrices for powers of wo... 2
Generalized contexts for reactio... 2
Fast deterministic parsers for t... 1
Associative composition of compo... 1
A core calculus for dynamic delt... 1
Algorithms for monitoring real-t... 1
Looking at mean payoff through f... 1
Petri nets are dioids: a new alg... 1
On the decidability of the exist... 1

相關期刊

同小類學科的其他優(yōu)質(zhì)期刊 影響因子 中科院分區(qū)
Journal Of Field Robotics 4.2 2區(qū)
Computer Science Review 13.3 1區(qū)
Computer Networks 4.4 2區(qū)
Journal Of Computational Science 3.1 3區(qū)
Ict Express 4.1 3區(qū)
Computer Speech And Language 3.1 3區(qū)
Neurocomputing 5.5 2區(qū)
Applied Artificial Intelligence 2.9 4區(qū)
International Journal Of Approximate Reasoning 3.2 3區(qū)
Iet Software 1.5 4區(qū)

免責聲明

若用戶需要出版服務,請聯(lián)系出版商:SPRINGER, 233 SPRING ST, NEW YORK , USA, NY, 10013。