Concepedia

Chenyi Zhang

CZ

Statistics

Publications

31

Citations

859

H-Index

19

Active since

2007

Affiliations

UNSW Sydney(Current)

Data61

Zhejiang University

North University of China

The University of Queensland

Chenyi Zhang is an author at UNSW Sydney specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationData ScienceAutomated ReasoningData MiningCryptographyVerificationData Security

Publications per year

2007–2025

31

Publications

31

Personalized Trip Recommendation with POI Availability and Uncertain Traveling Time

Chenyi Zhang, Hongwei Liang, Ke Wang et al. · 2015 · 74 citations

Engineering, Travel Behavior, Operations Research +20

Latent Factor Transition for Dynamic Collaborative Filtering

Chenyi Zhang, Ke Wang, Hongkun Yu et al. · 2014 · 58 citations · Full text

POI recommendation through cross-region collaborative filtering

Chenyi Zhang, Ke Wang · Knowledge and Information Systems · 2015 · 55 citations

Group Recommenders, Engineering, Information Retrieval +7

User-Input Dependence Analysis via Graph Reachability

Bernhard Scholz, Chenyi Zhang, Cristina Cifuentes · 2008 · 47 citations

Software Maintenance, Engineering, Reachability Problem +24

Characterising Testing Preorders for Finite Probabilistic Processes

Yuxin Deng, Rob van Glabbeek, Matthew Hennessy et al. · 2007 · 46 citations · Full text

Engineering, Probabilistic Computation, Higher-order Logic +16

Rows per page

1–5 of 31