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 2012Show all

1 paper · 1 filter

cs.FL2012★ 1 cited

Algebraic Characterization of the Class of Languages recognized by Measure Only Quantum Automata

Carlo Comin, Maria Paola Bianchi

We study a model of one-way quantum automaton where only measurement operations are allowed (MOn-1qfa). We give an algebraic characterization of LMO, showing that the syntactic mon…