World's Best Scientists 2026 revealed!
Mathematical Structures in Computer Science
H-index 7

Mathematical Structures in Computer Science

0960-1295

Published by: Cambridge University Press

http://journals.cambridge.org/action/displayJournal?jid=MSC

Ranking & Metrics

Discipline name Position Best Scientists Publications D-Index
Mathematics 749 6 4 2
Computer Science 771 17 19 6

Additional Metrics

Number of Best Scientists*: 23
Documents by Best Scientists*: 24
Top 100 Ranked Scientists*: 1
SCIMAGO H-index: 48
SCIMAGO SJR: 0.426
Impact Factor: N/A

Overview

Top Research Topics at Mathematical Structures in Computer Science?

The topics of Discrete mathematics, Algebra, Pure mathematics, Theoretical computer science and Programming language are the focal point of discussions in the journal. Issues in Discrete mathematics were discussed, taking into consideration concepts from other disciplines like Calculus, Class (set theory), Type (model theory) and Combinatorics. It focuses on Algebra as well as the interrelated topic of Categorical variable.

Mathematical Structures in Computer Science is mostly focused on Pure mathematics, specifically Functor. Semantics (computer science) is part of Programming language studies tackled in the journal.

  • Discrete mathematics (29.92%)
  • Algebra (21.03%)
  • Pure mathematics (17.59%)

What are the most cited papers published in the journal?

  • Reo: a channel-based coordination model for component composition (663 citations)
  • Functions as Processes (502 citations)
  • Towards a quantum programming language (390 citations)

Research areas of the most cited articles at Mathematical Structures in Computer Science:

The journal articles mainly deal with areas of study such as Algebra, Discrete mathematics, Theoretical computer science, Programming language and Pure mathematics. The Algebra research presented in the journal publications focuses mostly on Denotational semantics and, on occasion, topics in Linear logic. While the primary focus in the journal papers is Discrete mathematics, they also dissect topics surrounding Calculus and Mathematical proof as a whole.

What topics the last edition of the journal is best known for?

  • Programming language
  • Quantum mechanics
  • Algebra

The previous edition focused in particular on these issues:

The concepts of Pure mathematics, Algebra, Type (model theory), Type theory and Constructive are tackled in Mathematical Structures in Computer Science. While work presented in Mathematical Structures in Computer Science provided substantial information on Pure mathematics, it also covered topics in Embedding and Interpretation (model theory). The Type (model theory) works featured in the journal incorporate elements from Logarithm and Categorical variable.

The subject of Coproduct, which is connected to the field of Topos theory and Set (abstract data type), serves as the foundation of the Morphism research featured in Mathematical Structures in Computer Science. The presented research on Real number deals specifically with Metric space but it also addresses topics in Class (set theory). It explores issues in Automaton which can be linked to other research areas like Discrete mathematics and Interval (graph theory).

The most cited articles from the last journal are:

  • Strictifying and taming directed paths in Higher Dimensional Automata (2 citations)
  • Type-based analysis of logarithmic amortised complexity (1 citations)
  • Doctrines, modalities and comonads (1 citations)

Papers citation over time

A key indicator for each journal is its effectiveness in reaching other researchers with the papers published at that venue.

The chart below presents the interquartile range (first quartile 25%, median 50% and third quartile 75%) of the number of citations of articles over time.

The top authors publishing in Mathematical Structures in Computer Science (based on the number of publications) are:

  • Hartmut Ehrig (13 papers) absent at the last edition,
  • Thomas Streicher (11 papers) published 1 paper at the last edition the same number as at the previous edition,
  • Jean Goubault-Larrecq (10 papers) published 1 paper at the last edition the same number as at the previous edition,
  • Ugo Montanari (9 papers) absent at the last edition,
  • Giuseppe Longo (8 papers) absent at the last edition.

The overall trend for top authors publishing in this journal is outlined below. The chart shows the number of publications at each edition of the journal for top authors.

Only papers with recognized affiliations are considered

The top affiliations publishing in Mathematical Structures in Computer Science (based on the number of publications) are:

  • French Institute for Research in Computer Science and Automation (31 papers) absent at the last edition,
  • University of Edinburgh (29 papers) absent at the last edition,
  • University of Paris (28 papers) absent at the last edition,
  • University of Bologna (26 papers) absent at the last edition,
  • University of Cambridge (23 papers) absent at the last edition.

The overall trend for top affiliations publishing in this journal is outlined below. The chart shows the number of publications at each edition of the journal for top affiliations.

Publication chance based on affiliation

The publication chance index shows the ratio of articles published by the best research institutions in the journal edition to all articles published within that journal. The best research institutions were selected based on the largest number of articles published during all editions of the journal.

The chart below presents the percentage ratio of articles from top institutions (based on their ranking of total papers).Top affiliations were grouped by their rank into the following tiers: top 1-10, top 11-20, top 21-50, and top 51+. Only articles with a recognized affiliation are considered.

During the most recent 2021 edition, 100.00% of publications had an unrecognized affiliation. Out of the publications with recognized affiliations, nan% were posted by at least one author from the top 10 institutions publishing in the journal. Another nan% included authors affiliated with research institutions from the top 11-20 affiliations. Institutions from the 21-50 range included nan% of all publications and nan% were from other institutions.

Returning Authors Index

A very common phenomenon observed among researchers publishing scientific articles is the intentional selection of journals they have already attended in the past. In particular, it is worth analyzing the case when the authors participate in the same journal from year to year.

The Returning Authors Index presented below illustrates the ratio of authors who participated in both a given as well as the previous edition of the journal in relation to all participants in a given year.

Returning Institution Index

The graph below shows the Returning Institution Index, illustrating the ratio of institutions that participated in both a given and the previous edition of the conference in relation to all affiliations present in a given year.

The experience to innovation index

Our experience to innovation index was created to show a cross-section of the experience level of authors publishing in a journal. The index includes the authors publishing at the last edition of a journal, grouped by total number of publications throughout their academic career (P) and the total number of citations of these publications ever received (C).

The group intervals were selected empirically to best show the diversity of the authors' experiences, their labels were selected as a convenience, not as judgment. The authors were divided into the following groups:

  • Novice - P < 5 or C < 25 (the number of publications less than 5 or the number of citations less than 25),
  • Competent - P < 10 or C < 100 (the number of publications less than 10 or the number of citations less than 100),
  • Experienced - P < 25 or C < 625 (the number of publications less than 25 or the number of citations less than 625),
  • Master - P < 50 or C < 2500 (the number of publications less than 50 or the number of citations less than 2500),
  • Star - P ≥ 50 and C ≥ 2500 (both the number of publications greater than 50 and the number of citations greater than 2500).

The chart below illustrates experience levels of first authors in cases of publications with multiple authors.

Career Opportunities: Intersection of Art and Maths

While there might be a wide gap between pure maths or theoretical computer science and creative pursuits like art, it's not uncommon for these worlds to intersect. One example of this intersection is the profession of a high school art teacher specializing in digital design or computer graphics. This profession requires a strong foundational understanding of math principles alongside art skills. Educators in this field often solve problems that exist at the nexus of art, computer science, and mathematics, which can be an exciting challenge that blends creativity with scientific thinking. Becoming a high school art teacher requires a bachelor's degree in education with an endorsement in art education. Additional understanding of computer science and mathematical concepts can be an asset for those wanting to focus on digital art. If you're interested in pursuing this career path in Maryland, you can check out this comprehensive resource on how to become a high school art teacher in Maryland. Remember that such a career is only one of the many practical applications where art and mathematics can intersect. There are numerous occupations and industries where a solid understanding of both can help pave the way for future innovations. So, if you have an inclination towards both these seemingly disparate fields, exploring this intersection could lead to a fulfilling and fascinating career.

Top Publications

  • Open Petri Nets

    John C. Baez;Jade Master

    (2020)
    59 Citations
  • Modal dependent type theory and dependent right adjoints

    Lars Birkedal;Ranald Clouston;Bassel Mannaa;Rasmus Ejlers Møgelberg

    (2020)
    55 Citations
  • Syntax and models of Cartesian cubical type theory

    (2021)
    49 Citations
  • SMT-based verification of data-aware processes: a model-theoretic approach

    Diego Calvanese;Silvio Ghilardi;Alessandro Gianola;Marco Montali

    (2020)
    36 Citations
  • A channel-based perspective on conjugate priors

    Bart Jacobs

    (2020)
    18 Citations
  • Three improvements to the top-down solver

    (2021)
    16 Citations
  • Dynamic game semantics

    Norihiro Yamada;Samson Abramsky

    (2020)
    11 Citations
  • Type-based analysis of logarithmic amortised complexity

    Martin Hofmann;Lorenz Leutgeb;David Obwaller;Georg Moser

    (2021)
    6 Citations
  • Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals

    Bart Jacobs;Aleks Kissinger;Fabio Zanasi

    (2021)
    6 Citations
  • Extensions of unification modulo ACUI

    Franz Baader;Pavlos Marantidis;Antoine Mottet;Alexander Okhotin

    (2020)
    6 Citations

Related Online Degrees & Career Pathways

Pursuing advanced education in computer science offers numerous opportunities, especially when flexibility and cost are important factors. Many students are turning to short masters programs to gain specialized knowledge quickly without the commitment of a traditional two-year degree.

For those considering the highest level of academic achievement, most affordable doctoral programs provide a feasible pathway to earning a PhD without incurring unmanageable debt. These programs offer flexible online options catering to working professionals.

Access to financial aid is critical for many students. Accredited institutions that support this include accredited online colleges that accept fafsa, which can significantly reduce the cost of education for those who qualify.

Additionally, short-term learning alternatives such as certificates online can boost career prospects by focusing on high-demand skills and emerging technologies, often leading to better-paying job opportunities without the time and expense of a full degree.

Best Scientists Contributing to This Journal

Recently Published Articles