Experts ranked by H-index.

An expert has index h if h of his or her N papers have at least h citations each, and the other (N - h) papers have at most h citations each. More Information.
If you find a bug, please Email to us.
Home H-index Citation Uptrend Activity Longevity Diversity Sociability New Star
Show all topics
1234567891011...
1 J. D. Ullman (Professor, Computer Science (Emeritus), Stanford University)
H-index: 72; Papers: 261; Citation: 24687  
Homepage: http://infolab.stanford.edu/~ullman/
Expertise: Communication Complexity / Lower Bounds   Finite Languages / Database Queries   XML Data   Database Systems   Functional Programming / Binding-Time Analysis  
2 T. A. Henzinger (President (Professor) , Institute of Science and Technology Austria)
H-index: 67; Papers: 334; Citation: 26553  
Homepage: http://pub.ist.ac.at/~tah/
Expertise: Model Checking / Hybrid Systems   Optimal control   Real-Time Systems   Logic Programs / Algebraic Semantics   Functional Programming / Binding-Time Analysis  
3 John C. Mitchell (Professor of Computer Science, Department of Computer Science Stanford University )
H-index: 57; Papers: 141; Citation: 9558  
Homepage: http://theory.stanford.edu/people/jcm/
Expertise: Finite Languages / Database Queries   Logic Programs / Algebraic Semantics   Security Views / New Denial   Functional Programming / Binding-Time Analysis  
4 Luca Cardelli (Principal Researcher , Microsoft Research)
H-index: 55; Papers: 144; Citation: 17742  
Homepage: http://research.microsoft.com/~luca/
Expertise: Automata Theory / Slender Languages   Database Systems   Logic Programs / Algebraic Semantics   Functional Programming / Binding-Time Analysis  
5 B. H. Liskov (Ford Professor of Engineering, Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Programming Methodology Group)
H-index: 53; Papers: 118; Citation: 12244  
Homepage: http://www.pmg.csail.mit.edu/~liskov/
Expertise: Database Systems   Dynamic Networks / Extended Abstract   File System / Software Systems   Functional Programming / Binding-Time Analysis  
6 K. W. Kennedy (Professor, John and Ann Doerr University)
H-index: 53; Papers: 155; Citation: 10325  
Homepage: http://www.cs.rice.edu/~ken/
Expertise: Parallel Algorithms / Wormhole Networks   Functional Programming / Binding-Time Analysis   Parallel Computing / High Performance Fortran  
7 M. Jean Harrold (Professor, College of Computing Georgia Institute of Technology )
H-index: 50; Papers: 128; Citation: 8915  
Homepage: http://www.cc.gatech.edu/~harrold/
Expertise: Real-Time Systems / Automated Software Test Data   Software Engineering / Design Patterns Frameworks   Software Engineering / Business Maintenance Model   Software Engineering   Functional Programming / Binding-Time Analysis  
8 Monica S. Lam (Professor, Computer Science Department Stanford University)
H-index: 48; Papers: 109; Citation: 13621  
Homepage: http://suif.stanford.edu/~lam/
Expertise: Knowledge Management / Minitrack Introduction   Instruction Cache Organizations / Branch Prediction   File System / Software Systems   Functional Programming / Binding-Time Analysis  
9 Philip Wadler (Professor,Director , School of Informatics, University of Edinburgh, Laboratory for Foundations of Computer Science )
H-index: 48; Papers: 102; Citation: 13105  
Homepage: http://homepages.inf.ed.ac.uk/wadler/
Expertise: XML Data   Functional Programming / Binding-Time Analysis  
10 M. Herlihy (Professor, Brown University)
H-index: 46; Papers: 185; Citation: 12623  
Homepage: http://www.cs.brown.edu/~mph/
Expertise: Instruction Cache Organizations / Branch Prediction   Dynamic Networks / Extended Abstract   Functional Programming / Binding-Time Analysis  
11 S. P. Jones (researcher, Microsoft Research in Cambridge)
H-index: 46; Papers: 165; Citation: 8434  
Homepage: http://research.microsoft.com/~simonpj/
Expertise: Model Checking / Hybrid Systems   Visual Language   Functional Programming / Binding-Time Analysis  
12 Benjamin Pierce (Professor, Department of Computer and Information Science University of Pennsylvania)
H-index: 45; Papers: 116; Citation: 9956  
Homepage: http://www.cis.upenn.edu/~bcpierce/
Expertise: Logic Programs / Algebraic Semantics   Functional Programming / Binding-Time Analysis  
13 R. Guerraoui (Professor, School of Computer and Communication Sciences (LPD), EPFL)
H-index: 45; Papers: 275; Citation: 8975  
Homepage: http://lpdwww.epfl.ch/rachid/
Expertise: Software Engineering / Design Patterns Frameworks   Dynamic Networks / Extended Abstract   Computing Systems / Fault-Tolerant Real-Time   Functional Programming / Binding-Time Analysis  
14 John Hennessy (Professor, Stanford University Electrical Engineering and Computer Science)
H-index: 44; Papers: 99; Citation: 10988  
Homepage: http://www.stanford.edu/~hennessy/
Expertise: Instruction Cache Organizations / Branch Prediction   Functional Programming / Binding-Time Analysis   Parallel Computing / High Performance Fortran  
15 T. Reps (Professor, Computer Sciences Department University of Wisconsin-Madison )
H-index: 44; Papers: 167; Citation: 8742  
Homepage: http://pages.cs.wisc.edu/~reps/
Expertise: Model Checking / Hybrid Systems   Functional Programming / Binding-Time Analysis  
16 Craig Chambers (Professor, Google)
H-index: 44; Papers: 72; Citation: 8009  
Homepage: http://www.cs.washington.edu/homes/chambers/
Expertise: File System / Software Systems   Functional Programming / Binding-Time Analysis  
17 B. Bershad (Professor, Computer Science & Engineering Department University of Washington )
H-index: 43; Papers: 70; Citation: 8845  
Homepage: http://www.cs.washington.edu/homes/bershad/
Expertise: File System / Software Systems   Functional Programming / Binding-Time Analysis  
18 D. S. Batory (Professor, Department of Computer Sciences University of Texas at Austin )
H-index: 42; Papers: 142; Citation: 7097  
Homepage: http://www.cs.utexas.edu/users/dsb/
Expertise: Software Engineering / Design Patterns Frameworks   Software Engineering / Business Maintenance Model   Database Systems   Software Engineering   Functional Programming / Binding-Time Analysis  
19 Laurie J. Hendren (Professor, School of Computer Science McGill University )
H-index: 41; Papers: 103; Citation: 6616  
Homepage: http://www.sable.mcgill.ca/~hendren/
Expertise: Software Engineering / Business Maintenance Model   Instruction Cache Organizations / Branch Prediction   Functional Programming / Binding-Time Analysis  
20 Henri Bal (Professor, Dept. of Computer Science Vrije Universiteit )
H-index: 41; Papers: 159; Citation: 5381  
Homepage: http://www.cs.vu.nl/~bal/
Expertise: Parallel Applications / Average-Case Performance Analysis   Programming Language / Multiprogramming System   Grid Computing / Parallel Data   Functional Programming / Binding-Time Analysis   Parallel Computing / High Performance Fortran  
21 Dennis Shasha (Professor, Department of Computer Science Courant Institute of Mathematical Sciences, New York University)
H-index: 40; Papers: 174; Citation: 6011  
Homepage: http://www.cs.nyu.edu/shasha/
Expertise: Approximation Algorithms / Perfect Graphs   Data mining   XML Data   Database Systems   Functional Programming / Binding-Time Analysis  
22 J. R. Larus (Director of Research and Strategy, Microsoft Research)
H-index: 39; Papers: 94; Citation: 7997  
Homepage: http://research.microsoft.com/~larus/
Expertise: Search Technology / News Brief   Instruction Cache Organizations / Branch Prediction   File System / Software Systems   Functional Programming / Binding-Time Analysis   Parallel Computing / High Performance Fortran  
23 M. Rinard (Professor, Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology)
H-index: 39; Papers: 146; Citation: 6355  
Homepage: http://cag.csail.mit.edu/~rinard/
Expertise: Model Checking / Hybrid Systems   Functional Programming / Binding-Time Analysis  
24 F. Pfenning (Professor, Department of Computer Science Carnegie Mellon University )
H-index: 39; Papers: 136; Citation: 6273  
Homepage: http://www.cs.cmu.edu/~fp/
Expertise: Logic Programs   Theorem Proving / General-Purpose Automated Reasoning   Logic Programs / Algebraic Semantics   Functional Programming / Binding-Time Analysis   Machine Learning   Infinitary Logic / Recursive Models  
25 Rajiv Gupta (Professor, Dept. of Computer Science & Engineering University of California Riverside)
H-index: 39; Papers: 188; Citation: 4881  
Homepage: http://www.cs.ucr.edu/~gupta/
Expertise: Real-Time Systems / Automated Software Test Data   Instruction Cache Organizations / Branch Prediction   Parallel Algorithms / Wormhole Networks   Functional Programming / Binding-Time Analysis   Parallel Computing / High Performance Fortran  
26 P. Buneman (Professor, Laboratory for Foundations of Computer Science)
H-index: 38; Papers: 105; Citation: 7257  
Homepage: http://www.inf.ed.ac.uk/people/staff/Peter_Buneman.html
Expertise: Finite Languages / Database Queries   XML Data   Database Systems   Functional Programming / Binding-Time Analysis  
27 Matthias Felleisen (Trustee Professor of Computer Science, Northeastern University)
H-index: 38; Papers: 117; Citation: 5257  
Homepage: http://www.ccs.neu.edu/home/matthias/
Expertise: Functional Programming / Binding-Time Analysis  
28 Fred B. Schneider (Professor, Department of Computer Science Cornell University )
H-index: 37; Papers: 124; Citation: 9278  
Homepage: http://www.cs.cornell.edu/fbs/
Expertise: Software Security   Computer / Systems   Dynamic Networks / Extended Abstract   File System / Software Systems   Security Views / New Denial   Functional Programming / Binding-Time Analysis  
29 A. W. Appel (Professor, Department of Computer Science Princeton University )
H-index: 37; Papers: 92; Citation: 8027  
Homepage: http://www.cs.princeton.edu/~appel/
Expertise: Theorem Proving / General-Purpose Automated Reasoning   Logic Programs / Algebraic Semantics   Functional Programming / Binding-Time Analysis  
30 Somesh Jha (Professor, Computer Sciences Department University of Wisconsin)
H-index: 37; Papers: 121; Citation: 7476  
Homepage: http://pages.cs.wisc.edu/~jha/
Expertise: Model Checking / Hybrid Systems   Multi-Agent Systems / Agent organization   Software Engineering   Security Views / New Denial   Functional Programming / Binding-Time Analysis  
31 K. Apt (Professor, Institute for Logic, Language and Computation (ILLC), University of Amsterdam)
H-index: 37; Papers: 156; Citation: 5711  
Homepage: http://www.cwi.nl/~apt/
Expertise: Wireless Networks / Algorithmic Complexity   Logic Programs   Constraint Programming / Combinatorial Search Problems   Logic Programs / Algebraic Semantics   Functional Programming / Binding-Time Analysis  
32 P. V. Hentenryck (Professor, Brown University)
H-index: 37; Papers: 224; Citation: 4620  
Homepage: http://www.cs.brown.edu/~pvh/
Expertise: Logic Programs   Combinatorial optimization problem / Linear Programming   Constraint Programming / Combinatorial Search Problems   Functional Programming / Binding-Time Analysis  
33 Mary Lou Soffa (Department Chair and Prodessor, Department of Computer Science University of Virginia)
H-index: 37; Papers: 153; Citation: 4611  
Homepage: http://www.cs.virginia.edu/~soffa/
Expertise: Real-Time Systems / Automated Software Test Data   Software Engineering / Business Maintenance Model   Instruction Cache Organizations / Branch Prediction   Software Engineering   Functional Programming / Binding-Time Analysis  
34 T. Ball (Principal Researcher, Software Reliability Research Microsoft Research)
H-index: 36; Papers: 83; Citation: 7411  
Homepage: http://research.microsoft.com/~tball/
Expertise: Model Checking / Hybrid Systems   Software Engineering   Functional Programming / Binding-Time Analysis  
35 Javier Esparza (Professor, Institut für Informatik, Technische Universität München)
H-index: 36; Papers: 138; Citation: 5240  
Homepage: http://www7.in.tum.de/~esparza/
Expertise: Model Checking / Hybrid Systems   Automata Theory / Slender Languages   Logic Programs / Algebraic Semantics   Petri Nets / Formal Specifications   Functional Programming / Binding-Time Analysis  
36 P. J. Stuckey (Professor, the University of Melbourne )
H-index: 36; Papers: 258; Citation: 4746  
Homepage: http://www.cs.mu.oz.au/~pjs
Expertise: Logic Programs   Constraint Programming / Combinatorial Search Problems   Functional Programming / Binding-Time Analysis  
37 S. Eggers (Professor, Department of Computer Science and Engineering University of Washington)
H-index: 35; Papers: 71; Citation: 9065  
Homepage: http://www.cs.washington.edu/homes/eggers/
Expertise: Instruction Cache Organizations / Branch Prediction   Functional Programming / Binding-Time Analysis  
38 A. Aiken (Professor, Computer Science Stanford University)
H-index: 35; Papers: 68; Citation: 5073  
Homepage: http://theory.stanford.edu/~aiken/
Expertise: Database Systems   Logic Programs / Algebraic Semantics   Functional Programming / Binding-Time Analysis  
39 P. O'Hearn (Professor, Department of Computer Science)
H-index: 35; Papers: 77; Citation: 5057  
Homepage: http://www.dcs.qmw.ac.uk/~ohearn/
Expertise: Model Checking / Hybrid Systems   Logic Programs / Algebraic Semantics   Functional Programming / Binding-Time Analysis  
40 D. McAllester (Professor and Chief Academic Officer, Toyota Technological Institute at Chicago)
H-index: 35; Papers: 107; Citation: 4699  
Homepage: http://ttic.uchicago.edu/~dmcallester/
Expertise: Theorem Proving / General-Purpose Automated Reasoning   Constraint Programming / Combinatorial Search Problems   Learning Search Control Rules / Explanation-based Approach   Functional Programming / Binding-Time Analysis   Machine Learning  
41 Charles Consel (Professor, Computer Science University of Paris VI)
H-index: 35; Papers: 102; Citation: 3898  
Homepage: http://phoenix.labri.fr/people/consel/
Expertise: File System / Software Systems   Functional Programming / Binding-Time Analysis  
42 Paul Hudak (Professor, Department of Computer Science Yale Univerity )
H-index: 34; Papers: 81; Citation: 7717  
Homepage: http://cs-www.cs.yale.edu/homes/hudak/
Expertise: Functional Programming / Binding-Time Analysis  
43 Saman Amarasinghe (assistant professor, Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology)
H-index: 34; Papers: 74; Citation: 6722  
Homepage: http://suif.stanford.edu/~saman/
Expertise: Instruction Cache Organizations / Branch Prediction   Functional Programming / Binding-Time Analysis  
44 Michael D. Ernst (Associate Professor, Program Analysis Group Computer Science & Artificial Intelligence Lab (CSAIL) Dept. of Electrical Engineering & Computer Science Massachusetts Institute of Technology)
H-index: 34; Papers: 85; Citation: 5200  
Homepage: http://people.csail.mit.edu/mernst/
Expertise: Model Checking / Hybrid Systems   Software Engineering / Design Patterns Frameworks   Software Engineering / Business Maintenance Model   Software Engineering   Functional Programming / Binding-Time Analysis  
45 Patrice Godefroid (Principal Researcher, Software Reliability Research Microsoft Research )
H-index: 34; Papers: 77; Citation: 4688  
Homepage: http://research.microsoft.com/users/pg/
Expertise: Model Checking / Hybrid Systems   Logic Programs / Algebraic Semantics   Functional Programming / Binding-Time Analysis  
46 D. A. Padua (Associate Director, Siebel Center for Computer Science University of Illinois at Urbana-Champaign )
H-index: 34; Papers: 165; Citation: 4018  
Homepage: http://polaris.cs.uiuc.edu/~padua/
Expertise: Instruction Cache Organizations / Branch Prediction   Parallel Algorithms / Wormhole Networks   Functional Programming / Binding-Time Analysis   Parallel Computing / High Performance Fortran  
47 Xavier Leroy (senior computer scientist, INRIA)
H-index: 34; Papers: 69; Citation: 3822  
Homepage: http://pauillac.inria.fr/~xleroy/
Expertise: Functional Programming / Binding-Time Analysis  
48 Sriram Rajamani (Assistant Managing Director, Microsoft Research India)
H-index: 33; Papers: 91; Citation: 6087  
Homepage: http://research.microsoft.com/~sriram/
Expertise: Model Checking / Hybrid Systems   Security Views / New Denial   Functional Programming / Binding-Time Analysis  
49 Mitchell Wand (College of Computer and Information Science Northeastern University )
H-index: 33; Papers: 97; Citation: 4935  
Homepage: http://www.ccs.neu.edu/home/wand/
Expertise: Logic Programs / Algebraic Semantics   Functional Programming / Binding-Time Analysis  
50 Rupak Majumdar (Professor, Computer Science University of California )
H-index: 33; Papers: 130; Citation: 4826  
Homepage: http://www.cs.ucla.edu/~rupak/
Expertise: Model Checking / Hybrid Systems   Power optimization / Synchronous Sequential Circuits   Logic Programs / Algebraic Semantics   Functional Programming / Binding-Time Analysis  
Give us feedbacks: feedback@arnetminer.org.
1234567891011...