activity
20122018
most citedInstantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks -- Extended version with an Improved Upper Bound --

4 citations · 7 across the 11 of their papers we have counts for

collaborators
Showing 2013Show all

1 paper · 1 filter

cs.FL2013

(Extended Version) Algebraic Characterization of the Class of Languages recognized by Measure Only Quantum Automata

Carlo Comin

We study a model of one-way quantum automaton where only measurement operations are allowed ($\mon$). We give an algebraic characterization of $\lmo(Σ)$, showing that the syntactic…