papers
Publications (3)
quant-ph2013
Hidden Translation and Translating Coset in Quantum Computing
K. Friedl, G. Ivanyos, F. Magniez +2
cs.LO2013
Some approximations in Model Checking and Testing
M. C. Gaudel, R. Lassaigne, F. Magniez +1
cs.DS2009
Recognizing well-parenthesized expressions in the streaming model
F. Magniez, C. Mathieu, A. Nayak