( en | de | ru )

 

Disambiguation of "Chin, Wei-Ngan"

Author of the publication

copydeleteadd this publication to your clipboard
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets.

, , , and . SEFM, page 259-267. IEEE Computer Society, (2008)

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. You can also use the button next to the name to display some publications already assigned to the person.

Xiao Wei Dawn Chin

Nicolas Ngan

Michel Nganbe

Alain Patrice Nganang

Chiu-Chun Ngan

 

Other publications of authors with the same name

A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic., , , and . CAV (2), volume 10427 of Lecture Notes in Computer Science, page 495-517. Springer, (2017)A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification., , , , , and . CAV, volume 6806 of Lecture Notes in Computer Science, page 293-309. Springer, (2011)Calculating a New Data Mining Algorithm for Market Basket Analysis., , and . PADL, volume 1753 of Lecture Notes in Computer Science, page 169-184. Springer, (2000)A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm., , and . ICFEM, volume 5256 of Lecture Notes in Computer Science, page 126-146. Springer, (2008)Automated Modular Verification for Relaxed Communication Protocols., , , and . APLAS, volume 11275 of Lecture Notes in Computer Science, page 284-305. Springer, (2018)A Resource-Based Logic for Termination and Non-termination Proofs., , , and . ICFEM, volume 8829 of Lecture Notes in Computer Science, page 267-283. Springer, (2014)An Expressive Framework for Verifying Deadlock Freedom., , and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 287-302. Springer, (2013)Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm., and . TACAS (1), volume 13993 of Lecture Notes in Computer Science, page 569-587. Springer, (2023)A Synchronous Effects Logic for Temporal Verification of Pure Esterel., and . VMCAI, volume 12597 of Lecture Notes in Computer Science, page 417-440. Springer, (2021)Termination and non-termination specification inference., , and . PLDI, page 489-498. ACM, (2015)