Journals similar to Formal Methods in System Design
20 similar journals ranked by semantic similarity (SPECTER2 embeddings)
| # | Journal | Publisher | Field | Similarity | JLCS | OA | APC |
|---|---|---|---|---|---|---|---|
| 1 | Formal Aspects of Computing | Springer Nature | Artificial Intelligence | 99.4% | 55 | No | - |
| 2 | International Journal on Software Tools for Technology Transfer | Springer Nature | Artificial Intelligence | 99.4% | 75 | No | 2990 USD |
| 3 | Journal of Logical and Algebraic Methods in Programming | Elsevier | Artificial Intelligence | 99.1% | 55 | No | 2810 USD |
| 4 | Electronic Proceedings in Theoretical Computer Science | Open Publishing Association | Artificial Intelligence | 99.1% | 80 | Yes (diamond) | Free |
| 5 | Science of Computer Programming | Elsevier | Artificial Intelligence | 99.0% | 75 | No | 2460 USD |
| 6 | Journal of Automated Reasoning | Springer Nature | Artificial Intelligence | 98.9% | 75 | No | 2890 USD |
| 7 | Electronic Notes in Theoretical Computer Science | Elsevier | Artificial Intelligence | 98.9% | 75 | Yes (hybrid) | Free |
| 8 | Innovations in Systems and Software Engineering | Springer Nature | Information Systems | 98.8% | 75 | No | 2790 USD |
| 9 | Proceedings of the ACM on Programming Languages | Association for Computing Machinery | Artificial Intelligence | 98.7% | 75 | Yes (hybrid) | Free |
| 10 | Acta Informatica | Springer Nature | Computational Theory and Mathematics | 98.7% | 75 | No | 2990 USD |
| 11 | ACM SIGLOG News | Association for Computing Machinery | Artificial Intelligence | 98.6% | 55 | No | - |
| 12 | Nordic Journal of Computing | - | Artificial Intelligence | 98.6% | 35 | No | - |
| 13 | ACM Transactions on Programming Languages and Systems | Association for Computing Machinery | Artificial Intelligence | 98.5% | 75 | No | - |
| 14 | BRICS Report Series | Aarhus University Library | Artificial Intelligence | 98.5% | 55 | Yes (hybrid) | Free |
| 15 | ACM Transactions on Computational Logic | Association for Computing Machinery | Artificial Intelligence | 98.5% | 75 | No | - |
| 16 | Archive of Formal Proofs | - | Artificial Intelligence | 98.4% | 35 | No | - |
| 17 | Logical Methods in Computer Science | Logical Methods in Computer Science | Artificial Intelligence | 98.3% | 80 | Yes (diamond) | Free |
| 18 | Journal of Functional Programming | Cambridge University Press | Artificial Intelligence | 98.2% | 75 | No | - |
| 19 | EPiC Series in Computing | - | Artificial Intelligence | 98.2% | 35 | No | - |
| 20 | MBMV | - | Hardware and Architecture | 98.2% | 15 | No | - |
Need recommendations for your own manuscript?
Try the AI Journal Finder View on JournalLens