( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Vehicle Tutorial: Neural Network Verification with Vehicle.

, , , , , , , , и . FoMLAS@CAV, том 16 из Kalpa Publications in Computing, стр. 1-5. EasyChair, (2023)

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.

Günther Kokkelink

Leonie Kokkelink

Jacco Kokkedee

Ming Wen

Wen Peng

 

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

Neural Networks, Secure by Construction - An Exploration of Refinement Types., , , , и . APLAS, том 12470 из Lecture Notes in Computer Science, стр. 67-85. Springer, (2020)Better Late Than Never: A Fully Abstract Semantics for Classical Processes., , и . CoRR, (2018)Taking Linear Logic Apart., , и . Linearity-TLLA@FLoC, том 292 из EPTCS, стр. 90-103. (2018)Towards Races in Linear Logic., , и . Log. Methods Comput. Sci., (2020)Prioritise the Best Variation., и . Log. Methods Comput. Sci., (2023)Separating Sessions Smoothly., , , , и . CONCUR, том 203 из LIPIcs, стр. 36:1-36:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Continuous Verification of Machine Learning: a Declarative Programming Approach., , и . PPDP, стр. 1:1-1:3. ACM, (2020)Better late than never: a fully-abstract semantics for classical processes., , и . Proc. ACM Program. Lang., 3 (POPL): 24:1-24:29 (2019)Deadlock-free session types in linear Haskell., и . Haskell, стр. 1-13. ACM, (2021)The Vehicle Tutorial: Neural Network Verification with Vehicle., , , , , , , , и . FoMLAS@CAV, том 16 из Kalpa Publications in Computing, стр. 1-5. EasyChair, (2023)