Class information for:
Level 1: WELL STRUCTURED TRANSITION SYSTEMS//INFINITE STATE SYSTEMS//NETS WITHIN NETS

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
16541 648 23.4 31%


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
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
148 3       COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//ACM SIGPLAN NOTICES 63683
237 2             COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//MODEL CHECKING 20142
16541 1                   WELL STRUCTURED TRANSITION SYSTEMS//INFINITE STATE SYSTEMS//NETS WITHIN NETS 648

Terms with highest relevance score


rank Term termType Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 WELL STRUCTURED TRANSITION SYSTEMS authKW 484672 2% 86% 12
2 INFINITE STATE SYSTEMS authKW 456108 3% 44% 22
3 NETS WITHIN NETS authKW 424085 2% 75% 12
4 PARAMETERIZED SYSTEMS authKW 300078 2% 58% 11
5 LSV address 297932 6% 16% 40
6 LOSSY CHANNEL SYSTEMS authKW 282727 1% 100% 6
7 PARAMETERIZED VERIFICATION authKW 242336 1% 86% 6
8 PURE NAMES authKW 188485 1% 100% 4
9 COVERABILITY authKW 168287 1% 71% 5
10 COUNTER MACHINE authKW 162474 2% 34% 10

Web of Science journal categories


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 Computer Science, Theory & Methods 38947 67% 0% 434
2 Computer Science, Software Engineering 14067 34% 0% 221
3 Logic 3647 5% 0% 34
4 Computer Science, Information Systems 2174 15% 0% 100
5 Mathematics, Applied 1141 18% 0% 114
6 Computer Science, Hardware & Architecture 1051 7% 0% 48
7 Computer Science, Artificial Intelligence 143 4% 0% 29
8 Literature, Romance 20 0% 0% 3
9 Automation & Control Systems 15 1% 0% 9
10 Mathematics 12 4% 0% 23

Address terms


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 LSV 297932 6% 16% 40
2 UMR 8643 147994 3% 18% 17
3 SPECIFICAT VERIFICAT 113978 2% 16% 15
4 VERTECS PROJECT 94242 0% 100% 2
5 EQUAT 88461 2% 14% 13
6 URA 2236 75389 1% 40% 4
7 PROGRAM SYST 54897 2% 9% 13
8 MONTEFIORE 53123 3% 6% 19
9 ABT INFORMAT ANGEW KONITIONSWISSEN 47121 0% 100% 1
10 CHAIR COMPUTAT INTELLIGENCE 47121 0% 100% 1

Journals


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 FUNDAMENTA INFORMATICAE 71922 9% 3% 59
2 FORMAL METHODS IN SYSTEM DESIGN 45390 3% 4% 22
3 LECTURE NOTES IN COMPUTER SCIENCE 31018 37% 0% 241
4 LOGICAL METHODS IN COMPUTER SCIENCE 21514 3% 3% 17
5 THEORETICAL COMPUTER SCIENCE 16858 10% 1% 62
6 INFORMATION AND COMPUTATION 16258 4% 1% 27
7 INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE 12720 2% 2% 16
8 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 9646 1% 4% 5
9 ACTA INFORMATICA 6056 2% 1% 12
10 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 5208 1% 2% 6

Author Key Words


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class		 LCSH search Wikipedia search
1 WELL STRUCTURED TRANSITION SYSTEMS 484672 2% 86% 12 Search WELL+STRUCTURED+TRANSITION+SYSTEMS Search WELL+STRUCTURED+TRANSITION+SYSTEMS
2 INFINITE STATE SYSTEMS 456108 3% 44% 22 Search INFINITE+STATE+SYSTEMS Search INFINITE+STATE+SYSTEMS
3 NETS WITHIN NETS 424085 2% 75% 12 Search NETS+WITHIN+NETS Search NETS+WITHIN+NETS
4 PARAMETERIZED SYSTEMS 300078 2% 58% 11 Search PARAMETERIZED+SYSTEMS Search PARAMETERIZED+SYSTEMS
5 LOSSY CHANNEL SYSTEMS 282727 1% 100% 6 Search LOSSY+CHANNEL+SYSTEMS Search LOSSY+CHANNEL+SYSTEMS
6 PARAMETERIZED VERIFICATION 242336 1% 86% 6 Search PARAMETERIZED+VERIFICATION Search PARAMETERIZED+VERIFICATION
7 PURE NAMES 188485 1% 100% 4 Search PURE+NAMES Search PURE+NAMES
8 COVERABILITY 168287 1% 71% 5 Search COVERABILITY Search COVERABILITY
9 COUNTER MACHINE 162474 2% 34% 10 Search COUNTER+MACHINE Search COUNTER+MACHINE
10 NESTED PETRI NETS 141364 0% 100% 3 Search NESTED+PETRI+NETS Search NESTED+PETRI+NETS

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.


Rank Reference # ref.
in cl.		 Shr. of ref. in
cl.		 Citations
1 DELZANNO, G , (2016) A UNIFIED VIEW OF PARAMETERIZED VERIFICATION OF ABSTRACT MODELS OF BROADCAST COMMUNICATION.INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. VOL. 18. ISSUE 5. P. 475 -493 32 78% 0
2 BERTRAND, N , SCHNOEBELEN, P , (2013) COMPUTABLE FIXPOINTS IN WELL-STRUCTURED SYMBOLIC MODEL CHECKING.FORMAL METHODS IN SYSTEM DESIGN. VOL. 43. ISSUE 2. P. 233 -267 28 74% 7
3 CHAMBART, P , FINKEL, A , SCHMITZ, S , (2016) FORWARD ANALYSIS AND MODEL CHECKING FOR TRACE BOUNDED WSTS.THEORETICAL COMPUTER SCIENCE. VOL. 637. ISSUE . P. 1 -29 24 77% 0
4 LEGAY, A , WOLPER, P , (2010) ON (OMEGA-)REGULAR MODEL CHECKING.ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. VOL. 12. ISSUE 1. P. - 26 81% 0
5 DEMRI, S , (2013) ON SELECTIVE UNBOUNDEDNESS OF VASS.JOURNAL OF COMPUTER AND SYSTEM SCIENCES. VOL. 79. ISSUE 5. P. 689 -713 17 100% 1
6 ROSA-VELARDO, F , DE FRUTOS-ESCRIG, D , (2010) DECIDABILITY PROBLEMS IN PETRI NETS WITH NAMES AND REPLICATION.FUNDAMENTA INFORMATICAE. VOL. 105. ISSUE 3. P. 291 -317 18 95% 1
7 GOUBAULT-LARRECQ, J , FINKEL, A , (2012) FORWARD ANALYSIS FOR WSTS, PART II: COMPLETE WSTS.LOGICAL METHODS IN COMPUTER SCIENCE. VOL. 8. ISSUE 3. P. - 16 89% 0
8 GEERAERTS, G , HEUSSNER, A , PRAVEEN, M , RASKIN, JF , (2015) OMEGA-PETRI NETS: ALGORITHMS AND COMPLEXITY.FUNDAMENTA INFORMATICAE. VOL. 137. ISSUE 1. P. 29 -60 13 100% 0
9 BAIER, C , BERTRAND, N , SCHNOEBELEN, P , (2008) VERIFYING NONDETERMINISTIC PROBABILISTIC CHANNEL SYSTEMS AGAINST OMEGA-REGULAR LINEAR-TIME PROPERTIES.ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. VOL. 9. ISSUE 1. P. - 16 89% 1
10 ABDULLA, P , HAZIZA, F , HOLIK, L , (2016) PARAMETERIZED VERIFICATION THROUGH VIEW ABSTRACTION.INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. VOL. 18. ISSUE 5. P. 495 -516 14 82% 0

Classes with closest relation at Level 1


Rank Class id link
1 13313 PUSHDOWN SYSTEMS//PARITY GAMES//AUTOMATIC STRUCTURES
2 8670 TIMED AUTOMATA//TIME PETRI NETS//MODEL CHECKING
3 5920 MODEL CHECKING//TEMPORAL LOGIC//PARTIAL ORDER REDUCTION
4 17505 PROTOCOL SYNTHESIS//ESTELLE//PROTOCOL VALIDATION
5 6407 ABSTRACT INTERPRETATION//SEPARATION LOGIC//PREDICATE ABSTRACTION
6 3544 PETRI NETS//DEADLOCK PREVENTION//DEADLOCK AVOIDANCE
7 26144 GUARDED FRAGMENT//HYBRID LOGIC//DATA WORDS
8 2581 PROCESS ALGEBRA//PROGRAMMING GRP//EVENT STRUCTURES
9 13930 ASSUME GUARANTEE REASONING//TEMPORAL LOGIC OF ACTIONS//COMPOSITIONAL REASONING
10 8999 PI CALCULUS//PROCESS CALCULI//SESSION TYPES

Go to start page