The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Zhaohui Luo" ( http://dblp.L3S.de/Authors/Zhaohui_Luo )

  Author page on DBLP  Author page in RDF  Community of Zhaohui Luo in ASPL-2

Publication years (Num. hits)
1989-1999 (15) 2001-2008 (19) 2009-2014 (15) 2015-2019 (13)
Publication types (Num. hits)
article(25) book(1) inproceedings(34) phdthesis(1) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 8 keywords

Results
Found 63 publication records. Showing 62 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Weisheng He, Yuhan Su, Xueting Xu, Zhaohui Luo, Lianfen Huang, Xiaojiang Du Cooperative Content Caching for Mobile Edge Computing With Network Coding. Search on Bibsonomy IEEE Access The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo, Minghui LiWang, Lianfen Huang, Xiaojiang Du, Mohsen Guizani Caching mechanism for mobile edge computing in V2I networks. Search on Bibsonomy Trans. Emerging Telecommunications Technologies The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Weidong Ma, Zhaohui Luo Type-Based Modelling and Collaborative Programming for Control-Oriented Systems (Short Paper). Search on Bibsonomy CollaborateCom The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhaohui 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. Search on Bibsonomy ISPRS Int. J. Geo-Information The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhaohui 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. Search on Bibsonomy Remote Sensing The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xiaohui Zeng, Zhaohui Luo, Fangjiong Chen, Hua Yu, Fei Ji, Quanshen Guang An NS-3 compatible emulation framework for underwater acoustic network. Search on Bibsonomy WUWNet The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo, Hong Zhang 0018, Zeyu Zhang, Yifan Yang, Jin Li Object Detection Based on Multiscale Merged Feature Map. Search on Bibsonomy IGTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo, Shixiao Yu Spatiotemporal Variability of Land Surface Phenology in China from 2001-2014. Search on Bibsonomy Remote Sensing The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stergios Chatzikyriakidis, Zhaohui Luo Adjectival and Adverbial Modification: The View from Modern Type Theories. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo, Sergei Soloviev 0001 Dependent Event Types. Search on Bibsonomy WoLLIC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Georgiana E. Lungu, Zhaohui Luo On Subtyping in Type Theories with Canonical Objects. Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stergios Chatzikyriakidis, Zhaohui Luo Proof Assistants for Natural Language Semantics. Search on Bibsonomy LACL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fedor Part, Zhaohui Luo Semi-simplicial Types in Logic-enriched Homotopy Type Theory. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Stergios Chatzikyriakidis, Zhaohui Luo Natural Language Inference in Coq. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Stergios Chatzikyriakidis, Zhaohui Luo Using Signatures in Type Theory to Represent Situations. Search on Bibsonomy JSAI-isAI Workshops The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both? Search on Bibsonomy LACL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Georgiana E. Lungu, Zhaohui Luo Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories. Search on Bibsonomy LACL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo, Sergei Soloviev 0001, Tao Xue Coercive subtyping: Theory and implementation. Search on Bibsonomy Inf. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stergios Chatzikyriakidis, Zhaohui Luo Adjectives in a Modern Type-Theoretical Setting. Search on Bibsonomy FG The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stergios Chatzikyriakidis, Zhaohui Luo An Account of Natural Language Coordination in Type Theory with Coercive Subtyping. Search on Bibsonomy CSLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tao Xue, Zhaohui Luo Dot-types and Their Implementation. Search on Bibsonomy LACL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo Common Nouns as Types. Search on Bibsonomy LACL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Robin Adams 0001, Zhaohui Luo A pluralist approach to the formalisation of mathematics. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo Contextual Analysis of Word Meanings in Type-Theoretical Semantics. Search on Bibsonomy LACL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Robin Adams 0001, Zhaohui Luo Weyl's predicative classical mathematics as a logic-enriched type theory. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Robin Adams 0001, Zhaohui Luo Classical predicative logic-enriched type theories. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yangyue Feng, Zhaohui Luo Typed Operational Semantics for Dependent Record Types Search on Bibsonomy TYPES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Robin Adams 0001, Zhaohui Luo Classical Predicative Logic-Enriched Type Theories Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Zhaohui Luo Coercions in a polymorphic type system. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo, Robin Adams 0001 Structural subtyping for inductive types with functorial equality rules. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Robin Adams 0001, Zhaohui Luo Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Zhaohui Luo Manifest Fields and Module Mechanisms in Intensional Type Theory. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo, Xiaoming Wu, Shengwen Guo, Binggang Ye Diagnosis of Breast Cancer Tumor Based on PCA and Fuzzy Support Vector Machine Classifier. Search on Bibsonomy ICNC (4) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bin Zeng 0002, Zhaohui Luo, Jun Wei 0004 Sea Water Pollution Assessment Based on Ensemble of Classifiers. Search on Bibsonomy ICNC (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bin Zeng 0002, Zhaohui Luo, Jun Wei 0004 Grid Scheduling Optimization Under Conditions of Uncertainty. Search on Bibsonomy NPC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF optimal scheduling scheme, genetic algorithm, grid computing, workflow scheduling
1Robin Adams 0001, Zhaohui Luo Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory. Search on Bibsonomy TYPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF logic-enriched type theory, predicativism, formalisation
1Zhaohui Luo A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations. Search on Bibsonomy ASIAN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jian-Min Pang, Paul Callaghan, Zhaohui Luo LFTOP: An LF-Based Approach to Domain-Specific Reasoning. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF type theory, logical framework, proof assistant, domain-specific, formal reasoning
1Zhaohui Luo, Yong Luo 0001 Transitivity in coercive subtyping. Search on Bibsonomy Inf. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo PAL+: a lambda-free logical framework. Search on Bibsonomy J. Funct. Program. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Yong Luo 0001, Zhaohui Luo Combining Incoherent Coercions for Sigma-Types. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Robert Kießling, Zhaohui Luo Coercions in Hindley-Milner Systems. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Yong Luo 0001, Zhaohui Luo, Sergei Soloviev 0001 Weak Transitivity in Coercive Subtyping. Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack (eds.) Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo Coercion completion and conservativity in coercive subtyping. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Paul Callaghan, Zhaohui Luo An Implementation of LF with Coercive Subtyping & Universes. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Yong Luo 0001, Zhaohui Luo Coherence and Transitivity in Coercive Subtyping. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo, Sergei Soloviev 0001 Dependent Coercions. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo Coercive Subtyping. Search on Bibsonomy J. Log. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Paul Callaghan, Zhaohui Luo Implementation Techniques for Inductive Types in Plastic. Search on Bibsonomy TYPES The full citation details ... 1999 DBLP  DOI  BibTeX  RDF inductive types, LF implementation, type theory
1Shenwei Yu, Zhaohui Luo Implementing a Model Checker for LEGO. Search on Bibsonomy FME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo, Paul Callaghan Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language. Search on Bibsonomy LACL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Simon Shiu, Zhaohui Luo, Roberto Garigliano Type Theoretic Semantics for SemNet. Search on Bibsonomy FAPR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Alex P. Jones, Zhaohui Luo, Sergei Soloviev 0001 Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping. Search on Bibsonomy TYPES The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo Coercive Subtyping in Type Theory. Search on Bibsonomy CSL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo Computation and reasoning - a type theory for computer science. Search on Bibsonomy 1994   RDF
1Zhaohui Luo Program Specification and Data Refinement in Type Theory. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo A Unifying Theory of Dependent Types: The Schematic Approach. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo A Higher-Order Calculus and Theory Abstraction Search on Bibsonomy Inf. Comput. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo Program Specification and Data Refinement in Type Theory. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo An extended calculus of constructions. Search on Bibsonomy 1990   RDF
1Zhaohui Luo ECC, an Extended Calculus of Constructions Search on Bibsonomy LICS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #62 of 62 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license