Mathematical Structures in Computer Science

17.8k citations
1.0k papers · · active since 2016

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

912 papers receiving 16.6k citations

Peers

Mathematical Structures in Computer Science
Comparison fields: 5 of 157
  • Computational Theory and Mathematics 9.9k
  • Artificial Intelligence 13.5k
  • Software 1.4k
  • Geometry and Topology 1.3k
  • Mathematical Physics 1.3k
Replace Logical Methods in Computer Science with:
Logical Methods in Computer Science France
Journal of Algorithms United States
Computers in Physics United States
Journal of Automated Reasoning United States
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
Journal of Complexity United States
Mathematical Structures in Computer Science relative to Logical Methods in Computer Science France Logical Methods in Computer Science's profile →
Citations per field
00.5×2×3.4×
Logical Methods in Computer Science · 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 1.0k papers published in Mathematical Structures in Computer Science in the last decades have received a total of 17.8k indexed citations . Papers published in Mathematical Structures in Computer Science usually cover Computational Theory and Mathematics (656 papers), Artificial Intelligence (780 papers), Mathematical Physics (154 papers), Geometry and Topology (138 papers) and Software (53 papers) specifically the topics of Logic, programming, and type systems (617 papers), Logic, Reasoning, and Knowledge (421 papers), Formal Methods in Verification (294 papers), Computability, Logic, AI Algorithms (149 papers), Advanced Algebra and Logic (146 papers), Homotopy and Cohomology in Algebraic Topology (125 papers), semigroups and automata theory (103 papers) and Advanced Topology and Set Theory (67 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, Thomas Ehrhard, Annick Lesne 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