![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Zhaohui Luo
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j27]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) - [j26]Tao Xue, Zhaohui Luo, Stergios Chatzikyriakidis:
Propositional Forms of Judgemental Interpretations. J. Log. Lang. Inf. 32(4): 733-758 (2023) - [j25]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): 789 (2023) - 2022
- [j24]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): 2929 (2022) - [c41]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: 1-6 - [c40]Felix Bradley
, Zhaohui Luo:
A Metatheoretic Analysis of Subtype Universes. TYPES 2022: 9:1-9:21 - 2021
- [c39]Delong Yang, Dongnan Su, Zhaohui Luo, Peng Shang, Zhigang Hu:
The Survey of Image Generation from EEG Signals based on Deep Learning. BECB 2021: 7:1-7:5 - [c38]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: 8:1-8:6 - 2020
- [c37]Harry Maclean, Zhaohui Luo:
Subtype Universes. TYPES 2020: 9:1-9:16
2010 – 2019
- 2019
- [j23]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: 67695-67707 (2019) - [j22]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) - [c36]Weidong Ma, Zhaohui Luo:
Type-Based Modelling and Collaborative Programming for Control-Oriented Systems (Short Paper). CollaborateCom 2019: 509-517 - [c35]Stergios Chatzikyriakidis, Zhaohui Luo:
Gradability in MTT-Semantics. TbiLLC 2019: 38-59 - 2018
- [j21]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): 451 (2018) - [j20]Furong Qin, Zhaohui Luo, Peng Dong:
舰艇编队海上物资再补给目标优化研究 (Object Optimization Research of Underway Materials Resupplying for Battle Group). 计算机科学 45(6A): 559-561 (2018) - [j19]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): 1352 (2018) - [c34]Zhaohui Luo, Hong Zhang, Zeyu Zhang, Yifan Yang, Jin Li:
Object Detection Based on Multiscale Merged Feature Map. IGTA 2018: 80-87 - [c33]Xiaohui Zeng, Zhaohui Luo, Fangjiong Chen, Hua Yu, Fei Ji, Quanshen Guang:
An NS-3 compatible emulation framework for underwater acoustic network. WUWNet 2018: 31:1-31:5 - 2017
- [j18]Stergios Chatzikyriakidis, Zhaohui Luo:
Adjectival and Adverbial Modification: The View from Modern Type Theories. J. Log. Lang. Inf. 26(1): 45-88 (2017) - [j17]Zhaohui Luo, Shixiao Yu
:
Spatiotemporal Variability of Land Surface Phenology in China from 2001-2014. Remote. Sens. 9(1): 65 (2017) - [c32]Zhaohui Luo, Sergei Soloviev:
Dependent Event Types. WoLLIC 2017: 216-228 - 2016
- [c31]Stergios Chatzikyriakidis, Zhaohui Luo:
Proof Assistants for Natural Language Semantics. LACL 2016: 85-98 - [c30]Georgiana E. Lungu, Zhaohui Luo:
On Subtyping in Type Theories with Canonical Objects. TYPES 2016: 13:1-13:31 - 2015
- [j16]Jiyu Liu, Qiang Wang, Zhaohui Luo, Hao Song, Lvyun Zhang:
基于粗糙集的加权KNN数据分类算法 (Weighted KNN Data Classification Algorithm Based on Rough Set). 计算机科学 42(10): 281-286 (2015) - [i3]Fedor Part, Zhaohui Luo:
Semi-simplicial Types in Logic-enriched Homotopy Type Theory. CoRR abs/1506.04998 (2015) - 2014
- [j15]Stergios Chatzikyriakidis, Zhaohui Luo:
Natural Language Inference in Coq. J. Log. Lang. Inf. 23(4): 441-480 (2014) - [c29]Stergios Chatzikyriakidis, Zhaohui Luo:
Using Signatures in Type Theory to Represent Situations. JSAI-isAI Workshops 2014: 172-183 - [c28]Georgiana E. Lungu, Zhaohui Luo:
Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories. LACL 2014: 138-148 - [c27]Zhaohui Luo:
Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both? LACL 2014: 177-188 - 2013
- [j14]Zhaohui Luo, Sergei Soloviev, Tao Xue:
Coercive subtyping: Theory and implementation. Inf. Comput. 223: 18-42 (2013) - [c26]Stergios Chatzikyriakidis, Zhaohui Luo:
Adjectives in a Modern Type-Theoretical Setting. FG 2013: 159-174 - 2012
- [c25]Stergios Chatzikyriakidis, Zhaohui Luo:
An Account of Natural Language Coordination in Type Theory with Coercive Subtyping. CSLP 2012: 31-51 - [c24]Zhaohui Luo:
Common Nouns as Types. LACL 2012: 173-185 - [c23]Tao Xue, Zhaohui Luo:
Dot-types and Their Implementation. LACL 2012: 234-249 - 2011
- [j13]Robin Adams
, Zhaohui Luo:
A pluralist approach to the formalisation of mathematics. Math. Struct. Comput. Sci. 21(4): 913-942 (2011) - [c22]Zhaohui Luo:
Contextual Analysis of Word Meanings in Type-Theoretical Semantics. LACL 2011: 159-174 - 2010
- [j12]Robin Adams
, Zhaohui Luo:
Classical predicative logic-enriched type theories. Ann. Pure Appl. Log. 161(11): 1315-1345 (2010) - [j11]Robin Adams
, Zhaohui Luo:
Weyl's predicative classical mathematics as a logic-enriched type theory. ACM Trans. Comput. Log. 11(2): 11:1-11:29 (2010)
2000 – 2009
- 2009
- [c21]Yangyue Feng, Zhaohui Luo:
Typed Operational Semantics for Dependent Record Types. TYPES 2009: 30-46 - [i2]Robin Adams, Zhaohui Luo:
Classical Predicative Logic-Enriched Type Theories. CoRR abs/0906.1726 (2009) - 2008
- [j10]Zhaohui Luo:
Coercions in a polymorphic type system. Math. Struct. Comput. Sci. 18(4): 729-751 (2008) - [j9]Zhaohui Luo, Robin Adams
:
Structural subtyping for inductive types with functorial equality rules. Math. Struct. Comput. Sci. 18(5): 931-972 (2008) - [c20]Bin Zeng, Zhaohui Luo, Jun Wei:
Sea Water Pollution Assessment Based on Ensemble of Classifiers. ICNC (1) 2008: 241-245 - [c19]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: 363-367 - [c18]Zhaohui Luo:
Manifest Fields and Module Mechanisms in Intensional Type Theory. TYPES 2008: 237-255 - [i1]Robin Adams, Zhaohui Luo:
Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory. CoRR abs/0809.2061 (2008) - 2007
- [c17]Bin Zeng, Zhaohui Luo, Jun Wei:
Grid Scheduling Optimization Under Conditions of Uncertainty. NPC 2007: 51-60 - 2006
- [c16]Zhaohui Luo:
A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations. ASIAN 2006: 214-222 - [c15]Robin Adams
, Zhaohui Luo:
Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory. TYPES 2006: 1-17 - 2005
- [j8]Zhaohui Luo, Yong Luo:
Transitivity in coercive subtyping. Inf. Comput. 197(1-2): 122-144 (2005) - [j7]Jianmin Pang, Paul Callaghan, Zhaohui Luo:
LFTOP: An LF-Based Approach to Domain-Specific Reasoning. J. Comput. Sci. Technol. 20(4): 526-535 (2005) - 2003
- [j6]Zhaohui Luo:
PAL+: a lambda-free logical framework. J. Funct. Program. 13(2): 317-338 (2003) - [c14]Robert Kießling, Zhaohui Luo:
Coercions in Hindley-Milner Systems. TYPES 2003: 259-275 - [c13]Yong Luo, Zhaohui Luo:
Combining Incoherent Coercions for Sigma-Types. TYPES 2003: 276-292 - 2002
- [c12]Yong Luo, Zhaohui Luo, Sergei Soloviev:
Weak Transitivity in Coercive Subtyping. TYPES 2002: 220-239 - [e1]Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack:
Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers. Lecture Notes in Computer Science 2277, Springer 2002, ISBN 3-540-43287-6 [contents] - 2001
- [j5]Zhaohui Luo:
Coercion completion and conservativity in coercive subtyping. Ann. Pure Appl. Log. 113(1-3): 297-322 (2001) - [j4]Paul Callaghan, Zhaohui Luo:
An Implementation of LF with Coercive Subtyping & Universes. J. Autom. Reason. 27(1): 3-27 (2001) - [c11]Yong Luo, Zhaohui Luo:
Coherence and Transitivity in Coercive Subtyping. LPAR 2001: 249-265
1990 – 1999
- 1999
- [j3]Zhaohui Luo:
Coercive Subtyping. J. Log. Comput. 9(1): 105-130 (1999) - [c10]Paul Callaghan, Zhaohui Luo:
Implementation Techniques for Inductive Types in Plastic. TYPES 1999: 94-113 - [c9]Zhaohui Luo, Sergei Soloviev:
Dependent Coercions. CTCS 1999: 152-168 - 1997
- [c8]Shenwei Yu, Zhaohui Luo:
Implementing a Model Checker for LEGO. FME 1997: 442-458 - [c7]Zhaohui Luo, Paul Callaghan:
Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language. LACL 1997: 231-250 - 1996
- [c6]Zhaohui Luo:
Coercive Subtyping in Type Theory. CSL 1996: 276-296 - [c5]Simon Shiu, Zhaohui Luo, Roberto Garigliano:
Type Theoretic Semantics for SemNet. FAPR 1996: 582-595 - [c4]Alex P. Jones, Zhaohui Luo, Sergei Soloviev:
Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping. TYPES 1996: 173-195 - 1994
- [b2]Zhaohui Luo:
Computation and reasoning - a type theory for computer science. International series of monographs on computer science 11, Oxford University Press 1994, ISBN 978-0-19-853835-6, pp. I-XI, 1-228 - 1993
- [j2]Zhaohui Luo:
Program Specification and Data Refinement in Type Theory. Math. Struct. Comput. Sci. 3(3): 333-363 (1993) - 1992
- [c3]Zhaohui Luo:
A Unifying Theory of Dependent Types: The Schematic Approach. LFCS 1992: 293-304 - 1991
- [j1]Zhaohui Luo:
A Higher-Order Calculus and Theory Abstraction. Inf. Comput. 90(1): 107-137 (1991) - [c2]Zhaohui Luo:
Program Specification and Data Refinement in Type Theory. TAPSOFT, Vol.1 1991: 143-168 - 1990
- [b1]Zhaohui Luo:
An extended calculus of constructions. University of Edinburgh, UK, 1990
1980 – 1989
- 1989
- [c1]Zhaohui Luo:
ECC, an Extended Calculus of Constructions. LICS 1989: 386-395
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint