ISSN: 0934-5043

Journal Home

Journal Guideline

Formal Aspects of Computing Q3 Unclaimed

Association for Computing Machinery (ACM) United States

Unfortunately this journal has not been claimed yet. For this reason, some information may be unavailable.

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

Type: Journal

Type of Copyright:

Languages: English

Open Access Policy: Open Choice

Type of publications:

Publication frecuency: -

Categories: Software (Q3) Theoretical Computer Science (Q3)

Price

2190 €

Inmediate OA

NPD

Embargoed OA

0 €

Non OA

Metrics

0,518

SJR Impact factor

44

H Index

23

Total Docs (Last Year)

72

Total Docs (3 years)

805

Total Refs

125

Total Cites (3 years)

64

Citable Docs (3 years)

1.84

Cites/Doc (2 years)

35.0

Ref/Doc

Comments

No comments ... Be the first to comment!

Publication speed *

Review quality *

Edition and editorial team *

Institutional email or ORCID *

* The email or ORCID field is only to validate the authenticity of the comment, the identity will not be public. .

Other journals with similar parameters

Journal of Experimental and Theoretical Artificial Intelligence Q3
Journal of Functional Programming Q3
Journal of Intelligent Systems Q3
International Journal of Innovative Computing, Information and Control Q3
International Journal of Parallel Programming Q3

Compare this journals

Aims and Scope

Best articles by citations

Responsiveness of interoperating components

Rod Burstall: A Personal Note

Exploring Tabular Verification and Refinement

Intensional and Extensional Semantics of Dataflow Programs

Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV

Three Inadequate Models

Linear Approximation of Execution-Time Constraints

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

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

Process simulation and refinement

Refinement concepts formalised in higher order logic

The projection of systolic programs

SHOW MORE ARTICLES

Development methods for trusted computer systems

Encoding, Decoding and Data Refinement

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

An Introduction to Real-Time Object-Z

Branching versus linear logics yet again

A logic for Miranda

A Logic for Schema-Based Program Development

Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic

Barrier synchronisation: Axiomatisation and relaxation

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

Program development in the constructive set theory TK

Meta-interpreters and partial evaluation in Parlog