( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Proof Certifier Checkers.

, , и . TABLEAUX, том 9323 из Lecture Notes in Computer Science, стр. 201-210. Springer, (2015)

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.

Bachir Chihani

Zakaria Zidan

Jesin Zakaria

Saiedeh Zakaria

Zakaria Chemli

 

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

Contextualised Out-of-Distribution Detection using Pattern Identication., , , , и . CoRR, (2023)The Proof Certifier Checkers., , и . TABLEAUX, том 9323 из Lecture Notes in Computer Science, стр. 201-210. Springer, (2015)DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification., , , , и . CoRR, (2021)AIMOS: Metamorphic Testing of AI - An Industrial Application., , , и . SAFECOMP Workshops, том 14182 из Lecture Notes in Computer Science, стр. 328-340. Springer, (2023)Translating Between Implicit and Explicit Versions of Proof., , и . CADE, том 10395 из Lecture Notes in Computer Science, стр. 255-273. Springer, (2017)Sanity checks and improvements for patch visualisation in prototype-based image classification., , , и . CoRR, (2023)CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators., , , и . ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 2497-2504. IOS Press, (2020)Introducing the TRUMPET project: TRUstworthy Multi-site Privacy Enhancing Technologies., , , , , , , , , и 5 other автор(ы). CSR, стр. 604-611. IEEE, (2023)Interpretable Out-Of-Distribution Detection Using Pattern Identification., , , , и . CoRR, (2023)On the stability, correctness and plausibility of visual explanation methods based on feature importance., , , , , , и . CBMI, стр. 119-125. ACM, (2023)