Class information for: |
Basic class information |
| Class id | #P | Avg. number of references |
Database coverage of references |
|---|---|---|---|
| 7299 | 1384 | 26.5 | 24% |
Hierarchy of classes |
The table includes all classes above and classes immediately below the current class. |
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 | FORMAL ASPECTS OF COMPUTING | journal | 561475 | 7% | 26% | 99 |
| 2 | KLEENE ALGEBRA | authKW | 303413 | 2% | 49% | 28 |
| 3 | EVENT B | authKW | 299725 | 2% | 54% | 25 |
| 4 | REFINEMENT CALCULUS | authKW | 275753 | 1% | 63% | 20 |
| 5 | B METHOD | authKW | 274614 | 1% | 66% | 19 |
| 6 | DATA REFINEMENT | authKW | 246466 | 1% | 62% | 18 |
| 7 | REFINEMENT | authKW | 244700 | 8% | 10% | 112 |
| 8 | Z | authKW | 214303 | 3% | 24% | 41 |
| 9 | PREDICATE TRANSFORMERS | authKW | 211785 | 1% | 80% | 12 |
| 10 | JML | authKW | 205338 | 1% | 85% | 11 |
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, Software Engineering | 67710 | 51% | 0% | 705 |
| 2 | Computer Science, Theory & Methods | 53299 | 54% | 0% | 744 |
| 3 | Logic | 13108 | 7% | 1% | 94 |
| 4 | Computer Science, Information Systems | 3020 | 13% | 0% | 174 |
| 5 | Computer Science, Hardware & Architecture | 1404 | 6% | 0% | 82 |
| 6 | Computer Science, Artificial Intelligence | 505 | 6% | 0% | 77 |
| 7 | Mathematics, Applied | 135 | 5% | 0% | 73 |
| 8 | Mathematics | 45 | 4% | 0% | 57 |
| 9 | COMPUTER APPLICATIONS & CYBERNETICS | 30 | 0% | 0% | 2 |
| 10 | Mathematics, Interdisciplinary Applications | 7 | 1% | 0% | 14 |
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 | INFORMAT GENIE LOGICIEL | 98098 | 1% | 34% | 13 |
| 2 | SOFTWARE VERIFICAT | 85845 | 1% | 32% | 12 |
| 3 | PROGRAMMIERMETHOD COMPILERBAU | 66184 | 0% | 100% | 3 |
| 4 | FRE CNRS 2661 | 49637 | 0% | 75% | 3 |
| 5 | LEHRSTUHL SOFTWARETECH PROGRAMMIERSPRACHEN | 46991 | 1% | 30% | 7 |
| 6 | ABT PROGRAMMIERMETHOD COMPILERBAU | 44123 | 0% | 100% | 2 |
| 7 | LOGICIELS SYST EAUX | 44119 | 0% | 50% | 4 |
| 8 | SYST ASSURANCE GRP | 39708 | 0% | 60% | 3 |
| 9 | IUT FONTAINEBLEAU | 39216 | 0% | 44% | 4 |
| 10 | INFORMAT PRAKT MATH | 37255 | 1% | 10% | 17 |
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 | FORMAL ASPECTS OF COMPUTING | 561475 | 7% | 26% | 99 |
| 2 | SCIENCE OF COMPUTER PROGRAMMING | 165496 | 8% | 7% | 110 |
| 3 | JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING | 111968 | 3% | 12% | 41 |
| 4 | JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | 110429 | 2% | 19% | 26 |
| 5 | LECTURE NOTES IN COMPUTER SCIENCE | 64259 | 37% | 1% | 507 |
| 6 | ACTA INFORMATICA | 29992 | 3% | 3% | 39 |
| 7 | INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER | 21861 | 1% | 9% | 11 |
| 8 | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 13617 | 2% | 3% | 24 |
| 9 | SOFTWARE AND SYSTEMS MODELING | 13423 | 1% | 4% | 15 |
| 10 | ACM SIGPLAN NOTICES | 8371 | 3% | 1% | 43 |
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 | KLEENE ALGEBRA | 303413 | 2% | 49% | 28 | Search KLEENE+ALGEBRA | Search KLEENE+ALGEBRA |
| 2 | EVENT B | 299725 | 2% | 54% | 25 | Search EVENT+B | Search EVENT+B |
| 3 | REFINEMENT CALCULUS | 275753 | 1% | 63% | 20 | Search REFINEMENT+CALCULUS | Search REFINEMENT+CALCULUS |
| 4 | B METHOD | 274614 | 1% | 66% | 19 | Search B+METHOD | Search B+METHOD |
| 5 | DATA REFINEMENT | 246466 | 1% | 62% | 18 | Search DATA+REFINEMENT | Search DATA+REFINEMENT |
| 6 | REFINEMENT | 244700 | 8% | 10% | 112 | Search REFINEMENT | Search REFINEMENT |
| 7 | Z | 214303 | 3% | 24% | 41 | Search Z | Search Z |
| 8 | PREDICATE TRANSFORMERS | 211785 | 1% | 80% | 12 | Search PREDICATE+TRANSFORMERS | Search PREDICATE+TRANSFORMERS |
| 9 | JML | 205338 | 1% | 85% | 11 | Search JML | Search JML |
| 10 | SEPARATION LOGIC | 168221 | 2% | 25% | 30 | Search SEPARATION+LOGIC | Search SEPARATION+LOGIC |
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 | GUTTMANN, W , (2012) ALGEBRAS FOR ITERATION AND INFINITE COMPUTATIONS.ACTA INFORMATICA. VOL. 49. ISSUE 5. P. 343-359 | 24 | 100% | 0 |
| 2 | GUTTMANN, W , (2015) INFINITE EXECUTIONS OF LAZY AND STRICT COMPUTATIONS.JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. VOL. 84. ISSUE 3. P. 326 -340 | 20 | 100% | 1 |
| 3 | PREOTEASA, V , (2014) REFINEMENT ALGEBRA WITH DUAL OPERATOR.SCIENCE OF COMPUTER PROGRAMMING. VOL. 92. ISSUE . P. 179 -210 | 19 | 100% | 1 |
| 4 | GUTTMANN, W , (2016) AN ALGEBRAIC APPROACH TO COMPUTATIONS WITH PROGRESS.JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. VOL. 85. ISSUE 4. P. 520 -539 | 19 | 95% | 0 |
| 5 | GUTTMANN, W , (2014) ALGEBRAS FOR CORRECTNESS OF SEQUENTIAL COMPUTATIONS.SCIENCE OF COMPUTER PROGRAMMING. VOL. 85. ISSUE . P. 224 -240 | 21 | 84% | 2 |
| 6 | GUTTMANN, W , (2013) EXTENDED DESIGNS ALGEBRAICALLY.SCIENCE OF COMPUTER PROGRAMMING. VOL. 78. ISSUE 11. P. 2064-2085 | 20 | 91% | 1 |
| 7 | MOLLER, B , (2007) KLEENE GETTING LAZY.SCIENCE OF COMPUTER PROGRAMMING. VOL. 65. ISSUE 2. P. 195-214 | 21 | 95% | 18 |
| 8 | GUTTMANN, W , MOLLER, B , (2010) NORMAL DESIGN ALGEBRA.JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING. VOL. 79. ISSUE 2. P. 144 -173 | 18 | 95% | 0 |
| 9 | DE CARUFEL, JL , DESHARNAIS, J , (2010) ABSTRACT REPRESENTATION THEOREMS FOR DEMONIC REFINEMENT ALGEBRAS.JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING. VOL. 79. ISSUE 8. P. 740-767 | 16 | 100% | 0 |
| 10 | MEINICKE, L , SOLIN, K , (2010) REFINEMENT ALGEBRA FOR PROBABILISTIC PROGRAMS.FORMAL ASPECTS OF COMPUTING. VOL. 22. ISSUE 1. P. 3 -31 | 15 | 100% | 3 |
Classes with closest relation at Level 1 |