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
ERA Research Rankings Submenu
- ERA 2018 Outcomes Research Rankings List
- ERA 2018 Research Rankings Analysis
- ERA 2018 Individual University Outcomes List
- ERA List of Research Fields Rankings
- ERA Journal Rankings 2018 List
Latest News and Updates:
- Top 10 Best Australian Universities
- Gender Balance Male-Female Ratio
- ERA 2018 Outcomes Research Rankings List
- University Bachelor Degree Completion Rates
- QS Employability Rankings Australian Universities
- ARWU World Rankings of Australian Universities
- Group of Eight (go8) World Rankings