All fields · Control and Systems Engineering
JournalQ3· SCImago 2025
Formal Aspects of Computing
ISSN 0934-5043
- Q3Quartile
- 46h-index
- 1papers summarised
About this journal
Formal Aspects of Computing is a Q3 journal by SCImago Journal Rank (2025 data) and an h-index of 46. Most of its papers in the Pofolia pool fall under Control and Systems Engineering. Pofolia holds AI summaries of 1 paper(s) from this journal; the most cited is “An Introduction to Input/Output Automata” (1020 citations).
The quartile (Q1–Q4) is the journal's percentile position within its subject area by SCImago Journal Rank; Q1 is the top 25%. What is a Q1 journal?
Papers we summarise from this journal
- An Introduction to Input/Output Automata2026 · 1020 citations
Journals in the same field
| Journal | Quartile | SJR | Summaries |
|---|---|---|---|
| IEEE Communications Surveys and Tutorials | Q1 | 14.00 | 1 |
| IEEE Transactions on Smart Grid | Q1 | 4.00 | 3 |
| IEEE Transactions on Power Systems | Q1 | 4.00 | 1 |
| IEEE Transactions on Automatic Control | Q1 | 3.00 | 9 |
| Renewable and Sustainable Energy Reviews | Q1 | 3.00 | 1 |
| IEEE Transactions on Cybernetics | Q1 | 3.00 | 1 |
| IEEE Transactions on Industrial Electronics | Q1 | 2.00 | 8 |
| IEEE Transactions on Power Electronics | Q1 | 2.00 | 5 |
| International Journal of Robotics Research | Q1 | 2.00 | 2 |
| IEEE Transactions on Industrial Informatics | Q1 | 2.00 | 2 |
See every journal in the field →
Follow these journals on Pofolia
Pick your fields and new papers from their journals land in your feed every day with AI summaries. Free.
Start free