Electronic Notes in Theoretical Computer Science · 1×
×1.313k/10kSOFTW
×1.67k/4kHA
×0.714k/19kCTM
×0.923k/26kAI
×1.516k/10kIS
Citations per year
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
2026
Countries where authors publish in Science of Computer Programming
Since Specialization
Citations
This map shows the geographic impact of research published in Science of Computer Programming. 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 Science of Computer Programming with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Science of Computer Programming more than expected).
Fields of papers published in Science of Computer Programming
This network shows the impact of papers published in Science of Computer Programming. 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 Science of Computer Programming.
About Science of Computer Programming
The 2.3k papers published in Science of Computer Programming in the last decades have received a total of 43.1k indexed citations . Papers published in Science of Computer Programming usually cover Software (647 papers), Hardware and Architecture (367 papers), Computational Theory and Mathematics (843 papers), Artificial Intelligence (1.4k papers) and Information Systems (775 papers) specifically the topics of Logic, programming, and type systems (707 papers), Formal Methods in Verification (707 papers), Advanced Software Engineering Methodologies (515 papers), Software Engineering Research (466 papers), Software Testing and Debugging Techniques (319 papers), Model-Driven Software Engineering Techniques (285 papers), Distributed systems and fault tolerance (257 papers) and Service-Oriented Architecture and Web Services (241 papers). The most active scholars publishing in Science of Computer Programming are David Harel, Wojciech Penczek, Pierre America, Michel Adiba, James R. Cordy, Gérard Berry, Georges Gonthier, Jan Madey, Axel van Lamsweerde and Stephen Fickas.
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.