Logical Methods in Computer Science
Impact in
-
- Formal Methods in Verification
- semigroups and automata theory
- Advanced Algebra and Logic
- Computability, Logic, AI Algorithms
- Software top 5%
- Software Testing and Debugging Techniques
Papers in
-
- Formal Methods in Verification 343
- semigroups and automata theory 175
- Computability, Logic, AI Algorithms 113
- Advanced Algebra and Logic 77
-
- Logic, programming, and type systems 478
- Logic, Reasoning, and Knowledge 295
- Semantic Web and Ontologies 50
In The Last Decade
Logical Methods in Computer Science
723 papers receiving 6.9k citations
Peers
Comparison fields: 5 of 95
- Computational Theory and Mathematics 5.4k
- Software 946
- Artificial Intelligence 5.4k
- Hardware and Architecture 504
- Computer Networks and Communications 1.2k
Countries where authors publish in Logical Methods in Computer Science
This map shows the geographic impact of research published in Logical Methods 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 Logical Methods 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 Logical Methods in Computer Science more than expected).
Fields of papers published in Logical Methods in Computer Science
This network shows the impact of papers published in Logical Methods 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 Logical Methods in Computer Science.
About Logical Methods in Computer Science
The 866 papers published in Logical Methods in Computer Science in the last decades have received a total of 7.3k indexed citations . Papers published in Logical Methods in Computer Science usually cover Computational Theory and Mathematics (629 papers), Artificial Intelligence (636 papers), Software (68 papers), Geometry and Topology (54 papers) and Computer Networks and Communications (120 papers) specifically the topics of Logic, programming, and type systems (478 papers), Formal Methods in Verification (343 papers), Logic, Reasoning, and Knowledge (295 papers), semigroups and automata theory (175 papers), Computability, Logic, AI Algorithms (113 papers), Advanced Algebra and Logic (77 papers), Distributed systems and fault tolerance (52 papers) and Semantic Web and Ontologies (50 papers). The most active scholars publishing in Logical Methods in Computer Science are Venanzio Capretta, Nir Piterman, Matija Pretnar, Leonid Libkin, Laurent Doyen, Sam Staton, Gordon Plotkin, Krishnendu Chatterjee, Thomas A. Henzinger and Peter Selinger.
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.