Class information for:
Level 1: TIMED AUTOMATA//TIME PETRI NETS//HYBRID SYSTEMS

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
3717 1                   TIMED AUTOMATA//TIME PETRI NETS//HYBRID SYSTEMS 1957

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 TIMED AUTOMATA authKW 1460829 8% 60% 150
2 TIME PETRI NETS authKW 386641 2% 56% 43
3 HYBRID SYSTEMS authKW 367581 9% 12% 185
4 MODEL CHECKING authKW 348484 9% 12% 185
5 DURATION CALCULUS authKW 263005 1% 78% 21
6 HYBRID AUTOMATA authKW 221937 2% 42% 33
7 TEMPORAL LOGIC authKW 211070 5% 14% 95
8 EQUAT address 204517 2% 37% 34
9 APPROXIMATE BISIMULATION authKW 178369 1% 92% 12
10 DISCRETE ABSTRACTION authKW 162369 1% 92% 11

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Theory & Methods 71159 52% 0% 1020
2 Computer Science, Software Engineering 32439 30% 0% 584
3 Automation & Control Systems 17353 20% 0% 389
4 Robotics 7583 6% 0% 114
5 Logic 5663 4% 0% 74
6 Computer Science, Hardware & Architecture 2850 7% 0% 138
7 Computer Science, Information Systems 1975 9% 0% 173
8 Mathematics, Applied 1344 12% 0% 226
9 Remote Sensing 1223 4% 0% 71
10 Engineering, Electrical & Electronic 994 15% 0% 303

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 EQUAT 204517 2% 37% 34
2 UMR 8643 137186 1% 30% 28
3 LSV 133148 2% 18% 47
4 VERIFORM 80514 0% 100% 5
5 EXCELLENCE DEWS 62024 1% 23% 17
6 SPECIFICAT VERIFICAT 55474 1% 19% 18
7 GRP HYBRID SYST 48309 0% 100% 3
8 VERIMAG 39999 1% 19% 13
9 CHAIR CONTROL ENGN LRT 15 32206 0% 100% 2
10 SPE E 32206 0% 100% 2

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 FORMAL METHODS IN SYSTEM DESIGN 116922 3% 12% 61
2 LECTURE NOTES IN COMPUTER SCIENCE 76005 33% 1% 646
3 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 46305 1% 14% 20
4 DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS 36542 2% 8% 30
5 FUNDAMENTA INFORMATICAE 21973 3% 2% 57
6 THEORETICAL COMPUTER SCIENCE 19097 6% 1% 114
7 FORMAL ASPECTS OF COMPUTING 18921 1% 5% 22
8 INFORMATION AND COMPUTATION 17713 3% 2% 49
9 LOGICAL METHODS IN COMPUTER SCIENCE 16418 1% 4% 26
10 NONLINEAR ANALYSIS-HYBRID SYSTEMS 14468 1% 4% 23

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 TIMED AUTOMATA 1460829 8% 60% 150 Search TIMED+AUTOMATA Search TIMED+AUTOMATA
2 TIME PETRI NETS 386641 2% 56% 43 Search TIME+PETRI+NETS Search TIME+PETRI+NETS
3 HYBRID SYSTEMS 367581 9% 12% 185 Search HYBRID+SYSTEMS Search HYBRID+SYSTEMS
4 MODEL CHECKING 348484 9% 12% 185 Search MODEL+CHECKING Search MODEL+CHECKING
5 DURATION CALCULUS 263005 1% 78% 21 Search DURATION+CALCULUS Search DURATION+CALCULUS
6 HYBRID AUTOMATA 221937 2% 42% 33 Search HYBRID+AUTOMATA Search HYBRID+AUTOMATA
7 TEMPORAL LOGIC 211070 5% 14% 95 Search TEMPORAL+LOGIC Search TEMPORAL+LOGIC
8 APPROXIMATE BISIMULATION 178369 1% 92% 12 Search APPROXIMATE+BISIMULATION Search APPROXIMATE+BISIMULATION
9 DISCRETE ABSTRACTION 162369 1% 92% 11 Search DISCRETE+ABSTRACTION Search DISCRETE+ABSTRACTION
10 UPPAAL 152958 1% 50% 19 Search UPPAAL Search UPPAAL

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 16565 WELL STRUCTURED TRANSITION SYSTEMS//NETS WITHIN NETS//LSV
2 6466 PARITY GAMES//TEMPORAL LOGIC//MODAL MU CALCULUS
3 16703 MODEL CHECKING//PROMELA//PARAMETERIZED SYSTEMS
4 15888 STATECHARTS//LIVE SEQUENCE CHARTS//CHOREOGRAPHY REALIZATION PROBLEM
5 15347 TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING
6 14302 COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA
7 8206 DISCRETE EVENT SYSTEMS//SUPERVISORY CONTROL//DISCRETE EVENT SYSTEMS DESS
8 31352 ABSTRACT STATE MACHINES//ABSTRACT STATE MACHINE//COREASM
9 26527 RUNTIME VERIFICATION//RUNTIME ENFORCEMENT//RUNTIME MONITORING
10 7234 PROCESS ALGEBRA//PROGRAMMING GRP//MU CRL

Go to start page