author-photo

Zengxiang Li

Institute of High Performance Computing Singapore

6

Papers

25

Citations

Citation Trend

Filter By

Papers (5) Sort By

Journal Conference Others

A Survey of Smart Contract Formal Specification and Verification

2021 ACM Computing Surveys
Show All
- Source
- Cite
- Save
Citations (9)
An effective blockchain-based, decentralized application for smart building system management

2020
Show All
- Source
- Cite
- Save
Citations (3)
Path Travel Time Estimation using Attribute-related Hybrid Trajectories Network

2019 CIKM | Conference on Information and Knowledge Management
Show All
- Source
- Cite
- Save
Citations (3)
Efficient Multi-party Computation Algorithm Design for Real-World Applications

2019 ICPADS | International Conference on Parallel and Distributed Systems
Show All
- Source
- Cite
- Save
Citations (0)
Equality of public transit connectivity: the influence of mass rapid transit services on individual buildings for Singapore

2018 Transportmetrica B-Transport Dynamics
Show All
- Source
- Cite
- Save
Citations (4)