4 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.LO2017★ 3 cited
Verifying Quantum Programs: From Quipper to QPMC
Linda Anticoli, Carla Piazza, Leonardo Taglialegne +1
In this paper we present a translation from the quantum programming language Quipper to the QPMC model checker, with the main aim of verifying Quipper programs. Quipper is an embed…
cs.CE2012★ 4 cited
Hybrid Automata and ε-Analysis on a Neural Oscillator
Alberto Casagrande, Tommaso Dreossi, Carla Piazza
In this paper we propose a hybrid model of a neural oscillator, obtained by partially discretizing a well-known continuous model. Our construction points out that in this case the…