Tangliu Wen

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 6

Top Topics

Algebraic Equations

Change Detection

Correctness Criterion

Top Venues

Int. J. Intell. Syst.

Int. J. Found. Comput. Sci.

Publications

Lan Song, Lixin Ding, Tangliu Wen, Mengjia Yin, Zhigao Zeng
Time series change detection using reservoir computing networks for remote sensing data. Int. J. Intell. Syst. 37 (12) (2022)
Tangliu Wen
A Simple Way to Verify Linearizability of Concurrent Stacks. CoRR (2021)
Tangliu Wen, Jie Peng, Jinyun Xue, Zhen You, Lan Song
Strict Linearizability and Abstract Atomicity. Int. J. Found. Comput. Sci. 32 (1) (2021)
Tangliu Wen, Lan Song, Zhen You
Proving Linearizability Using Reduction. Comput. J. 62 (9) (2019)
Lan Song, Dennis K. Peters, Weimin Huang, Zhiwei Liu, Lixia Lei, Tangliu Wen
Parallel Communication Mechanisms in Solving Integral Equations for Electromagnetic Scattering Based on the Method of Moments. ICA3PP (1) (2018)
Tangliu Wen
Strict Linearizability and Abstract Atomicity. CoRR (2018)