Scientific Annals of Computer Science
Published by Editura Universitatii Alexandru Ioan Cuza din Iasi
Open access · CC BY · In DOAJ · Romania · Logic, programming, and type systems
Journal at a glance
- ISSN
- 1843-8121, 2248-2695 (electronic)
- Publisher
- Editura Universitatii Alexandru Ioan Cuza din Iasi
- Country
- Romania
- Language
- en
- License
- CC BY
Indexing
Metrics
| Metric | Value | Year | Source |
|---|
| DOIs registered (Crossref) | 154 | 2026 | Crossref |
| DOIs, current year (Crossref) | 26 | 2026 | Crossref |
| h-index (OpenAlex) | 12 | 2026 | OpenAlex |
| i10-index (OpenAlex) | 17 | 2026 | OpenAlex |
| 2-year mean citedness (OpenAlex) | 1.464 | 2026 | OpenAlex |
| Works (OpenAlex) | 167 | 2026 | OpenAlex |
| Citations (OpenAlex) | 552 | 2026 | OpenAlex |
Subjects
- Logic, programming, and type systems
- Formal Methods in Verification
- semigroups and automata theory
- Advanced Algebra and Logic
- Logic, Reasoning, and Knowledge
- Computability, Logic, AI Algorithms
- Graph theory and applications
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
Similar journals
- Logical Methods in Computer Science — Germany · Open access · Same subject: Advanced Algebra and Logic, Same subject: Computability, Logic, AI Algorithms, 6 shared subjects in total
- Fundamenta informaticae — Kingdom of the Netherlands · — · Same subject: Advanced Algebra and Logic, Same subject: Formal Methods in Verification, 5 shared subjects in total
- Archive for mathematical logic — Germany · — · Same subject: Advanced Algebra and Logic, Same subject: Computability, Logic, AI Algorithms, 5 shared subjects in total
- Logic journal of the IGPL — United Kingdom · — · Same subject: Advanced Algebra and Logic, Same subject: Formal Methods in Verification, 5 shared subjects in total
- Information and computation — United States · — · Same subject: Formal Methods in Verification, Same subject: Logic, Reasoning, and Knowledge, 4 shared subjects in total
- Acta informatica — Germany · — · Same subject: Formal Methods in Verification, Same subject: Logic, Reasoning, and Knowledge, 4 shared subjects in total
Sources: DOAJ, OpenAlex, Crossref · Last verified 2026-09-06
Journal homepage · Author guidelines