Juan Chen

A survey of qualitative spatial representations

Juan Chen, Anthony G. Cohn, Dayou Liu et al. · The Knowledge Engineering Review · 2013 · 116 citations

Computing, Autonomous Systems, Geoinformatics +15

Verifying higher-order programs with the dijkstra monad

Nikhil Swamy, Joel Weinberger, Cole Schlesinger et al. · 2013 · 105 citations

Computing, Computer Engineering, Computer Science +16

Identifying performance anomalies in fluctuating cloud environments: A robust correlative-GNN-based explainable approach

Yujia Song, Ruyue Xin, Peng Chen et al. · Future Generation Computer Systems · 2023 · 96 citations · Full text

Computing, Cloud Computing, Computer Science +13

Generalized synchronization in complex dynamical networks via adaptive couplings

Hui Liu, Juan Chen, Jun-an Lu et al. · Physica A Statistical Mechanics and its Applications · 2009 · 86 citations · Full text

Engineering, Computer Science, Systems Engineering +14

Adaptive Optimization for Petascale Heterogeneous CPU/GPU Computing

Canqun Yang, Feng Wang, Yunfei Du et al. · 2010 · 86 citations

Computing, Computer Science, High-performance Computing +17