|
|
|
|
Lecture Notes in Computer Science
1920 citations, 31.52%
|
|
|
Journal of Logical and Algebraic Methods in Programming
191 citations, 3.14%
|
|
|
Electronic Proceedings in Theoretical Computer Science, EPTCS
179 citations, 2.94%
|
|
|
Electronic Notes in Theoretical Computer Science
152 citations, 2.5%
|
|
|
Theoretical Computer Science
148 citations, 2.43%
|
|
|
Science of Computer Programming
131 citations, 2.15%
|
|
|
Formal Aspects of Computing
94 citations, 1.54%
|
|
|
Information and Computation
79 citations, 1.3%
|
|
|
Mathematical Structures in Computer Science
58 citations, 0.95%
|
|
|
Proceedings of the ACM on Programming Languages
57 citations, 0.94%
|
|
|
International Journal on Software Tools for Technology Transfer
48 citations, 0.79%
|
|
|
Communications in Computer and Information Science
43 citations, 0.71%
|
|
|
Formal Methods in System Design
38 citations, 0.62%
|
|
|
ACM SIGPLAN Notices
37 citations, 0.61%
|
|
|
ACM Transactions on Computational Logic
36 citations, 0.59%
|
|
|
Acta Informatica
35 citations, 0.57%
|
|
|
Software and Systems Modeling
32 citations, 0.53%
|
|
|
The Journal of Logic and Algebraic Programming
27 citations, 0.44%
|
|
|
Journal of Systems and Software
26 citations, 0.43%
|
|
|
Journal of Automated Reasoning
25 citations, 0.41%
|
|
|
ACM Transactions on Programming Languages and Systems
25 citations, 0.41%
|
|
|
Journal of Logic and Computation
24 citations, 0.39%
|
|
|
IEEE Transactions on Software Engineering
21 citations, 0.34%
|
|
|
IEEE Access
21 citations, 0.34%
|
|
|
Lecture Notes in Business Information Processing
19 citations, 0.31%
|
|
|
Advances in Intelligent Systems and Computing
18 citations, 0.3%
|
|
|
ACM Transactions on Software Engineering and Methodology
18 citations, 0.3%
|
|
|
Software - Practice and Experience
16 citations, 0.26%
|
|
|
Information and Software Technology
16 citations, 0.26%
|
|
|
Information Systems
16 citations, 0.26%
|
|
|
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.21%
|
|
|
Soft Computing
13 citations, 0.21%
|
|
|
Studies in Computational Intelligence
12 citations, 0.2%
|
|
|
Journal of Membrane Computing
12 citations, 0.2%
|
|
|
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.16%
|
|
|
Journal of Symbolic Computation
10 citations, 0.16%
|
|
|
Journal of Computer Languages
10 citations, 0.16%
|
|
|
Topology and its Applications
10 citations, 0.16%
|
|
|
Information Processing Letters
10 citations, 0.16%
|
|
|
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%
|
|
|
Procedia Computer Science
8 citations, 0.13%
|
|
|
Journal of Supercomputing
8 citations, 0.13%
|
|
|
Algebra Universalis
8 citations, 0.13%
|
|
|
Journal of Functional Programming
7 citations, 0.11%
|
|
|
Transactions on Embedded Computing Systems
7 citations, 0.11%
|
|
|
Communications of the ACM
7 citations, 0.11%
|
|
|
Theory of Computing Systems
7 citations, 0.11%
|
|
|
IEEE Transactions on Reliability
7 citations, 0.11%
|
|
|
International Journal of Software Engineering and Knowledge Engineering
6 citations, 0.1%
|
|
|
Journal of the ACM
6 citations, 0.1%
|
|
|
Journal of Systems Architecture
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%
|
|
|
Applied Sciences (Switzerland)
6 citations, 0.1%
|
|
|
Fuzzy Sets and Systems
6 citations, 0.1%
|
|
|
Computing (Vienna/New York)
6 citations, 0.1%
|
|
|
Frontiers of Computer Science
6 citations, 0.1%
|
|
|
Models of Massive Parallelism
6 citations, 0.1%
|
|
|
Artificial Intelligence and Law
5 citations, 0.08%
|
|
|
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%
|
|
|
Electronics (Switzerland)
5 citations, 0.08%
|
|
|
IEEE Transactions on Computers
5 citations, 0.08%
|
|
|
IEEE Transactions on Industrial Informatics
5 citations, 0.08%
|
|
|
Journal of Reliable Intelligent Environments
5 citations, 0.08%
|
|
|
Mathematics
5 citations, 0.08%
|
|
|
Automatica
5 citations, 0.08%
|
|
|
Logic Journal of the IGPL
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%
|
|
|
Distributed Computing
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%
|
|
|
Computer Science Review
5 citations, 0.08%
|
|
|
Autonomous Agents and Multi-Agent Systems
4 citations, 0.07%
|
|
|
Applied Categorical Structures
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%
|
|
|
Simulation
4 citations, 0.07%
|
|
|
International Journal of Cooperative Information Systems
4 citations, 0.07%
|
|
|
|
|