Major Journals
    

Electronic Design Automation / Computer-Aided Design (CAD)

• ACM Transactions on Design Automation of Electronic Systems (ACM-TODAES) (since 1996) [SCIE]
• IEEE Journal of Solid-State Circuits
• IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (IEEE-TCAD) [SCI]
• IEEE Transactions on Circuits and Systems (IEEE-TCAD)
• IEEE Transactions on Very Large Scale Integration (VLSI) Systems (IEEE-TVLSI)
• IEICE Transactions on Electronics
• IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
• IET Circuits, Devices & Systems  [IEEE]
• Integration, the VLSI Journal (via ScienceDirect)
• Journal of Circuits, Systems, and Computers (JCSC) [SCIE]
• Proceedings of the IEEE [SCI] [SCIE]
• VLSI Design

Operations Research (including LP/ILP/MILP/CP)

• INFORMS Journal on Computing [1] [2] (since 1987) [SCIE]

Constraint Programming (CP)

• Constraints - An International Journal (since 1996) [SCIE]
• INFORMS Journal on Computing [1] [2] (since 1987) [SCIE]
• Constraint Programming Letters

Computational Geometry

• ACM Transactions on Graphics (TOG) (since 1982)
• Algorithmica (since 1982)
• Computational Geometry: Theory and Applications (since 1991)
• Computer Aided Geometric Design (since 1984)
• Computer Graphics and Applications (since 1981)
• Discrete and Computational Geometry (since 1986) [SCI, SCIE]
• Information Processing Letters (IPL) (since 1971)
• International Journal of Computational Geometry and Applications (since 1999)

Algorithms - General

• Algorithmica (since 1982)
• Information Processing Letters (IPL) (since 1971)
• Journal of Algorithms (since 1980)
• SIAM Journal on Computing (since 1972)

Computer-Aided Design

• Computer-Aided Design (via ScienceDirect)

Optimization

• Journal of Combinational Optimization [SCI-E]

Formal Methods

• Formal Methods in System Design (Springer)

last update: January 07, 2011