( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing.

, , , , и . LICS, стр. 30-39. IEEE Computer Society, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Frédéric Robin

Frédéric Ruckert

Frédéric Roux

Frédéric Leroux

Frédéric Ziebarth

 

Другие публикации лиц с тем же именем

Unidirectional Input/Output Streaming Complexity of Reversal and Sorting., , и . APPROX-RANDOM, том 28 из LIPIcs, стр. 654-668. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Quantum Testers for Hidden Group Properties., , , и . MFCS, том 2747 из Lecture Notes in Computer Science, стр. 419-428. Springer, (2003)Extended Learning Graphs for Triangle Finding., , и . STACS, том 66 из LIPIcs, стр. 20:1-20:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Improved Bounds for the Randomized Decision Tree Complexity of Recursive Majority., , , и . ICALP (1), том 6755 из Lecture Notes in Computer Science, стр. 317-329. Springer, (2011)Quantum Time-Space Tradeoff for Finding Multiple Collision Pairs., и . TQC, том 197 из LIPIcs, стр. 1:1-1:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Quantum Chebyshev's Inequality and Applications., и . ICALP, том 132 из LIPIcs, стр. 69:1-69:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Approximate Satisfiability and Equivalence., , и . SIAM J. Comput., 39 (6): 2251-2281 (2010)Finding Is as Easy as Detecting for Quantum Walks., , , и . ICALP (1), том 6198 из Lecture Notes in Computer Science, стр. 540-551. Springer, (2010)Quantum Testers for Hidden Group Properties., , , и . Fundam. Informaticae, 91 (2): 325-340 (2009)Streaming Communication Protocols., , и . Electron. Colloquium Comput. Complex., (2016)