Class information for:
Level 1: PROTOCOL SYNTHESIS//ESTELLE//PROTOCOL VALIDATION

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
16981 560 21.2 21%


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 PROTOCOL SYNTHESIS Author keyword 17 59% 3% 19
2 ESTELLE Author keyword 12 40% 4% 24
3 PROTOCOL VALIDATION Author keyword 8 50% 2% 11
4 PROTOCOL ENGINEERING Author keyword 6 33% 3% 16
5 SEQUENCE TRANSMISSION Author keyword 6 100% 1% 4
6 CO CL INTERWORKING Author keyword 4 75% 1% 3
7 INFORMATION FLOW TRAIL Author keyword 4 75% 1% 3
8 FORMAL DESCRIPTION TECHNIQUES Author keyword 4 19% 3% 18
9 DISTRIBUTED SERVICE IMPLEMENTATION Author keyword 3 100% 1% 3
10 PROTOCOL CONVERTERS Author keyword 3 100% 1% 3

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 PROTOCOL SYNTHESIS 17 59% 3% 19 Search PROTOCOL+SYNTHESIS Search PROTOCOL+SYNTHESIS
2 ESTELLE 12 40% 4% 24 Search ESTELLE Search ESTELLE
3 PROTOCOL VALIDATION 8 50% 2% 11 Search PROTOCOL+VALIDATION Search PROTOCOL+VALIDATION
4 PROTOCOL ENGINEERING 6 33% 3% 16 Search PROTOCOL+ENGINEERING Search PROTOCOL+ENGINEERING
5 SEQUENCE TRANSMISSION 6 100% 1% 4 Search SEQUENCE+TRANSMISSION Search SEQUENCE+TRANSMISSION
6 CO CL INTERWORKING 4 75% 1% 3 Search CO+CL+INTERWORKING Search CO+CL+INTERWORKING
7 INFORMATION FLOW TRAIL 4 75% 1% 3 Search INFORMATION+FLOW+TRAIL Search INFORMATION+FLOW+TRAIL
8 FORMAL DESCRIPTION TECHNIQUES 4 19% 3% 18 Search FORMAL+DESCRIPTION+TECHNIQUES Search FORMAL+DESCRIPTION+TECHNIQUES
9 DISTRIBUTED SERVICE IMPLEMENTATION 3 100% 1% 3 Search DISTRIBUTED+SERVICE+IMPLEMENTATION Search DISTRIBUTED+SERVICE+IMPLEMENTATION
10 PROTOCOL CONVERTERS 3 100% 1% 3 Search PROTOCOL+CONVERTERS Search PROTOCOL+CONVERTERS

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 PROGRESS STATE EXPLORATION 20 100% 2% 9
2 COMMUNICATION PROTOCOLS 10 41% 4% 20
3 PROTOCOL VALIDATION 6 71% 1% 5
4 TO END COMMUNICATION 4 75% 1% 3
5 ESTELLE 4 38% 1% 8
6 OSI 4 33% 2% 9
7 SEQUENCE TRANSMISSION 3 100% 1% 3
8 SPECIFICATION LANGUAGE 2 27% 1% 8
9 SUBMODULE SPECIFICATIONS 2 67% 0% 2
10 PROTOCOL VERIFICATION 2 36% 1% 4

Journals

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
Synthesis of communications protocol converters: survey and assessment 1998 2 15 87%
CONSTRUCTION OF PROTOCOL CONVERTERS USING FORMAL METHODS 1993 5 5 100%
ON TOOLS SUPPORTING THE USE OF FORMAL DESCRIPTION TECHNIQUES IN PROTOCOL DEVELOPMENT 1993 14 3 33%
A SEMIAUTOMATIC IMPLEMENTATION OF THE ISO VIRTUAL TERMINAL PROTOCOL 1994 0 1 100%

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 AIDED PROTOCOL ENGN 1 50% 0.2% 1
2 COMP SCI BUSINESS 1 50% 0.2% 1
3 QUIVIR GRP 1 50% 0.2% 1
4 INFORMAT TECHOL 0 25% 0.2% 1
5 COMMUN SYST S 0 20% 0.2% 1
6 PROD LOGGING 0 20% 0.2% 1
7 SECT INFORMAT 0 20% 0.2% 1
8 ICSA GRP 0 17% 0.2% 1
9 MOBILE NETWORKS 0 13% 0.2% 1
10 SWITCHING TECHNOL TELECOMMUN NETWO 0 13% 0.2% 1

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000224636 RECEIVE LIVELOCK//INTERRUPT COALESCING//OSI 95
2 0.0000180182 TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING
3 0.0000173294 STOP AND WAIT PROTOCOLS//SWEEP LINE METHOD//STATE EXPLOSION
4 0.0000152873 COUNTING TO INFINITY//POPULATION CONSTRAINT//SEMAPHORE QUEUE
5 0.0000137548 WELL STRUCTURED TRANSITION SYSTEMS//INFINITE STATE SYSTEMS//VERIFICATION OF INFINITE STATE SYSTEMS
6 0.0000106960 PROCESS ALGEBRA//THREAD ALGEBRA//PROGRAMMING GRP
7 0.0000097518 MESSAGE SEQUENCE CHARTS//LIVE SEQUENCE CHARTS//TESTING AND TEST CONTROL NOTATION VERSION 3 TTCN 3
8 0.0000089154 INTERGRATED COMMUN S//MULTICHANNEL DIVERSITY RECEPTION//MULTIPLE PULSE POSITION MODULATION
9 0.0000081285 OTE LEGAL SERV//PROCUREMENT SERV CONTRACTS//ALCATEL TELECOMMUNICATIONS REVIEW
10 0.0000078570 PHILIPS TELECOMMUNICATION REVIEW//CONCURRENT PROGRAMMING LANGUAGES//COOPERATIVE MULTITHREADING