ACM TOPLAS	ISSN 0164-0925	0.950, 1.000, 1.875
ACTA Informatica	ISSN 0001-5903	0.341, 0.604, 0.922
Formal Aspects of Computing	ISSN 0934-5043	, ,
Information and Computation (List)	ISSN 0890-5401	0.571, 0.628, 0.920
Theoretical Computer Science (List)	ISSN 0304-3975	0.468, 0.417, 0.676
Information Sciences (List)	ISSN 0020-0255	0.264, 0.361, 0.540

IEICE Transactions on Information and Systems	ISSN 0916-8532	0.144, 0.148, 0.274
Science of Computer Programming (List)	ISSN 0167-6423	0.694, 0.796, 0.942
New Generation Computing	ISSN 0288-3635	0.327, 0.386, 0.854
Journal of Systems and Software (List)	ISSN 0164-1212	0.440, 0.400, 0.716
Software-Practice & Experience	ISSN 0038-0644	0.571, 0.646, 0.600
LNCS	ISSN 0302-9743	0.415, 0.515, 0.513
Information and Software Technology (4m) (List)	ISSN 0950-5849	0.257, 0.375, 0.503
Information Processing Letters (List)	ISSN 0020-0190	0.288, 0.331, 0.453
Computer Languages, Systems and Structures (List)	ISSN 1477-8424	0.188, - , 0.176
Computer Systems Science and Engineering	ISSN 0267-6192	0.211, 0.333, 0.164
ACM SIGPLAN Notices	ISSN 0362-1340	0.224, 0.190, 0.111
International Journal of Foundation of CS (3m)	ISSN 0362-1340	0.224, 0.190, 0.111
Automated Software Engineering	ISSN 0928-8910
Software Testing, Verification and Reliability	ISSN 0960-0833	1.158
Formal Methods in System Design	ISSN 0925-9856
Journal of Automated Reasoning	ISSN 0168-7433
Journal of Object Technology (JOT)