Theoretical Computer Science

Aims & Scope

Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation.

Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies.

All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.

View Aims & Scope

---

Metrics & Ranking

Impact Factor

Year	Value
2025	1

SJR (SCImago Journal Rank)

Year	Value
2024	0.494

Quartile

Year	Value
2024	Q2

h-index

Year	Value
2024	133

---

---

Abstracting & Indexing

Journal is indexed in leading academic databases, ensuring global visibility and accessibility of our peer-reviewed research.

• Scopus
• Google Scholar
• Web of Science

---

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Computer Science and Mathematics, designed to support cutting-edge academic discovery.

---

Most Cited Articles

The Most Cited Articles section features the journal's most impactful research, based on citation counts. These articles have been referenced frequently by other researchers, indicating their significant contribution to their respective fields.

• A theory of timed automata

  Citation: 4634

  Authors: Rajeev, David L.

• Linear logic

  Citation: 2665

  Authors: Jean-Yves

• Quantum cryptography: Public key distribution and coin tossing

  Citation: 2108

  Authors: Charles H., Gilles

• Ant colony optimization theory: A survey

  Citation: 1727

  Authors: Marco, Christian

• The complexity of computing the permanent

  Citation: 1652

  Authors: L.G.

• Some simplified NP-complete graph problems

  Citation: 1502

  Authors: M.R., D.S., L.

• The algorithmic analysis of hybrid systems

  Citation: 1314

  Authors: R., C., N., T.A., P.-H., X., A., J., S.

• Results on the propositional μ-calculus

  Citation: 1298

  Authors: Dexter

• Clustering to minimize the maximum intercluster distance

  Citation: 1108

  Authors: Teofilo F.

• Conditional rewriting logic as a unified model of concurrency

  Citation: 983

  Authors: José

---