# Zhaohui Luo

According to our database

Collaborative distances:

^{1}, Zhaohui Luo authored at least 59 papers between 1989 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

Caching mechanism for mobile edge computing in V2I networks.

Trans. Emerg. Telecommun. Technol., 2019

Cooperative Content Caching for Mobile Edge Computing With Network Coding.

IEEE Access, 2019

Type-Based Modelling and Collaborative Programming for Control-Oriented Systems (Short Paper).

Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2019

2018

Variation of Net Primary Production and Its Correlation with Climate Change and Anthropogenic Activities over the Tibetan Plateau.

Remote. Sens., 2018

舰艇编队海上物资再补给目标优化研究 (Object Optimization Research of Underway Materials Resupplying for Battle Group).

计算机科学, 2018

Direct Impacts of Climate Change and Indirect Impacts of Non-Climate Change on Land Surface Phenology Variation across Northern China.

ISPRS Int. J. Geo-Information, 2018

An NS-3 compatible emulation framework for underwater acoustic network.

Proceedings of the Thirteenth ACM International Conference on Underwater Networks & Systems, 2018

Object Detection Based on Multiscale Merged Feature Map.

Proceedings of the Image and Graphics Technologies and Applications, 2018

2017

Spatiotemporal Variability of Land Surface Phenology in China from 2001-2014.

Remote. Sens., 2017

Adjectival and Adverbial Modification: The View from Modern Type Theories.

Journal of Logic, Language and Information, 2017

Dependent Event Types.

Proceedings of the Logic, Language, Information, and Computation, 2017

2016

On Subtyping in Type Theories with Canonical Objects.

Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016

Proof Assistants for Natural Language Semantics.

Proceedings of the Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016), 2016

2015

基于粗糙集的加权KNN数据分类算法 (Weighted KNN Data Classification Algorithm Based on Rough Set).

计算机科学, 2015

Semi-simplicial Types in Logic-enriched Homotopy Type Theory.

CoRR, 2015

2014

Natural Language Inference in Coq.

Journal of Logic, Language and Information, 2014

Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?

Proceedings of the Logical Aspects of Computational Linguistics, 2014

Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories.

Proceedings of the Logical Aspects of Computational Linguistics, 2014

Using Signatures in Type Theory to Represent Situations.

Proceedings of the New Frontiers in Artificial Intelligence, 2014

2013

Coercive subtyping: Theory and implementation.

Inf. Comput., 2013

Adjectives in a Modern Type-Theoretical Setting.

Proceedings of the Formal Grammar, 2013

2012

Dot-types and Their Implementation.

Proceedings of the Logical Aspects of Computational Linguistics, 2012

Common Nouns as Types.

Proceedings of the Logical Aspects of Computational Linguistics, 2012

An Account of Natural Language Coordination in Type Theory with Coercive Subtyping.

Proceedings of the Constraint Solving and Language Processing - 7th International Workshop, 2012

2011

A pluralist approach to the formalisation of mathematics.

Math. Struct. Comput. Sci., 2011

Contextual Analysis of Word Meanings in Type-Theoretical Semantics.

Proceedings of the Logical Aspects of Computational Linguistics, 2011

2010

Weyl's predicative classical mathematics as a logic-enriched type theory.

ACM Trans. Comput. Log., 2010

Classical predicative logic-enriched type theories.

Ann. Pure Appl. Log., 2010

2009

Typed Operational Semantics for Dependent Record Types

Proceedings of the Proceedings Types for Proofs and Programs, Revised Selected Papers, 2009

2008

Structural subtyping for inductive types with functorial equality rules.

Math. Struct. Comput. Sci., 2008

Coercions in a polymorphic type system.

Math. Struct. Comput. Sci., 2008

Manifest Fields and Module Mechanisms in Intensional Type Theory.

Proceedings of the Types for Proofs and Programs, International Conference, 2008

Diagnosis of Breast Cancer Tumor Based on PCA and Fuzzy Support Vector Machine Classifier.

Proceedings of the Fourth International Conference on Natural Computation, 2008

Sea Water Pollution Assessment Based on Ensemble of Classifiers.

Proceedings of the Fourth International Conference on Natural Computation, 2008

2007

Grid Scheduling Optimization Under Conditions of Uncertainty.

Proceedings of the Network and Parallel Computing, IFIP International Conference, 2007

2006

A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations.

Proceedings of the Advances in Computer Science, 2006

2005

J. Comput. Sci. Technol., 2005

Transitivity in coercive subtyping.

Inf. Comput., 2005

2003

J. Funct. Program., 2003

Combining Incoherent Coercions for Sigma-Types.

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

Coercions in Hindley-Milner Systems.

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

2002

Weak Transitivity in Coercive Subtyping.

Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002

2001

An Implementation of LF with Coercive Subtyping & Universes.

J. Autom. Reasoning, 2001

Coercion completion and conservativity in coercive subtyping.

Ann. Pure Appl. Log., 2001

Coherence and Transitivity in Coercive Subtyping.

Proceedings of the Logic for Programming, 2001

1999

Dependent Coercions.

Proceedings of the Conference on Category Theory and Computer Science, 1999

Coercive Subtyping.

J. Log. Comput., 1999

Implementation Techniques for Inductive Types in Plastic.

Proceedings of the Types for Proofs and Programs, 1999

1997

Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language.

Proceedings of the Logical Aspects of Computational Linguistics, 1997

Implementing a Model Checker for LEGO.

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996

Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping.

Proceedings of the Types for Proofs and Programs, 1996

Type Theoretic Semantics for SemNet.

Proceedings of the Practical Reasoning, 1996

Coercive Subtyping in Type Theory.

Proceedings of the Computer Science Logic, 10th International Workshop, 1996

1994

Computation and reasoning - a type theory for computer science.

International series of monographs on computer science 11, Oxford University Press, ISBN: 978-0-19-853835-6, 1994

1993

Program Specification and Data Refinement in Type Theory.

Math. Struct. Comput. Sci., 1993

1992

A Unifying Theory of Dependent Types: The Schematic Approach.

Proceedings of the Logical Foundations of Computer Science, 1992

1991

A Higher-Order Calculus and Theory Abstraction

Inf. Comput., January, 1991

1990

An extended calculus of constructions.

PhD thesis, 1990

1989

ECC, an Extended Calculus of Constructions

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989