Details
Title
Wang, Qiang
Sciper ID
221557
Publications
Algorithmic Verification of Component-based Systems
Automatic Fault Localization for BIP
Catalytic Enantioselective Pictet–Spengler Reaction of α‐Ketoamides Catalyzed by a Single H‐Bond Donor Organocatalyst
Copper‐Catalyzed Aza‐Sonogashira Cross‐Coupling to Ynimines: Development and Application to the Synthesis of Heterocycles
Parameterized Systems in BIP: Design and Model Checking
RFID seeking: Finding a lost tag rather than only detecting its missing
SeBip: a symbolic executor for BIP
TOA: a tag-owner-assisting RFID authentication protocol toward access control and ownership transfer
Taming the radical cation intermediate enabled one-step access to structurally diverse lignans
Verification of Component-based Systems via Predicate Abstraction and Simultaneous Set Reduction
Automatic Fault Localization for BIP
Catalytic Enantioselective Pictet–Spengler Reaction of α‐Ketoamides Catalyzed by a Single H‐Bond Donor Organocatalyst
Copper‐Catalyzed Aza‐Sonogashira Cross‐Coupling to Ynimines: Development and Application to the Synthesis of Heterocycles
Parameterized Systems in BIP: Design and Model Checking
RFID seeking: Finding a lost tag rather than only detecting its missing
SeBip: a symbolic executor for BIP
TOA: a tag-owner-assisting RFID authentication protocol toward access control and ownership transfer
Taming the radical cation intermediate enabled one-step access to structurally diverse lignans
Verification of Component-based Systems via Predicate Abstraction and Simultaneous Set Reduction
Link to search
All resources
Record appears in
Authorities > People