Latest Research in Logic in Computer Science

Top Research Topics in Logic in Computer Science

• Logic in Computer Science — 52 papers
• Programming Languages — 20 papers
• Artificial Intelligence — 12 papers
• Logic, programming, and type systems — 12 papers
• Logic, Reasoning, and Knowledge — 11 papers
• Data Structures and Algorithms — 11 papers
• Formal Methods in Verification — 8 papers
• Formal Languages and Automata Theory — 6 papers
• Distributed, Parallel, and Cluster Computing — 4 papers
• Computability, Logic, AI Algorithms — 4 papers

Highest-Cited Papers

1. Reciprocal Mean Square Index of Graphs
2. GRALS: GCN-Guided Redundancy-Aware Local Search for Minimum Vertex Cover
3. Revisiting Incremental Linearization for Nonlinear Integer Arithmetic
4. CT Causal Resolution Suite: Causal Solution Theorem, Causal Multimeter, Causal Solver, and Bilingual LLM Operator (start 2 cousin)
5. Don't exhaust, don't waste: Resource-aware soundness for big-step semantics
6. Statistical Verification of Quantitative Hyperproperties: Beyond Boolean Quantification
7. Efficient Monitoring of Timed Properties
8. Alternating-Time Temporal Logic with Mean-Payoff Guarantees
9. Fast Gossip-based Rumor Spreading using Small Messages
10. $${SL}^{\lambda }$$: A Scalable Algorithm for Register Automata Learning
11. Time-optimal self-stabilizing leader election in population protocols (2 citations)
12. Where Formal Libraries Spend Their Axioms: A Cross-Foundation Measurement, and an Avoidable Classical Dependency in Lean's omega
13. Programação de Orquestração (PrOr): A Contract-Based Model for Integration Topology as an Extension to Spec-Driven Development
14. Where Formal Libraries Spend Their Axioms: A Cross-Foundation Measurement, and an Avoidable Classical Dependency in Lean's omega
15. Programação de Orquestração (PrOr): A Contract-Based Model for Integration Topology as an Extension to Spec-Driven Development
16. Infinite Trace Objectives with Finite Trace Techniques: Translating LTL to LTLf+
17. Staying Productive Under the Palm Trees. On Graded Coeffect Typing in the Tropical Semiring
18. Directed Q-Analysis and Directed Higher-Order Connectivity on Digraphs: A Quantitative Approach
19. A Luenberger Observer for P-Time Event Graphs
20. Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles