Class information for:
Level 1: PUSHDOWN SYSTEMS//PARITY GAMES//AUTOMATIC STRUCTURES

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
13313 846 23.5 35%


Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes
The table includes all classes above and classes immediately below the current class.


Cluster id Level Cluster label #P
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
148 3       COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//ACM SIGPLAN NOTICES 63683
237 2             COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//MODEL CHECKING 20142
13313 1                   PUSHDOWN SYSTEMS//PARITY GAMES//AUTOMATIC STRUCTURES 846

Terms with highest relevance score


rank Term termType Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 PUSHDOWN SYSTEMS authKW 487238 2% 75% 18
2 PARITY GAMES authKW 310202 2% 45% 19
3 AUTOMATIC STRUCTURES authKW 307559 2% 61% 14
4 LEHRSTUHL INFORMAT 7 address 301157 3% 38% 22
5 LIAFA address 208772 8% 9% 65
6 PUSHDOWN AUTOMATA authKW 183484 2% 27% 19
7 CONTEXT FREE PROCESSES authKW 180462 1% 100% 5
8 OMEGA REGULAR OBJECTIVES authKW 180462 1% 100% 5
9 INFINITE STATE SYSTEMS authKW 162395 2% 30% 15
10 DETERMINISTIC PUSHDOWN AUTOMATA authKW 160770 1% 64% 7

Web of Science journal categories


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 Computer Science, Theory & Methods 57471 71% 0% 602
2 Logic 32325 14% 1% 115
3 Computer Science, Software Engineering 7175 22% 0% 182
4 Computer Science, Information Systems 1147 10% 0% 85
5 Mathematics, Applied 1051 15% 0% 127
6 Computer Science, Hardware & Architecture 651 5% 0% 44
7 Mathematics 483 12% 0% 99
8 Computer Science, Artificial Intelligence 177 4% 0% 37
9 Automation & Control Systems 3 1% 0% 7
10 Computer Science, Cybernetics 2 0% 0% 2

Address terms


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 LEHRSTUHL INFORMAT 7 301157 3% 38% 22
2 LIAFA 208772 8% 9% 65
3 LSV 62873 2% 8% 21
4 URA 1787 48122 0% 67% 2
5 LFCS 46801 1% 11% 12
6 ABT ALGEBRA LOG GRUNDLAGEN INFORMAT 36092 0% 100% 1
7 ABTEILUNG DATENBANKEN ARTIFICIAL INTELLIGENCE 36092 0% 100% 1
8 ADV SMART CARD TERMINALS 36092 0% 100% 1
9 ANGEW SYST WISSEN WIRT AFTINFORMAT 36092 0% 100% 1
10 ANGEW SYST WISSEN WIRT AFTSINFORMAT 36092 0% 100% 1

Journals


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 LOGICAL METHODS IN COMPUTER SCIENCE 115560 5% 7% 45
2 INFORMATION AND COMPUTATION 46239 6% 2% 52
3 LECTURE NOTES IN COMPUTER SCIENCE 35805 35% 0% 296
4 THEORETICAL COMPUTER SCIENCE 26625 11% 1% 89
5 INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE 25741 3% 3% 26
6 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 15969 1% 4% 12
7 RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS 12970 1% 3% 12
8 FORMAL METHODS IN SYSTEM DESIGN 10330 1% 2% 12
9 THEORY OF COMPUTING SYSTEMS 9302 2% 2% 16
10 JOURNAL OF SYMBOLIC LOGIC 5995 3% 1% 22

Author Key Words


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class		 LCSH search Wikipedia search
1 PUSHDOWN SYSTEMS 487238 2% 75% 18 Search PUSHDOWN+SYSTEMS Search PUSHDOWN+SYSTEMS
2 PARITY GAMES 310202 2% 45% 19 Search PARITY+GAMES Search PARITY+GAMES
3 AUTOMATIC STRUCTURES 307559 2% 61% 14 Search AUTOMATIC+STRUCTURES Search AUTOMATIC+STRUCTURES
4 PUSHDOWN AUTOMATA 183484 2% 27% 19 Search PUSHDOWN+AUTOMATA Search PUSHDOWN+AUTOMATA
5 CONTEXT FREE PROCESSES 180462 1% 100% 5 Search CONTEXT+FREE+PROCESSES Search CONTEXT+FREE+PROCESSES
6 OMEGA REGULAR OBJECTIVES 180462 1% 100% 5 Search OMEGA+REGULAR+OBJECTIVES Search OMEGA+REGULAR+OBJECTIVES
7 INFINITE STATE SYSTEMS 162395 2% 30% 15 Search INFINITE+STATE+SYSTEMS Search INFINITE+STATE+SYSTEMS
8 DETERMINISTIC PUSHDOWN AUTOMATA 160770 1% 64% 7 Search DETERMINISTIC+PUSHDOWN+AUTOMATA Search DETERMINISTIC+PUSHDOWN+AUTOMATA
9 COMPLETE FORMAL SYSTEMS 144369 0% 100% 4 Search COMPLETE+FORMAL+SYSTEMS Search COMPLETE+FORMAL+SYSTEMS
10 MULLER GAMES 144369 0% 100% 4 Search MULLER+GAMES Search MULLER+GAMES

Core articles
The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c:
(1) Number of references referring to publications in the class.
(2) Share of total number of active references referring to publications in the class.
(3) Age of the article. New articles get higher score than old articles.
(4) Citation rate, normalized to year.


Rank Reference # ref.
in cl.		 Shr. of ref. in
cl.		 Citations
1 KUCERA, A , JANCAR, P , (2006) EQUIVALENCE-CHECKING ON INFINITE-STATE SYSTEMS: TECHNIQUES AND RESULTS.THEORY AND PRACTICE OF LOGIC PROGRAMMING. VOL. 6. ISSUE . P. 227 -264 40 89% 18
2 KUCERA, A , JANCAR, P , (2002) EQUIVALENCE-CHECKING WITH INFINITE-STATE SYSTEMS: TECHNIQUES AND RESULTS.SOFSEM 2002: THEORY AND PRACTICE OF INFORMATICS. VOL. 2540. ISSUE . P. 41 -73 32 89% 4
3 KUCERA, A , MAYR, R , (2010) ON THE COMPLEXITY OF CHECKING SEMANTIC EQUIVALENCES BETWEEN PUSHDOWN PROCESSES AND FINITE-STATE PROCESSES.INFORMATION AND COMPUTATION. VOL. 208. ISSUE 7. P. 772 -796 21 95% 8
4 KUCERA, A , (2003) THE COMPLEXITY OF BISIMILARITY-CHECKING FOR ONE-COUNTER PROCESSES.THEORETICAL COMPUTER SCIENCE. VOL. 304. ISSUE 1-3. P. 157 -183 24 96% 6
5 FRATANI, S , (2012) REGULAR SETS OVER EXTENDED TREE STRUCTURES.THEORETICAL COMPUTER SCIENCE. VOL. 418. ISSUE . P. 48 -70 19 90% 0
6 SRBA, J , (2009) BEYOND LANGUAGE EQUIVALENCE ON VISIBLY PUSHDOWN AUTOMATA.LOGICAL METHODS IN COMPUTER SCIENCE. VOL. 5. ISSUE 1. P. - 21 88% 2
7 SONG, F , TOUILI, T , (2014) EFFICIENT CTL MODEL-CHECKING FOR PUSHDOWN SYSTEMS.THEORETICAL COMPUTER SCIENCE. VOL. 549. ISSUE . P. 127 -145 17 94% 1
8 CHATTERJEE, K , HENZINGER, TA , (2012) A SURVEY OF STOCHASTIC OMEGA-REGULAR GAMES.JOURNAL OF COMPUTER AND SYSTEM SCIENCES. VOL. 78. ISSUE 2. P. 394 -413 24 63% 12
9 SENIZERGUES, G , (2005) THE BISIMULATION PROBLEM FOR EQUATIONAL GRAPHS OF FINITE OUT-DEGREE.SIAM JOURNAL ON COMPUTING. VOL. 34. ISSUE 5. P. 1025 -1106 19 83% 16
10 JAIN, S , KHOUSSAINOV, B , SCHLICHT, P , STEPHAN, F , (2016) TREE-AUTOMATIC SCATTERED LINEAR ORDERS.THEORETICAL COMPUTER SCIENCE. VOL. 626. ISSUE . P. 83 -96 12 100% 0

Classes with closest relation at Level 1


Rank Class id link
1 16541 WELL STRUCTURED TRANSITION SYSTEMS//INFINITE STATE SYSTEMS//NETS WITHIN NETS
2 5920 MODEL CHECKING//TEMPORAL LOGIC//PARTIAL ORDER REDUCTION
3 15945 POST CORRESPONDENCE PROBLEM//INFINITARY RATIONAL RELATIONS//D0L SYSTEM
4 16131 FUZZY LANGUAGE//TREE TRANSDUCER//FUZZY AUTOMATA
5 8670 TIMED AUTOMATA//TIME PETRI NETS//MODEL CHECKING
6 22964 GRAPH GRAMMARS//COGNITIVE INFORMATION SYSTEMS//CRYPTOG COGNIT INFORMAT GRP
7 2581 PROCESS ALGEBRA//PROGRAMMING GRP//EVENT STRUCTURES
8 21257 STOCHASTIC GAMES//UNIFORM VALUE//DYNKIN GAMES
9 17598 COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA
10 6407 ABSTRACT INTERPRETATION//SEPARATION LOGIC//PREDICATE ABSTRACTION

Go to start page