W1986022261

• A Quadratic Lower Bound for Simulation

  2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  0

  citations
• Exact and Efficient Mesh‐Kernel Generation

  2025 Computer Graphics Forum article Computer Science Computational Geometry and Mesh Generation

  1

  citations
• On Propositional Program Equivalence (Extended Abstract)

  2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

  0

  citations
• CF-GKAT: Efficient Validation of Control-Flow Transformations

  2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  3

  citations
• On Single-Objective Sub-Graph-Based Mutation for Solving the Bi-Objective Minimum Spanning Tree Problem

  2023 Evolutionary Computation article Computer Science Advanced Multi-Objective Optimization Algorithms

  5

  citations

5 results