Mahesh Viswanathan - Concepedia

Author

Mahesh Viswanathan

University of Illinois Urbana-Champaign ORCID

Also Known As

M Viswanathan, M. Viswanathan, M. Viswanathan ., M.K. Viswanathan, MAHESH VISWANATHAN, Mahesh Viswanathan, Viswanathan, Mahesh

262

Publications

6.3K

Citations

H-Index

163

Concepts

All Affiliations

University of Illinois Urbana-Champaign University of Pennsylvania IBM Research - Thomas J. Watson Research Center IBM (United States)AT&T (United States)

About

Mahesh Viswanathan is an author at University of Illinois Urbana-Champaign specializing in engineering, computer science, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	27	58	2.9K
2	Business	3	3	116
3	Arts	2	2	197
4	Education	2	2	67
5	Health Sciences	2	2	200

Mahesh Viswanathan

Publications

3.9K

Citations

H-Index

Page 1

	Year	Citations
A prototype document image analysis system for technical journals George Nagy, Sharad Seth, Mahesh Viswanathan Computer EngineeringTechnical JournalsDocument Image AnalysisText MiningImage Analysis	1992	363
Java-MaC: A Run-Time Assurance Approach for Java Programs Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Formal Methods in System Design Software MaintenanceJava ProgramsEngineeringRuntime VerificationProgram Analysis	2004	218
The relationship between public key encryption and oblivious transfer Yael Gertner, Senthil Kannan, Tal Malkin, Oracle SeparationsCryptographic PrimitiveEngineeringInformation SecurityCryptographic Protocol	2002	204
Measuring speech quality for text-to-speech systems: development and assessment of a modified mean opinion score (MOS) scale Mahesh Viswanathan, Madhubalan Viswanathan Computer Speech & Language Text-to-speech SystemsHealth SciencesSpeech AnalysisCorpus LinguisticsArts	2004	186
VESTA: A statistical model-checker and analyzer for probabilistic systems Koushik Sen, Mahesh Viswanathan, Gul Agha EngineeringVerificationModel CheckingStatistical Model-checkingModel Verification	2005	171
Runtime Assurance Based On Formal Specifications Insup Lee, Sampath Kannan, Moonjoo Kim, ScholarlyCommons (University of Pennsylvania)	1999	163
Java-MaC Moonzoo Kim, S. Kannan, I. Lee, Electronic Notes in Theoretical Computer Science Software MaintenanceMac ArchitectureProgram CheckingEngineeringVerification	2001	157
Syntactic segmentation and labeling of digitized pages from technical journals Mukkai S. Krishnamoorthy, George Nagy, Sharad Seth, IEEE Transactions on Pattern Analysis and Machine Intelligence EngineeringTechnical DocumentsCorpus LinguisticsJournalismText Mining	1993	131
Formally specified monitoring of temporal properties Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben‐Abdallah, Software MaintenanceEngineeringVerificationSoftware EngineeringTemporal Databases	2003	125
Spot-Checkers Funda Ergün, Sampath Kannan, S.R. Vijayamohana Kumar, Journal of Computer and System Sciences	2000	121

Page 1