來源：學(xué)術(shù)之家整理 2025-03-18 15:37:14
《Acta Informatica》中文名稱：《信息法》，創(chuàng)刊于1971年，由Springer Berlin Heidelberg出版商出版，出版周期Monthly。
Acta Informatica 提供關(guān)于程序、計(jì)算系統(tǒng)和信息結(jié)構(gòu)的設(shè)計(jì)與分析的形式化方法文章的國際傳播，以及理論計(jì)算機(jī)科學(xué)的相關(guān)領(lǐng)域，如自動(dòng)機(jī)理論、計(jì)算機(jī)科學(xué)中的邏輯和算法。
感興趣的主題包括：
? 編程語言的語義
? 并發(fā)、分布式、反應(yīng)式和移動(dòng)系統(tǒng)的模型和建模語言
? 定時(shí)、混合和概率系統(tǒng)的模型和建模語言
? 規(guī)范、程序分析和驗(yàn)證
? 模型檢查和定理證明
? 模態(tài)、時(shí)間、一階和高階邏輯及其變體
? 約束邏輯、SAT/SMT 求解技術(shù)
? 數(shù)據(jù)庫、半結(jié)構(gòu)化數(shù)據(jù)和有限模型理論的理論方面
? 人工智能的理論方面，知識(shí)表示、描述邏輯
? 自動(dòng)機(jī)理論、形式語言、術(shù)語和圖形重寫
? 基于游戲的模型、綜合
? 類型理論、類型演算
? 代數(shù)、余代數(shù)和分類方法
? 性能、可靠性和可靠性分析的形式化方面
? 信息和網(wǎng)絡(luò)安全基礎(chǔ)
? 并行、分布式和隨機(jī)算法
? 算法的設(shè)計(jì)和分析
? 網(wǎng)絡(luò)和通信協(xié)議基礎(chǔ)。
旨在及時(shí)、準(zhǔn)確、全面地報(bào)道國內(nèi)外COMPUTER SCIENCE, INFORMATION SYSTEMS工作者在該領(lǐng)域的科學(xué)研究等工作中取得的經(jīng)驗(yàn)、科研成果、技術(shù)革新、學(xué)術(shù)動(dòng)態(tài)等。
| 機(jī)構(gòu)名稱 | 發(fā)文量 |
| UNIVERSITATSKLINIKUM DE... | 8 |
| CENTRE NATIONAL DE LA R... | 7 |
| CHINESE ACADEMY OF SCIE... | 4 |
| TECHNICAL UNIVERSITY OF... | 4 |
| UNIVERSITE LIBRE DE BRU... | 4 |
| AALBORG UNIVERSITY | 3 |
| CARL VON OSSIETZKY UNIV... | 3 |
| EAST CHINA NORMAL UNIVE... | 3 |
| INRIA | 3 |
| INRIA LILLE NORD EUROPE | 3 |
| 國家/地區(qū) | 發(fā)文量 |
| GERMANY (FED REP GER) | 30 |
| Italy | 12 |
| CHINA MAINLAND | 11 |
| France | 10 |
| England | 9 |
| Netherlands | 9 |
| USA | 7 |
| Belgium | 6 |
| Denmark | 6 |
| India | 6 |
| 文章引用名稱 | 引用次數(shù) |
| Bounded choice-free Petri ne... | 3 |
| Parikh matrices for powers o... | 2 |
| Generalized contexts for rea... | 2 |
| Fast deterministic parsers f... | 1 |
| Associative composition of c... | 1 |
| A core calculus for dynamic ... | 1 |
| Algorithms for monitoring re... | 1 |
| Looking at mean payoff throu... | 1 |
| Petri nets are dioids: a new... | 1 |
| On the decidability of the e... | 1 |
| 被引用期刊名稱 | 數(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 |
| 引用期刊名稱 | 數(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 |
聲明：該作品系作者結(jié)合互聯(lián)網(wǎng)公開知識(shí)整合。如有錯(cuò)漏請(qǐng)聯(lián)系我們，我們將及時(shí)更正。
