Wolfgang Gehrke

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 1

Top Topics

Optimization Strategies

Power Reduction

Top Venues

Publications

Korbinian Staudacher, Tobias Guggemos, Sophia Grundner-Culemann, Wolfgang Gehrke
Reducing 2-QuBit Gate Count for ZX-Calculus based Quantum Circuit Optimization. CoRR (2023)
Wolfgang Gehrke, Jochen Pfalzgraf
Computer-Aided Construction of Finite Geometric Spaces: Automated Verification of Geometric Constraints. J. Autom. Reason. 26 (2) (2001)
Wolfgang Gehrke, Carla Limongelli
Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting. DISCO (1996)
Wolfgang Gehrke
Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad. RTA (1995)