SCIESCOPUSQ3
FORMAL ASPECTS OF COMPUTING
ASSOC COMPUTING MACHINERY, United States
FORMAL ASPECTS OF COMPUTING is an academic journal published by ASSOC COMPUTING MACHINERY (United States). Identifiers: ISSN 0934-5043, eISSN 1433-299X. Indexed in SCIE, SCOPUS. Metrics: JIF 1.4, CiteScore 3.7, SJR 0.462, SNIP 0.87. Subject areas: COMPUTER SCIENCE, COMPUTER SCIENCE, SOFTWARE ENGINEERING, SOFTWARE ENGINEERING. tlooto lists 1,385 papers from this journal.
CiteScore
3.70
Scopus citation metric
SJR
0.462
SCImago rank
SNIP
0.87
Source normalized impact
Percentage rank
-
JIF percentile rank
Journal profile
- ISSN
- 0934-5043
- eISSN
- 1433-299X
- Abbreviation
- FORM ASP COMPUT
- Publisher
- ASSOC COMPUTING MACHINERY
- Country
- United States
Web of Science categories
SCIECOMPUTER SCIENCE, SOFTWARE ENGINEERING
Scopus ASJC categories
17122614 Theoretical Computer Science
Keywords
Computer Science, Software Engineering
Papers in this journal
Recent papers
- Remembering Jean-Raymond Abrial
2026 · 1 citations
- Tony Hoare: In Memoriam
2026
- Analysing a Library of Concurrency Primitives using CSP
2026
- Jean-Raymond Abrial (1938 – 2025) Pioneer of Formal Methods and Inventor of the B Method. An Obituary
2026 · 1 citations
- Malware Analysis through Behavior Formalization
2026
Most cited papers
- A logic for reasoning about time and reliability
1990 · 1,464 citations
- An Introduction to Input/Output Automata
1989 · 961 citations
- Building a push-button RESOLVE verifier: Progress and challenges
2011 · 896 citations
- A New Approach to Abstract Syntax with Variable Binding
2002 · 641 citations
- Frama-C: A software analysis perspective
2015 · 580 citations