Class information for:
Level 1: FORMAL ASPECTS OF COMPUTING//EVENT B//KLEENE ALGEBRA

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
9739 1                   FORMAL ASPECTS OF COMPUTING//EVENT B//KLEENE ALGEBRA 1158

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 FORMAL ASPECTS OF COMPUTING journal 434317 7% 20% 81
2 EVENT B authKW 431819 3% 55% 29
3 KLEENE ALGEBRA authKW 361607 2% 47% 28
4 REFINEMENT CALCULUS authKW 297699 2% 58% 19
5 B METHOD authKW 280686 2% 54% 19
6 REFINEMENT authKW 266556 9% 9% 108
7 Z authKW 227099 3% 22% 38
8 RELATION ALGEBRA authKW 204312 3% 26% 29
9 ACTION SYSTEMS authKW 199960 1% 57% 13
10 DEDEKIND CATEGORY authKW 190505 1% 100% 7

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Software Engineering 47649 47% 0% 541
2 Computer Science, Theory & Methods 41605 52% 0% 600
3 Logic 14992 8% 1% 92
4 Computer Science, Information Systems 3434 15% 0% 170
5 Computer Science, Hardware & Architecture 648 4% 0% 52
6 Computer Science, Artificial Intelligence 395 5% 0% 63
7 COMPUTER APPLICATIONS & CYBERNETICS 158 0% 0% 4
8 Mathematics, Applied 129 6% 0% 64
9 Mathematics 63 5% 0% 56
10 History & Philosophy of Science 23 1% 0% 7

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 INFORMAT GENIE LOGICIEL 121018 1% 34% 13
2 SOFTWARE VERIFICAT 84420 1% 28% 11
3 PROGRAMMIERMETHOD COMPILERBAU 81645 0% 100% 3
4 INT SOFTWARE TECHNOL 68022 1% 25% 10
5 FRE CNRS 2661 61232 0% 75% 3
6 ABT PROGRAMMIERMETHOD COMPILERBAU 54430 0% 100% 2
7 INFORMAT TECHNOL TELEMAT 54430 0% 100% 2
8 LOGICIELS SYST EAUX 54426 0% 50% 4
9 SYST ASSURANCE GRP 48985 0% 60% 3
10 IUT FONTAINEBLEAU 48378 0% 44% 4

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 FORMAL ASPECTS OF COMPUTING 434317 7% 20% 81
2 SCIENCE OF COMPUTER PROGRAMMING 176721 9% 6% 103
3 JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING 155626 3% 18% 31
4 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 106494 3% 11% 36
5 LECTURE NOTES IN COMPUTER SCIENCE 52054 35% 0% 411
6 ACTA INFORMATICA 42254 4% 4% 42
7 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 19561 1% 7% 10
8 INFORMATION PROCESSING LETTERS 7795 4% 1% 43
9 SOFTWARE AND SYSTEMS MODELING 5439 1% 2% 9
10 FORMAL METHODS IN SYSTEM DESIGN 5296 1% 2% 10

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 EVENT B 431819 3% 55% 29 Search EVENT+B Search EVENT+B
2 KLEENE ALGEBRA 361607 2% 47% 28 Search KLEENE+ALGEBRA Search KLEENE+ALGEBRA
3 REFINEMENT CALCULUS 297699 2% 58% 19 Search REFINEMENT+CALCULUS Search REFINEMENT+CALCULUS
4 B METHOD 280686 2% 54% 19 Search B+METHOD Search B+METHOD
5 REFINEMENT 266556 9% 9% 108 Search REFINEMENT Search REFINEMENT
6 Z 227099 3% 22% 38 Search Z Search Z
7 RELATION ALGEBRA 204312 3% 26% 29 Search RELATION+ALGEBRA Search RELATION+ALGEBRA
8 ACTION SYSTEMS 199960 1% 57% 13 Search ACTION+SYSTEMS Search ACTION+SYSTEMS
9 DEDEKIND CATEGORY 190505 1% 100% 7 Search DEDEKIND+CATEGORY Search DEDEKIND+CATEGORY
10 DATA REFINEMENT 183921 1% 48% 14 Search DATA+REFINEMENT Search DATA+REFINEMENT

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 1


rank cluster_id2 link
1 15347 TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING
2 31352 ABSTRACT STATE MACHINES//ABSTRACT STATE MACHINE//COREASM
3 26389 CYLINDRIC ALGEBRAS//ALGEBRAIC LOGIC//NEAT REDUCTS
4 14030 SOFTWARE ENGINEERING JOURNAL//SEQUENCE BASED SPECIFICATION//DATA FLOW DIAGRAMS
5 14302 COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA
6 4056 SEPARATION LOGIC//ACM SIGPLAN NOTICES//ABSTRACT INTERPRETATION
7 15888 STATECHARTS//LIVE SEQUENCE CHARTS//CHOREOGRAPHY REALIZATION PROBLEM
8 26197 LOTOS//PROTOCOL SYNTHESIS//RM ODP
9 7234 PROCESS ALGEBRA//PROGRAMMING GRP//MU CRL
10 16278 SKELETAL PARALLEL PROGRAMMING//PROGRAM TRANSFORMATION//CONSTRUCTIVE ALGORITHMICS

Go to start page