Choh-Man Teng - Concepedia

Author

Choh-Man Teng

Also Known As

CHOH MAN TENG, Choh Man Teng, Choh-Man Teng

Publications

574

Citations

H-Index

Concepts

All Affiliations

Choh-Man Teng is an author at Brown University specializing in engineering, formal methods, and formal verification.

#	Concept	H-Index	Publications	Citations
1	Engineering	1	1	394
2	Computer Science	1	1	394
3	Systems Engineering	1	1	394
4	Automated Reasoning	1	1	394
5	Formal Methods	1	1	394

Choh-Man Teng

Publications

573

Citations

H-Index

Page 1

	Year	Citations
A generic arc-consistency algorithm and its specializations Pascal Van Hentenryck, Yves Deville, Choh-Man Teng Artificial Intelligence Mathematical ProgrammingData ConsistencyEngineeringAutomated ReasoningGeneric Arc-consistency Algorithm	1992	394
Correcting Noisy Data Choh-Man Teng	1999	124
A Comparison of Noise Handling Techniques Choh-Man Teng	2001	55

Page 1