Class information for:
Level 2: COMPUTER SCIENCE, THEORY & METHODS//LECTURE NOTES IN COMPUTER SCIENCE//COMPUTER SCIENCE, SOFTWARE ENGINEERING

Basic class information
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
12 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, INFORMATION SYSTEMS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 1181119
149 3       COMPUTER SCIENCE, THEORY & METHODS//LECTURE NOTES IN COMPUTER SCIENCE//COMPUTER SCIENCE, SOFTWARE ENGINEERING 65076
176 2             COMPUTER SCIENCE, THEORY & METHODS//LECTURE NOTES IN COMPUTER SCIENCE//COMPUTER SCIENCE, SOFTWARE ENGINEERING 21406
3497 1                   SOFTWARE TESTING//REGRESSION TESTING//SOFTWARE TESTING VERIFICATION & RELIABILITY 2002
3717 1                   TIMED AUTOMATA//TIME PETRI NETS//HYBRID SYSTEMS 1957
4056 1                   SEPARATION LOGIC//ACM SIGPLAN NOTICES//ABSTRACT INTERPRETATION 1889
6466 1                   PARITY GAMES//TEMPORAL LOGIC//MODAL MU CALCULUS 1509
7234 1                   PROCESS ALGEBRA//PROGRAMMING GRP//MU CRL 1417
7503 1                   PARTIAL ORDER SEMANTICS//MAZURKIEWICZ TRACES//MESSAGE SEQUENCE CHARTS 1385
8458 1                   PI CALCULUS//PROCESS CALCULI//SESSION TYPES 1282
9739 1                   FORMAL ASPECTS OF COMPUTING//EVENT B//KLEENE ALGEBRA 1158
10214 1                   ALGEBRAIC SPECIFICATION//REWRITING LOGIC//CAFEOBJ 1113
12098 1                   CONFORMANCE TESTING//ESTELLE//FINITE STATE MACHINE 960
13265 1                   TRANSACTIONAL MEMORY//DATA RACES//CONCURRENCY BUGS 879
14302 1                   COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA 810
15347 1                   TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING 743
15888 1                   STATECHARTS//LIVE SEQUENCE CHARTS//CHOREOGRAPHY REALIZATION PROBLEM 713
16447 1                   PROGRAM SLICING//FAULT LOCALIZATION//DYNAMIC SLICING 680
16565 1                   WELL STRUCTURED TRANSITION SYSTEMS//NETS WITHIN NETS//LSV 674
16703 1                   MODEL CHECKING//PROMELA//PARAMETERIZED SYSTEMS 665
25552 1                   WEISERS ALGORITHM//HERBRAND DOMAIN//A COMPLETE AXIOMATIZATION 301
26197 1                   LOTOS//PROTOCOL SYNTHESIS//RM ODP 282
26527 1                   RUNTIME VERIFICATION//RUNTIME ENFORCEMENT//RUNTIME MONITORING 273
29706 1                   FEATURE INTERACTION//CALL PROCESSING LANGUAGE//IVR INTERACTIVE VOICE RESPONSE 198
31065 1                   TEMPORAL LOGIC PROGRAMMING//COMP THEORY TECHNOL//CARD BASED PROTOCOLS 173
31352 1                   ABSTRACT STATE MACHINES//ABSTRACT STATE MACHINE//COREASM 168
37061 1                   TTCN 3//TESTING AND TEST CONTROL NOTATION VERSION 3 TTCN 3//WIRELESS ROBOTICS 89
37267 1                   KRIPKE MODELLING//SAFETY DRIVEN DESIGN//3D GRAPHIC SIMULATION 86

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 COMPUTER SCIENCE, THEORY & METHODS WoSSC 801886 53% 5% 11322
2 LECTURE NOTES IN COMPUTER SCIENCE journal 672896 30% 7% 6363
3 COMPUTER SCIENCE, SOFTWARE ENGINEERING WoSSC 668400 41% 5% 8726
4 MODEL CHECKING authKW 620381 4% 52% 817
5 VERIFICATION authKW 560780 5% 33% 1168
6 SOFTWARE TESTING authKW 395190 2% 62% 433
7 TEMPORAL LOGIC authKW 323058 2% 57% 389
8 CONCURRENCY authKW 310322 2% 46% 457
9 ACM SIGPLAN NOTICES journal 305668 5% 21% 1006
10 PROCESS ALGEBRA authKW 295223 1% 70% 287

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Theory & Methods 801886 53% 5% 11322
2 Computer Science, Software Engineering 668400 41% 5% 8726
3 Logic 88033 4% 6% 963
4 Computer Science, Information Systems 61078 14% 1% 3085
5 Computer Science, Hardware & Architecture 45255 8% 2% 1805
6 Computer Science, Artificial Intelligence 7719 6% 1% 1193
7 Mathematics, Applied 6086 8% 0% 1703
8 Engineering, Electrical & Electronic 3141 10% 0% 2083
9 Telecommunications 2476 4% 0% 756
10 Automation & Control Systems 1975 2% 0% 516

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 COMP SCI 160818 20% 3% 4221
2 LSV 146187 1% 61% 163
3 DIPARTIMENTO INFORMAT 81395 2% 13% 415
4 PROGRAMMING GRP 68867 0% 63% 75
5 EQUAT 66144 0% 70% 64
6 SPECIFICAT VERIFICAT 64029 0% 68% 64
7 INFORMAT 63502 6% 4% 1258
8 UMR 8643 59429 0% 66% 61
9 LIAFA 55745 1% 23% 168
10 ERSHOV INFORMAT SYST 42449 0% 57% 51

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 LECTURE NOTES IN COMPUTER SCIENCE 672896 30% 7% 6363
2 ACM SIGPLAN NOTICES 305668 5% 21% 1006
3 FORMAL METHODS IN SYSTEM DESIGN 281104 1% 61% 313
4 THEORETICAL COMPUTER SCIENCE 267829 7% 13% 1411
5 SOFTWARE TESTING VERIFICATION & RELIABILITY 240827 1% 80% 204
6 FORMAL ASPECTS OF COMPUTING 237942 1% 63% 258
7 SCIENCE OF COMPUTER PROGRAMMING 218289 2% 30% 493
8 INFORMATION AND COMPUTATION 187301 2% 24% 527
9 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 173992 1% 60% 198
10 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 139132 2% 18% 524

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 MODEL CHECKING 620381 4% 52% 817 Search MODEL+CHECKING Search MODEL+CHECKING
2 VERIFICATION 560780 5% 33% 1168 Search VERIFICATION Search VERIFICATION
3 SOFTWARE TESTING 395190 2% 62% 433 Search SOFTWARE+TESTING Search SOFTWARE+TESTING
4 TEMPORAL LOGIC 323058 2% 57% 389 Search TEMPORAL+LOGIC Search TEMPORAL+LOGIC
5 CONCURRENCY 310322 2% 46% 457 Search CONCURRENCY Search CONCURRENCY
6 PROCESS ALGEBRA 295223 1% 70% 287 Search PROCESS+ALGEBRA Search PROCESS+ALGEBRA
7 BISIMULATION 223422 1% 68% 224 Search BISIMULATION Search BISIMULATION
8 FORMAL METHODS 208013 2% 40% 355 Search FORMAL+METHODS Search FORMAL+METHODS
9 TIMED AUTOMATA 191996 1% 73% 180 Search TIMED+AUTOMATA Search TIMED+AUTOMATA
10 LANGUAGES 145872 2% 19% 520 Search LANGUAGES Search LANGUAGES

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.

Classes with closest relation at Level 2


rank cluster_id2 link
1 2531 JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//TERM REWRITING
2 704 ACM SIGPLAN NOTICES//COMPUTER SCIENCE, SOFTWARE ENGINEERING//LANGUAGES
3 2718 SOFTWARE RELIABILITY//SOFTWARE RELIABILITY GROWTH MODEL//SOFTWARE REJUVENATION
4 170 COMPUTER SCIENCE, SOFTWARE ENGINEERING//INFORMATION AND SOFTWARE TECHNOLOGY//IEEE SOFTWARE
5 1707 DISCRETE EVENT SYSTEMS//PETRI NETS//SUPERVISORY CONTROL
6 1649 THEORETICAL COMPUTER SCIENCE//FORMAL LANGUAGES//DESCRIPTIONAL COMPLEXITY
7 1534 SELF STABILIZATION//DISTRIBUTED COMPUTING//FAULT TOLERANCE
8 2387 SERVICE COMPOSITION//PROCESS MINING//WEB SERVICES
9 1835 MOBILE AGENTS//AUTOMATED NEGOTIATION//MULTI AGENT SYSTEMS
10 2299 REAL-TIME SYSTEMS//VIDEO ON DEMAND//REAL TIME SYSTEMS

Go to start page