Latest Research in Data Structures and Algorithms

Top Research Topics in Data Structures and Algorithms

• Logic in Computer Science — 11 papers
• Data Structures and Algorithms — 9 papers
• Logic — 7 papers
• Databases — 5 papers
• Logic, Reasoning, and Knowledge — 4 papers
• Philosophy and Theoretical Science — 3 papers
• Formal Languages and Automata Theory — 3 papers
• Quantum and Classical Electrodynamics — 3 papers
• Logic, programming, and type systems — 2 papers
• Advanced Algebra and Logic — 2 papers

Highest-Cited Papers

1. THE PROOF IS IN THE CHECKING
2. History-Deterministic Büchi Automata are Succinct
3. Certified Panic Mode: Repair-Invariant Error Recovery for Maximal-Munch Lexing
4. Mathematical Explanations and Axioms as Rules
5. Deterministic Streaming Lower Bounds for Approximate Maximum Clique and Maximum Independent Set
6. Explorable Parity Automata
7. Universal Properties of Petri Net Unfoldings
8. Fuzzy directed simulations for fuzzy modal logics over residuated lattices
9. Answering Conjunctive Queries with Aggregations under Updates
10. Certified Elimination of Source Candidates Under Capacity, Transit-Time, and Deadline Constraints
11. Expressive Power of Property Graph Constraint Languages
12. Exact Complexity of the Satisfiability Problem for Strategy Logic
13. Deciding Amalgamation Beyond Arity Two: The Semantic Horn Case
14. The Verification Boundary: Exact Limits of Verification by Bounded Systems: Identification, Generation, Computation, Implementation, Correspondence — and the Forced Routing at Each Limit
15. Significance of the General Self-Reference Calculus Explanatory Note for Paper 26 of the NEMS Suite
16. A Formal Theory of Transputation Closure, Internal Adjudication, and Non-Algorithmic Continuation Selection
17. Significance of the General Self-Reference Calculus Explanatory Note for Paper 26 of the NEMS Suite
18. Significance of the General Self-Reference Calculus Explanatory Note for Paper 26 of the NEMS Suite
19. Getting to the Root: A Combined Complexity Perspective on Consistent Query Answering
20. Intuitionistic logic of a binary modality