來源：學術之家整理 2025-03-18 15:37:14
《Acta Informatica》中文名稱：《信息法》，創(chuàng)刊于1971年，由Springer Berlin Heidelberg出版商出版，出版周期Monthly。
Acta Informatica 提供關于程序、計算系統(tǒng)和信息結構的設計與分析的形式化方法文章的國際傳播，以及理論計算機科學的相關領域，如自動機理論、計算機科學中的邏輯和算法。
感興趣的主題包括：
? 編程語言的語義
? 并發(fā)、分布式、反應式和移動系統(tǒng)的模型和建模語言
? 定時、混合和概率系統(tǒng)的模型和建模語言
? 規(guī)范、程序分析和驗證
? 模型檢查和定理證明
? 模態(tài)、時間、一階和高階邏輯及其變體
? 約束邏輯、SAT/SMT 求解技術
? 數(shù)據(jù)庫、半結構化數(shù)據(jù)和有限模型理論的理論方面
? 人工智能的理論方面，知識表示、描述邏輯
? 自動機理論、形式語言、術語和圖形重寫
? 基于游戲的模型、綜合
? 類型理論、類型演算
? 代數(shù)、余代數(shù)和分類方法
? 性能、可靠性和可靠性分析的形式化方面
? 信息和網(wǎng)絡安全基礎
? 并行、分布式和隨機算法
? 算法的設計和分析
? 網(wǎng)絡和通信協(xié)議基礎。
旨在及時、準確、全面地報道國內(nèi)外COMPUTER SCIENCE, INFORMATION SYSTEMS工作者在該領域的科學研究等工作中取得的經(jīng)驗、科研成果、技術革新、學術動態(tài)等。
| 機構名稱 | 發(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 |
聲明：該作品系作者結合互聯(lián)網(wǎng)公開知識整合。如有錯漏請聯(lián)系我們，我們將及時更正。
