Class information for:
Level 1: MODAL MU CALCULUS//PARITY GAMES//TEMPORAL LOGIC

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
4516 1698 24.6 29%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 2)


ID, lev.
above		 Publications Label for level above
216 20103 FORMAL METHODS IN SYSTEM DESIGN//MODEL CHECKING//LECTURE NOTES IN COMPUTER SCIENCE

Terms with highest relevance score


Rank Term Type of term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 MODAL MU CALCULUS Author keyword 51 83% 2% 29
2 PARITY GAMES Author keyword 42 76% 2% 29
3 TEMPORAL LOGIC Author keyword 22 16% 7% 127
4 MU CALCULUS Author keyword 18 41% 2% 33
5 TEMPORAL LOGIC PROGRAMMING Author keyword 17 70% 1% 14
6 BUCHI AUTOMATA Author keyword 14 51% 1% 19
7 COMP THEORY TECHNOL Address 13 69% 1% 11
8 PROBABILISTIC TEMPORAL LOGIC Author keyword 9 83% 0% 5
9 OMEGA REGULAR OBJECTIVES Author keyword 8 100% 0% 5
10 VASY Address 7 57% 0% 8

Web of Science journal categories

Author Key Words


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class		 LCSH search Wikipedia search
1 MODAL MU CALCULUS 51 83% 2% 29 Search MODAL+MU+CALCULUS Search MODAL+MU+CALCULUS
2 PARITY GAMES 42 76% 2% 29 Search PARITY+GAMES Search PARITY+GAMES
3 TEMPORAL LOGIC 22 16% 7% 127 Search TEMPORAL+LOGIC Search TEMPORAL+LOGIC
4 MU CALCULUS 18 41% 2% 33 Search MU+CALCULUS Search MU+CALCULUS
5 TEMPORAL LOGIC PROGRAMMING 17 70% 1% 14 Search TEMPORAL+LOGIC+PROGRAMMING Search TEMPORAL+LOGIC+PROGRAMMING
6 BUCHI AUTOMATA 14 51% 1% 19 Search BUCHI+AUTOMATA Search BUCHI+AUTOMATA
7 PROBABILISTIC TEMPORAL LOGIC 9 83% 0% 5 Search PROBABILISTIC+TEMPORAL+LOGIC Search PROBABILISTIC+TEMPORAL+LOGIC
8 OMEGA REGULAR OBJECTIVES 8 100% 0% 5 Search OMEGA+REGULAR+OBJECTIVES Search OMEGA+REGULAR+OBJECTIVES
9 BRANCHING TIME TEMPORAL LOGICS 6 80% 0% 4 Search BRANCHING+TIME+TEMPORAL+LOGICS Search BRANCHING+TIME+TEMPORAL+LOGICS
10 COALITION LOGIC 6 71% 0% 5 Search COALITION+LOGIC Search COALITION+LOGIC

Key Words Plus


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 MU CALCULUS 44 44% 4% 75
2 TEMPORAL LOGIC 33 21% 8% 144
3 PARITY GAMES 27 48% 2% 41
4 PROPOSITIONAL MU CALCULUS 22 52% 2% 30
5 MODEL CHECKING 21 11% 11% 188
6 LOCAL MODEL CHECKING 18 89% 0% 8
7 BRANCHING TIME 16 43% 2% 29
8 PROPOSITIONAL DYNAMIC LOGIC 16 48% 1% 25
9 FAIR SIMULATION 15 71% 1% 12
10 INFINITE GAMES 13 48% 1% 20

Journals


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 FORMAL METHODS IN SYSTEM DESIGN 6 11% 3% 51

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
Formal methods: State of the art and future directions 1996 255 27 19%
AN ESSAY IN COMBINATORY DYNAMIC LOGIC 1991 35 18 78%
BRANCHING TIME TEMPORAL LOGIC 1989 15 18 94%
RESEARCH ON AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS 1987 23 8 75%
Programming in metric temporal logic 1998 5 23 39%

Address terms


Rank Address term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 COMP THEORY TECHNOL 13 69% 0.6% 11
2 VASY 7 57% 0.5% 8
3 PARLEVINK GRP 6 80% 0.2% 4
4 LEHRSTUHL INFORMAT 7 3 22% 0.7% 12
5 ANGEW MATH INFORMAT 3 60% 0.2% 3
6 REACT SYST GRP 2 43% 0.2% 3
7 FORMAL VERIFICAT GRP 1 50% 0.1% 2
8 ICTT ISN 1 50% 0.1% 2
9 VASY PROJECT TEAM 1 100% 0.1% 2
10 LFCS 1 11% 0.6% 11

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000254798 STOP AND WAIT PROTOCOLS//SWEEP LINE METHOD//STATE EXPLOSION
2 0.0000212786 TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING
3 0.0000199950 WELL STRUCTURED TRANSITION SYSTEMS//INFINITE STATE SYSTEMS//VERIFICATION OF INFINITE STATE SYSTEMS
4 0.0000178189 TIMED AUTOMATA//TIME PETRI NETS//DURATION CALCULUS
5 0.0000172729 AUTOMATIC STRUCTURES//BOREL HIERARCHY//INFINITARY RATIONAL RELATIONS
6 0.0000172314 ABSTRACT INTERPRETATION//PREDICATE ABSTRACTION//SATISFIABILITY MODULO THEORIES
7 0.0000156703 PROCESS ALGEBRA//THREAD ALGEBRA//PROGRAMMING GRP
8 0.0000130572 READ ONCE BRANCHING PROGRAMS//ORDERED BINARY DECISION DIAGRAMS//INFORMAT LS2
9 0.0000116221 DESCRIPTION LOGICS//FUZZY DESCRIPTION LOGICS//LOGIC FOR THE SEMANTIC WEB
10 0.0000085688 MESSAGE SEQUENCE CHARTS//LIVE SEQUENCE CHARTS//TESTING AND TEST CONTROL NOTATION VERSION 3 TTCN 3