verified SJR 0,462 · Q3 • database Scopus / SJR & Web of Science indexed

United States · Association for Computing Ma...

workspace_premium Q3 — Software lock_open Open Access Unclaimed

Formal Aspects of Computing

Formal Aspects of Computing is a journal indexed in SJR in Software and Theoretical Computer Science with an H index of 45. It has a price of 2190 €. It has an SJR impact factor of 0,462 and it has a best quartile of Q3. It is published in English. It has an SJR impact factor of 0,462.

ISSN: 0934-5043

Editorial: Association for Computing Machinery (ACM)

Category: Software

Indexation: verifiedScopus / SJR verifiedWeb of Science

Unclaimed profile — some fields may be incomplete.

open_in_new Portal NPD menu_book Guidelines NPD

schedule Datos CoP · solo campos en BD

SJR Impact Factor trending_up

0,462 Q3

H-index 45

Tasa de Aceptación pie_chart

32%

Fuente Acceptance_Rate

Tiempo a publicación hourglass_top

NPD

Campo Sin dato

Coste de Publicación (APC) payments

2.190 € Open Access

Ruta Non-OA 0 €

Metrics

Campos Scimago / CoP — sin series inventadas

Scopus / SJR Web of Science

SJR Impact

0,462

H-index

Docs (year)

Docs 3y

Total refs

1203

Cites 3y

130

Citable 3y

Cites/Doc 2y

1.36

Ref/Doc

46.27

Immediate OA

2190 €

Embargoed OA

NPD

Non OA / Submission

0 €

shield Researcher voice

Name good journals. Call out predatory ones.

Share what peer review, fees, and timelines were really like. Praise fair editors. Flag APC traps, fake metrics, or spam solicitations — with facts from your submission.

Fair & fast peer review Clear APC / no surprise fees Suspected predatory Fake impact claims

rate_review Write an honest review

Researcher reviews

sentiment_dissatisfied No reviews yet — be the first to share an honest experience.

Publication speed *

Review quality *

Edition and editorial team *

Institutional email or ORCID * * Only to validate authenticity — identity is not shown publicly.

Best articles by citations

An Introduction to Real-Time Object-Z

X-machines and the halting problem: Building a super-turing machine

Combining Component Specifications in Object-Z and CSP

Chain properties of rule closures

But What if I Don't Want to Wait Forever?

Branching versus linear logics yet again

Book reviews

Barrier synchronisation: Axiomatisation and relaxation

Axioms and models of linear logic

Automated analysis of mutual exclusion algorithms using CCS

Architectural Specifications in CASL

ArcAngel: a Tactic Language for Refinement

SHOW MORE ARTICLES

An Overview of the Integrated Formalism RT-Z

A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science

Algebraic Composition of Function Tables

Actors and their Composition

Abstraction and Testing in CSP

Abstract Data Types Can Have Inequations 1

A Semantics for Distributed Execution of Statemate

A Refinement Strategy for Circus

A refinement calculus for specifications in Hennessy-Milner logic with recursion

A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol

A Logic for Schema-Based Program Development

A logic for Miranda

FAQS

In Country of Papers you can find SJR impact factor and other metrics to help you decide on a Journal.