Mathematical Structures in Computer Science

12.5k citations
962 papers · · active since 1950

Impact in

    • Formal Methods in Verification
    • Advanced Algebra and Logic
    • Computability, Logic, AI Algorithms
    • Logic, programming, and type systems
    • Logic, Reasoning, and Knowledge
    • Quantum Computing Algorithms and Architecture
    • Quantum Information and Cryptography

Papers in

Mathematical Structures in Computer Science

857 papers receiving 11.5k citations

Peers

Mathematical Structures in Computer Science
Comparison fields: 5 of 149
  • Computational Theory and Mathematics 6.6k
  • Artificial Intelligence 9.4k
  • Software 842
  • Geometry and Topology 1.0k
  • Mathematical Physics 1.0k
Replace Computers in Physics with:
Computers in Physics United States
Journal of Algorithms United States
Optimization methods & software United States
Journal of Automated Reasoning United States
Mathematics of Control Signals and Systems United States
Journal of Logic and Computation United Kingdom
International Journal of Foundations of Computer Science United States
Applicable Algebra in Engineering Communication and Computing United States
Journal of Complexity United States
Logical Methods in Computer Science France
Mathematical Structures in Computer Science relative to Computers in Physics United States Computers in Physics's profile →
Citations per field
00.5×5.1×
Computers in Physics · 1×
Citations per year

Countries where authors publish in Mathematical Structures in Computer Science

Since Specialization
Citations

This map shows the geographic impact of research published in Mathematical Structures in Computer Science. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by papers published in Mathematical Structures in Computer Science with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Mathematical Structures in Computer Science more than expected).

Fields of papers published in Mathematical Structures in Computer Science

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers published in Mathematical Structures in Computer Science. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers published in Mathematical Structures in Computer Science.

About Mathematical Structures in Computer Science

The 962 papers published in Mathematical Structures in Computer Science in the last decades have received a total of 12.5k indexed citations . Papers published in Mathematical Structures in Computer Science usually cover Computational Theory and Mathematics (622 papers), Artificial Intelligence (741 papers), Mathematical Physics (143 papers), Software (55 papers) and Geometry and Topology (120 papers) specifically the topics of Logic, programming, and type systems (588 papers), Logic, Reasoning, and Knowledge (404 papers), Formal Methods in Verification (278 papers), Advanced Algebra and Logic (141 papers), Computability, Logic, AI Algorithms (139 papers), Homotopy and Cohomology in Algebraic Topology (115 papers), semigroups and automata theory (92 papers) and Advanced Topology and Set Theory (57 papers). The most active scholars publishing in Mathematical Structures in Computer Science are Thierry Paul, Farhad Arbab, Peter Selinger, Robin Milner, Davide Sangiorgi, Jean-Yves Girard, Joseph A. Goguen, Annick Lesne, Andrew M. Pitts and Benjamin C. Pierce.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore journals with similar magnitude of impact