About
Technology
Issues
FAQ
Title
Abstract
Text
Figure Captions
Table Cells
Section Titles
Keywords
Subjects
Authors
From
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1995
1990
1985
1980
1975
1970
1960
1950
1940
1930
1920
1910
1900
1850
1800
1700
1600
To
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1995
1990
1985
1980
1975
1970
1960
1950
1940
1930
1920
1910
1900
1850
1800
1700
1600
All Types
Articles
Communications
Reviews
Discussions
Case Reports
Chapters
Books
News
Editorials
Order By
Order By Year ASC
Order By Year DESC
Order By Citations ASC
Order By Citations DESC
Go
Scientometrics
Impact Factor
Discipline Ranks
H-Index
G-Index
Articles
Citations
Article Citations
Citation Distribution
Search This Journal
Overviews
Top Institutions
Top Schools
Top Authors
Prolific Authors
Top Articles
exaly
›
Journals
›
Theoretical Computer Science
›
Top Articles
Theoretical Computer Science
Computer Science
,
Mathematics
,
Theoretical Computer Science
1.1
(top 14%)
Impact Factor
1.2
(top 14%)
extended IF
150
(top 2%)
H-Index
2.9K
authors
13.2K
papers
220.5K
citations
4.4K
citing journals
27.2K
citing authors
Most Cited Articles of Theoretical Computer Science
Title
Year
Citations
A theory of timed automata
1994
4.1K
Linear logic
1987
2.7K
The complexity of computing the permanent
1979
1.5K
Ant colony optimization theory: A survey
2005
1.4K
Some simplified NP-complete graph problems
1976
1.3K
Results on the propositional μ-calculus
1983
1.3K
The algorithmic analysis of hybrid systems
1995
1.2K
Conditional rewriting logic as a unified model of concurrency
1992
904
Clustering to minimize the maximum intercluster distance
1985
857
The polynomial-time hierarchy
1976
815
Testing equivalences for processes
1984
803
Call-by-name, call-by-value and the λ-calculus
1975
750
Quantum cryptography: Public key distribution and coin tossing
2014
705
Universal coalgebra: a theory of systems
2000
678
LCF considered as a programming language
1977
678
Petri nets, event structures and domains, part I
1981
643
Calculi for synchrony and asynchrony
1983
607
On the analysis of the (1+1) evolutionary algorithm
2002
593
A partial k-arboretum of graphs with bounded treewidth
1998
565
The intractability of resolution
1985
520
The chemical abstract machine
1992
501
On the approximability of minimizing nonzero variables or unsatisfied relations in linear systems
1998
497
The existence of refinement mappings
1991
477
Mobile ambients
2000
474
Random generation of combinatorial structures from a uniform distribution
1986
473
0
1
2
next
How are inpact factors calculated?
The impact factor (IF) is calculated by counting citations from peer-reviewed journals only.
extended IF
also counts citations from books and conference papers. However, no patent, abstract, working papers, online documents, etc., are covered.
site/software ©
exaly
; All materials licenced under
CC by-SA
.