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 51 Citations 11,761 169 World Ranking 3488 National Ranking 1788

Overview

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

His Theoretical computer science study often links to related topics such as Symbolic trajectory evaluation. He integrates Symbolic trajectory evaluation and Symbolic execution in his studies. His research on Symbolic execution frequently connects to adjacent areas such as Software. He undertakes interdisciplinary study in the fields of Software and Algorithm through his research. In his articles, he combines various disciplines, including Algorithm and Partial order reduction. In most of his Partial order reduction studies, his work intersects topics such as State space. State space and Statistics are commonly linked in his work. His Statistics study frequently links to related topics such as Symbolic data analysis. As part of his studies on Symbolic data analysis, he often connects relevant subjects like Theoretical computer science.

Shaz Qadeer most often published in these fields:

  • Theoretical computer science (100.00%)
  • Programming language (100.00%)
  • Concurrency (66.67%)

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

VIS: A System for Verification and Synthesis

Robert K. Brayton;Gary D. Hachtel;Alberto L. Sangiovanni-Vincentelli;Fabio Somenzi.
computer aided verification (1996)

957 Citations

Piranha: a scalable architecture based on single-chip multiprocessing

Luiz André Barroso;Kourosh Gharachorloo;Robert McNamara;Andreas Nowatzyk.
international symposium on computer architecture (2000)

777 Citations

Finding and reproducing Heisenbugs in concurrent programs

Madanlal Musuvathi;Shaz Qadeer;Thomas Ball;Gerard Basler.
operating systems design and implementation (2008)

685 Citations

Iterative context bounding for systematic testing of multithreaded programs

Madanlal Musuvathi;Shaz Qadeer.
programming language design and implementation (2007)

548 Citations

MOCHA: Modularity in Model Checking

Rajeev Alur;Thomas A. Henzinger;Freddy Y. C. Mang;Shaz Qadeer.
computer aided verification (1998)

534 Citations

MOCHA: Modularity in Model Checking

R. Alur;T. A. Henzinger;F. Y. C. Mang;S. Qadeer.
computer aided verification (1998)

512 Citations

A type and effect system for atomicity

Cormac Flanagan;Shaz Qadeer.
programming language design and implementation (2003)

490 Citations

Context-Bounded model checking of concurrent software

Shaz Qadeer;Jakob Rehof.
tools and algorithms for construction and analysis of systems (2005)

474 Citations

Predicate abstraction for software verification

Cormac Flanagan;Shaz Qadeer.
symposium on principles of programming languages (2002)

382 Citations

You Assume, We Guarantee: Methodology and Case Studies

Thomas A. Henzinger;Shaz Qadeer;Sriram K. Rajamani.
computer aided verification (1998)

329 Citations

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

Contact us

Best Scientists Citing Shaz Qadeer

Chao Wang

Chao Wang

University of Southern California

Publications: 57

Ganesh Gopalakrishnan

Ganesh Gopalakrishnan

University of Utah

Publications: 49

Ahmed Bouajjani

Ahmed Bouajjani

Université Paris Cité

Publications: 48

Fabio Somenzi

Fabio Somenzi

University of Colorado Boulder

Publications: 47

Daniel Kroening

Daniel Kroening

Amazon (United States)

Publications: 47

Aarti Gupta

Aarti Gupta

Princeton University

Publications: 46

Rupak Majumdar

Rupak Majumdar

Max Planck Institute for Software Systems

Publications: 45

Cormac Flanagan

Cormac Flanagan

University of California, Santa Cruz

Publications: 39

Parosh Aziz Abdulla

Parosh Aziz Abdulla

Uppsala University

Publications: 38

P. Madhusudan

P. Madhusudan

University of Illinois at Urbana-Champaign

Publications: 38

Thomas A. Henzinger

Thomas A. Henzinger

Institute of Science and Technology Austria

Publications: 38

Mooly Sagiv

Mooly Sagiv

Tel Aviv University

Publications: 36

Shuvendu K. Lahiri

Shuvendu K. Lahiri

Microsoft (United States)

Publications: 35

Thomas Reps

Thomas Reps

University of Wisconsin–Madison

Publications: 34

Rajeev Alur

Rajeev Alur

University of Pennsylvania

Publications: 32

Koushik Sen

Koushik Sen

University of California, Berkeley

Publications: 31

Trending Scientists

Sanjay Jha

Sanjay Jha

University of New South Wales

Jaime A. Moreno

Jaime A. Moreno

National Autonomous University of Mexico

Marshall L. Fisher

Marshall L. Fisher

University of Pennsylvania

Georg Süss-Fink

Georg Süss-Fink

University of Neuchâtel

Juan Soto

Juan Soto

Universitat Politècnica de València

Tianhua He

Tianhua He

Murdoch University

Christoph D. Schubart

Christoph D. Schubart

University of Regensburg

Terry W. Snell

Terry W. Snell

Georgia Institute of Technology

Matthew H. Godfrey

Matthew H. Godfrey

North Carolina Wildlife Resources Commission

Oliver Billker

Oliver Billker

Umeå University

Rune Waagbø

Rune Waagbø

University of Bergen

Annet H. de Lange

Annet H. de Lange

Open University of the Netherlands

Mark Zoccolillo

Mark Zoccolillo

McGill University

Satoshi Morita

Satoshi Morita

Kyoto University

Krister Andersson

Krister Andersson

University of Colorado Boulder

Adam S. Bolton

Adam S. Bolton

University of Utah

Something went wrong. Please try again later.