( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards Provably Robust Watermarking.

, , , и . ITP, том 7406 из Lecture Notes in Computer Science, стр. 201-216. Springer, (2012)

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.

Pierre Mattern

Pierre Gottschlich

Pierre Nyabyenda

Pierre Mangold

Pierre Venet

 

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

Focused Certification of an Industrial Compilation and Static Verification Toolchain., , , , и . SEFM, том 10469 из Lecture Notes in Computer Science, стр. 17-34. Springer, (2017)Automated Certified Proofs with CiME3., , , , и . RTA, том 10 из LIPIcs, стр. 21-30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Tool-Assisted Specification and Verification of Typed Low-Level Languages., , , и . J. Autom. Reason., 35 (4): 295-354 (2005)Certifying a Termination Criterion Based on Graphs, without Graphs., , и . TPHOLs, том 5170 из Lecture Notes in Computer Science, стр. 183-198. Springer, (2008)Efficient Reasoning about Executable Specifications in Coq., и . TPHOLs, том 2410 из Lecture Notes in Computer Science, стр. 31-46. Springer, (2002)Swarms of Mobile Robots: Towards Versatility with Safety., , , и . Leibniz Trans. Embed. Syst., 8 (2): 02:1-02:36 (2022)Tool-Assisted Specification and Verification of the JavaCard Platform., , , и . AMAST, том 2422 из Lecture Notes in Computer Science, стр. 41-59. Springer, (2002)Certification of Automated Termination Proofs., , , , и . FroCoS, том 4720 из Lecture Notes in Computer Science, стр. 148-162. Springer, (2007)Représentation d'algèbres non libres en théorie des types. (Representation of Non Free Algebras in Type Theory).. University of Paris-Sud, Orsay, France, (2001)A3PAT, an approach for certified automated termination proofs., , , , , и . PEPM, стр. 63-72. ACM, (2010)