Formal Aspects of Computing
ISSN 0934-5043 · Springer Science+Business Media · United States · active 1975–2026
Metrics
- Scimago quartile (2025)
- Q3
- Cites per paper (2y)
- 12.5
- SJR
- 0.315
- h-index
- 66
“Cites per paper” is a two-year cited-by rate computed from OpenAlex. It is not a Clarivate Journal Impact Factor — we neither compute nor license that metric (how the two differ). Citation rates differ enormously between fields, so compare within a discipline. What the other figures mean: journal quartile, SJR, h-index and article processing charge.
Data as of 25 October 2026 (venue index build).
Scimago Journal Rank 2025
In the Scimago Journal Rank 2025 edition, Formal Aspects of Computing is Q3 in all 2 of its subject categories.
| Subject category | Quartile | Rank in category |
|---|---|---|
| Theoretical Computer Science | Q3 | #95 of 128 |
| Software | Q3 | #254 of 392 |
- Cites per document (2 years, Scopus)
- 1.20
- Documents indexed in 2025 (Scopus)
- 23
OpenAlex counts about 12.5 citations per paper over two years; Scopus, through Scimago, counts 1.20 per document. The two databases index different journals, documents and citations, so the figures differ. Neither is a Clarivate Journal Impact Factor.
The quartile is the one Scimago prints for each category. Rank is the journal's position by SJR among the journals Scimago lists in that category (#1 is the highest); “—” means we hold no rank consistent with that quartile. The document count is what Scopus indexed that year, which can be lower than a journal's full output. Source: SCImago Journal Rank 2025 edition, from Scopus data (scimagojr.com, CC BY-NC).
Formal Aspects of Computing is Q3 in all 2 of its Scimago subject categories (2025 edition; best category Theoretical Computer Science: Q3, #95 of 128), with SJR 0.315 (Scimago) and an h-index of 66 (OpenAlex). Listed in Scopus, Web of Science.
Is this the right journal for your paper?
The AI Journal Finder ranks the best-matched journals for your paper’s topic — with tier, open access, citation rate and predatory flags. Free to start.
Indexing & access
- Indexed in
- ScopusWeb of Science
- Access status:
- hybrid. Where this comes from publisher-level signals rather than works-level data it is a heuristic — confirm on the journal’s own site, especially regarding any article processing charge.
Scope
Frequently asked
Is Formal Aspects of Computing a predatory journal?
Our screening does not flag Formal Aspects of Computing. That is not a guarantee of quality — it means the venue is not on Beall's archive (frozen since 2017) and does not match our name-pattern heuristic. It is listed in Scopus, Web of Science, which is a positive signal.
Is Formal Aspects of Computing indexed in Scopus or Web of Science?
Per our venue index, Formal Aspects of Computing appears in: Scopus, Web of Science. Index membership changes over time — confirm on the index's own site before relying on it.
What is the impact factor of Formal Aspects of Computing?
Papers in Formal Aspects of Computing are cited about 12.5 times each within two years of publication, and Scimago places it in Q3, with an h-index of 66. Those are the open equivalents: the Clarivate Journal Impact Factor is a proprietary metric we neither compute nor license, so we show the two-year citation rate and Scimago quartile instead — they answer the same question of how heavily the journal is cited. A citation rate is a property of a field as much as of a journal.
What Scimago quartile is Formal Aspects of Computing (Q1, Q2, Q3, or Q4)?
In the Scimago Journal Rank 2025 edition, Formal Aspects of Computing is Q3 in all 2 of its subject categories. By category: Theoretical Computer Science: Q3, #95 of 128; Software: Q3, #254 of 392. Quartiles split the journals in a subject category into four equal groups by SJR, so Q1 is the most-cited quarter and Q4 the least; Formal Aspects of Computing is cited about 12.5 times per paper over two years, with an h-index of 66.
What is the Web of Science (JCR) quartile of Formal Aspects of Computing?
The Web of Science quartile comes from Clarivate's Journal Citation Reports (JCR), a proprietary product we neither license nor compute — so we cannot state a JCR quartile for Formal Aspects of Computing. The open equivalent is its Scimago quartile, Q3, derived from Scopus citation data. Because JCR ranks against Web of Science and Scimago against Scopus, the two can differ, so check Clarivate's site directly if you need the JCR quartile specifically.
Is Formal Aspects of Computing open access?
Our index records its access status as "hybrid". Where this is derived from publisher-level signals rather than works-level data it is a heuristic, so confirm on the journal's own site — particularly if an article processing charge matters to you.
Ready to submit? Tools for your next paper
Similar venues
- ACM Transactions on Information SystemsQ1
- Information FusionQ1 · Elsevier BV
- Archives of Computational Methods in EngineeringQ1 · Springer Science+Business Media
- PRX QuantumQ1 · American Physical Society
- Artificial Life and RoboticsQ3 · Springer Science+Business Media
- Linear Algebra and its ApplicationsQ1 · Elsevier BV
Compare it with its peers: Ranked Artificial Intelligence journals — ranked by Scimago quartile and cites per paper, predatory venues excluded.