Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

475 indexed citations

Abstract

loading...

About

This paper, published in 2002, received 475 indexed citations. Written by Leslie Lamport covering the research area of Software, Artificial Intelligence and Information Systems. It is primarily cited by scholars working on Artificial Intelligence (238 citations), Computational Theory and Mathematics (222 citations) and Computer Networks and Communications (214 citations). Published in CERN Document Server (European Organization for Nuclear Research).

In The Last Decade

doi.org/w41807382 →

Countries where authors are citing Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Specialization
Citations

This map shows the geographic impact of Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. 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 Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers more than expected).

Fields of papers citing Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers.

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.

This paper is also available at doi.org/w41807382.

Explore hit-papers with similar magnitude of impact

Breakdown of academic impact, for the paper Temporary Disruption of the Blood–Brain Barrier by Use of Ultrasound and Microbubbles: Safety and Efficacy Evaluation in Rhesus Macaques Breakdown of academic impact, for the paper Direct Imaging of Covalent Bond Structure in Single-Molecule Chemical Reactions Breakdown of academic impact, for the paper PI4P/phosphatidylserine countertransport at ORP5- and ORP8-mediated ER–plasma membrane contacts Breakdown of academic impact, for the paper Enzymatic analysis; a practical guide Breakdown of academic impact, for the paper People have shaped most of terrestrial nature for at least 12,000 years Breakdown of academic impact, for the paper Lead-Free Direct Band Gap Double-Perovskite Nanocrystals with Bright Dual-Color Emission Breakdown of academic impact, for the paper Documentation for the 2008 update of the United States National Seismic Hazard Maps Breakdown of academic impact, for the paper Highly active and stable stepped Cu surface for enhanced electrochemical CO2 reduction to C2H4 Breakdown of academic impact, for the paper Adsorptive removal of arsenic from aqueous solution by zeolitic imidazolate framework-8 (ZIF-8) nanoparticles Breakdown of academic impact, for the paper Amyloid β oligomers constrict human capillaries in Alzheimer’s disease via signaling to pericytes
Rankless by CCL
2026