54 | 10th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2012 | conference and proceedings | 0.136 | 4 | 0 | 17 | 0 | 8 | 16 | 0.00 | 0.00 | 0.00 | |
53 | 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2013 | conference and proceedings | 0.248 | 7 | 0 | 22 | 0 | 27 | 20 | 1.23 | 0.00 | 0.00 | |
52 | 2012 International Conference on Fuzzy Theory and Its Applications, iFUZZY 2012 | conference and proceedings | 0.119 | 8 | 0 | 77 | 0 | 23 | 76 | 0.00 | 0.00 | 0.00 | |
51 | 2013 Formal Methods in Computer-Aided Design, FMCAD 2013 | conference and proceedings | 0.776 | 8 | 0 | 12 | 0 | 65 | 11 | 5.42 | 0.00 | 0.00 | |
50 | 2014 11th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2014 | conference and proceedings | 0.125 | 12 | 0 | 180 | 0 | 42 | 179 | 0.23 | 0.00 | 0.00 | |
49 | 2014 IEEE Conference on Norbert Wiener in the 21st Century: Driving Technology's Future, 21CW 2014 - Incorporating the Proceedings of the 2014 North American Fuzzy Information Processing Society Conference, NAFIPS 2014, Conference Proceedings | conference and proceedings | 0.124 | 10 | 0 | 101 | 0 | 38 | 100 | 0.38 | 0.00 | 0.00 | |
48 | 22nd Workshop on Logic-Based Programming Environments, WLPE 2012 | conference and proceedings | 0.106 | 1 | 0 | 6 | 0 | 0 | 4 | 0.00 | 0.00 | 0.00 | |
47 | 6eme Edition de la Conference Francophone sur les Architectures Logicielles, CAL 2012 | conference and proceedings | 0.102 | 3 | 0 | 21 | 0 | 2 | 19 | 0.00 | 0.00 | 0.00 | |
46 | Advances in Modal Logic | conference and proceedings | 0.458 | 16 | 0 | 68 | 0 | 48 | 66 | 0.71 | 0.00 | 0.00 | |
45 | FPT 2012 - 2012 International Conference on Field-Programmable Technology | conference and proceedings | 0.139 | 17 | 0 | 64 | 0 | 83 | 61 | 0.00 | 0.00 | 0.00 | |
44 | Handbook of the History of Logic | book series | 0.364 Q3 | 23 | 0 | 42 | 0 | 25 | 1 | 0.56 | 0.00 | 0.00 | |
43 | iFUZZY 2014 - 2014 International Conference on Fuzzy Theory and Its Applications, Conference Digest | conference and proceedings | 0.101 | 4 | 0 | 34 | 0 | 4 | 32 | 0.12 | 0.00 | 0.00 | |
42 | 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 | |
41 | Journal of Logic and Algebraic Programming | journal | 0.678 Q3 | 36 | 0 | 62 | 0 | 105 | 54 | 1.00 | 0.00 | 0.00 | |
40 | Nanoscale Science and Engineering Forum 2014 - Core Programming Area at the 2014 AIChE Annual Meeting | conference and proceedings | 0.100 | 0 | 0 | 39 | 0 | 0 | 38 | 0.00 | 0.00 | 0.00 | |
39 | Proceedings - 2012 9th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2012 | conference and proceedings | 0.153 | 17 | 0 | 644 | 0 | 228 | 642 | 0.00 | 0.00 | 0.00 | |
38 | Proceedings - UKSim-AMSS 8th European Modelling Symposium on Computer Modelling and Simulation, EMS 2014 | conference and proceedings | 0.116 | 3 | 0 | 13 | 0 | 3 | 13 | 0.23 | 0.00 | 0.00 | |
37 | Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012 | conference and proceedings | 1.126 | 20 | 0 | 65 | 0 | 137 | 63 | 0.00 | 0.00 | 0.00 | |
36 | 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.228 | 4 | 0 | 10 | 0 | 10 | 9 | 1.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.375 | 4 | 0 | 8 | 0 | 5 | 7 | 0.63 | 0.00 | 0.00 | |
34 | Proceedings of the 25th International Conference on Efficiency, Cost, Optimization and Simulation of Energy Conversion Systems and Processes, ECOS 2012 | conference and proceedings | 0.130 | 6 | 0 | 27 | 0 | 10 | 26 | 0.00 | 0.00 | 0.00 | |
33 | Reports on Mathematical Logic | journal | 0.127 Q4 | 8 | 0 | 18 | 0 | 6 | 18 | 0.40 | 0.00 | 0.00 | |
32 | RINA, Royal Institution of Naval Architects - International Conference on Fire at Sea 2014 | conference and proceedings | 0.102 | 1 | 0 | 14 | 0 | 1 | 13 | 0.07 | 0.00 | 0.00 | |
31 | WLPE 2013 - 23rd Workshop on Logic-Based Methods in Programming Environments | conference and proceedings | 0.107 | 1 | 0 | 9 | 0 | 1 | 7 | 0.11 | 0.00 | 0.00 | |
30 | Journal of Mathematical Logic | journal | 1.633 Q1 | 16 | 9 | 27 | 167 | 20 | 27 | 0.76 | 18.56 | 0.00 | |
29 | Computational Linguistics in the Netherlands Journal | conference and proceedings | 0.495 | 12 | 9 | 39 | 187 | 30 | 33 | 0.81 | 20.78 | 15.38 | |
28 | Bulletin of the Section of Logic | journal | 0.255 Q4 | 16 | 13 | 59 | 208 | 12 | 59 | 0.13 | 16.00 | 13.33 | |
27 | Logical Investigations | journal | | 5 | 22 | 0 | 339 | 0 | 0 | 0.00 | 15.41 | 23.81 | |
26 | Bulletin of Symbolic Logic | journal | 1.146 Q1 | 40 | 9 | 47 | 367 | 36 | 47 | 0.42 | 40.78 | 5.56 | |
25 | Logic Journal of the IGPL | journal | 0.469 | 32 | 19 | 229 | 520 | 163 | 216 | 0.61 | 27.37 | 6.67 | |
24 | Fuzzy Optimization and Decision Making | journal | 1.994 Q1 | 64 | 23 | 74 | 532 | 249 | 73 | 3.33 | 23.13 | 16.67 | |
23 | Notre Dame Journal of Formal Logic | journal | 0.796 Q2 | 33 | 30 | 102 | 537 | 62 | 101 | 0.67 | 17.90 | 8.82 | |
22 | Mathematical Logic Quarterly | journal | 0.475 Q3 | 28 | 44 | 128 | 547 | 41 | 126 | 0.21 | 12.43 | 5.88 | |
21 | Journal of Applied Non-Classical Logics | journal | 0.336 Q4 | 32 | 16 | 55 | 573 | 36 | 51 | 0.89 | 35.81 | 8.00 | |
20 | Logica Universalis | journal | 0.450 Q3 | 21 | 21 | 66 | 602 | 64 | 64 | 0.71 | 28.67 | 14.81 | |
19 | Review of Symbolic Logic | journal | 1.298 Q1 | 31 | 27 | 109 | 773 | 134 | 107 | 0.80 | 28.63 | 8.11 | |
18 | Algebra and Logic | journal | 0.625 Q3 | 28 | 53 | 128 | 791 | 60 | 125 | 0.48 | 14.92 | 26.79 | |
17 | Fuzzy Information and Engineering | journal | 0.147 Q4 | 25 | 31 | 31 | 816 | 8 | 31 | 0.26 | 26.32 | 16.28 | |
16 | Axioms (discontinued) | journal | | 33 | 30 | 73 | 869 | 45 | 70 | 0.58 | 28.97 | 21.43 | |
15 | Archive for Mathematical Logic | journal | 0.853 Q2 | 32 | 53 | 147 | 901 | 81 | 146 | 0.52 | 17.00 | 16.46 | |
14 | Algebra Universalis | journal | 0.385 | 32 | 48 | 143 | 953 | 75 | 143 | 0.55 | 19.85 | 14.10 | |
13 | Studia Logica | journal | 1.016 Q2 | 45 | 53 | 169 | 999 | 151 | 161 | 0.96 | 18.85 | 15.79 | |
12 | Annals of Pure and Applied Logic | journal | 1.074 Q1 | 51 | 52 | 289 | 1144 | 251 | 275 | 0.78 | 22.00 | 10.39 | |
11 | Journal of Symbolic Logic | journal | 1.203 Q1 | 47 | 65 | 214 | 1196 | 135 | 214 | 0.58 | 18.40 | 12.75 | |
10 | International Review of Automatic Control | journal | 0.368 | 16 | 57 | 289 | 1231 | 133 | 289 | 0.67 | 21.60 | 20.90 | |
9 | Journal of Applied Logic | journal | 0.729 Q2 | 38 | 46 | 95 | 1344 | 105 | 90 | 0.94 | 29.22 | 18.95 | |
8 | Journal of Multiple-Valued Logic and Soft Computing | journal | 0.230 Q4 | 29 | 41 | 211 | 1369 | 98 | 205 | 0.42 | 33.39 | 26.39 | |
7 | Journal of Logic and Computation | journal | 0.382 Q3 | 57 | 47 | 201 | 1384 | 134 | 191 | 0.65 | 29.45 | 12.77 | |
6 | ACM Transactions on Computational Logic | journal | 0.805 Q2 | 52 | 41 | 108 | 1573 | 206 | 108 | 1.93 | 38.37 | 13.54 | |
5 | Journal of Logical and Algebraic Methods in Programming | journal | 0.243 Q4 | 21 | 49 | 28 | 1612 | 18 | 22 | 0.64 | 32.90 | 15.69 | |