Zhaohui Luo

ORCID

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 23

Top Venues

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Tao Xue, Zhaohui Luo, Stergios Chatzikyriakidis
Propositional Forms of Judgemental Interpretations. J. Log. Lang. Inf. 32 (4) (2023)
Dongnan Su, Zhigang Hu, Jipeng Wu, Peng Shang, Zhaohui Luo
Review of adaptive control for stroke lower limb exoskeleton rehabilitation robot based on motion intention recognition. Frontiers Neurorobotics 17 (2023)
Shouhai Shi, Luping Zhu, Zhaohui Luo, Hua Qiu
Quantitative Analysis of the Contributions of Climatic and Anthropogenic Factors to the Variation in Net Primary Productivity, China. Remote. Sens. 15 (3) (2023)
Feng Wei, Zhaohui Luo, Bo Wang, Dongnan Su, Jipeng Wu, Peng Shang
Autonomous following method of intelligent assistance walking robot based on large-scale piezoresistive films. ICIT (2022)
Yanyan Wu, Zhaohui Luo, Zhifeng Wu
The Different Impacts of Climate Variability and Human Activities on NPP in the Guangdong-Hong Kong-Macao Greater Bay Area. Remote. Sens. 14 (12) (2022)
Felix Bradley, Zhaohui Luo
A Metatheoretic Analysis of Subtype Universes. TYPES (2022)
Xiaoqian Zhang, Zhaohui Luo, Delong Yang, Peng Shang
Stroke Patients Walk Pattern Prediction and Tracking Control Method for a Novel Intelligent Lower Limb Rehabilitation Walker. BECB (2021)
Delong Yang, Dongnan Su, Zhaohui Luo, Peng Shang, Zhigang Hu
The Survey of Image Generation from EEG Signals based on Deep Learning. BECB (2021)
Harry Maclean, Zhaohui Luo
Subtype Universes. TYPES (2020)
Weisheng He, Yuhan Su, Xueting Xu, Zhaohui Luo, Lianfen Huang, Xiaojiang Du
Cooperative Content Caching for Mobile Edge Computing With Network Coding. IEEE Access 7 (2019)
Stergios Chatzikyriakidis, Zhaohui Luo
Gradability in MTT-Semantics. TbiLLC (2019)
Weidong Ma, Zhaohui Luo
Type-Based Modelling and Collaborative Programming for Control-Oriented Systems (Short Paper). CollaborateCom (2019)
Zhaohui Luo, Minghui LiWang, Lianfen Huang, Xiaojiang Du, Mohsen Guizani
Caching mechanism for mobile edge computing in V2I networks. Trans. Emerg. Telecommun. Technol. 30 (8) (2019)
Zhaohui Luo, Hong Zhang, Zeyu Zhang, Yifan Yang, Jin Li
Object Detection Based on Multiscale Merged Feature Map. IGTA (2018)
Furong Qin, Zhaohui Luo, Peng Dong
舰艇编队海上物资再补给目标优化研究 (Object Optimization Research of Underway Materials Resupplying for Battle Group). 计算机科学 45 (6A) (2018)
Zhaohui Luo, Wenchen Wu, Xijun Yu, Qingmei Song, Jian Yang, Jiahui Wu, Hengjun Zhang
Variation of Net Primary Production and Its Correlation with Climate Change and Anthropogenic Activities over the Tibetan Plateau. Remote. Sens. 10 (9) (2018)
Xiaohui Zeng, Zhaohui Luo, Fangjiong Chen, Hua Yu, Fei Ji, Quanshen Guang
An NS-3 compatible emulation framework for underwater acoustic network. WUWNet (2018)
Zhaohui Luo, Qingmei Song, Tao Wang, Huanmu Zeng, Tao He, Hengjun Zhang, Wenchen Wu
Direct Impacts of Climate Change and Indirect Impacts of Non-Climate Change on Land Surface Phenology Variation across Northern China. ISPRS Int. J. Geo Inf. 7 (11) (2018)
Zhaohui Luo, Sergei Soloviev
Dependent Event Types. WoLLIC (2017)
Zhaohui Luo, Shixiao Yu
Spatiotemporal Variability of Land Surface Phenology in China from 2001-2014. Remote. Sens. 9 (1) (2017)
Stergios Chatzikyriakidis, Zhaohui Luo
Adjectival and Adverbial Modification: The View from Modern Type Theories. J. Log. Lang. Inf. 26 (1) (2017)
Georgiana E. Lungu, Zhaohui Luo
On Subtyping in Type Theories with Canonical Objects. TYPES (2016)
Stergios Chatzikyriakidis, Zhaohui Luo
Proof Assistants for Natural Language Semantics. LACL (2016)
Jiyu Liu, Qiang Wang, Zhaohui Luo, Hao Song, Lvyun Zhang
基于粗糙集的加权KNN数据分类算法 (Weighted KNN Data Classification Algorithm Based on Rough Set). 计算机科学 42 (10) (2015)
Fedor Part, Zhaohui Luo
Semi-simplicial Types in Logic-enriched Homotopy Type Theory. CoRR (2015)
Stergios Chatzikyriakidis, Zhaohui Luo
Using Signatures in Type Theory to Represent Situations. JSAI-isAI Workshops (2014)
Zhaohui Luo
Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both? LACL (2014)
Georgiana E. Lungu, Zhaohui Luo
Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories. LACL (2014)
Stergios Chatzikyriakidis, Zhaohui Luo
Natural Language Inference in Coq. J. Log. Lang. Inf. 23 (4) (2014)
Zhaohui Luo, Sergei Soloviev, Tao Xue
Coercive subtyping: Theory and implementation. Inf. Comput. 223 (2013)
Stergios Chatzikyriakidis, Zhaohui Luo
Adjectives in a Modern Type-Theoretical Setting. FG (2013)
Zhaohui Luo
Common Nouns as Types. LACL (2012)
Tao Xue, Zhaohui Luo
Dot-types and Their Implementation. LACL (2012)
Stergios Chatzikyriakidis, Zhaohui Luo
An Account of Natural Language Coordination in Type Theory with Coercive Subtyping. CSLP (2012)
Zhaohui Luo
Contextual Analysis of Word Meanings in Type-Theoretical Semantics. LACL (2011)
Robin Adams, Zhaohui Luo
A pluralist approach to the formalisation of mathematics. Math. Struct. Comput. Sci. 21 (4) (2011)
Robin Adams, Zhaohui Luo
Classical predicative logic-enriched type theories. Ann. Pure Appl. Log. 161 (11) (2010)
Robin Adams, Zhaohui Luo
Weyl's predicative classical mathematics as a logic-enriched type theory. ACM Trans. Comput. Log. 11 (2) (2010)
Yangyue Feng, Zhaohui Luo
Typed Operational Semantics for Dependent Record Types TYPES (2009)
Robin Adams, Zhaohui Luo
Classical Predicative Logic-Enriched Type Theories CoRR (2009)
Zhaohui Luo
Coercions in a polymorphic type system. Math. Struct. Comput. Sci. 18 (4) (2008)
Zhaohui Luo, Xiaoming Wu, Shengwen Guo, Binggang Ye
Diagnosis of Breast Cancer Tumor Based on PCA and Fuzzy Support Vector Machine Classifier. ICNC (4) (2008)
Zhaohui Luo, Robin Adams
Structural subtyping for inductive types with functorial equality rules. Math. Struct. Comput. Sci. 18 (5) (2008)
Zhaohui Luo
Manifest Fields and Module Mechanisms in Intensional Type Theory. TYPES (2008)
Bin Zeng, Zhaohui Luo, Jun Wei
Sea Water Pollution Assessment Based on Ensemble of Classifiers. ICNC (1) (2008)
Robin Adams, Zhaohui Luo
Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory CoRR (2008)
Bin Zeng, Zhaohui Luo, Jun Wei
Grid Scheduling Optimization Under Conditions of Uncertainty. NPC (2007)
Zhaohui Luo
A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations. ASIAN (2006)
Robin Adams, Zhaohui Luo
Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory. TYPES (2006)
Jianmin Pang, Paul Callaghan, Zhaohui Luo
-Based Approach to Domain-Specific Reasoning. J. Comput. Sci. Technol. 20 (4) (2005)
Zhaohui Luo, Yong Luo
Transitivity in coercive subtyping. Inf. Comput. 197 (1-2) (2005)
Zhaohui Luo
: a lambda-free logical framework. J. Funct. Program. 13 (2) (2003)
Yong Luo, Zhaohui Luo
Combining Incoherent Coercions for Sigma-Types. TYPES (2003)
Robert Kießling, Zhaohui Luo
Coercions in Hindley-Milner Systems. TYPES (2003)
Yong Luo, Zhaohui Luo, Sergei Soloviev
Weak Transitivity in Coercive Subtyping. TYPES (2002)
Yong Luo, Zhaohui Luo
Coherence and Transitivity in Coercive Subtyping. LPAR (2001)
Zhaohui Luo
Coercion completion and conservativity in coercive subtyping. Ann. Pure Appl. Log. 113 (1-3) (2001)
Paul Callaghan, Zhaohui Luo
An Implementation of LF with Coercive Subtyping & Universes. J. Autom. Reason. 27 (1) (2001)
Paul Callaghan, Zhaohui Luo
Implementation Techniques for Inductive Types in Plastic. TYPES (1999)
Zhaohui Luo, Sergei Soloviev
Dependent Coercions. CTCS (1999)
Zhaohui Luo
Coercive Subtyping. J. Log. Comput. 9 (1) (1999)
Shenwei Yu, Zhaohui Luo
Implementing a Model Checker for LEGO. FME (1997)
Zhaohui Luo, Paul Callaghan
Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language. LACL (1997)
Alex P. Jones, Zhaohui Luo, Sergei Soloviev
Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping. TYPES (1996)
Simon Shiu, Zhaohui Luo, Roberto Garigliano
Type Theoretic Semantics for SemNet. FAPR (1996)
Zhaohui Luo
Coercive Subtyping in Type Theory. CSL (1996)
Zhaohui Luo
Program Specification and Data Refinement in Type Theory. Math. Struct. Comput. Sci. 3 (3) (1993)
Zhaohui Luo
A Unifying Theory of Dependent Types: The Schematic Approach. LFCS (1992)
Zhaohui Luo
A Higher-Order Calculus and Theory Abstraction Inf. Comput. 90 (1) (1991)
Zhaohui Luo
Program Specification and Data Refinement in Type Theory. TAPSOFT, Vol.1 (1991)
Zhaohui Luo
ECC, an Extended Calculus of Constructions LICS (1989)

Zhaohui Luo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Zhaohui Luo