Sunil Issar

	2004
11		Peter B. Andrews, Chad E. Brown, Frank Pfenning, Matthew Bishop, Sunil Issar, Hongwei Xi: ETPS: A System to Help Students Write Formal Proofs. J. Autom. Reasoning 32(1): 75-92 (2004)
	1997
10		Sunil Issar: A speech interface for forms on WWW. EUROSPEECH 1997
	1996
9		Sunil Issar: Estimation of language models for new spoken language applications. ICSLP 1996
8		Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi: TPS: A Theorem-Proving System for Classical Type Theory. J. Autom. Reasoning 16(3): 321-353 (1996)
	1994
7		Wayne Ward, Sunil Issar: Recent Improvements in the CMU Spoken Language Understanding System. HLT 1994
	1993
6		Sunil Issar, Wayne Ward: CMLPs robust spoken language understanding system. EUROSPEECH 1993
5		Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi: TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory. HUG 1993: 366-370
	1990
4		Sunil Issar: Path-Focused Duplication: A Search Procedure for General Matings. AAAI 1990: 221-226
3		Peter B. Andrews, Sunil Issar, Dan Nesmith, Frank Pfenning: The TPS Theorem Proving System. CADE 1990: 641-642
	1988
2		Peter B. Andrews, Sunil Issar, Daniel Nesmith, Frank Pfenning: The TPS Theorem Proving System. CADE 1988: 760-761
	1986
1		Peter B. Andrews, Frank Pfenning, Sunil Issar, C. P. Klapper: The TPS Theorem Proving System. CADE 1986: 663-664

Coauthor Index

1	Peter B. Andrews	[1] [2] [3] [5] [8] [11]
2	Matthew Bishop	[5] [8] [11]
3	Chad E. Brown	[11]
4	C. P. Klapper	[1]
5	Daniel Nesmith (Dan Nesmith)	[2] [3] [5] [8]
6	Frank Pfenning	[1] [2] [3] [5] [8] [11]
7	Wayne Ward	[6] [7]
8	Hongwei Xi	[5] [8] [11]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page