Theoretical Computer Science
, Elsevier, SCI indexed.
Information and Computation
, Elsevier, SCI indexed.
ACM Transactions on Programming Languages and Systems (TOPLAS)
, ACM, SCI indexed.
IEEE Transactions on Software Engineering (TSE)
, IEEE, SCI indexed.
Information Processing Letters
, Elsevier, SCI indexed, IF: ??
Formal Method in System Design, Springer, SCI indexed, IF: ??
Computers and Mathematics with Applications (CAMWA), Elsevier, SCI indexed, IF: ??
Journal of Logic and Computation, Oxford, SCI indexed, IF: ??
Software Testing, Verification and Reliability, Wiley, SCI indexed, IF: ??
Cacta Informatica, Spring, SCI indexed, IF: ??
The Journal of Logic and Algebraic Programming
, Elsevier, SCI indexed, IF: ??
Science of Computer Programming, Elsevier, SCI indexed, IF: ??
Mathematical Structures in Computer Science
, Cambridge, SCI indexed, IF: ??
Formal Aspects of Computing
, Springer, SCI indexed, IF: ??
International Journal of Foundations of Computer Science (IJFCS)
, World Scientific, SCI indexed, IF: 0.512
Journal of Computer Science and Technology
, Springer, SCI indexed, IF: ??
Guoqiang Li
NOT SO BIG (no offence...)
Last modified: Thursday, Dec. 9, 2010.