ECC, an Extended Calculus of Constructions - Zhaohui Luo (LICS, 1989)

An extended calculus of constructions. - Zhaohui Luo (1990)

A Higher-Order Calculus and Theory Abstraction - Zhaohui Luo (Inf. Comput., 1991)

A Unifying Theory of Dependent Types: The Schematic Approach. - Zhaohui Luo (LFCS, 1992)

Program Specification and Data Refinement in Type Theory. - Zhaohui Luo (Math. Struct. Comput. Sci., 1993)

Computation and reasoning - a type theory for computer science. - Zhaohui Luo (Oxford University Press, 1994)

Coercive Subtyping in Type Theory. - Zhaohui Luo (CSL, 1996)

Type Theoretic Semantics for SemNet. - Simon Shiu; Zhaohui Luo; Roberto Garigliano (FAPR, 1996)

Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping. - Alex P. Jones; Zhaohui Luo; Sergei Soloviev 001 (TYPES, 1996)

Implementing a Model Checker for LEGO. - Shenwei Yu; Zhaohui Luo (FME, 1997)

Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language. - Zhaohui Luo; Paul Callaghan (LACL, 1997)

Implementation Techniques for Inductive Types in Plastic. - Paul Callaghan; Zhaohui Luo (TYPES, 1999)

Coercive Subtyping. - Zhaohui Luo (J. Log. Comput., 1999)

Dependent Coercions. - Zhaohui Luo; Sergei Soloviev 001 (CTCS, 1999)

Coherence and Transitivity in Coercive Subtyping. - Yong Luo 001; Zhaohui Luo (LPAR, 2001)

Coercion completion and conservativity in coercive subtyping. - Zhaohui Luo (Ann. Pure Appl. Log., 2001)

An Implementation of LF with Coercive Subtyping & Universes. - Paul Callaghan; Zhaohui Luo (J. Autom. Reason., 2001)

Weak Transitivity in Coercive Subtyping. - Yong Luo 001; Zhaohui Luo; Sergei Soloviev 001 (TYPES, 2002)

Coercions in Hindley-Milner Systems. - Robert Kießling; Zhaohui Luo (TYPES, 2003)

Combining Incoherent Coercions for Sigma-Types. - Yong Luo 001; Zhaohui Luo (TYPES, 2003)

PAL+: a lambda-free logical framework. - Zhaohui Luo (J. Funct. Program., 2003)

Transitivity in coercive subtyping. - Zhaohui Luo; Yong Luo 001 (Inf. Comput., 2005)

LFTOP: An LF-Based Approach to Domain-Specific Reasoning. - Jianmin Pang; Paul Callaghan; Zhaohui Luo (J. Comput. Sci. Technol., 2005)

A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations. - Zhaohui Luo (ASIAN, 2006)

Grid Scheduling Optimization Under Conditions of Uncertainty. - Bin Zeng 002; Zhaohui Luo; Jun Wei 004 (NPC, 2007)

Sea Water Pollution Assessment Based on Ensemble of Classifiers. - Bin Zeng 002; Zhaohui Luo; Jun Wei 004 (ICNC (1), 2008)

Diagnosis of Breast Cancer Tumor Based on PCA and Fuzzy Support Vector Machine Classifier. - Zhaohui Luo; Xiaoming Wu; Shengwen Guo; Binggang Ye (ICNC (4), 2008)

Manifest Fields and Module Mechanisms in Intensional Type Theory. - Zhaohui Luo (TYPES, 2008)

Coercions in a polymorphic type system. - Zhaohui Luo (Math. Struct. Comput. Sci., 2008)

Structural subtyping for inductive types with functorial equality rules. - Zhaohui Luo; Robin Adams 001 (Math. Struct. Comput. Sci., 2008)

Typed Operational Semantics for Dependent Record Types - Yangyue Feng; Zhaohui Luo (TYPES, 2009)

Classical predicative logic-enriched type theories. - Robin Adams 001; Zhaohui Luo (Ann. Pure Appl. Log., 2010)

Weyl's predicative classical mathematics as a logic-enriched type theory. - Robin Adams 001; Zhaohui Luo (ACM Trans. Comput. Log., 2010)

Contextual Analysis of Word Meanings in Type-Theoretical Semantics. - Zhaohui Luo (LACL, 2011)

A pluralist approach to the formalisation of mathematics. - Robin Adams 001; Zhaohui Luo (Math. Struct. Comput. Sci., 2011)

An Account of Natural Language Coordination in Type Theory with Coercive Subtyping. - Stergios Chatzikyriakidis; Zhaohui Luo (CSLP, 2012)

Common Nouns as Types. - Zhaohui Luo (LACL, 2012)

Dot-types and Their Implementation. - Tao Xue; Zhaohui Luo (LACL, 2012)

Adjectives in a Modern Type-Theoretical Setting. - Stergios Chatzikyriakidis; Zhaohui Luo (FG, 2013)

Coercive subtyping: Theory and implementation. - Zhaohui Luo; Sergei Soloviev 001; Tao Xue (Inf. Comput., 2013)

Using Signatures in Type Theory to Represent Situations. - Stergios Chatzikyriakidis; Zhaohui Luo (JSAI-isAI Workshops, 2014)

Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories. - Georgiana E. Lungu; Zhaohui Luo (LACL, 2014)

Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both? - Zhaohui Luo (LACL, 2014)

Natural Language Inference in Coq. - Stergios Chatzikyriakidis; Zhaohui Luo (J. Log. Lang. Inf., 2014)

Semi-simplicial Types in Logic-enriched Homotopy Type Theory. - Fedor Part; Zhaohui Luo (CoRR, 2015)

基于粗糙集的加权KNN数据分类算法 (Weighted KNN Data Classification Algorithm Based on Rough Set). - Jiyu Liu; Qiang Wang; Zhaohui Luo; Hao Song; Lvyun Zhang (计算机科学, 2015)

Proof Assistants for Natural Language Semantics. - Stergios Chatzikyriakidis; Zhaohui Luo (LACL, 2016)

On Subtyping in Type Theories with Canonical Objects. - Georgiana E. Lungu; Zhaohui Luo (TYPES, 2016)

Dependent Event Types. - Zhaohui Luo; Sergei Soloviev 001 (WoLLIC, 2017)

Adjectival and Adverbial Modification: The View from Modern Type Theories. - Stergios Chatzikyriakidis; Zhaohui Luo (J. Log. Lang. Inf., 2017)

Spatiotemporal Variability of Land Surface Phenology in China from 2001-2014. - Zhaohui Luo; Shixiao Yu (Remote. Sens., 2017)

Object Detection Based on Multiscale Merged Feature Map. - Zhaohui Luo; Hong Zhang 018; Zeyu Zhang; Yifan Yang 003; Jin Li (IGTA, 2018)

An NS-3 compatible emulation framework for underwater acoustic network. - Xiaohui Zeng; Zhaohui Luo; Fangjiong Chen; Hua Yu 001; Fei Ji; Quanshen Guang (WUWNet, 2018)

Direct Impacts of Climate Change and Indirect Impacts of Non-Climate Change on Land Surface Phenology Variation across Northern China. - Zhaohui Luo; Qingmei Song; Tao Wang; Huanmu Zeng; Tao He; Hengjun Zhang; Wenchen Wu (ISPRS Int. J. Geo Inf., 2018)

舰艇编队海上物资再补给目标优化研究 (Object Optimization Research of Underway Materials Resupplying for Battle Group). - Furong Qin; Zhaohui Luo; Peng Dong (计算机科学, 2018)

Variation of Net Primary Production and Its Correlation with Climate Change and Anthropogenic Activities over the Tibetan Plateau. - Zhaohui Luo; Wenchen Wu; Xijun Yu; Qingmei Song; Jian Yang; Jiahui Wu; Hengjun Zhang (Remote. Sens., 2018)

Type-Based Modelling and Collaborative Programming for Control-Oriented Systems (Short Paper). - Weidong Ma; Zhaohui Luo (CollaborateCom, 2019)

Gradability in MTT-Semantics. - Stergios Chatzikyriakidis; Zhaohui Luo (TbiLLC, 2019)

Cooperative Content Caching for Mobile Edge Computing With Network Coding. - Weisheng He; Yuhan Su; Xueting Xu; Zhaohui Luo; Lianfen Huang; Xiaojiang Du (IEEE Access, 2019)

Caching mechanism for mobile edge computing in V2I networks. - Zhaohui Luo; Minghui LiWang; Lianfen Huang; Xiaojiang Du; Mohsen Guizani (Trans. Emerg. Telecommun. Technol., 2019)

Subtype Universes. - Harry Maclean; Zhaohui Luo (TYPES, 2020)

The Survey of Image Generation from EEG Signals based on Deep Learning. - Delong Yang; Dongnan Su; Zhaohui Luo; Peng Shang; Zhigang Hu (BECB, 2021)

Stroke Patients Walk Pattern Prediction and Tracking Control Method for a Novel Intelligent Lower Limb Rehabilitation Walker. - Xiaoqian Zhang; Zhaohui Luo; Delong Yang; Peng Shang (BECB, 2021)

Autonomous following method of intelligent assistance walking robot based on large-scale piezoresistive films. - Feng Wei; Zhaohui Luo; Bo Wang; Dongnan Su; Jipeng Wu; Peng Shang (ICIT, 2022)

A Metatheoretic Analysis of Subtype Universes. - Felix Bradley; Zhaohui Luo (TYPES, 2022)

The Different Impacts of Climate Variability and Human Activities on NPP in the Guangdong-Hong Kong-Macao Greater Bay Area. - Yanyan Wu; Zhaohui Luo; Zhifeng Wu (Remote. Sens., 2022)

Quantitative Analysis of the Contributions of Climatic and Anthropogenic Factors to the Variation in Net Primary Productivity, China. - Shouhai Shi; Luping Zhu; Zhaohui Luo; Hua Qiu (Remote. Sens., 2023)

Review of adaptive control for stroke lower limb exoskeleton rehabilitation robot based on motion intention recognition. - Dongnan Su; Zhigang Hu; Jipeng Wu; Peng Shang; Zhaohui Luo (Frontiers Neurorobotics, 2023)

Propositional Forms of Judgemental Interpretations. - Tao Xue; Zhaohui Luo; Stergios Chatzikyriakidis (J. Log. Lang. Inf., 2023)

SOUP: A Unified Shopping Query Suggestion Framework to Optimize Language Model with User Preference. - Xu Meng; Zhaohui Luo; Xinxin Wang; Wen Jiang; Wei Ning; Shuhan Qi (CIKM, 2024)

A convex Kullback-Leibler optimization for semi-supervised few-shot learning. - Yukun Liu; Zhaohui Luo; Daming Shi 001 (Comput. Vis. Image Underst., 2024)

An Adaptive Multi-Bernoulli Filter for Coexisting Point Target and Extended Target Tracking With Unknown Detection Probability. - Yuansheng Li; Ling Cui; Junhu Ma; Zhaohui Luo (IEEE Access, 2025)

A rapid algorithm for millimeter-wave near-field three-dimensional image reconstruction based on FiNUFFT. - Letian Zeng; Sheng Zhang; Yuanyuan Huai; Qi Mao; Jingzhao Li; Zhaohui Luo; Yunhuai Zou (EURASIP J. Adv. Signal Process., 2025)