IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools

Search About Journals, Conferences, and Book Series

Formal Aspects of Computing

Impact, Factor and Metrics, Impact Score, Ranking, h-index, SJR, Rating, Publisher, ISSN, and More

Last Updated on October 31, 2023

Impact Score

2022-2023

1.30

h-Index

2022-2023

 43

Rank

2022-2023

 7319

SJR

2022-2023

 0.684

Note: The impact score or impact index shown here is equivalent to the average number of times documents published in a journal/conference in the past two years have been cited in the current year (i.e., Cites / Doc. (2 years)). It is based on Scopus data and can be a little higher or different compared to the impact factor (IF) produced by Journal Citation Report. Please refer to the Web of Science data source to check the exact journal impact factor ™ (Thomson Reuters) metric.

Important Metrics and Factor

Title Formal Aspects of Computing
Abbreviation Form. Asp. Comput.
Publication Type Journal
Subject Area, Categories, Scope Software (Q2); Theoretical Computer Science (Q2)
h-index 43
Overall Rank/Ranking 7319
SCImago Journal Rank (SJR) 0.684
Impact Score 1.30
Publisher Association for Computing Machinery (ACM)
Country United States
ISSN 09345043, 1433299X
Best Quartile Q2
Coverage History 1989-2021




Aim and 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.

The term "formal methods" has been applied to a range of notations, theories and tools. There is no doubt that some of these have already had a significant impact on practical applications of computing. Indeed, it is interesting to note that once something is adopted into practical use it is no longer thought of as a formal method.


About Formal Aspects of Computing


Formal Aspects of Computing is a journal covering the technologies/fields/categories related to Software (Q2); Theoretical Computer Science (Q2). It is published by Association for Computing Machinery (ACM). The overall rank of Formal Aspects of Computing is 7319. According to SCImago Journal Rank (SJR), this journal is ranked 0.684. SCImago Journal Rank is an indicator, which measures the scientific influence of journals. It considers the number of citations received by a journal and the importance of the journals from where these citations come. SJR acts as an alternative to the Journal Impact Factor (or an average number of citations received in last 2 years). This journal has an h-index of 43. The best quartile for this journal is Q2.

The ISSN of Formal Aspects of Computing journal is 09345043, 1433299X. An International Standard Serial Number (ISSN) is a unique code of 8 digits. It is used for the recognition of journals, newspapers, periodicals, and magazines in all kind of forms, be it print-media or electronic. Formal Aspects of Computing is cited by a total of 136 articles during the last 3 years (Preceding 2022).


Formal Aspects of Computing Impact IF 2022-2023


The Impact IF 2022 of Formal Aspects of Computing is 1.30, which is computed in 2023 as per its definition. Formal Aspects of Computing IF is increased by a factor of 0.03 and approximate percentage change is 2.36% when compared to preceding year 2021, which shows a rising trend. The impact IF, also denoted as Journal impact score (JIS), of an academic journal is a measure of the yearly average number of citations to recent articles published in that journal. It is based on Scopus data.

Table Setting

Formal Aspects of Computing Impact IF 2023 Prediction


Impact IF 2022 of Formal Aspects of Computing is 1.30. If the same upward trend persists, Impact IF may rise in 2023 as well.


Impact IF Trend


Year wise Impact IF of Formal Aspects of Computing. Based on Scopus data.


Year Impact IF
2023/2024 Coming Soon
2022 1.30
2021 1.27
2020 1.50
2019 1.21
2018 1.63
2017 1.77
2016 1.44
2015 0.92
2014 1.56

Formal Aspects of Computing h-index


  Table Setting

Formal Aspects of Computing has an h-index of 43. It means 43 articles of this journal have more than 43 number of citations. The h-index is a way of measuring the productivity and citation impact of the publications. The h-index is defined as the maximum value of h such that the given journal/author has published h papers that have each been cited at least h number of times.




Formal Aspects of Computing ISSN


The ISSN of Formal Aspects of Computing is 09345043, 1433299X. ISSN stands for International Standard Serial Number.

An ISSN is a unique code of 8 digits. It is used for the recognition of journals, newspapers, periodicals, and magazines in all kind of forms, be it print-media or electronic.

Table Setting

Formal Aspects of Computing Rank and SCImago Journal Rank (SJR)


The overall rank of Formal Aspects of Computing is 7319. According to SCImago Journal Rank (SJR), this journal is ranked 0.684. SCImago Journal Rank is an indicator, which measures the scientific influence of journals. It considers the number of citations received by a journal and the importance of the journals from where these citations come.

SJR of Formal Aspects of Computing by Year


Year SJR
2023/2024 Coming Soon
2022 0.684
2021 0.508
2020 0.366
2019 0.329
2018 0.430
2017 0.377
2016 0.411
2015 0.421
2014 0.690

Ranking of Formal Aspects of Computing by Year


Year Ranking
2023/2024 Coming Soon
2022 7319
2021 9845
2020 12934
2019 13470
2018 10719
2017 11378
2016 10804
2015 10519
2014 6744

Formal Aspects of Computing Publisher


Table Setting

Formal Aspects of Computing is published by Association for Computing Machinery (ACM). It's publishing house is located in United States. Coverage history of this journal is as following: 1989-2021. The organization or individual who handles the printing and distribution of printed or digital publications is known as Publisher.


Call For Papers


Visit the official website of the journal/conference to check the further details about the call for papers.


Abbreviation


The IS0 4 standard abbreviation of Formal Aspects of Computing is Form. Asp. Comput.. This abbreviation ('Form. Asp. Comput.') is well recommended and approved for the purpose of indexing, abstraction, referencing and citing goals. It meets all the essential criteria of ISO 4 standard.

ISO 4 (International Organization for Standardization 4) is an international standard that defines a uniform and consistent system for abbreviating serial publication titles and journals.


How to publish in Formal Aspects of Computing


If your research field is/are related to Software (Q2); Theoretical Computer Science (Q2), then please visit the official website of this journal.


Acceptance Rate


The acceptance rate/percentage of any academic journal/conference depends upon many parameters. Some of the critical parameters are listed below.

  • The demand or interest of researchers/scientists in publishing in a specific Journal/Conference.
  • Peer review complexity and timeline.
  • The mix of unsolicited and invited submissions.
  • The time it takes from manuscript submission to final publication.
  • And Many More.

It is essential to understand that the acceptance rate/rejection rate of papers varies among journals. Some Journals considers all the manuscripts submissions as a basis of acceptance rate computation. On the other hand, few consider the only manuscripts sent for peer review or few even not bother about the accurate maintenance of total submissions. Hence, it can provide a rough estimation only.

The best way to find out the acceptance rate is to reach out to the associated editor or to check the official website of the Journal/Conference.



Frequently Asked Questions (FAQs)


What's the latest impact IF of the Formal Aspects of Computing?

Formal Aspects of Computing latest impact IF is 1.30. It's evaluated in the year 2022. The highest and the lowest impact IF or impact score of this journal are 1.77 (2017) and 0.92 (2015), respectively, in the last 9 years. Moreover, its average IS is 1.4 in the previous 9 years.


What's the SCImago Journal Rank (SJR) of the Formal Aspects of Computing?

The Formal Aspects of Computing has an SJR (SCImago Journal Rank) of 0.684, according to the latest data. It is computed in the year 2023. In the past 9 years, this journal has recorded a range of SJR, with the highest being 0.690 in 2014 and the lowest being 0.329 in 2019. Furthermore, the average SJR of the Formal Aspects of Computing over the previous 9-year period stands at 1.4.


What's the latest h-index of the Formal Aspects of Computing?

The latest h-index of the Formal Aspects of Computing is 43.


Who's the publisher of the Formal Aspects of Computing?

The Formal Aspects of Computing is published by the Association for Computing Machinery (ACM), with its country of publication being the United States.


What's the current ranking of the Formal Aspects of Computing?

The Formal Aspects of Computing is currently ranked 7319 out of 27955 Journals, Conferences, and Book Series in the latest ranking. Over the course of the last 9 years, this journal has experienced varying rankings, reaching its highest position of 6744 in 2014 and its lowest position of 13470 in 2019.


What's the abbreviation or short name for the Formal Aspects of Computing?

The standard ISO4 abbreviation for the Formal Aspects of Computing is Form. Asp. Comput..


Is the "Formal Aspects of Computing" classified as a Journal, Conference and Proceedings, Trade Journal or Book Series?

Formal Aspects of Computing is classified as a journal that the Association for Computing Machinery (ACM) publishes.


What's the scope or major areas of the Formal Aspects of Computing?

The Formal Aspects of Computing encompasses the following areas:

  • Software
  • Theoretical Computer Science

For a more comprehensive understanding of its scope, check the official website of this journal.


What's the ISSN of the Formal Aspects of Computing?

The Formal Aspects of Computing is assigned the following International Standard Serial Numbers (ISSN): 09345043, 1433299X.


What's the best quartile of the Formal Aspects of Computing?

The best quartile for the Formal Aspects of Computing is Q2 (2022).


What's the coverage history of the Formal Aspects of Computing?

The Formal Aspects of Computing coverage history can be summarized as follows: 1989-2021.


Credits and Sources


  • Scimago Journal & Country Rank (SJR), https://www.scimagojr.com/
  • Journal Impact Factor, https://clarivate.com/



Impact Score, h-Index, and Other Important Details of These Journals, Conferences, and Books


Journal/Conference/Workshop/Book Title Type Ranking Publisher h-index Impact Score
Zeitschrift fur Germanistische Linguistik journal 22945 De Gruyter Mouton 15 0.19
Applied Ecology and Environmental Research journal 17545 Corvinus University of Budapest 38 0.74
SPE Production and Operations Symposium, Proceedings conference and proceedings 15907 21 0.00
Proceedings of the International Symposium on Power Semiconductor Devices and ICs conference and proceedings 7015 49 2.14
Revue Francophone des Laboratoires (discontinued) journal 23244 Elsevier Masson s.r.l. 8 0.00
Qualitative Research journal 2108 SAGE Publications Ltd 86 3.97
Mathematical Modelling and Analysis journal 11315 Vilnius Gediminas Technical University 27 1.75
Journal, Indian Academy of Clinical Medicine journal 24608 Indian Academy of Clinical Medicine 16 0.06
British Journal of Special Education journal 12024 Wiley-Blackwell Publishing Ltd 42 1.24
Natural Solutions trade journal 28581 Innovision Health Media 1 0.00

Check complete list




Year wise Impact Score (IS) of Formal Aspects of Computing

Impact Score Table

Year Impact Score (IS)
2023/2024 Coming Soon
2022 1.30
2021 1.27
2020 1.50
2019 1.21
2018 1.63
2017 1.77
2016 1.44
2015 0.92
2014 1.56



Top Journals/Conferences in Software

Foundations and Trends in Machine Learning
Now Publishers Inc | United States

Nature Machine Intelligence
Springer Nature Switzerland AG | Switzerland

Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition
IEEE Computer Society | United States

IEEE Transactions on Evolutionary Computation
Institute of Electrical and Electronics Engineers Inc. | United States

Proceedings of the IEEE International Conference on Computer Vision
Institute of Electrical and Electronics Engineers Inc. | United States

IEEE Transactions on Cybernetics
IEEE Advancing Technology for Humanity | United States

Synthesis Lectures on Communication Networks
Morgan and Claypool Publishers | United States

Information Fusion
Elsevier | Netherlands

AI Open
KeAi Communications Co. | China

IEEE Transactions on Pattern Analysis and Machine Intelligence
IEEE Computer Society | United States

See All

Top Journals/Conferences in Theoretical Computer Science

IEEE Transactions on Evolutionary Computation
Institute of Electrical and Electronics Engineers Inc. | United States

ACM Computing Surveys
Association for Computing Machinery (ACM) | United States

Mathematical Programming Computation
Springer Verlag | Germany

Foundations and Trends in Theoretical Computer Science
Now Publishers Inc | United States

SIAM Review
Society for Industrial and Applied Mathematics Publications | United States

Computer Science Review
Elsevier Ireland Ltd | Ireland

ACM Transactions on Intelligent Systems and Technology
Association for Computing Machinery (ACM) | United States

IEEE Computational Intelligence Magazine
Institute of Electrical and Electronics Engineers Inc. | United States

Information Sciences
Elsevier Inc. | United States

SIAM Journal on Optimization
Society for Industrial and Applied Mathematics Publications | United States

See All