Formal Aspects of Computing

Aims & Scope

This journal aims to publish contributions at the junction of theory and practice.

The objective is to disseminate applicable research.

Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.

In particular, the scope of Formal Aspects of Computing includes: well-founded notations for the description of systems; verifiable design methods; elucidation of fundamental computational concepts; approaches to fault-tolerant design; theorem-proving support; state-exploration tools; formal underpinning of widely used notations and methods; formal approaches to requirements analysis.

View Aims & Scope

---

Metrics & Ranking

Impact Factor

Year	Value
2025	1.4
2024	1.40

Journal Rank

Year	Value
2024	12364

Journal Citation Indicator

Year	Value
2024	130

SJR (SCImago Journal Rank)

Year	Value
2024	0.462

Quartile

Year	Value
2024	Q3

h-index

Year	Value
2024	45

---

---

Abstracting & Indexing

Journal is indexed in leading academic databases, ensuring global visibility and accessibility of our peer-reviewed research.

• Scopus
• Google Scholar
• Web of Science

---

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Computer Science and Mathematics, designed to support cutting-edge academic discovery.

---

Most Cited Articles

The Most Cited Articles section features the journal's most impactful research, based on citation counts. These articles have been referenced frequently by other researchers, indicating their significant contribution to their respective fields.

• A logic for reasoning about time and reliability

  Citation: 971

  Authors: Hans, Bengt

• A New Approach to Abstract Syntax with Variable Binding

  Citation: 319

  Authors: Murdoch J., Andrew M.

• Soundness of workflow nets: classification, decidability, and analysis

  Citation: 267

  Authors: W. M. P., K. M., A. H. M., N., H. M. W., M., M. T.

• Frama-C: A software analysis perspective

  Citation: 247

  Authors: Florent, Nikolai, Virgile, Julien, Boris

• Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker

  Citation: 189

  Authors: Diego, Istvan, Mieke

• Real time process algebra

  Citation: 160

  Authors: J. C. M., J. A.

• Safety, liveness and fairness in temporal logic

  Citation: 155

  Authors: A. Prasad

• Inductive families

  Citation: 127

  Authors: Peter

• Institution Morphisms

  Citation: 126

  Authors: Joseph, Grigore

• The ASM Refinement Method

  Citation: 105

  Authors: Egon

---