D-Index & Metrics Best Publications

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 33 Citations 5,722 158 World Ranking 8553 National Ranking 3956

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)

339 Citations

Statistical model checking of black-box probabilistic systems

Koushik Sen;Mahesh Viswanathan;Gul Agha.
Lecture Notes in Computer Science (2004)

328 Citations

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

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

305 Citations

On statistical model checking of stochastic systems

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

293 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)

260 Citations

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

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

258 Citations

Runtime Assurance Based On Formal Specifications

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

244 Citations

The relationship between public key encryption and oblivious transfer

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

215 Citations

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

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

213 Citations

Formally specified monitoring of temporal properties

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

193 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

Alexandre David

Alexandre David

Aalborg University

Publications: 22

Insup Lee

Insup Lee

University of Pennsylvania

Publications: 21

Marta Kwiatkowska

Marta Kwiatkowska

University of Oxford

Publications: 21

Gul Agha

Gul Agha

University of Illinois at Urbana-Champaign

Publications: 21

Oleg Sokolsky

Oleg Sokolsky

University of Pennsylvania

Publications: 21

Dana Ron

Dana Ron

Tel Aviv University

Publications: 20

Graham Cormode

Graham Cormode

University of Warwick

Publications: 19

Trending Scientists

Mihai Putinar

Mihai Putinar

University of California, Santa Barbara

Lijun Yang

Lijun Yang

North China Electric Power University

James German

James German

Cornell University

Kent E. Holsinger

Kent E. Holsinger

University of Connecticut

Wolfgang Driever

Wolfgang Driever

University of Freiburg

Markus D. Petters

Markus D. Petters

North Carolina State University

Barbara Steiner

Barbara Steiner

Charité - University Medicine Berlin

Tatsuya Mima

Tatsuya Mima

Ritsumeikan University

Jenny Yiend

Jenny Yiend

King's College London

Denis Castaing

Denis Castaing

Grenoble Alpes University

Richard Freeman

Richard Freeman

University of Edinburgh

Urs Brägger

Urs Brägger

University of Bern

L. Jeffrey Medeiros

L. Jeffrey Medeiros

The University of Texas MD Anderson Cancer Center

Arjen E. J. Wals

Arjen E. J. Wals

Wageningen University & Research

James Harrison

James Harrison

Flinders University

Something went wrong. Please try again later.