ACM Transactions on Programming Languages and Systems

63.0k citations

1.1k papers · indexed · active since 1950

Artificial Intelligence top 1%
Computer Networks and Communications top 1%
Hardware and Architecture top 0.2%
Computational Theory and Mathematics top 1%
Information Systems top 1%

Fields: Hardware and Architecture (404 papers)Software (214 papers)Computational Theory and Mathematics (478 papers)
Topics: Logic, programming, and type systemsFormal Methods in VerificationParallel Computing and Optimization Techniques
Top scholars: Maurice Herlihy Leslie Lamport David Jefferson David Gelernter Jeannette M. Wing Robert E. Shostak Marshall C. Pease Jeanne Ferrante

In The Last Decade

ACM Transactions on Programming Languages and Systems

1.1k papers receiving 55.8k citations

Peers

Replace Acta Informatica with:

Acta Informatica United States

ACM SIGOPS Operating Systems Review United States

ACM Transactions on Software Engineering and Methodology China

IBM Systems Journal United States

IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans United States

IEEE Transactions on Evolutionary Computation China

International Journal of Parallel Programming United States

ACM Transactions on Database Systems United States

International Journal on Software Tools for Technology Transfer United States

ACM Transactions on Mathematical Software United States

ACM Transactions on Programming Languages and Systems relative to Acta Informatica United States Acta Informatica's profile →

Citations per field

00.5×2×3×4×4.9×

Acta Informatica · 1×

×2.1 32k/15k

AI

×2.6 27k/10k

CNC

×4.9 22k/4k

HA

×1.4 19k/13k

CTM

×3.8 14k/4k

IS

Citations per year

2016

2017

2018

2019

2020

2021

2022

2023

2024

2025

2026

Countries where authors publish in ACM Transactions on Programming Languages and Systems

Since Specialization

Citations

This map shows the geographic impact of research published in ACM Transactions on Programming Languages and Systems. 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 ACM Transactions on Programming Languages and Systems with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites ACM Transactions on Programming Languages and Systems more than expected).

Fields of papers published in ACM Transactions on Programming Languages and Systems

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers published in ACM Transactions on Programming Languages and Systems. 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 ACM Transactions on Programming Languages and Systems.

About ACM Transactions on Programming Languages and Systems

The 1.1k papers published in ACM Transactions on Programming Languages and Systems in the last decades have received a total of 63.0k indexed citations . Papers published in ACM Transactions on Programming Languages and Systems usually cover Hardware and Architecture (404 papers), Software (214 papers) and Computational Theory and Mathematics (478 papers) specifically the topics of Logic, programming, and type systems (629 papers), Formal Methods in Verification (380 papers) and Parallel Computing and Optimization Techniques (367 papers). The most active scholars publishing in ACM Transactions on Programming Languages and Systems are Maurice Herlihy, Leslie Lamport, David Jefferson, David Gelernter, Jeannette M. Wing, Robert E. Shostak, Marshall C. Pease, Jeanne Ferrante, Thomas Reps and E. Allen Emerson.

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