Formal Aspects of Computing: applicable formal methods (ERA Journal)

Formal Aspects of Computing: applicable formal methods is an ERA accredited research journal used as part of the evaluation of the ERA research rankings.

Formal Aspects of Computing: applicable formal methods issns are issn1: 0934-5043 issn2: 1433-299X.

The fields covered by Formal Aspects of Computing: applicable formal methods as part of the evaluation of Australian university research excellence are:

Computation Theory and Mathematics Research Rankings (Sub-Field)

Computer Software Research Rankings (Sub-Field)

Other ERA-accredited journals supporting the evaluation of the Computation Theory and Mathematics field include:

- Annals of Mathematics and Artificial Intelligence
- Foundations and Trends in Theoretical Computer Science
- Information Visualization
- Journal of Algorithms
- Journal of Automata Languages and Combinatorics
- Journal of Automated Reasoning
- Mathematical Methods of Operations Research
- Moscow University Computational Mathematics and Cybernetics
- Numerical Algorithms
- Quantum Information Processing
- Ruanjian Xuebao
- SIAM Journal on Discrete Mathematics
- SIAM Journal on Scientific Computing
- The Bulletin of Symbolic Logic
- Theory and Practice of Logic Programming