( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Termination and non-termination specification inference.

, , и . PLDI, стр. 489-498. ACM, (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.

Xiao Wei Dawn Chin

Nicolas Ngan

Michel Nganbe

Alain Patrice Nganang

Korakot Nganvongpanit

 

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

A Resource-Based Logic for Termination and Non-termination Proofs., , , и . ICFEM, том 8829 из Lecture Notes in Computer Science, стр. 267-283. Springer, (2014)Automated Modular Verification for Relaxed Communication Protocols., , , и . APLAS, том 11275 из Lecture Notes in Computer Science, стр. 284-305. Springer, (2018)A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification., , , , , и . CAV, том 6806 из Lecture Notes in Computer Science, стр. 293-309. Springer, (2011)A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic., , , и . CAV (2), том 10427 из Lecture Notes in Computer Science, стр. 495-517. Springer, (2017)A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm., , и . ICFEM, том 5256 из Lecture Notes in Computer Science, стр. 126-146. Springer, (2008)An Expressive Framework for Verifying Deadlock Freedom., , и . ATVA, том 8172 из Lecture Notes in Computer Science, стр. 287-302. Springer, (2013)Calculating a New Data Mining Algorithm for Market Basket Analysis., , и . PADL, том 1753 из Lecture Notes in Computer Science, стр. 169-184. Springer, (2000)Variable Timestamp-Based Distributed Deadlock Detection and Resolution., и . ASIAN, том 1179 из Lecture Notes in Computer Science, стр. 96-105. Springer, (1996)Variant Region Types., , и . ICECCS, стр. 126-135. IEEE Computer Society, (2018)Termination and non-termination specification inference., , и . PLDI, стр. 489-498. ACM, (2015)