EPiC series in computing
Published by EasyChair,
United Kingdom · Formal Methods in Verification
Journal at a glance
- ISSN
- 2398-7340 (electronic)
- Publisher
- EasyChair,
- Country
- United Kingdom
- Language
- en
Also known as: Epic Ser Comput (Abbreviation)
Metrics
| Metric | Value | Year | Source |
|---|
| Works (OpenAlex) | 1697 | 2026 | OpenAlex |
| h-index (OpenAlex) | 29 | 2026 | OpenAlex |
| i10-index (OpenAlex) | 200 | 2026 | OpenAlex |
| 2-year mean citedness (OpenAlex) | 0.692 | 2026 | OpenAlex |
| Citations (OpenAlex) | 7167 | 2026 | OpenAlex |
Subjects
- Formal Methods in Verification
- Logic, programming, and type systems
- Logic, Reasoning, and Knowledge
- Semantic Web and Ontologies
- Software Testing and Debugging Techniques
- Advanced Algebra and Logic
- Natural Language Processing Techniques
Similar journals
- Logics — Open access · Same subject: Advanced Algebra and Logic, Same subject: Formal Methods in Verification, 6 shared subjects in total
- Journal of logic, language, and information — Kingdom of the Netherlands · — · Same subject: Advanced Algebra and Logic, Same subject: Logic, Reasoning, and Knowledge, 5 shared subjects in total
- Fundamenta informaticae — Kingdom of the Netherlands · — · Same subject: Advanced Algebra and Logic, Same subject: Formal Methods in Verification, 4 shared subjects in total
- Logical Methods in Computer Science — Germany · Open access · Same subject: Advanced Algebra and Logic, Same subject: Formal Methods in Verification, 4 shared subjects in total
- Computational intelligence — United Kingdom · — · Same subject: Logic, Reasoning, and Knowledge, Same subject: Natural Language Processing Techniques, 3 shared subjects in total, Same country
- Information and computation — United States · — · Same subject: Formal Methods in Verification, Same subject: Logic, Reasoning, and Knowledge, 3 shared subjects in total
Sources: OpenAlex, NLM Catalog · Last verified 2026-09-06
Journal homepage