( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs.

, , и . Artif. Intell., (января 2024)

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.

Kohei Tatsumi

Kohei Tatsumi

Mohamed Koheil

Susanne Koheil

 

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

Automatic Memory Management Based on Program Transformation Using Ownership., , и . APLAS, том 8858 из Lecture Notes in Computer Science, стр. 58-77. Springer, (2014)The Interface Definition Language for Fail-Safe C., , , и . ISSS, том 3233 из Lecture Notes in Computer Science, стр. 192-208. Springer, (2003)Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic., , и . CoRR, (2017)Formalizing Statistical Causality via Modal Logic., , и . CoRR, (2022)Formalizing Statistical Causality via Modal Logic., , и . JELIA, том 14281 из Lecture Notes in Computer Science, стр. 681-696. Springer, (2023)A Contract Corpus for Recognizing Rights and Obligations., , , и . LREC, стр. 2045-2053. European Language Resources Association, (2020)Resource Usage Analysis for the pi-Calculus., , и . VMCAI, том 3855 из Lecture Notes in Computer Science, стр. 298-312. Springer, (2006)Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis., , и . Theor. Comput. Sci., (2018)Programming with Infinitesimals: A While-Language for Hybrid System Modeling., и . ICALP (2), том 6756 из Lecture Notes in Computer Science, стр. 392-403. Springer, (2011)Exercises in Nonstandard Static Analysis of Hybrid Systems., и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 462-478. Springer, (2012)