Ziqing Luo

PROFILE

Homepage
No homepage is listed.
ORCID
No ORCID is listed.
Affiliations
No affiliations are listed.
Aliases
No aliases are listed.
Publication record
15 papers · 213 citations · H-index 7

PAPERS

Collective Contracts for Message-Passing Parallel Programs
20240 citationsauthor #1
ZDHHC11 Suppresses Zika Virus Infections by Palmitoylating the Envelope Protein
20239 citationsauthor #5
Model Checking Race-freedom When "Sequential Consistency for Data-race-free Programs" is Guaranteed
20233 citationsauthor #4
AD-RoadNet: An Auxiliary-Decoding Road Extraction Network Improving Connectivity While Preserving Multiscale Road Details
202322 citationsauthor #1
Identification of natural compounds as SARS-CoV-2 inhibitors via molecular docking and molecular dynamic simulation
20238 citationsauthor #2
Monopeptide-based powder gelators for instant phase-selective gelation of aprotic aromatics and for toxic dye removal.
202015 citationsauthor #2
Towards Deductive Verification of Message-Passing Parallel Programs
20183 citationsauthor #1
Verifying Properties of Differentiable Programs
20186 citationsauthor #2
Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges
20182 citationsauthor #1
Verification of MPI programs using CIVL
201722 citationsauthor #1
Towards Self-Verification in Finite Difference Code Generation
20174 citationsauthor #2
CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution)
20166 citationsauthor #3
CIVL: the concurrency intermediate verification language
201584 citationsauthor #3
CIVL: Formal Verification of Parallel Programs
201531 citationsauthor #3
Title : CIVL : The Concurrency Intermediate Verification Language
20140 citationsauthor #4

TIMELINE

2014 0 citations

2015 115 citations

2016 6 citations

2017 26 citations

2018 11 citations

2020 15 citations

2023 42 citations

2024 0 citations

Ziqing Luo

PROFILE

PAPERS

TIMELINE

COAUTHOR MAP

CONCEPT FOOTPRINT