Focusing and polarization in linear, intuitionistic, and classical logics C Liang, D Miller Theoretical Computer Science 410 (46), 4747-4768, 2009 | 192 | 2009 |

Focusing and polarization in intuitionistic logic C Liang, D Miller International Workshop on Computer Science Logic, 451-465, 2007 | 91 | 2007 |

A focused approach to combining logics C Liang, D Miller Annals of Pure and Applied Logic 162 (9), 679-697, 2011 | 27 | 2011 |

Choices in representation and reduction strategies for lambda terms in intensional contexts C Liang, G Nadathur, X Qi Journal of Automated Reasoning 33 (2), 89-132, 2004 | 20 | 2004 |

A unified sequent calculus for focused proofs C Liang, D Miller 2009 24th Annual IEEE Symposium on Logic In Computer Science, 355-364, 2009 | 19 | 2009 |

Compiler construction in higher order logic programming CC Liang International Symposium on Practical Aspects of Declarative Languages, 47-63, 2002 | 18 | 2002 |

Tradeoffs in the intensional representation of lambda terms C Liang, G Nadathur International Conference on Rewriting Techniques and Applications, 192-206, 2002 | 16 | 2002 |

Kripke semantics and proof systems for combining intuitionistic logic and classical logic C Liang, D Miller Annals of Pure and Applied Logic 164 (2), 86-111, 2013 | 14 | 2013 |

Let-polymorphism and eager type schemes C Liang Colloquium on Trees in Algebra and Programming, 490-501, 1997 | 11 | 1997 |

Object-level substitution, unification and generalization in meta-logic CC Liang University of Pennsylvania, 1995 | 11 | 1995 |

Unifying classical and intuitionistic logics for computational control C Liang, D Miller 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 283-292, 2013 | 10 | 2013 |

Proof checking and logic programming D Miller Formal Aspects of Computing 29 (3), 383-399, 2017 | 9 | 2017 |

Delay dependent stability analysis of interval time-delay systems W Jiang, A Kruszewski, E Fridman, JP Richard IFAC Proceedings Volumes 43 (2), 313-318, 2010 | 5 | 2010 |

An intuitionistic control logic C Liang, D Miller to appear, 2012 | 4 | 2012 |

Programming language concepts and Perl C Liang Journal of Computing Sciences in Colleges 19 (5), 193-204, 2004 | 4 | 2004 |

On focusing and polarities in linear logic and intuitionistic logic C Liang, D Miller Unpublished report, December, 2006 | 3 | 2006 |

A course on TCP/IP networking with Linux C Liang Proceedings of the fifth annual CCSC northeastern conference on The journal …, 2000 | 3 | 2000 |

Unified semantics and proof system for classical, intuitionistic and affine logics C Liang Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 2 | 2016 |

On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control C Liang, D Miller Logic for Programming, Artificial Intelligence, and Reasoning, 297-312, 2015 | 2 | 2015 |

A deterministic shift-reduce parser generator for a logic programming language C Liang International Conference on Computational Logic, 1315-1329, 2000 | 2 | 2000 |