49 | 6eme Edition de la Conference Francophone sur les Architectures Logicielles, CAL 2012 | conference and proceedings | 0.101 | 3 | 0 | 21 | 0 | 3 | 19 | 0.14 | 0.00 | 0.00 | |
48 | International Bioenergy and Bioproducts Conference 2013, IBBC 2013 | conference and proceedings | 0.101 | 1 | 0 | 25 | 0 | 0 | 24 | 0.00 | 0.00 | 0.00 | |
47 | Reports on Mathematical Logic | journal | 0.102 Q4 | 8 | 6 | 20 | 75 | 2 | 20 | 0.08 | 12.50 | 11.11 | |
46 | 22nd Workshop on Logic-Based Programming Environments, WLPE 2012 | conference and proceedings | 0.106 | 1 | 0 | 6 | 0 | 1 | 4 | 0.17 | 0.00 | 0.00 | |
45 | Handbook of the History of Logic | book series | 0.109 Q4 | 23 | 18 | 42 | 2508 | 31 | 0 | 0.33 | 139.33 | 0.00 | |
44 | 10th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2012 | conference and proceedings | 0.117 | 4 | 0 | 17 | 0 | 5 | 16 | 0.29 | 0.00 | 0.00 | |
43 | CAL 2011 - 5th Conference Francophone sur les Architectures Logicielles | conference and proceedings | 0.123 | 1 | 0 | 1 | 0 | 0 | 1 | 0.00 | 0.00 | 0.00 | |
42 | 2012 International Conference on Fuzzy Theory and Its Applications, iFUZZY 2012 | conference and proceedings | 0.126 | 8 | 0 | 77 | 0 | 29 | 76 | 0.38 | 0.00 | 0.00 | |
41 | Proceedings - 2012 9th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2012 | conference and proceedings | 0.146 | 17 | 0 | 644 | 0 | 199 | 642 | 0.31 | 0.00 | 0.00 | |
40 | Proceedings of the 2013 IEEE International Workshop on Genetic and Evolutionary Fuzzy Systems, GEFS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013 | conference and proceedings | 0.154 | 4 | 0 | 10 | 0 | 6 | 9 | 0.60 | 0.00 | 0.00 | |
39 | 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2013 | conference and proceedings | 0.160 | 7 | 0 | 22 | 0 | 15 | 20 | 0.68 | 0.00 | 0.00 | |
38 | WLPE 2013 - 23rd Workshop on Logic-Based Methods in Programming Environments | conference and proceedings | 0.163 | 1 | 0 | 9 | 0 | 1 | 7 | 0.11 | 0.00 | 0.00 | |
37 | Proceedings of the 25th International Conference on Efficiency, Cost, Optimization and Simulation of Energy Conversion Systems and Processes, ECOS 2012 | conference and proceedings | 0.173 | 6 | 0 | 27 | 0 | 13 | 26 | 0.48 | 0.00 | 0.00 | |
36 | IEEE SSCI 2011: Symposium Series on Computational Intelligence - T2FUZZ 2011: 2011 IEEE Symposium on Advances in Type-2 Fuzzy Logic Systems | conference and proceedings | 0.174 | 9 | 0 | 20 | 0 | 13 | 19 | 0.00 | 0.00 | 0.00 | |
35 | Proceedings of the 2013 IEEE Symposium on Advances in Type-2 Fuzzy Logic Systems, T2FUZZ 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013 | conference and proceedings | 0.178 | 4 | 0 | 8 | 0 | 6 | 7 | 0.75 | 0.00 | 0.00 | |
34 | IEEE SSCI 2011: Symposium Series on Computational Intelligence - GEFS 2011: 2011 IEEE 5th International Workshop on Genetic and Evolutionary Fuzzy Systems | conference and proceedings | 0.195 | 6 | 0 | 17 | 0 | 8 | 16 | 0.00 | 0.00 | 0.00 | |
33 | Computational Linguistics in the Netherlands Journal | conference and proceedings | 0.197 | 12 | 16 | 32 | 398 | 27 | 26 | 0.91 | 24.88 | 18.00 | |
32 | Bulletin of the Section of Logic | journal | 0.212 Q4 | 16 | 15 | 53 | 125 | 13 | 53 | 0.23 | 8.33 | 20.00 | |
31 | FPT 2012 - 2012 International Conference on Field-Programmable Technology | conference and proceedings | 0.236 | 17 | 0 | 64 | 0 | 91 | 61 | 1.42 | 0.00 | 0.00 | |
30 | Logica Universalis | journal | 0.352 Q4 | 21 | 20 | 61 | 718 | 36 | 59 | 0.63 | 35.90 | 23.08 | |
29 | International Review on Modelling and Simulations | journal | 0.359 | 25 | 120 | 1002 | 2809 | 515 | 1001 | 0.66 | 23.41 | 22.57 | |
28 | Archive for Mathematical Logic | journal | 0.403 Q4 | 32 | 47 | 150 | 778 | 54 | 149 | 0.42 | 16.55 | 11.27 | |
27 | Logic Journal of the IGPL | journal | 0.428 | 32 | 100 | 182 | 2369 | 162 | 169 | 0.91 | 23.69 | 15.07 | |
26 | Journal of Applied Non-Classical Logics | journal | 0.457 Q3 | 32 | 19 | 57 | 567 | 67 | 52 | 0.92 | 29.84 | 32.00 | |
25 | Journal of Multiple-Valued Logic and Soft Computing | journal | 0.490 Q3 | 29 | 76 | 166 | 2025 | 205 | 159 | 0.58 | 26.64 | 22.58 | |
24 | Journal of Applied Logic | journal | 0.502 Q3 | 38 | 33 | 80 | 946 | 102 | 75 | 1.21 | 28.67 | 15.87 | |
23 | Journal of Logic and Algebraic Programming | journal | 0.511 Q3 | 36 | 4 | 84 | 140 | 129 | 73 | 1.62 | 35.00 | 25.00 | |
22 | Journal of Logic and Computation | journal | 0.519 Q3 | 57 | 51 | 213 | 1501 | 194 | 202 | 0.86 | 29.43 | 18.92 | |
21 | Mathematical Logic Quarterly | journal | 0.524 Q3 | 28 | 43 | 140 | 668 | 61 | 138 | 0.35 | 15.53 | 13.33 | |
20 | International Review of Automatic Control | journal | 0.550 | 16 | 73 | 216 | 1695 | 164 | 216 | 0.76 | 23.22 | 15.04 | |
19 | 2013 Formal Methods in Computer-Aided Design, FMCAD 2013 | conference and proceedings | 0.573 | 8 | 0 | 12 | 0 | 38 | 11 | 3.17 | 0.00 | 0.00 | |
18 | Studia Logica | journal | 0.594 Q2 | 45 | 56 | 170 | 1363 | 142 | 161 | 0.82 | 24.34 | 19.54 | |
17 | Bulletin of Symbolic Logic | journal | 0.606 Q2 | 40 | 12 | 48 | 682 | 46 | 48 | 0.77 | 56.83 | 8.70 | |
16 | Leibniz International Proceedings in Informatics, LIPIcs | conference and proceedings | 0.656 | 49 | 211 | 626 | 4418 | 634 | 594 | 1.08 | 20.94 | 17.02 | |
15 | Erkenntnis | journal | 0.686 Q2 | 48 | 174 | 195 | 5154 | 167 | 193 | 0.68 | 29.62 | 15.51 | |
14 | Algebra Universalis | journal | 0.739 | 32 | 48 | 145 | 789 | 91 | 145 | 0.67 | 16.44 | 11.86 | |
13 | ACM Transactions on Computational Logic | journal | 0.787 Q2 | 52 | 40 | 89 | 1460 | 157 | 89 | 1.51 | 36.50 | 26.73 | |
12 | Notre Dame Journal of Formal Logic | journal | 0.887 Q2 | 33 | 32 | 97 | 532 | 70 | 96 | 0.59 | 16.63 | 11.63 | |
11 | Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012 | conference and proceedings | 0.887 | 20 | 0 | 65 | 0 | 148 | 63 | 2.28 | 0.00 | 0.00 | |
10 | Journal of Mathematical Logic | journal | 0.914 Q2 | 16 | 11 | 22 | 241 | 17 | 22 | 0.75 | 21.91 | 9.09 | |
9 | Annals of Pure and Applied Logic | journal | 0.924 Q1 | 51 | 78 | 258 | 1954 | 204 | 245 | 0.81 | 25.05 | 7.03 | |
8 | Algebra and Logic | journal | 0.965 Q1 | 28 | 43 | 126 | 542 | 68 | 123 | 0.34 | 12.60 | 23.91 | |
7 | Journal of Symbolic Logic | journal | 1.211 Q1 | 47 | 66 | 227 | 1142 | 197 | 227 | 0.77 | 17.30 | 11.46 | |
6 | Fuzzy Sets and Systems | journal | 1.369 Q1 | 187 | 206 | 539 | 6896 | 1566 | 524 | 2.56 | 33.48 | 27.60 | |
5 | Fuzzy Optimization and Decision Making | journal | 1.448 Q1 | 64 | 24 | 71 | 536 | 212 | 70 | 3.12 | 22.33 | 21.74 | |
4 | Review of Symbolic Logic | journal | 2.475 Q1 | 31 | 42 | 102 | 1211 | 155 | 97 | 1.34 | 28.83 | 8.93 | |
3 | Axioms (discontinued) | journal | | 33 | 26 | 47 | 736 | 38 | 45 | 0.81 | 28.31 | 24.56 | |
2 | Fuzzy Information and Engineering | journal | | 25 | 31 | 1 | 740 | 2 | 1 | 0.00 | 23.87 | 27.27 | |
1 | Journal of Logical and Algebraic Methods in Programming | journal | | 21 | 28 | 0 | 640 | 0 | 0 | 0.00 | 22.86 | 16.67 | |