An incomplete list of 25 journals in computer science

Note: this list of journals that I find interesting is, as usual, distributed in the hope that it will be useful, but without any warranty. Of course, it is purely subjective, and necessarily partial/incomplete.
(Please notify me in case you find any mistake, or if you want to suggest additions.)

Most of these journals are related to theoretical computer science, formal methods (verification, model checking, logics, etc.), software engineering, real-time systems, and to some extent to distributed computing.

Name Publisher Since Core ranking Impact factor (self) Impact factor (Research Gate) SJR SNIP Notes Links
Acta Informatica Springer
(for-profit publishing, no access unless payment)
1971 A 0.722 0.97 (2016) 0.524 (2015) ? DBLPWikipedia
Artificial Intelligence Elsevier
(for-profit publishing, no access unless payment, lobbying against open science)
1970 A* 3.333 (2015) 3.84 (2016) 2.426 (2015) 4.084 (2015) DBLPWikipedia
FAoC
Formal Aspects of Computing
Springer
(for-profit publishing, no access unless payment)
1989 A 0.521 (2015) 1.03 (2016) 0.514 (2015) ? DBLPWikipedia
FI
Fundamenta Informaticae
IOS Press / EATCS
(for-profit publishing, no access unless payment)
1977 B 0.658 (2016) 0.87 (2016) 0.526 (2015) ? DBLPWikipedia
FMSD
Formal Methods in System Design
Springer
(for-profit publishing, no access unless payment)
1992 A 1.132 (2015) 1.6 (2016) 1.056 (2015) 2.816 (2015) DBLP
IJFCS
International Journal of Foundations of Computer Science
World Scientific
(for-profit publishing, no access unless payment)
1990 B ? 0.63 (2016) 0.394 (2015) ? DBLPWikipedia
Information and Computation Elsevier
(for-profit publishing, no access unless payment, lobbying against open science)
1957 B 0.873 (2015) 1.29 (2016) 0.698 (2015) 1.354 (2015) DBLPWikipedia
Information Sciences Elsevier
(for-profit publishing, no access unless payment, lobbying against open science)
1968 B 3.364 (2015) 4.95 (2016) 2.513 (2015) 2.489 (2015) DBLPWikipedia
IP
Information Processing Letters
Elsevier
(for-profit publishing, no access unless payment, lobbying against open science)
1971 B 0.605 (2015) 1.11 (2016) 0.698 (2015) 1.265 (2015) DBLPWikipedia
JAIR
Journal of Artificial Intelligence Research
Springer
(for-profit publishing, no access unless payment)
1993 A ? 2.55 (2016) 1.294 (2015) ? DBLPWikipedia
JLAP
Journal of Logical and Algebraic Methods in Programming
Elsevier
(for-profit publishing, no access unless payment, lobbying against open science)
2001 A 0.636 (2015) 0.8 (2016) 0.308 (2015) 1.177 (2015) DBLPWikipedia
Journal of the ACM ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
1954 A* ? 3.3 (2016) 1.825 (2016) ? DBLPWikipedia
LITES
Leibniz Trasactions on Embedded Systems
EDAA / EMSIG / Schloss Dagstuhl
open access, authors keep their rights
(open access, authors keep their rights)
2014 ? ? ? ? DBLP
LMCS
Logical Methods in Computer Science
EpiSciences
open access, authors keep their rights
(open access, authors keep their rights)
2005 ? 0.97 (2016) 0.787 (2015) ? No author charges DBLPWikipedia
Performance Evaluation Elsevier
(for-profit publishing, no access unless payment, lobbying against open science)
1981 A ? 1.63 (2016) 0.527 (2015) ? DBLPWikipedia
RTS
Real-Time Systems
Springer
(for-profit publishing, no access unless payment)
1989 A 0.738 1.29 (2016) 0.842 (2015) ? DBLP
SCP
Science of Computer Programming
Elsevier
(for-profit publishing, no access unless payment, lobbying against open science)
1981 A 1.064 (2016) 1.2 (2016) 0.454 (2015) 1.38 (2015) DBLP
SEN
ACM SIGSOFT Software Engineering Notes
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
1976 (absent) none 0.45 (2016) ? ? Software Engineering Notes (SEN) is edited, but not refereed, and has no impact factor. DBLPWikipedia
SoSyM
International Journal on Software and Systems Modeling
Springer
(for-profit publishing, no access unless payment)
2002 B 0.99 1.2 (2015) 0.782 (2015) ? DBLPWikipedia
STTT
International Journal on Software Tools for Technology Transfer
Springer
(for-profit publishing, no access unless payment)
1997 B ? ? 0.806 (2015) 2.039 (2015) DBLP
TCS
Theoretical Computer Science
Elsevier
(for-profit publishing, no access unless payment, lobbying against open science)
1975 A 0.643 (2015) 0.94 (2016) 0.72 (2015) 1.345 (2015) DBLPWikipedia
TECS
ACM Transactions on Embedded Computing Systems
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
2002 A ? 1.19 (2016) 0.408 (2015) ? DBLP
ToSEM
ACM Transactions on Software Engineering and Methodology
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
1992 A* ? 2.87 (2016) 0.98 (2015) ? DBLPWikipedia
TR
IEEE Transactions on Reliability
IEEE
(no access unless payment)
1963 A 2.79 3.08 (2016) 1.335 (2016) ? DBLP
TSE
IEEE Transactions on Software Engineering
IEEE
(no access unless payment)
1975 A* 1.516 3.79 (2016) 1.543 (2015) ? DBLPWikipedia

List maintained by Étienne André.
Don’t hesitate to notify me in case you find any mistake, or want to suggest other journals.

I do not generally support the ranking of journals, nor fully agree with the "bibliometrics" things such as impact factors and the like; nevertheless, following several users’ feature requests, I added some of them for information.