An incomplete list of 28 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
CSUR
ACM Computing Surveys		 ACM
(no access unless payment)		 1969 A* ? 8.82 (2015) 2.362 (2016) ? 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 A ? 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
TheoretiCS EpiSciences
open access, authors keep their rights
(open access, authors keep their rights)		 2022 ? ? ? ? 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
TSC
IEEE Transactions on Services Computing		 IEEE
(no access unless payment)		 2008 unranked ? 3.08 (2016) 0.64 (2016) ? DBLP
TSE
IEEE Transactions on Software Engineering		 IEEE
(no access unless payment)		 1975 A* 3.272 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.