Pregroup Grammars with Letter Promotions. - Wojciech Buszkowski; Zhe Lin 002 (LATA, 2010)

Modal Nonassociative Lambek Calculus with Assumptions: Complexity and Context-Freeness. - Zhe Lin 002 (LATA, 2010)

Distributive Full Nonassociative Lambek Calculus with S4-Modalities Is Context-Free. - Zhe Lin 002 (LACL, 2012)

Pregroup grammars with letter promotions: Complexity and context-freeness. - Wojciech Buszkowski; Zhe Lin 002; Katarzyna Moroz (J. Comput. Syst. Sci., 2012)

The Computational Compexity of Decision Problem in Additive Extensions of Nonassociative Lambek Calculus. - Zhe Lin 002; Minghui Ma (CoRR, 2014)

Residuated Basic Logic I. - Minghui Ma; Zhe Lin 002 (CoRR, 2014)

Residuated Basic Logic II. Interpolation, Decidability and Embedding. - Minghui Ma; Zhe Lin 002 (CoRR, 2014)

Non-associative Lambek calculus with modalities: interpolation, complexity and FEP. - Zhe Lin 002 (Log. J. IGPL, 2014)

On the Complexity of the Equational Theory of Residuated Boolean Algebras. - Zhe Lin 002; Minghui Ma (WoLLIC, 2016)

Decidability in Pre-rough Algebras: Extended Abstract. - Zhe Lin 002; Mihir Kumar Chakraborty; Minghui Ma (IJCSR, 2018)

Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras. - Minghui Ma; Mihir Kumar Chakraborty; Zhe Lin 002 (IJCSR, 2018)

Finite Model Property of Pretransitive Modal Logic. - Zhe Lin 002; Minghui Ma (CoRR, 2018)

The Finite Embeddability Property for Topological Quasi-Boolean Algebra 5. - Zhe Lin 002; Mihir Kumar Chakraborty (ICLA, 2019)

The Sequent Systems and Algebraic Semantics of Intuitionistic Tense Logics. - Kaiyang Lin; Zhe Lin 002 (LORI, 2019)

Gentzen sequent calculi for some intuitionistic modal logics. - Zhe Lin 002; Minghui Ma (Log. J. IGPL, 2019)

Incorporating Reinforced Adversarial Learning in Autoregressive Image Generation. - Kenan E. Ak; Ning Xu 007; Zhe Lin 002; Yilin Wang 002 (ECCV (21), 2020)

Language-Guided Global Image Editing via Cross-Modal Cyclic Mechanism. - Wentao Jiang; Ning Xu 007; Jiayun Wang; Chen Gao 005; Jing Shi 005; Zhe Lin 002; Si Liu 001 (ICCV, 2021)

Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability. - Zhe Lin 002; Mihir Kumar Chakraborty; Minghui Ma (Fundam. Informaticae, 2021)

A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics. - Zhe Lin 002; Minghui Ma (Stud Logica, 2022)