Class information for:
Level 1: ABSTRACT STATE MACHINES//ABSTRACT STATE MACHINE//COREASM

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
31352 1                   ABSTRACT STATE MACHINES//ABSTRACT STATE MACHINE//COREASM 168

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 ABSTRACT STATE MACHINES authKW 4419420 21% 67% 35
2 ABSTRACT STATE MACHINE authKW 844195 5% 50% 9
3 COREASM authKW 562802 2% 100% 3
4 FIRST ORDER TIMED LOGIC authKW 375202 1% 100% 2
5 ASML authKW 375198 2% 50% 4
6 EQUIVALENCE OF ALGORITHMS authKW 337679 2% 60% 3
7 ABSTRACT STATE MACHINES ASM authKW 250133 1% 67% 2
8 ASM THESIS authKW 250133 1% 67% 2
9 CONTINUOUS ASM authKW 250133 1% 67% 2
10 PARTIAL UPDATES authKW 250133 1% 67% 2

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Theory & Methods 9519 65% 0% 109
2 Computer Science, Software Engineering 4867 39% 0% 66
3 Logic 3538 10% 0% 17
4 Computer Science, Information Systems 287 11% 0% 19
5 Computer Science, Artificial Intelligence 225 10% 0% 17
6 Computer Science, Hardware & Architecture 57 4% 0% 6
7 Mathematics, Applied 17 5% 0% 9
8 Mathematics 13 5% 0% 9
9 Operations Research & Management Science 6 2% 0% 3
10 Language & Linguistics 1 1% 0% 1

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 ALGORITHM COMPLEX LOG 246836 3% 26% 5
2 CHRISTIAN DOPPLER CLIENT CENTR CLOUD COMP HAG 187601 1% 100% 1
3 DIP ING INFORMAT METODI MATEMAT 187601 1% 100% 1
4 DIP ING INFORMAZ METODI MATEMAT 187601 1% 100% 1
5 DIPARTIMENTO INGN GESTIONALE INFORMAZ PRODUZ 187601 1% 100% 1
6 ELECT COMMUN UNIT 187601 1% 100% 1
7 FB INFORMAT 17 187601 1% 100% 1
8 INRIA LIAMA 187601 1% 100% 1
9 LEHRSTUHL SOFTWARE SYSTEMTECH 187601 1% 100% 1
10 PROGRAMMSTRUKTUREN DATENORGAN 187601 1% 100% 1

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 JOURNAL OF UNIVERSAL COMPUTER SCIENCE 21129 8% 1% 14
2 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 13390 3% 1% 5
3 LECTURE NOTES IN COMPUTER SCIENCE 9841 40% 0% 68
4 SCIENCE OF COMPUTER PROGRAMMING 7341 5% 0% 8
5 FORMAL ASPECTS OF COMPUTING 7295 2% 1% 4
6 SOFTWARE-PRACTICE & EXPERIENCE 3805 4% 0% 7
7 IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY 3122 2% 0% 4
8 BULLETIN OF SYMBOLIC LOGIC 2916 1% 1% 2
9 CROP RESEARCH 2205 1% 1% 1
10 ANNALS OF PURE AND APPLIED LOGIC 1421 2% 0% 4

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 ABSTRACT STATE MACHINES 4419420 21% 67% 35 Search ABSTRACT+STATE+MACHINES Search ABSTRACT+STATE+MACHINES
2 ABSTRACT STATE MACHINE 844195 5% 50% 9 Search ABSTRACT+STATE+MACHINE Search ABSTRACT+STATE+MACHINE
3 COREASM 562802 2% 100% 3 Search COREASM Search COREASM
4 FIRST ORDER TIMED LOGIC 375202 1% 100% 2 Search FIRST+ORDER+TIMED+LOGIC Search FIRST+ORDER+TIMED+LOGIC
5 ASML 375198 2% 50% 4 Search ASML Search ASML
6 EQUIVALENCE OF ALGORITHMS 337679 2% 60% 3 Search EQUIVALENCE+OF+ALGORITHMS Search EQUIVALENCE+OF+ALGORITHMS
7 ABSTRACT STATE MACHINES ASM 250133 1% 67% 2 Search ABSTRACT+STATE+MACHINES+ASM Search ABSTRACT+STATE+MACHINES+ASM
8 ASM THESIS 250133 1% 67% 2 Search ASM+THESIS Search ASM+THESIS
9 CONTINUOUS ASM 250133 1% 67% 2 Search CONTINUOUS+ASM Search CONTINUOUS+ASM
10 PARTIAL UPDATES 250133 1% 67% 2 Search PARTIAL+UPDATES Search PARTIAL+UPDATES

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 37061 TTCN 3//TESTING AND TEST CONTROL NOTATION VERSION 3 TTCN 3//WIRELESS ROBOTICS
2 9739 FORMAL ASPECTS OF COMPUTING//EVENT B//KLEENE ALGEBRA
3 15283 FINITE MODEL THEORY//DESCRIPTIVE COMPLEXITY//CONSTRAINT DATABASES
4 4056 SEPARATION LOGIC//ACM SIGPLAN NOTICES//ABSTRACT INTERPRETATION
5 33385 LANE RESERVATION//CUT AND SOLVE METHOD//ROLE TRANSFER
6 37267 KRIPKE MODELLING//SAFETY DRIVEN DESIGN//3D GRAPHIC SIMULATION
7 36974 MIGRATORY INTERFACES//SOFTWARE ARCHITECTU//WEB BASED E MAIL
8 3717 TIMED AUTOMATA//TIME PETRI NETS//HYBRID SYSTEMS
9 18056 HYPERCOMPUTATION//CHURCH TURING THESIS//ANALOG COMPUTATION
10 36208 WATER SOFT PATHS//WATER SOFT PATH//POLIS PROJECT ECOL GOVERNANCE

Go to start page