E-LIB Suche - Ergebnisse für: Le Quang Loc

1

The prevalence of Pfk13 polymorphism in malaria patients tr..:

Hung, Dang The ; Tran, Linh ; Tam, Dao Ngoc Hien...
Parasitology Research. 123 (2024) 5 - p. , 2024

Link: https://doi.org/10.1007/..

2

An Idealist's Approach for Smart Contract Correctness:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Nguyen, Tai D. ; Pham, Long H. ; Sun, Jun. - p. 11-28 , 2023

Link: https://doi.org/10.1007/..

3

An Efficient Cyclic Entailment Procedure in a Fragment of S..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Le, Quang Loc ; Le, Xuan-Bach D. - p. 477-497 , 2023

Link: https://doi.org/10.1007/..

4

Incorrectness Proofs for Object-Oriented Programs via Subcl..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Li, Wenhua ; Le, Quang Loc ; Song, Yahui. - p. 269-289 , 2023

Link: https://doi.org/10.1007/..

5

The role of nursing leadership in promoting evidence-based ..:

Elsheikh, Randa ; Le Quang, Loc ; Nguyen, Ngoc Quynh Tram...
Journal of Professional Nursing. 48 (2023) - p. 93-98 , 2023

Link: https://doi.org/10.1016/..

6

Finding real bugs in big programs with incorrectness logic:

Le, Quang Loc ; Raad, Azalea ; Villard, Jules...
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA1 - p. 1-27 , 2022

Link: https://doi.org/10.1145/..

7

Clinical and laboratory factors associated with coronavirus..:

Minh, Le Huu Nhat ; Abozaid, Ali Ahmed‐Fouad ; Ha, Nam Xuan...
Reviews in Medical Virology. 31 (2021) 6 - p. , 2021

Link: https://doi.org/10.1002/..

8

Compositional Satisfiability Solving in Separation Logic:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Le, Quang Loc - p. 578-602 , 2021

Link: https://doi.org/10.1007/..

9

ReFixar: Multi-version Reasoning for Automated Repair of Re..:

, In: 2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE),

Le, Xuan-Bach D. ; Le, Quang Loc - p. 162-172 , 2021

Link: https://doi.org/10.1109/..

10

Efficacy of Kinesio Taping Compared to Other Treatment Moda..:

Tran, Linh ; Makram, Abdelrahman M ; Makram, Omar Mohamed...
Research in Sports Medicine. , 2021

Link: https://doi.org/10.1080/..

11

Effect of auricular acupuncture on exam anxiety in first-ye..:

Pham, Duc-Thang ; Nguyen, Van-Dan ; Bui, Minh-Man Pham...
MedPharmRes. 3 (2019) 2 - p. 15-18 , 2019

Link: https://doi.org/10.32895..

12

Compositional Verification of Heap-Manipulating Programs Th..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Pham, Long H. ; Sun, Jun ; Le, Quang Loc - p. 405-424 , 2019

Link: https://doi.org/10.1007/..

13

Enhancing Symbolic Execution of Heap-Based Programs with Se..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Pham, Long H. ; Le, Quang Loc ; Phan, Quoc-Sang.. - p. 209-227 , 2019

Link: https://doi.org/10.1007/..

14

SL-COMP: Competition of Solvers for Separation Logic:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Sighireanu, Mihaela ; Navarro Pérez, Juan A. ; Rybalchenko, Andrey... - p. 116-132 , 2019

Link: https://doi.org/10.1007/..

15

Concolic Testing Heap-Manipulating Programs:

, In: Lecture Notes in Computer Science; Formal Methods – The Next 30 Years,

Pham, Long H. ; Le, Quang Loc ; Phan, Quoc-Sang. - p. 442-461 , 2019

Link: https://doi.org/10.1007/..