( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Programming with Infinitesimals: A While-Language for Hybrid System Modeling.

, и . ICALP (2), том 6756 из Lecture Notes in Computer Science, стр. 392-403. Springer, (2011)

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

Susanne Koheil

Mohamed Koheil

 

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

Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic., , и . CoRR, (2017)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)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)Verification of a Merkle Patricia Tree Library Using F., , , , и . CoRR, (2021)Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption., , , , , и . CAV (1), том 13371 из Lecture Notes in Computer Science, стр. 447-468. Springer, (2022)Type-based safe resource deallocation for shared-memory concurrency., , и . OOPSLA, стр. 1-20. ACM, (2012)Hyperstream processing systems: nonstandard modeling of continuous-time signals., , и . POPL, стр. 417-430. ACM, (2013)Programming with Infinitesimals: A While-Language for Hybrid System Modeling., и . ICALP (2), том 6756 из Lecture Notes in Computer Science, стр. 392-403. Springer, (2011)