Latest Research in Logic in Computer Science
76 research papers · 2026 median publication year
Top Research Topics in Logic in Computer Science
- Logic in Computer Science — 14 papers
- Logic, programming, and type systems — 13 papers
- Data Structures and Algorithms — 7 papers
- Artificial Intelligence — 7 papers
- Logic, Reasoning, and Knowledge — 6 papers
- Distributed systems and fault tolerance — 3 papers
- Interconnection Networks and Systems — 2 papers
- Logic — 2 papers
- Programming Languages — 2 papers
- Philosophy and Theoretical Science — 2 papers
Highest-Cited Papers
- A Continuation-Based Solution of the Linearity Challenge
- Five-expert PDE: lean formalization
- The non-inclusive g -extra diagnosability of the exchanged hypercube under the PMC and MM* models
- The Anti-Lexicographic SUS-Anchor: An Empirically Optimal Selection Scheme
- The Complexity of Generalized HyperLTL with Stuttering and Contexts
- The g-Good-Neighbor Diagnosability of Balanced Hypercubes
- Safe Exploration of Arbitrary Dynamic Dangerous Networks
- Counting Triangles in Graph Streams with Repeatable and Forgettable Edges
- A Near-Optimal Space Lower Bound for Euclidean Diameter Estimation in Dynamic Streams
- Concurrency, Causality and Conflict via Independence in Reversible Calculi
- Overview and Roadmap of Team Automata
- Axiomatisation for an asynchronous epistemic logic with sending and receiving messages
- Formal Verification of Discrete Integration Properties from First Principles
- Differentially Private Multicolor Discrepancy and Fair Division of Indivisible Goods
- Higher-Order Quadripolar Argumentation Framework and Encoded Semantics
- Recurrent GraphNeural NetworkswithSet-BasedAggregation
- Unraveling the iterative CHAD
- Relative PSC and Recursive NEMS (Fractal Closure) Paper 16 (C2) of the NEMS Suite
- A Complete Logic of Certification Soundness, Completeness, and Maximality for Stratified Verification Protocols Paper 50 of the NEMS Suite
- A Sieve Engine for Theory Spaces: Proof-Carrying Classification and Residual Certification Paper 34 of the NEMS Suite