H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 32 Citations 5,056 112 World Ranking 7256 National Ranking 3411

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Algorithm
  • Operating system

His primary areas of investigation include Correctness, Formal verification, Model checking, Theoretical computer science and Programming language. Mahesh Viswanathan usually deals with Correctness and limits it to topics linked to Formal specification and Formal methods, Specification language and System requirements. His Model checking research includes themes of Statistical hypothesis testing, Probabilistic logic, Monte Carlo method and Software.

His research integrates issues of Algorithm, Sample, Operator and Black box in his study of Monte Carlo method. His Algorithm research is multidisciplinary, relying on both Random variable, Symmetric difference, Combinatorics, Set and Function. His Theoretical computer science research is multidisciplinary, incorporating perspectives in Probabilistic encryption, Encryption, Key distribution and Public-key cryptography.

His most cited work include:

  • Statistical model checking of black-box probabilistic systems (225 citations)
  • Java-MaC: A Run-Time Assurance Approach for Java Programs (200 citations)
  • On statistical model checking of stochastic systems (198 citations)

What are the main themes of his work throughout his whole career to date?

Mahesh Viswanathan mainly focuses on Theoretical computer science, Algorithm, Discrete mathematics, Model checking and Decidability. His studies deal with areas such as Finite-state machine and Time complexity as well as Theoretical computer science. Mahesh Viswanathan combines subjects such as Property, Probabilistic logic, Set and Markov chain with his study of Algorithm.

He interconnects Fragment, Quantum finite automata, Combinatorics, Probabilistic automaton and Hybrid system in the investigation of issues within Discrete mathematics. His Model checking study incorporates themes from Correctness, Network simulation, Semantics, Communications protocol and Heuristics. His Correctness research also works with subjects such as

  • Formal specification that intertwine with fields like Specification language, Formal methods and Formal verification,
  • Java, which have a strong connection to Real-time computing.

He most often published in these fields:

  • Theoretical computer science (31.07%)
  • Algorithm (28.25%)
  • Discrete mathematics (24.86%)

What were the highlights of his more recent work (between 2015-2021)?

  • Algorithm (28.25%)
  • Automaton (16.95%)
  • Discrete mathematics (24.86%)

In recent papers he was focusing on the following fields of study:

His primary scientific interests are in Algorithm, Automaton, Discrete mathematics, Model checking and Theoretical computer science. His study in Algorithm is interdisciplinary in nature, drawing from both Probabilistic logic, Bounded function, Relation and Markov chain. His Automaton research integrates issues from Affine transformation, Applied mathematics and Counterexample.

His studies in Discrete mathematics integrate themes in fields like Regular language and Combinatorics. In his study, which falls under the umbrella issue of Model checking, Linear temporal logic is strongly linked to Markov decision process. The concepts of his Theoretical computer science study are interwoven with issues in Cryptographic protocol, Cryptographic primitive, Formal methods and Software.

Between 2015 and 2021, his most popular works were:

  • Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2 (54 citations)
  • Dynamic race prediction in linear time (42 citations)
  • DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems (38 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Algorithm
  • Operating system

Mahesh Viswanathan mainly investigates Hybrid system, Algorithm, Automaton, Linear system and Reachability. The study incorporates disciplines such as Automotive engineering, State space and Benchmark in addition to Hybrid system. His study in the field of Model checking is also linked to topics like Superposition principle.

He has included themes like Affine transformation, Discrete mathematics, Counterexample and Applied mathematics in his Automaton study. The various areas that he examines in his Linear system study include Dimension, Sequence, Set and Contrast. His Reachability research includes elements of Data-driven, Randomized algorithm, Complex system and Computer engineering.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

An Approximate L 1 -Difference Algorithm for Massive Data Streams

Joan Feigenbaum;Sampath Kannan;Martin J. Strauss;Mahesh Viswanathan.
SIAM Journal on Computing (2003)

325 Citations

Statistical model checking of black-box probabilistic systems

Koushik Sen;Mahesh Viswanathan;Gul Agha.
computer aided verification (2004)

313 Citations

Java-MaC: A Run-Time Assurance Approach for Java Programs

Moonzoo Kim;Mahesh Viswanathan;Sampath Kannan;Insup Lee.
formal methods (2004)

301 Citations

On statistical model checking of stochastic systems

Koushik Sen;Mahesh Viswanathan;Gul Agha.
computer aided verification (2005)

273 Citations

An approximate L/sup 1/-difference algorithm for massive data streams

J. Feigenbaum;S. Kannan;M. Strauss;M. Viswanathan.
foundations of computer science (1999)

265 Citations

Java-MaC: A Run-time Assurance Tool for Java Programs

Moonjoo Kim;Sampath Kannan;Insup Lee;Oleg Sokolsky.
runtime verification (2001)

252 Citations

Runtime Assurance Based On Formal Specifications

Insup Lee;Sampath Kannan;Moonjoo Kim;Oleg Sokolsky.
parallel and distributed processing techniques and applications (1999)

241 Citations

The relationship between public key encryption and oblivious transfer

Y. Gertner;S. Kannan;T. Malkin;O. Reingold.
foundations of computer science (2000)

212 Citations

VESTA: A statistical model-checker and analyzer for probabilistic systems

K. Sen;M. Viswanathan;G. Agha.
quantitative evaluation of systems (2005)

208 Citations

Formally specified monitoring of temporal properties

Moonjoo Kim;M. Viswanathan;H. Ben-Abdallah;S. Kannan.
euromicro conference on real time systems (1999)

187 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Mahesh Viswanathan

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 86

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Aalborg University

Publications: 44

Grigore Rosu

Grigore Rosu

University of Illinois at Urbana-Champaign

Publications: 41

José Meseguer

José Meseguer

University of Illinois at Urbana-Champaign

Publications: 37

Joost-Pieter Katoen

Joost-Pieter Katoen

RWTH Aachen University

Publications: 35

Klaus Havelund

Klaus Havelund

Jet Propulsion Lab

Publications: 33

Koushik Sen

Koushik Sen

University of California, Berkeley

Publications: 25

Edmund M. Clarke

Edmund M. Clarke

Carnegie Mellon University

Publications: 24

Rupak Majumdar

Rupak Majumdar

Max Planck Institute for Software Systems

Publications: 23

Gul Agha

Gul Agha

University of Illinois at Urbana-Champaign

Publications: 21

Marta Kwiatkowska

Marta Kwiatkowska

University of Oxford

Publications: 21

Insup Lee

Insup Lee

University of Pennsylvania

Publications: 21

Oleg Sokolsky

Oleg Sokolsky

University of Pennsylvania

Publications: 21

Dana Ron

Dana Ron

Tel Aviv University

Publications: 20

Christel Baier

Christel Baier

TU Dresden

Publications: 19

Rajeev Alur

Rajeev Alur

University of Pennsylvania

Publications: 19

Something went wrong. Please try again later.