Mathematical Structures in Computer Science

17.2k citations
999 papers · · active since 1950

Impact in

    • Formal Methods in Verification
    • Computability, Logic, AI Algorithms
    • Advanced Algebra and Logic
    • 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

905 papers receiving 15.9k citations

Peers

Mathematical Structures in Computer Science
Comparison fields: 5 of 155
  • Computational Theory and Mathematics 9.6k
  • Artificial Intelligence 13.1k
  • Software 1.4k
  • Geometry and Topology 1.2k
  • Mathematical Physics 1.2k
Replace Journal of Algorithms with:
Journal of Algorithms United States
Computers in Physics United States
Journal of Automated Reasoning United States
Logical Methods in Computer Science France
International Journal of Foundations of Computer Science United States
RAIRO - Theoretical Informatics and Applications France
Applicable Algebra in Engineering Communication and Computing United States
Annals of Mathematics and Artificial Intelligence United States
Journal of Functional Programming United States
Optimization methods & software United States
Mathematical Structures in Computer Science relative to Journal of Algorithms United States Journal of Algorithms's profile →
Citations per field
00.5×2×3.1×
Journal of Algorithms · 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 999 papers published in Mathematical Structures in Computer Science in the last decades have received a total of 17.2k indexed citations . Papers published in Mathematical Structures in Computer Science usually cover Computational Theory and Mathematics (648 papers), Artificial Intelligence (770 papers), Mathematical Physics (146 papers), Geometry and Topology (127 papers) and Software (55 papers) specifically the topics of Logic, programming, and type systems (608 papers), Logic, Reasoning, and Knowledge (419 papers), Formal Methods in Verification (292 papers), Computability, Logic, AI Algorithms (147 papers), Advanced Algebra and Logic (143 papers), Homotopy and Cohomology in Algebraic Topology (118 papers), semigroups and automata theory (100 papers) and Advanced Topology and Set Theory (61 papers). The most active scholars publishing in Mathematical Structures in Computer Science are Thierry Paul, Farhad Arbab, Robin Milner, Peter Selinger, Jean-Yves Girard, Davide Sangiorgi, Joseph A. Goguen, Annick Lesne, Benjamin C. Pierce and Annegret Habel.

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