A natural deduction system for the Byzantine Generals Oral Messages algorithm
- Dennis M. Volpano
Research
Open access
16 June 2026
Article: 22
Overview
Acta Informatica provides international dissemination of original papers in all areas covering the mathematical foundations of Computer Science
- Editor-In-Chief
-
- Henning Fernau
Journal metrics
- Journal Impact Factor
- 0.5 (2024)
- 5-year Journal Impact Factor
- 0.8 (2024)
- Submission to first decision (median)
- 11 days
- Downloads
- 89.9k (2025)
Latest articles
-
-
Upper bound for output patterns of energy-bounded boolean circuits, and its applications
- Jayalal Sarma
- Kei Uchizawa
Research 16 June 2026 Article: 21 -
A couple of simple algorithms for k-dispersion
- Ke Chen
- Adrian Dumitrescu
Research Open access 16 June 2026 Article: 20 -
Open packing in interval graphs
- M. Shalu
- V. K. Kirubakaran
Research 12 June 2026 Article: 19 -
Expressivity of asynchronous TeamLTL and HyperLTL
- Juha Kontinen
- Max Sandström
- Jonni Virtema
Research Open access 26 May 2026 Article: 18
This journal has
94 open access articles
Journal updates
-
-
-
Topical Collections - Call for Papers
We welcome manuscript submissions for the upcoming topical collections of Acta Informatica. Please note that deadlines are always meant as Anywhere on Earth (AoE).
Journal information
- Electronic ISSN
- 1432-0525
- Print ISSN
- 0001-5903
- Abstracted and indexed in
-
- ACM Digital Library
- BFI List
- Baidu
- CLOCKSS
- CNKI
- CNPIEC
- Chinese Academy of Medical Science (CAMS)
- Current Contents/Engineering, Computing and Technology
- DBLP
- Dimensions
- EBSCO
- EI Compendex
- Google Scholar
- INSPEC
- Japanese Science and Technology Agency (JST)
- Mathematical Reviews
- Naver
- Norwegian Register for Scientific Journals and Series
- OCLC WorldCat Discovery Service
- Ovid Discovery
- Portico
- ProQuest
- SCImago
- SCOPUS
- Science Citation Index Expanded (SCIE)
- TD Net Discovery Service
- Wanfang
- eLibrary.ru
- zbMATH
- © Springer-Verlag GmbH Germany, part of Springer Nature