ACM Transactions on Computational Logic

Papers
(The H4-Index of ACM Transactions on Computational Logic is 6. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2020-11-01 to 2024-11-01.)
ArticleCitations
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic15
Principles of KLM-style Defeasible Description Logics12
Unifying Operational Weak Memory Verification: An Axiomatic Approach10
Action Logic is Undecidable7
Verification of Distributed Quantum Programs6
Slanted Canonicity of Analytic Inductive Inequalities6
Strategy Logic with Imperfect Information6
0.016827821731567