11 citations · 22 across the 3 of their papers we have counts for
3 papers
quant-ph2025
On Exact Sizes of Minimal CNOT Circuits
Jens Emil Christensen, Søren Fuglede Jørgensen, Andreas Pavlogiannis +1
Computing a minimum-size circuit that implements a certain function is a standard optimization task. We consider circuits of CNOT gates, which are fundamental binary gates in rever…
cs.LO2019★ 11 cited
Minimal-Time Synthesis for Parametric Timed Automata
Étienne André, Vincent Bloemen, Laure Petrucci +1
Parametric timed automata (PTA) extend timed automata by allowing parameters in clock constraints. Such a formalism is for instance useful when reasoning about unknown delays in a…
cs.LO2018★ 11 cited
A benchmark library for parametric timed model checking
André Étienne
Verification of real-time systems involving hard timing constraints and concurrency is of utmost importance. Parametric timed model checking allows for formal verification in the p…