The TPS Theorem Proving System. - Peter B. Andrews; Frank Pfenning; Sunil Issar; Carl P. Klapper (CADE, 1986)

Path-Focused Duplication: A Search Procedure for General Matings. - Sunil Issar (AAAI, 1990)

The TPS Theorem Proving System. - Peter B. Andrews; Sunil Issar; Dan Nesmith; Frank Pfenning (CADE, 1990)

CMLPs robust spoken language understanding system. - Sunil Issar; Wayne H. Ward (EUROSPEECH, 1993)

TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory. - Peter B. Andrews; Matthew Bishop; Sunil Issar; Dan Nesmith; Frank Pfenning; Hongwei Xi (HUG, 1993)

Unanswerable queries in a spontaneous speech task. - Sunil Issar; Wayne H. Ward (ICASSP (1), 1994)

Integrating semantic constraints into the Sphinx-II recognition search. - Wayne H. Ward; Sunil Issar (ICASSP (2), 1994)

Recent Improvements in the CMU Spoken Language Understanding System. - Wayne H. Ward; Sunil Issar (HLT, 1994)

A class based language model for speech recognition. - Wayne H. Ward; Sunil Issar (ICASSP, 1996)

Estimation of language models for new spoken language applications. - Sunil Issar (ICSLP, 1996)

TPS: A Theorem-Proving System for Classical Type Theory. - Peter B. Andrews; Matthew Bishop; Sunil Issar; Dan Nesmith; Frank Pfenning; Hongwei Xi (J. Autom. Reason., 1996)

A speech interface for forms on WWW. - Sunil Issar (EUROSPEECH, 1997)

ETPS: A System to Help Students Write Formal Proofs. - Peter B. Andrews; Chad E. Brown; Frank Pfenning; Matthew Bishop; Sunil Issar; Hongwei Xi (J. Autom. Reason., 2004)