Journal Report

Formal Aspects of Computing

Download PDF
Journal Information
Journal Title
Formal Aspects of Computing
Publisher
Association for Computing Machinery
ISSN
0934-5043
E-ISSN
1433-299X
Database
SCOPUS
Domain
Physical Sciences, Social Sciences
Classification History
Year A+ A B C
2026 ✓ ✓
2025 ✓ ✓
2024 ✓ ✓
2023 ✓ ✓
2021/2022 ✓ ✓
2020 ✓ ✓
2019 ✓ ✓
2018 ✓
A journal may have more than one classification in the same year. All recorded classifications are displayed.
Recent Articles
Dynamic Set Theory: Adding Natural Time to Sets and Specifying Space-Time Overlap
Ai Liu, Shaoying Liu, Meng Sun et al.
2026-11-5
DOI: 10.1145/3858332
Towards Practical Automata-Based Steering of Large Language Models for Diverse Structured Generation
Xiaokun Luan, Zeming Wei, Yihao Zhang et al.
2026-11-5
DOI: 10.1145/3858629
Denotational and Algebraic Semantics for the SMrCaIT calculus Based on UTP
Ningning Chen, Huibiao Zhu, Jifeng He
2026-10-16 Vol. 38 Issue 4 Pages 1-46
DOI: 10.1145/3827964
Formal Methods in Industry: A Critical Evaluation of Their Use at Amazon Web Services
James Woodcock, Peter Gorm Larsen
2026-10-16 Vol. 38 Issue 4 Pages 1-73
DOI: 10.1145/3815784
A Comprehensive History of μCRL and mCRL2
Jan Friso Groote, Erik de Vink
2026-10-14 Vol. 38 Issue 4 Pages 1-31
DOI: 10.1145/3839234
The dynamics of belief: continuously monitoring and visualising complex systems
Edwin Beggs, John Tucker
2026-10-14 Vol. 38 Issue 4 Pages 1-31
DOI: 10.1145/3812540
From Predicative Programming to aPToP
Eric Hehner
2026-10-14 Vol. 38 Issue 4 Pages 1-17
DOI: 10.1145/3742897
Experiences from the European ProCoS Projects: Provably Correct Systems
Jonathan Bowen, Martin Fränzle, Ernst-Rüdiger Olderog et al.
2026-10-14 Vol. 38 Issue 4 Pages 1-29
DOI: 10.1145/3803555
The Abstract State Machines Method
Flavio Ferrarotti, Vincenzo Gervasi, Alexander Raschke et al.
2026-10-14 Vol. 38 Issue 4 Pages 1-37
DOI: 10.1145/3811032
Concluding the Special Collection on the History of Formal Methods
Maurice H. ter Beek, Einar Broch Johnsen
2026-10-14 Vol. 38 Issue 4 Pages 1-2
DOI: 10.1145/3840559
Articles retrieved from Crossref.
Green Journals | https://www.green-journals.com | info@green-journals.com
Printed: November 7, 2026 03:27