Experts ranked by H-index.

1 Martin Abadi (Professor, Computer Science Department University of California )
	H-index: 80; Papers: 187; Citation: 28754   highest-cited paper: A Logic of Authentication (1990) at ACM Trans. Comput. Syst.(Cited By 2479) Homepage: http://www.soe.ucsc.edu/~abadi/home.html
Expertise: Logic Programs / Algebraic Semantics;   Security Views / New Denial;   Functional Programming / Binding-Time Analysis;   Signature Schemes / Authenticated Key Exchange Secure;   File System / Software Systems;

3 Monica S. Lam (Professor , Computer Science Department Stanford University )
	H-index: 53; Papers: 98; Citation: 15946   highest-cited paper: A Data Locality Optimizing Algorithm (1991) at PLDI(Cited By 1173) Homepage: http://suif.stanford.edu/~lam/
Expertise: Functional Programming / Binding-Time Analysis;   Instruction Cache Organizations / Branch Prediction;   Parallel Computing / High Performance Fortran;   File System / Software Systems;

4 John C. Mitchell (Professor of Computer Science , Department of Computer Science Stanford University )
	H-index: 53; Papers: 125; Citation: 10262   highest-cited paper: Abstract Types Have Existential Type (1988) at ACM Trans. Program. Lang. Syst.(Cited By 558) Homepage: http://theory.stanford.edu/people/jcm/
Expertise: Functional Programming / Binding-Time Analysis;   Logic Programs / Algebraic Semantics;   Security Views / New Denial;   Finite Languages / Database Queries;

5 Philip Wadler (Professor of Theoretical Computer Science, Department of Informatics University of Edinburgh )
	H-index: 51; Papers: 91; Citation: 12056   highest-cited paper: Comprehending Monads (1992) at Mathematical Structures in Computer Science(Cited By 773) Homepage: http://homepages.inf.ed.ac.uk/wadler/
Expertise: Functional Programming / Binding-Time Analysis;   XML Data;

6 Craig Chambers ( Professor, Department of Computer Science and Engineering University of Washington )
	H-index: 44; Papers: 69; Citation: 6865   highest-cited paper: Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis (1995) at ECOOP(Cited By 476) Homepage: http://www.cs.washington.edu/homes/chambers/
Expertise: Functional Programming / Binding-Time Analysis;   Software Engineering / Design Patterns Frameworks;   File System / Software Systems;

7 Matthias Felleisen (Matthias Felleisen is a Professor in the College of Computer science at Northeastern University, Matthias Felleisen is a Professor in the College of Computer science at Northeastern University)
	H-index: 39; Papers: 93; Citation: 7075   highest-cited paper: A Syntactic Approach to Type Soundness (1994) at Inf. Comput.(Cited By 809) Homepage: http://mitpress.mit.edu/catalog/author/default.asp?aid=553
Expertise: Functional Programming / Binding-Time Analysis;

8 Patrice Godefroid (Software Reliability Research Microsoft Research Microsoft)
	H-index: 39; Papers: 68; Citation: 5697   highest-cited paper: Model Checking for Programming Languages using Verisoft (1997) at POPL(Cited By 507) Homepage: http://research.microsoft.com/users/pg/
Expertise: Model Checking / Hybrid Systems;   Functional Programming / Binding-Time Analysis;   Logic Programs / Algebraic Semantics;

9 Keith D. Cooper (Professor and Chair, Department of Computer Science Rice University)
	H-index: 39; Papers: 57; Citation: 5043   highest-cited paper: Improvements to Graph Coloring Register Allocation (1994) at ACM Trans. Program. Lang. Syst.(Cited By 361) Homepage: http://www.cs.rice.edu/~keith/
Expertise: Functional Programming / Binding-Time Analysis;   Parallel Computing / High Performance Fortran;

10 Javier Esparza (Professor, Software Reliability and Security Group Institute for Formal Methods in Computer Science University of Stuttgart)
	H-index: 38; Papers: 115; Citation: 6137   highest-cited paper: Compositional Synthesis of Live and Bounded Free Choice Petri Nets (1991) at CONCUR(Cited By 467) Homepage: http://www7.in.tum.de/~esparza/
Expertise: Logic Programs / Algebraic Semantics;   Petri Nets / Formal Specifications;   Model Checking / Hybrid Systems;   Automata Theory / Slender Languages;   Functional Programming / Binding-Time Analysis;

11 Cedric Fournet (Microsoft Research Ltd)
	H-index: 38; Papers: 62; Citation: 4380   highest-cited paper: A Calculus of Mobile Agents (1996) at CONCUR(Cited By 496) Homepage: http://www.cs.unibo.it/ersads/fournet.html
Expertise: Logic Programs / Algebraic Semantics;   Functional Programming / Binding-Time Analysis;   Security Views / New Denial;

12 Rajiv Gupta (Professor, Dept. of Computer Science & Engineering University of California Riverside)
	H-index: 38; Papers: 165; Citation: 4319   highest-cited paper: A Methodology for Controlling the Size of a Test Suite (1993) at ACM Trans. Softw. Eng. Methodol.(Cited By 307) Homepage: http://www.cs.ucr.edu/~gupta/
Expertise: Instruction Cache Organizations / Branch Prediction;   Functional Programming / Binding-Time Analysis;   Parallel Algorithms / Wormhole Networks;   Parallel Computing / High Performance Fortran;   Real-Time Systems / Automated Software Test Data;

13 Fred B. Schneider (Department of Computer Science Cornell University )
	H-index: 37; Papers: 109; Citation: 9092   highest-cited paper: Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial (1990) at ACM Comput. Surv.(Cited By 1302) Homepage: http://www.cs.cornell.edu/fbs/
Expertise: Software Security;   Dynamic Networks / Extended Abstract;   File System / Software Systems;   Computer / Systems;   Functional Programming / Binding-Time Analysis;   Security Views / New Denial;

14 Laurie J. Hendren (Professor , School of Computer Science McGill University )
	H-index: 37; Papers: 89; Citation: 5638   highest-cited paper: Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers (1994) at PLDI(Cited By 581) Homepage: http://www.sable.mcgill.ca/~hendren/
Expertise: Functional Programming / Binding-Time Analysis;   Software Engineering / Business Maintenance Model;

15 Tobias Nipkow (Institut f??r Informatik Technische Universit?t M??nchen )
	H-index: 37; Papers: 86; Citation: 4669   highest-cited paper: Isabelle/HOL - A Proof Assistant for Higher-Order Logic (2002) (Cited By 493) Homepage: http://www4.in.tum.de/~nipkow/
Expertise: Theorem Proving / General-Purpose Automated Reasoning;   Logic Programs / Algebraic Semantics;   Model Checking / Hybrid Systems;   Functional Programming / Binding-Time Analysis;

16 Mary Lou Soffa (Chair, Department of Computer Science University of Virginia)
	H-index: 37; Papers: 138; Citation: 4157   highest-cited paper: A Methodology for Controlling the Size of a Test Suite (1993) at ACM Trans. Softw. Eng. Methodol.(Cited By 307) Homepage: http://www.cs.virginia.edu/~soffa/
Expertise: Functional Programming / Binding-Time Analysis;   Real-Time Systems / Automated Software Test Data;   Instruction Cache Organizations / Branch Prediction;   Software Engineering;   Software Engineering / Business Maintenance Model;

17 Paul Hudak (Professor , Department of Computer Science Yale Univerity )
	H-index: 36; Papers: 74; Citation: 8307   highest-cited paper: Memory Coherence in Shared Virtual Memory Systems (1989) at ACM Trans. Comput. Syst.(Cited By 1575) Homepage: http://cs-www.cs.yale.edu/homes/hudak/
Expertise: Functional Programming / Binding-Time Analysis;

18 Patrick Cousot ( Professor, Professor of Computer Science)
	H-index: 35; Papers: 69; Citation: 10994   highest-cited paper: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints (1977) at POPL(Cited By 3945) Homepage: http://www.di.ens.fr/~cousot/
Expertise: Functional Programming / Binding-Time Analysis;   Model Checking / Hybrid Systems;

19 Somesh Jha (Associate Professor, Computer Sciences Department University of Wisconsin)
	H-index: 35; Papers: 99; Citation: 7089   highest-cited paper: Counterexample-guided abstraction refinement for symbolic model checking (2003) at J. ACM(Cited By 1032) Homepage: http://pages.cs.wisc.edu/~jha/
Expertise: Security Views / New Denial;   Model Checking / Hybrid Systems;   Functional Programming / Binding-Time Analysis;   Multi-Agent Systems / Agent organization;   Software Engineering;

20 Neil D. Jones (Professor)
	H-index: 35; Papers: 94; Citation: 4688   highest-cited paper: Flow Analysis and Optimization of Lisp-Like Structures (1979) at POPL(Cited By 326) Homepage: http://www.diku.dk/~neil/
Expertise: Functional Programming / Binding-Time Analysis;   Finite Languages / Database Queries;   Communication Complexity / Lower Bounds;

21 J. Eliot B. Moss (Associate Professor, Department of Computer Science at the University of Massachusetts)
	H-index: 35; Papers: 92; Citation: 4037   highest-cited paper: Transactional Memory: Architectural Support for Lock-Free Data Structures (1993) at ISCA(Cited By 918) Homepage: http://www-ali.cs.umass.edu/~moss/
Expertise: Database Systems;   Functional Programming / Binding-Time Analysis;   Software Engineering / Design Patterns Frameworks;   File System / Software Systems;   Instruction Cache Organizations / Branch Prediction;

22 Samson Abramsky (Professor of Computing , Oxford University Computing Laboratory Wolfson Building)
	H-index: 34; Papers: 94; Citation: 6764   highest-cited paper: Computational Interpretations of Linear Logic (1993) at Theor. Comput. Sci.(Cited By 504) Homepage: http://web.comlab.ox.ac.uk/oucl/people/samson.abramsky.html
Expertise: Logic Programs / Algebraic Semantics;   Functional Programming / Binding-Time Analysis;

23 Bernhard Steffen (Professor, Universit?t Dortmund Fachbereich Informatik )
	H-index: 34; Papers: 138; Citation: 5729   highest-cited paper: The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems (1993) at ACM Trans. Program. Lang. Syst.(Cited By 477) Homepage: http://ls5-www.cs.uni-dortmund.de/LS5/Team/Professoren/Steffen.html
Expertise: Model Checking / Hybrid Systems;   Functional Programming / Binding-Time Analysis;   Logic Programs / Algebraic Semantics;

24 Cormac Flanagan (Associate Professor, Computer Science Department School of Engineering University of California)
	H-index: 34; Papers: 57; Citation: 5281   highest-cited paper: Extended Static Checking for Java (2002) at PLDI(Cited By 974) Homepage: http://www.cse.ucsc.edu/~cormac/
Expertise: Functional Programming / Binding-Time Analysis;   Model Checking / Hybrid Systems;

25 Charles Consel (Professor , Computer Science University of Paris VI)
	H-index: 34; Papers: 83; Citation: 3679   highest-cited paper: Tutorial Notes on Partial Evaluation (1993) at POPL(Cited By 370) Homepage: http://phoenix.labri.fr/people/consel/
Expertise: Functional Programming / Binding-Time Analysis;   File System / Software Systems;

27 Olivier Danvy (associate professor, Department of Computer Science at the University of Aarhus)
	H-index: 32; Papers: 129; Citation: 4176   highest-cited paper: Tutorial Notes on Partial Evaluation (1993) at POPL(Cited By 370) Homepage: http://www.brics.dk/~danvy
Expertise: Functional Programming / Binding-Time Analysis;

28 Rupak Majumdar (Assistant Professor, Computer Science University of California )
	H-index: 32; Papers: 98; Citation: 3949   highest-cited paper: Lazy abstraction (2002) at POPL(Cited By 781) Homepage: http://www.cs.ucla.edu/~rupak/
Expertise: Model Checking / Hybrid Systems;   Functional Programming / Binding-Time Analysis;   Logic Programs / Algebraic Semantics;   Power optimization / Synchronous Sequential Circuits;

29 Mitchell Wand ( College of Computer and Information Science Northeastern University )
	H-index: 32; Papers: 88; Citation: 3599   highest-cited paper: Corrigendum: Complete Type Inference for Simple Objects (1988) at LICS(Cited By 272) Homepage: http://www.ccs.neu.edu/home/wand/
Expertise: Functional Programming / Binding-Time Analysis;   Logic Programs / Algebraic Semantics;

30 Gert Smolka (Professor of Informatics, Universit?t des Saarlandes Campus )
	H-index: 31; Papers: 77; Citation: 5603   highest-cited paper: Attributive Concept Descriptions with Complements (1991) at Artif. Intell.(Cited By 888) Homepage: http://www.ps.uni-sb.de/~smolka/
Expertise: Logic Programs;   Database Systems / Programming Languages;   Theorem Proving / General-Purpose Automated Reasoning;   Functional Programming / Binding-Time Analysis;   Logic Programs / Algebraic Semantics;   Constraint Programming / Combinatorial Search Problems;

31 Reinhard Wilhelm (Chair for Programming Languages and Compiler Construction, Programming Languages and Compiler Construction)
	H-index: 31; Papers: 80; Citation: 4621   highest-cited paper: Parametric shape analysis via 3-valued logic (2002) at ACM Trans. Program. Lang. Syst.(Cited By 729) Homepage: http://rw4.cs.uni-sb.de/index.shtml
Expertise: Functional Programming / Binding-Time Analysis;   Der Informatik / Zur Bedeutung von Modellen;   Real-Time Systems;   Model Checking / Hybrid Systems;   Database Systems / Programming Languages;

32 Barbara G. Ryder (Professor )
	H-index: 31; Papers: 89; Citation: 3272   highest-cited paper: A Framework for Reducing the Cost of Instrumented Code (2001) at PLDI(Cited By 235) Homepage: http://www.cs.rutgers.edu/~ryder/
Expertise: Functional Programming / Binding-Time Analysis;   Real-Time Systems / Automated Software Test Data;   Software Engineering / Business Maintenance Model;   Programming Language / Multiprogramming System;

33 Andreas Podelski
	H-index: 31; Papers: 108; Citation: 3149   highest-cited paper: Boolean and Cartesian abstraction for model checking C programs (2003) at STTT(Cited By 205) Homepage: http://swt.informatik.uni-freiburg.de/podelski
Expertise: Logic Programs;   Model Checking / Hybrid Systems;   Functional Programming / Binding-Time Analysis;   Logic Programs / Algebraic Semantics;   Automata Theory / Slender Languages;

34 Helmut Seidl
	H-index: 31; Papers: 113; Citation: 2399   highest-cited paper: Deciding Equivalence of Finite Tree Automata (1990) at SIAM J. Comput.(Cited By 120) Homepage: http://www2.in.tum.de/~seidl/
Expertise: Automata Theory / Slender Languages;   Functional Programming / Binding-Time Analysis;   Combinatorial optimization problem / Linear Programming;   Logic Programs / Algebraic Semantics;   Theorem Proving / General-Purpose Automated Reasoning;

35 Giuseppe Castagna (Senior Researcher, University of Paris 7 PPS Laboratory)
	H-index: 30; Papers: 66; Citation: 3420   highest-cited paper: On Binary Methods (1995) at TAPOS(Cited By 276) Homepage: http://www.pps.jussieu.fr/~gc/
Expertise: Logic Programs / Algebraic Semantics;   Functional Programming / Binding-Time Analysis;   Database Systems;

36 Michael Hanus (Professor of Computer Science, Institut f??r Informatik Christian-Albrechts-Universit)
	H-index: 30; Papers: 108; Citation: 3413   highest-cited paper: The Integration of Functions into Logic Programming: From Theory to Practice (1994) at J. Log. Program.(Cited By 9) Homepage: http://www.informatik.uni-kiel.de/~mh/
Expertise: Logic Programs;   Functional Programming / Binding-Time Analysis;   Theorem Proving / General-Purpose Automated Reasoning;

37 Akinori Yonezawa (professor of computer science , Department of Information Science University of Tokyo)
	H-index: 30; Papers: 115; Citation: 2939   highest-cited paper: Abstracting Object Interactions Using Composition Filters (1993) at ECOOP Workshop(Cited By 387) Homepage: http://web.yl.is.s.u-tokyo.ac.jp/members/yonezawa/home.html
Expertise: Functional Programming / Binding-Time Analysis;   Software Engineering / Design Patterns Frameworks;   Parallel Computing / High Performance Fortran;   Logic Programs;   User Interface Design / Collaborative interaction;   Logic Programs / Algebraic Semantics;

38 I. V. Ramakrishnan (Professor , Department of Computer Science State University of New York )
	H-index: 30; Papers: 147; Citation: 2710   highest-cited paper: Efficient Model Checking Using Tabled Resolution (1997) at CAV(Cited By 227) Homepage: http://www.cs.sunysb.edu/~ram
Expertise: Logic Programs;   Theorem Proving / General-Purpose Automated Reasoning;   Web Mining;   Parallel Algorithms / Wormhole Networks;   Functional Programming / Binding-Time Analysis;

39 Michael Leuschel ( Professor, Declarative Systems and Software Engineering Group School of Electronics and Computer Science University of Southampton)
	H-index: 30; Papers: 112; Citation: 2479   highest-cited paper: ProB: A Model Checker for B (2003) at FME(Cited By 222) Homepage: http://www.ecs.soton.ac.uk/~mal/
Expertise: Logic Programs;   Model Checking / Hybrid Systems;   Functional Programming / Binding-Time Analysis;

40 George C. Necula (Associate Professor , Electrical Engineering and Computer Science Rinera Networks)
	H-index: 29; Papers: 58; Citation: 11847   highest-cited paper: A Scalable Architecture for Proof-Carrying Code (2001) at FLOPS(Cited By 1857) Homepage: http://www.cs.berkeley.edu/~necula/
Expertise: Functional Programming / Binding-Time Analysis;   Model Checking / Hybrid Systems;

41 William G. Griswold (Department of Computer Science & Engineering University of California)
	H-index: 28; Papers: 79; Citation: 5732   highest-cited paper: An Overview of AspectJ (2001) at ECOOP(Cited By 2550) Homepage: http://www.cs.ucsd.edu/~wgg/
Expertise: Software Engineering;   Real-Time Systems / Automated Software Test Data;   Adaptive Mobile Applications / Pervasive Computing Systems;   Computer science;   Software Engineering / Business Maintenance Model;   Functional Programming / Binding-Time Analysis;

42 Zhong Shao (Professor , Computer Science Yale University)
	H-index: 28; Papers: 43; Citation: 1790   highest-cited paper: A Type-Based Compiler for Standard ML (1995) at PLDI(Cited By 128) Homepage: http://www.cs.yale.edu/~shao
Expertise: Functional Programming / Binding-Time Analysis;

43 David Walker
	H-index: 27; Papers: 51; Citation: 7880   highest-cited paper: A Calculus of Mobile Processes, I (1992) at Inf. Comput.(Cited By 1520) Homepage: http://www.pbs.org/wgbh/aia/part4/4p2930.html
Expertise: Functional Programming / Binding-Time Analysis;   Logic Programs / Algebraic Semantics;   Security Views / New Denial;

44 J. Gregory Morrisett (Assistant Professor)
	H-index: 27; Papers: 43; Citation: 6022   highest-cited paper: From system F to typed assembly language (1999) at ACM Trans. Program. Lang. Syst.(Cited By 828) Homepage: http://www.cs.cornell.edu/Info/Department/Annual96/Faculty/Morrisett.html
Expertise: Functional Programming / Binding-Time Analysis;   Sensor Networks / Outdoor wireless;

45 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: 27; Papers: 67; Citation: 3543   highest-cited paper: An overview of JML tools and applications (2005) at STTT(Cited By 593) Homepage: http://people.csail.mit.edu/mernst/
Expertise: Software Engineering / Business Maintenance Model;   Software Engineering;   Software Engineering / Design Patterns Frameworks;   Functional Programming / Binding-Time Analysis;   Model Checking / Hybrid Systems;

46 Ambuj K. Singh (Professor , Department of Computer Science Department of Biomolecular Science and Engineering University of California at Santa Barbara )
	H-index: 27; Papers: 112; Citation: 2205   highest-cited paper: Efficient View Maintenance at Data Warehouses (1997) at SIGMOD Conference(Cited By 254) Homepage: http://www.cs.ucsb.edu/~ambuj/
Expertise: XML Data;   Dynamic Networks / Extended Abstract;   Functional Programming / Binding-Time Analysis;   Gene Expression Analysis / Data Clustering;

47 Boaz Patt-Shamir ( Department of Electrical Engineering Tel Aviv University )
	H-index: 27; Papers: 91; Citation: 2090   highest-cited paper: Self-Stabilization By Local Checking and Correction (Extended Abstract) (1991) at FOCS(Cited By 199) Homepage: http://www.eng.tau.ac.il/~boaz/
Expertise: Dynamic Networks / Extended Abstract;   Communication Complexity / Lower Bounds;   Functional Programming / Binding-Time Analysis;

48 K. Rustan M. Leino (principal researcher , Programming Languages and Methods group Microsoft Research)
	H-index: 26; Papers: 68; Citation: 4755   highest-cited paper: Extended Static Checking for Java (2002) at PLDI(Cited By 974) Homepage: https://research.microsoft.com/~leino/
Expertise: Model Checking / Hybrid Systems;   Functional Programming / Binding-Time Analysis;

49 Ralf Lammel
	H-index: 26; Papers: 77; Citation: 2087   highest-cited paper: Book Review (2007) at Journal of Logic, Language and Information(Cited By 221) Homepage: http://homepages.cwi.nl/~ralf/
Expertise: Functional Programming / Binding-Time Analysis;   Logic Programs / Algebraic Semantics;   Visual Language;   Software Engineering / Design Patterns Frameworks;

50 Luc Moreau
	H-index: 26; Papers: 84; Citation: 1971   highest-cited paper: FOHM: a fundamental open hypertext model for investigating interoperability between hypertext domains (2000) at Hypertext(Cited By 145) Homepage: http://www.ecs.soton.ac.uk/~lavm/
Expertise: Functional Programming / Binding-Time Analysis;   Grid Computing / Parallel Data;   Wireless Cellular Networks / Mathematical Model;   Multi-Agent Systems / Agent organization;   Parallel Applications / Average-Case Performance Analysis;