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

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
17505 595 21.6 23%


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
313 3       TELECOMMUNICATIONS//QUEUEING SYSTEMS//PERFORMANCE EVALUATION 40047
2317 2             COMPUTER NETWORKS AND ISDN SYSTEMS//POLLING SYSTEMS//DQDB 4477
17505 1                   PROTOCOL SYNTHESIS//ESTELLE//PROTOCOL VALIDATION 595

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 PROTOCOL SYNTHESIS authKW 805474 3% 83% 19
2 ESTELLE authKW 421025 3% 43% 19
3 PROTOCOL VALIDATION authKW 388091 2% 69% 11
4 PROTOCOL ENGINEERING authKW 329889 3% 43% 15
5 PROTOCOL CONVERSION authKW 298577 1% 73% 8
6 SEQUENCE TRANSMISSION authKW 205275 1% 100% 4
7 FORMAL DESCRIPTION TECHNIQUES authKW 197055 3% 20% 19
8 SERVICE SPECIFICATION authKW 193426 1% 54% 7
9 DISTRIBUTED SERVICE IMPLEMENTATION authKW 153956 1% 100% 3
10 INFORMATION FLOW TRAIL authKW 153956 1% 100% 3

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 Telecommunications 11139 36% 0% 216
2 Computer Science, Information Systems 8281 31% 0% 183
3 Computer Science, Hardware & Architecture 8073 21% 0% 124
4 Computer Science, Software Engineering 6606 25% 0% 146
5 Computer Science, Theory & Methods 5649 27% 0% 161
6 Engineering, Electrical & Electronic 4364 50% 0% 298
7 COMPUTER APPLICATIONS & CYBERNETICS 949 1% 0% 7
8 Computer Science, Artificial Intelligence 7 2% 0% 9
9 Computer Science, Interdisciplinary Applications 4 1% 0% 8
10 Operations Research & Management Science 3 1% 0% 6

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 CATEDRA TELEINFORMAT 51319 0% 100% 1
2 CIENCIAS EXACTAS INFORMAT AUTOMAT 51319 0% 100% 1
3 ENGN STRATEGY PLANNING HEADQUATERS 51319 0% 100% 1
4 EVALUAT PROTOCOLES 51319 0% 100% 1
5 EVALUAT VALIDAT PROTOCOLS 51319 0% 100% 1
6 INFORMAT PROC MANAGMENT 51319 0% 100% 1
7 INFORMAT TASC 51319 0% 100% 1
8 INGN INFORMAT TELECOMMUN 51319 0% 100% 1
9 JCMB LFCS 51319 0% 100% 1
10 LAA SLC EVP 51319 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 COMPUTER NETWORKS AND ISDN SYSTEMS 107237 8% 4% 49
2 IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS 102848 5% 7% 28
3 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 15081 5% 1% 29
4 COMPUTER COMMUNICATIONS 12584 6% 1% 33
5 MICROPROCESSING AND MICROPROGRAMMING 11698 3% 1% 16
6 DISTRIBUTED COMPUTING 8844 2% 2% 10
7 IEEE TRANSACTIONS ON COMMUNICATIONS 5440 5% 0% 32
8 PROCEEDINGS OF THE IEEE 4319 3% 0% 19
9 ACM TRANSACTIONS ON COMPUTER SYSTEMS 4275 1% 1% 6
10 IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS 4146 4% 0% 21

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 PROTOCOL SYNTHESIS 805474 3% 83% 19 Search PROTOCOL+SYNTHESIS Search PROTOCOL+SYNTHESIS
2 ESTELLE 421025 3% 43% 19 Search ESTELLE Search ESTELLE
3 PROTOCOL VALIDATION 388091 2% 69% 11 Search PROTOCOL+VALIDATION Search PROTOCOL+VALIDATION
4 PROTOCOL ENGINEERING 329889 3% 43% 15 Search PROTOCOL+ENGINEERING Search PROTOCOL+ENGINEERING
5 PROTOCOL CONVERSION 298577 1% 73% 8 Search PROTOCOL+CONVERSION Search PROTOCOL+CONVERSION
6 SEQUENCE TRANSMISSION 205275 1% 100% 4 Search SEQUENCE+TRANSMISSION Search SEQUENCE+TRANSMISSION
7 FORMAL DESCRIPTION TECHNIQUES 197055 3% 20% 19 Search FORMAL+DESCRIPTION+TECHNIQUES Search FORMAL+DESCRIPTION+TECHNIQUES
8 SERVICE SPECIFICATION 193426 1% 54% 7 Search SERVICE+SPECIFICATION Search SERVICE+SPECIFICATION
9 DISTRIBUTED SERVICE IMPLEMENTATION 153956 1% 100% 3 Search DISTRIBUTED+SERVICE+IMPLEMENTATION Search DISTRIBUTED+SERVICE+IMPLEMENTATION
10 INFORMATION FLOW TRAIL 153956 1% 100% 3 Search INFORMATION+FLOW+TRAIL Search INFORMATION+FLOW+TRAIL

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 BOCHMANN, GV , RAYNER, D , WEST, CH , (2010) SOME NOTES ON THE HISTORY OF PROTOCOL ENGINEERING.COMPUTER NETWORKS. VOL. 54. ISSUE 18. P. 3197 -3209 17 77% 1
2 SALEH, K , JARAGH, M , (1998) SYNTHESIS OF PROTOCOL CONVERTERS: AN ANNOTATED BIBLIOGRAPHY.COMPUTER STANDARDS & INTERFACES. VOL. 19. ISSUE 2. P. 105 -117 17 94% 2
3 SALEH, K , JARAGH, M , (1998) SYNTHESIS OF COMMUNICATIONS PROTOCOL CONVERTERS: SURVEY AND ASSESSMENT.COMPUTER COMMUNICATIONS. VOL. 21. ISSUE 8. P. 741 -757 16 94% 2
4 HUANG, CM , HSU, JM , LAI, HY , HUANG, DT , (1995) INTEGRATED FDT-BASED PROTOCOL VERIFICATION SYSTEM.SOFTWARE ENGINEERING JOURNAL. VOL. 10. ISSUE 6. P. 233-244 19 79% 0
5 SHIRATORI, N , TAKAHASHI, K , NOGUCHI, S , (1988) A SOFTWARE-DESIGN METHOD AND ITS APPLICATION TO PROTOCOL AND COMMUNICATION SOFTWARE-DEVELOPMENT.COMPUTER NETWORKS AND ISDN SYSTEMS. VOL. 15. ISSUE 4. P. 245-267 23 85% 7
6 CHOW, CH , LAM, SS , (1988) PROSPEC - AN INTERACTIVE PROGRAMMING ENVIRONMENT FOR DESIGNING AND VERIFYING COMMUNICATION PROTOCOLS.IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. VOL. 14. ISSUE 3. P. 327-338 19 100% 4
7 HUANG, CM , CHANG, YI , HUANG, DT , (1996) REVERSE PROTOCOL VERIFICATION: CONCEPT, ALGORITHM AND APPLICATION.COMPUTER JOURNAL. VOL. 39. ISSUE 6. P. 511-524 13 81% 0
8 PENG, WX , MAKKI, K , (2004) LOSSY COMMUNICATING FINITE STATE MACHINES.TELECOMMUNICATION SYSTEMS. VOL. 25. ISSUE 3-4. P. 433 -448 8 100% 0
9 DAS, S , DHAR, P , (1997) DESIGN OF SIMPLIFIED PROTOCOL CONVERTERS THROUGH PROTOCOL COMPLEMENTATION.COMPUTER COMMUNICATIONS. VOL. 20. ISSUE 7. P. 528-534 10 100% 0
10 PARK, JC , (2003) VERIFYING LIVENESS PROPERTIES OF MULTIFUNCTION COMPOSITE PROTOCOLS.COMPUTER COMMUNICATIONS. VOL. 26. ISSUE 12. P. 1318-1329 11 73% 0

Classes with closest relation at Level 1


Rank Class id link
1 37550 44 BSD CONS//CONNECTION ORIENTED NETWORK SERVICE//DIPARTIMENTO ELETTRON INTELIGNEZA ARTIFICIALE T
2 30633 APPLICATION LAYERS//AUTOMOTIVE ASSEMBLY PLANT//BITCLOUD
3 13867 CONFORMANCE TESTING//FINITE STATE MACHINE//PROTOCOL CONFORMANCE TESTING
4 16541 WELL STRUCTURED TRANSITION SYSTEMS//INFINITE STATE SYSTEMS//NETS WITHIN NETS
5 13930 ASSUME GUARANTEE REASONING//TEMPORAL LOGIC OF ACTIONS//COMPOSITIONAL REASONING
6 17399 RECEIVE LIVELOCK//ZERO COPY//SIMICS
7 37427 FACILITY SENSOR NETWORKS//TEAMWORK INTEGRATION EVALUATION TIE//POPULATION CONSTRAINT
8 23571 COUNTING TO INFINITY//ROUTING INFORMATION PROTOCOL//BIDIRECTIONAL MULTIPLE QOS REQUIREMENTS
9 35059 DISTRIBUTED SYSTEM MANAGEMENT//VIDEOCONFERENCE SYSTEM//COOPERATION PROTOCOL
10 28491 REVIEW OF THE ELECTRICAL COMMUNICATIONS LABORATORIES//INTERGRATED COMMUN S//AFFILIATED CO

Go to start page