Class information for:
Level 1: TEMPORAL LOGIC PROGRAMMING//COMP THEORY TECHNOL//CARD BASED PROTOCOLS

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
31065 1                   TEMPORAL LOGIC PROGRAMMING//COMP THEORY TECHNOL//CARD BASED PROTOCOLS 173

Terms with highest relevance score



rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 TEMPORAL LOGIC PROGRAMMING authKW 2100409 8% 82% 14
2 COMP THEORY TECHNOL address 1623037 8% 64% 14
3 CARD BASED PROTOCOLS authKW 910894 3% 100% 5
4 CARD GAMES authKW 743891 4% 58% 7
5 CRYPTOGRAPHY WITHOUT COMPUTERS authKW 728715 2% 100% 4
6 KEY EXCHANGE GRAPHS authKW 728715 2% 100% 4
7 KEY SET PROTOCOL authKW 728715 2% 100% 4
8 INFORMATION THEORETICALLY SECURE authKW 582970 2% 80% 4
9 SECRET KEY EXCHANGE authKW 416405 2% 57% 4
10 HIERARCHICAL GROUPS authKW 364358 1% 100% 2

Web of Science journal categories



chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Theory & Methods 5317 48% 0% 83
2 Computer Science, Hardware & Architecture 2330 21% 0% 36
3 Computer Science, Software Engineering 544 13% 0% 23
4 Computer Science, Information Systems 496 14% 0% 25
5 Logic 290 3% 0% 5
6 Mathematics, Applied 234 16% 0% 27
7 Computer Science, Artificial Intelligence 217 10% 0% 17
8 Engineering, Electrical & Electronic 74 14% 0% 25
9 Telecommunications 38 5% 0% 8
10 Computer Science, Interdisciplinary Applications 27 4% 0% 7

Address terms



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 COMP THEORY TECHNOL 1623037 8% 64% 14
2 NISHIZEKI 242904 1% 67% 2
3 ICTT ISN 234226 2% 43% 3
4 DAVID R CHERLTON COMP SCI 182179 1% 100% 1
5 MOE GRAIN INFORMAT TECHNOL CONTROL 182179 1% 100% 1
6 ABT PROGRAMMIERMETHOD 91088 1% 50% 1
7 LSV UMR 8643 91088 1% 50% 1
8 INFORMAT TELECOM 80965 1% 22% 2
9 INFORMAT SYNERGY 66968 3% 7% 5
10 SER 66240 2% 9% 4

Journals



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 JOURNAL OF LOGIC PROGRAMMING 14894 3% 1% 6
2 MICROPROCESSING AND MICROPROGRAMMING 10376 5% 1% 8
3 FORMAL METHODS IN SYSTEM DESIGN 5685 2% 1% 4
4 THEORETICAL COMPUTER SCIENCE 5414 10% 0% 18
5 INTEGRATION-THE VLSI JOURNAL 4287 3% 0% 5
6 NEW GENERATION COMPUTING 2709 2% 0% 3
7 JOURNAL OF COMBINATORIAL OPTIMIZATION 2161 2% 0% 4
8 JOURNAL OF SYMBOLIC COMPUTATION 1990 3% 0% 5
9 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 1322 6% 0% 11
10 IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES 1314 1% 0% 2

Author Key Words



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 TEMPORAL LOGIC PROGRAMMING 2100409 8% 82% 14 Search TEMPORAL+LOGIC+PROGRAMMING Search TEMPORAL+LOGIC+PROGRAMMING
2 CARD BASED PROTOCOLS 910894 3% 100% 5 Search CARD+BASED+PROTOCOLS Search CARD+BASED+PROTOCOLS
3 CARD GAMES 743891 4% 58% 7 Search CARD+GAMES Search CARD+GAMES
4 CRYPTOGRAPHY WITHOUT COMPUTERS 728715 2% 100% 4 Search CRYPTOGRAPHY+WITHOUT+COMPUTERS Search CRYPTOGRAPHY+WITHOUT+COMPUTERS
5 KEY EXCHANGE GRAPHS 728715 2% 100% 4 Search KEY+EXCHANGE+GRAPHS Search KEY+EXCHANGE+GRAPHS
6 KEY SET PROTOCOL 728715 2% 100% 4 Search KEY+SET+PROTOCOL Search KEY+SET+PROTOCOL
7 INFORMATION THEORETICALLY SECURE 582970 2% 80% 4 Search INFORMATION+THEORETICALLY+SECURE Search INFORMATION+THEORETICALLY+SECURE
8 SECRET KEY EXCHANGE 416405 2% 57% 4 Search SECRET+KEY+EXCHANGE Search SECRET+KEY+EXCHANGE
9 HIERARCHICAL GROUPS 364358 1% 100% 2 Search HIERARCHICAL+GROUPS Search HIERARCHICAL+GROUPS
10 INFORMATION BASED CRYPTOGRAPHY 364358 1% 100% 2 Search INFORMATION+BASED+CRYPTOGRAPHY Search INFORMATION+BASED+CRYPTOGRAPHY

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 25552 WEISERS ALGORITHM//HERBRAND DOMAIN//A COMPLETE AXIOMATIZATION
2 37615 RELATIONAL TRANSDUCER//CLOUD PROGRAMMING//INTERNET BASED COMMERCE
3 15347 TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING
4 6466 PARITY GAMES//TEMPORAL LOGIC//MODAL MU CALCULUS
5 28590 RECURSIVE QUERY PROCESSING//DEDUCTIVE DATABASES//RECURSIVE QUERY EVALUATION
6 17737 TEMPORAL DATABASES//TRANSACTION TIME//VALID TIME
7 14051 ORDERED BINARY DECISION DIAGRAMS//BINARY DECISION DIAGRAMS//BDDS
8 16703 MODEL CHECKING//PROMELA//PARAMETERIZED SYSTEMS
9 38546 ACKERMANN FUNCTIONS//AND NC COMPUTABLE FUNCTIONS//BOUNDED ITERATION
10 13768 HIGH LEVEL SYNTHESIS//BEHAVIORAL SYNTHESIS//DATAPATH SYNTHESIS

Go to start page