|
|
|
Lecture Notes in Computer Science
1900 citations, 31.76%
|
|
Journal of Logical and Algebraic Methods in Programming
184 citations, 3.08%
|
|
Electronic Proceedings in Theoretical Computer Science, EPTCS
176 citations, 2.94%
|
|
Electronic Notes in Theoretical Computer Science
152 citations, 2.54%
|
|
Theoretical Computer Science
148 citations, 2.47%
|
|
Science of Computer Programming
130 citations, 2.17%
|
|
Formal Aspects of Computing
93 citations, 1.55%
|
|
Information and Computation
79 citations, 1.32%
|
|
Mathematical Structures in Computer Science
58 citations, 0.97%
|
|
International Journal on Software Tools for Technology Transfer
47 citations, 0.79%
|
|
Proceedings of the ACM on Programming Languages
46 citations, 0.77%
|
|
Communications in Computer and Information Science
42 citations, 0.7%
|
|
Formal Methods in System Design
38 citations, 0.64%
|
|
ACM SIGPLAN Notices
37 citations, 0.62%
|
|
Acta Informatica
36 citations, 0.6%
|
|
ACM Transactions on Computational Logic
36 citations, 0.6%
|
|
Software and Systems Modeling
32 citations, 0.53%
|
|
Journal of Automated Reasoning
25 citations, 0.42%
|
|
Journal of Systems and Software
24 citations, 0.4%
|
|
Journal of Logic and Computation
24 citations, 0.4%
|
|
ACM Transactions on Programming Languages and Systems
22 citations, 0.37%
|
|
IEEE Transactions on Software Engineering
21 citations, 0.35%
|
|
Lecture Notes in Business Information Processing
19 citations, 0.32%
|
|
IEEE Access
19 citations, 0.32%
|
|
Advances in Intelligent Systems and Computing
18 citations, 0.3%
|
|
Software - Practice and Experience
16 citations, 0.27%
|
|
Information and Software Technology
16 citations, 0.27%
|
|
Information Systems
16 citations, 0.27%
|
|
ACM Transactions on Software Engineering and Methodology
16 citations, 0.27%
|
|
Journal of Applied Logic
15 citations, 0.25%
|
|
ACM Computing Surveys
14 citations, 0.23%
|
|
International Journal of Foundations of Computer Science
13 citations, 0.22%
|
|
Soft Computing
13 citations, 0.22%
|
|
Studies in Computational Intelligence
12 citations, 0.2%
|
|
Journal of Symbolic Computation
11 citations, 0.18%
|
|
Annals of Pure and Applied Logic
11 citations, 0.18%
|
|
Innovations in Systems and Software Engineering
11 citations, 0.18%
|
|
Information Sciences
10 citations, 0.17%
|
|
Journal of Computer Languages
10 citations, 0.17%
|
|
Topology and its Applications
10 citations, 0.17%
|
|
Procedia Computer Science
10 citations, 0.17%
|
|
Information Processing Letters
10 citations, 0.17%
|
|
Theory and Practice of Logic Programming
9 citations, 0.15%
|
|
Journal of Computer Security
9 citations, 0.15%
|
|
IEEE Transactions on Automatic Control
9 citations, 0.15%
|
|
Future Generation Computer Systems
9 citations, 0.15%
|
|
IFIP Advances in Information and Communication Technology
9 citations, 0.15%
|
|
Applied Mechanics and Materials
9 citations, 0.15%
|
|
IFAC Proceedings Volumes
9 citations, 0.15%
|
|
Simulation Modelling Practice and Theory
8 citations, 0.13%
|
|
IEEE Transactions on Services Computing
8 citations, 0.13%
|
|
Algebra Universalis
8 citations, 0.13%
|
|
Journal of Functional Programming
7 citations, 0.12%
|
|
Transactions on Embedded Computing Systems
7 citations, 0.12%
|
|
Communications of the ACM
7 citations, 0.12%
|
|
Theory of Computing Systems
7 citations, 0.12%
|
|
IEEE Transactions on Reliability
7 citations, 0.12%
|
|
Journal of Supercomputing
7 citations, 0.12%
|
|
International Journal of Software Engineering and Knowledge Engineering
6 citations, 0.1%
|
|
Journal of the ACM
6 citations, 0.1%
|
|
IEEE Transactions on Industrial Informatics
6 citations, 0.1%
|
|
Outstanding Contributions to Logic
6 citations, 0.1%
|
|
Lecture Notes in Electrical Engineering
6 citations, 0.1%
|
|
Security and Communication Networks
6 citations, 0.1%
|
|
Frontiers of Computer Science
6 citations, 0.1%
|
|
International Journal of Information Security
5 citations, 0.08%
|
|
International Journal of Approximate Reasoning
5 citations, 0.08%
|
|
Journal of Physics: Conference Series
5 citations, 0.08%
|
|
Journal of Computer and System Sciences
5 citations, 0.08%
|
|
IEEE Transactions on Computers
5 citations, 0.08%
|
|
Journal of Reliable Intelligent Environments
5 citations, 0.08%
|
|
Mathematics
5 citations, 0.08%
|
|
Journal of Systems Architecture
5 citations, 0.08%
|
|
Automatica
5 citations, 0.08%
|
|
International Journal of Computer Mathematics
5 citations, 0.08%
|
|
Logica Universalis
5 citations, 0.08%
|
|
ACM Transactions on Graphics
5 citations, 0.08%
|
|
Applied Sciences (Switzerland)
5 citations, 0.08%
|
|
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
5 citations, 0.08%
|
|
CAD Computer Aided Design
5 citations, 0.08%
|
|
Artificial Intelligence
5 citations, 0.08%
|
|
Studia Logica
5 citations, 0.08%
|
|
Cluster Computing
5 citations, 0.08%
|
|
Fuzzy Sets and Systems
5 citations, 0.08%
|
|
Robotics and Autonomous Systems
4 citations, 0.07%
|
|
Autonomous Agents and Multi-Agent Systems
4 citations, 0.07%
|
|
Electronics (Switzerland)
4 citations, 0.07%
|
|
Logical Methods in Computer Science
4 citations, 0.07%
|
|
Software Quality Journal
4 citations, 0.07%
|
|
Expert Systems with Applications
4 citations, 0.07%
|
|
Natural Computing
4 citations, 0.07%
|
|
Simulation
4 citations, 0.07%
|
|
Logic Journal of the IGPL
4 citations, 0.07%
|
|
International Journal of Cooperative Information Systems
4 citations, 0.07%
|
|
ACM Transactions on Cyber-Physical Systems
4 citations, 0.07%
|
|
Applied Mathematics and Computation
4 citations, 0.07%
|
|
Software Testing Verification and Reliability
4 citations, 0.07%
|
|
Sensors
4 citations, 0.07%
|
|
Performance Evaluation
4 citations, 0.07%
|
|
Computer Standards and Interfaces
4 citations, 0.07%
|
|
|
|