Experts ranked by H-index.

1 Mihalis Yannakakis ( Professor of Computer Science, Computer Systems Laboratory Dept. of Electrical Engineering School of Engineering Stanford University)
	H-index: 75; Papers: 197; Citation: 18747   highest-cited paper: Optimization, Approximation, and Complexity Classes (1991) at J. Comput. Syst. Sci.(Cited By 1284) Homepage: http://forum.stanford.edu/research/yannakakis.html
Expertise: Communication Complexity / Lower Bounds;   Finite Languages / Database Queries;   Model Checking / Hybrid Systems;   Approximation Algorithms / Perfect Graphs;

2 Serge Abiteboul (Projet Gemo (ex Verso), INRIA-Futurs et LRI-Univ. Paris 11 Parc Club Orsay-University )
	H-index: 72; Papers: 234; Citation: 28807   highest-cited paper: Foundations of Databases (1995) (Cited By 2851) Homepage: http://www-rocq.inria.fr/~abitebou/
Expertise: Database Systems;   Finite Languages / Database Queries;   XML Data;

3 Nancy A. Lynch (Distributed Algorithms (The Morgan Kaufmann Series in Data Management Systems) Distributed Algorithms (The Morgan Kaufmann Series in Data Management Systems) by Nancy A. Lynch (Hardcover - April 1997))
	H-index: 65; Papers: 251; Citation: 19652   highest-cited paper: Impossibility of Distributed Consensus with One Faulty Process (1985) at J. ACM(Cited By 2866) Homepage: http://people.csail.mit.edu/lynch
Expertise: Dynamic Networks / Extended Abstract;   Finite Languages / Database Queries;   Model Checking / Hybrid Systems;   Communication Complexity / Lower Bounds;   Logic Programs / Algebraic Semantics;   Optimal control;

4 Raghu Ramakrishnan (Professor of Computer Sciences)
	H-index: 62; Papers: 209; Citation: 14226   highest-cited paper: BIRCH: An Efficient Data Clustering Method for Very Large Databases (1996) at SIGMOD Conference(Cited By 2166) Homepage: http://www.cs.wisc.edu/~raghu/
Expertise: XML Data;   Logic Programs;   Database Systems;   Finite Languages / Database Queries;   Data mining;

5 Zohar Manna (Professor of Computer Science, Computer Science Stanford University,)
	H-index: 59; Papers: 168; Citation: 11664   highest-cited paper: Second-Order Mathematical Theory of Computation (1970) at STOC(Cited By 1120) Homepage: http://theory.stanford.edu/~zm/
Expertise: Model Checking / Hybrid Systems;   Logic Programs / Algebraic Semantics;   Theorem Proving / General-Purpose Automated Reasoning;   Finite Languages / Database Queries;

7 David Harel (The William Sussman Professorial Chair, Dept. of Computer Science and Applied Mathematics The Weizmann Institute of Science)
	H-index: 54; Papers: 187; Citation: 17021   highest-cited paper: Dynamic logic. (2001) at SIGACT News(Cited By 1580) Homepage: http://www.wisdom.weizmann.ac.il/~harel/
Expertise: Model Checking / Hybrid Systems;   Visual Language;   Finite Languages / Database Queries;   Logic Programs / Algebraic Semantics;   Communication Complexity / Lower Bounds;   Automata Theory / Slender Languages;

8 Azriel Rosenfeld (Professor, Maryland in College Park)
	H-index: 53; Papers: 302; Citation: 14775   highest-cited paper: Face recognition: A literature survey (2003) at ACM Comput. Surv.(Cited By 2346) Homepage: http://www.cfar.umd.edu/~ar/
Expertise: Face recognition / Image analysis;   Image analysis / Computer vision;   Finite Languages / Database Queries;   Object Recognition / Two-View Motion Estimation;   Fuzzy approach / Random set;

9 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;

11 Raymond Reiter (Professor of computer science, Department of Computer Science and Institute for Advanced Computer Studies University of Maryland)
	H-index: 45; Papers: 71; Citation: 13390   highest-cited paper: A Logic for Default Reasoning (1980) at Artif. Intell.(Cited By 39) Homepage: http://prism.cs.umd.edu/papers/Min02:reiter_memoriam/Min02:reiter_memoriam.html
Expertise: Default Logic / Description Logics;   Learning Search Control Rules / Explanation-based Approach;   Database Systems;   Finite Languages / Database Queries;

12 David Maier (Professor, Environmental & Biomolecular Systems, OGI School of Science & Engineering, OHSU)
	H-index: 44; Papers: 188; Citation: 13158   highest-cited paper: The Theory of Relational Databases (1983) (Cited By 1507) Homepage: http://web.cecs.pdx.edu/~maier/
Expertise: Database Systems;   XML Data;   Finite Languages / Database Queries;

13 Catriel Beeri
	H-index: 39; Papers: 101; Citation: 6986   highest-cited paper: On the Power of Magic (1991) at J. Log. Program.(Cited By 656) Homepage: http://www.cs.huji.ac.il/~beeri/
Expertise: Finite Languages / Database Queries;   Database Systems;   XML Data;   Web Data / Database design;

14 Ke Wang (Professor, Department of Computing Science Simon Fraser University)
	H-index: 38; Papers: 120; Citation: 4263   highest-cited paper: Anomalous Payload-Based Network Intrusion Detection (2004) at RAID(Cited By 347) Homepage: http://www.cs.sfu.ca/~wangk/
Expertise: Data mining;   XML Data;   Finite Languages / Database Queries;   Parallel Algorithm / Optimal Edge Search;

15 John E. Hopcroft (IBM Professor , Computer Science Department Cornell University)
	H-index: 37; Papers: 90; Citation: 39016   highest-cited paper: Introduction to Automata Theory, Languages and Computation (1979) (Cited By 3) Homepage: http://www.cs.cornell.edu/jeh/
Expertise: Communication Complexity / Lower Bounds;   Finite Languages / Database Queries;   Automata Theory / Slender Languages;

16 Yuri Gurevich (Yuri GurevichPrincipal Researcher, Microsoft Research;)
	H-index: 37; Papers: 174; Citation: 5895   highest-cited paper: The Classical Decision Problem (1997) (Cited By 528) Homepage: http://research.microsoft.com/~gurevich/
Expertise: Logic Programs / Algebraic Semantics;   Infinitary Logic / Recursive Models;   Finite Languages / Database Queries;   Communication Complexity / Lower Bounds;   Model Checking / Hybrid Systems;

17 Joost Engelfriet (Member of the Group Theoretical Computer Science , Group Theoretical Computer Science )
	H-index: 37; Papers: 140; Citation: 4348   highest-cited paper: Branching Processes of Petri Nets (1991) at Acta Inf.(Cited By 261) Homepage: http://www.liacs.nl/~engelfri/
Expertise: Automata Theory / Slender Languages;   Finite Languages / Database Queries;

18 Pierre Wolper ( Professor of Computer Science, Universit?? de Liege Institut Montefiore )
	H-index: 35; Papers: 73; Citation: 7979   highest-cited paper: Temporal Logic Can Be More Expressive (1983) at Information and Control(Cited By 640) Homepage: http://www.montefiore.ulg.ac.be/~pw/
Expertise: Model Checking / Hybrid Systems;   Logic Programs / Algebraic Semantics;   Finite Languages / Database Queries;

19 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;

20 Richard Hull ( Director , Network Data and Services Research Department Computing Systems Research Department)
	H-index: 34; Papers: 110; Citation: 13224   highest-cited paper: Foundations of Databases (1995) (Cited By 2851) Homepage: http://www-db-out.bell-labs.com/user/hull/
Expertise: Finite Languages / Database Queries;   Database Systems;   XML Data;   Web Service;   Adaptive Mobile Applications / Pervasive Computing Systems;

21 Martin Grohe
	H-index: 33; Papers: 116; Citation: 4197   highest-cited paper: An Isomorphism Between Subexponential and Parameterized Complexity Theory (2007) at SIAM J. Comput.(Cited By 5) Homepage: http://www.informatik.hu-berlin.de/~grohe/
Expertise: Communication Complexity / Lower Bounds;   Logic Programs / Algebraic Semantics;   Finite Languages / Database Queries;   Infinitary Logic / Recursive Models;   Approximation Algorithms / Perfect Graphs;

23 Christoph Koch (Associate Professor, Saarland University Database Group)
	H-index: 33; Papers: 82; Citation: 3532   highest-cited paper: Efficient algorithms for processing XPath queries (2005) at ACM Trans. Database Syst.(Cited By 386) Homepage: http://www.infosys.uni-sb.de/~koch/
Expertise: XML Data;   Finite Languages / Database Queries;

24 Limsoon Wong (Professor and Vice Dean , School of Computing National University of Singapore)
	H-index: 32; Papers: 121; Citation: 4053   highest-cited paper: Accomplishments and challenges in literature data mining for biology (2002) at Bioinformatics(Cited By 260) Homepage: http://www.comp.nus.edu.sg/~wongls/
Expertise: Finite Languages / Database Queries;   Gene Expression Analysis / Data Clustering;   Expression data / Microarray experiment;   Data mining;   Database Systems;   Data Mining / Query Processing;

25 Jianwen Su (Professor, Department of Computer Science University of California )
	H-index: 32; Papers: 120; Citation: 3366   highest-cited paper: Analysis of interacting BPEL web services (2004) at WWW(Cited By 452) Homepage: http://www.cs.ucsb.edu/~su/
Expertise: Finite Languages / Database Queries;   Web Service;   Database Systems;   XML Data;   Automata Theory / Slender Languages;

26 Claus-Peter Schnorr (Professor, Department of Mathematics/Computer Science Johann Wolfgang Goethe-University Frankfurt am Main Germany )
	H-index: 31; Papers: 105; Citation: 6722   highest-cited paper: Efficient Signature Generation by Smart Cards (1991) at J. Cryptology(Cited By 1502) Homepage: http://www.mi.informatik.uni-frankfurt.de/people/schnorr/schnorr.html
Expertise: Communication Complexity / Lower Bounds;   Signature Schemes / Authenticated Key Exchange Secure;   Automata Theory / Slender Languages;   Der Informatik / Zur Bedeutung von Modellen;   Finite Languages / Database Queries;

27 Shimon Even (Chair in Computer Science, Computer Science Department Technion - Israel Institute of Technology )
	H-index: 31; Papers: 79; Citation: 6093   highest-cited paper: A Randomized Protocol for Signing Contracts (1985) at Commun. ACM(Cited By 773) Homepage: http://www.cs.technion.ac.il/~even/
Expertise: Approximation Algorithms / Perfect Graphs;   Communication Complexity / Lower Bounds;   Dynamic Networks / Extended Abstract;   Signature Schemes / Authenticated Key Exchange Secure;   Finite Languages / Database Queries;   Computer / Systems;

29 Shlomo Moran ( Chair in Computer Science)
	H-index: 31; Papers: 123; Citation: 4343   highest-cited paper: Arthur-Merlin Games: A Randomized Proof System, and a Hierarchy of Complexity Classes (1988) at J. Comput. Syst. Sci.(Cited By 449) Homepage: http://www.cs.technion.ac.il/~moran/
Expertise: Dynamic Networks / Extended Abstract;   Communication Complexity / Lower Bounds;   Approximation Algorithms / Perfect Graphs;   Finite Languages / Database Queries;   Automata Theory / Slender Languages;

30 Nathan Goodman (Assistant Professor , Assistant Professor Dept. of Electrical & Computer Engineering The University of Arizona )
	H-index: 30; Papers: 67; Citation: 4568   highest-cited paper: Concurrency Control in Distributed Database Systems (1981) at ACM Comput. Surv.(Cited By 842) Homepage: http://www.ece.arizona.edu/~goodman/
Expertise: Database Systems;   Finite Languages / Database Queries;

31 Yuri Breitbart (Professor of Computer Science , Department of Computer Science Kent State University)
	H-index: 30; Papers: 83; Citation: 3191   highest-cited paper: Overview of multidatabase transaction management (1992) at CASCON(Cited By 299) Homepage: http://www.cs.kent.edu/~yuri/
Expertise: Database Systems;   Finite Languages / Database Queries;   ATM Networks;   Automata Theory / Slender Languages;

32 Frank Neven (Hasselt University )
	H-index: 30; Papers: 69; Citation: 2930   highest-cited paper: On the complexity of XPath containment in the presence of disjunction, DTDs, and variables (2006) at CoRR(Cited By 184) Homepage: http://alpha.uhasselt.be/~fneven/
Expertise: Finite Languages / Database Queries;   XML Data;

33 Wang Chiew Tan (Assistant Professor, Department of Computer Science University of California )
	H-index: 28; Papers: 47; Citation: 4266   highest-cited paper: Why and Where: A Characterization of Data Provenance (2001) at ICDT(Cited By 450) Homepage: http://www.soe.ucsc.edu/~wctan/
Expertise: XML Data;   Finite Languages / Database Queries;

34 Renee J. Miller (Professor, Computer Science and the Bell University Labs Chair of Information Systems at the University of Toronto)
	H-index: 28; Papers: 75; Citation: 3925   highest-cited paper: Data exchange: semantics and query answering (2005) at Theor. Comput. Sci.(Cited By 0) Homepage: http://queens.db.toronto.edu/~miller/
Expertise: XML Data;   Database Systems;   Finite Languages / Database Queries;

35 Derick Wood (Professor, The Hong Kong University of Science and Technology)
	H-index: 27; Papers: 218; Citation: 2665   highest-cited paper: An Optimal Worst Case Algorithm for Reporting Intersections of Rectangles (1980) at IEEE Trans. Computers(Cited By 2) Homepage: http://www.cs.ust.hk/~dwood/
Expertise: Automata Theory / Slender Languages;   Finite Languages / Database Queries;   Approximation Algorithms / Perfect Graphs;

36 Stephane Grumbach (Director PhD advisor Senior research scientist director member, the Sino-French IT Lab University of Paris XI )
	H-index: 27; Papers: 73; Citation: 2327   highest-cited paper: COL: A Logic-Based Language for Complex Objects (1988) at EDBT(Cited By 216) Homepage: http://www-rocq.inria.fr/~grumbach/
Expertise: Finite Languages / Database Queries;   Database Systems;   XML Data;

37 John J. Grefenstette (Professor, Bioinformatics and Computational Biology )
	H-index: 26; Papers: 41; Citation: 4018   highest-cited paper: Genetic Algorithms for the Traveling Salesman Problem (1985) at ICGA(Cited By 490) Homepage: http://binf.gmu.edu/gref/
Expertise: Genetic algorithm / Evolutionary Multi-objective Optimization;   Learning Search Control Rules / Explanation-based Approach;   Finite Languages / Database Queries;

38 Guozhu Dong (Professor , Data Mining Research Lab Dept of Computer Sci & Engr Wright State University )
	H-index: 26; Papers: 100; Citation: 3445   highest-cited paper: Efficient Mining of Emerging Patterns: Discovering Trends and Differences (1999) at KDD(Cited By 509) Homepage: http://www.cs.wright.edu/~gdong/
Expertise: Finite Languages / Database Queries;   Data mining;   Database Systems;   Data Mining / Query Processing;

39 Jan Paredaens (full professor, University of Antwerp Dept. of Math and Computer Science)
	H-index: 26; Papers: 118; Citation: 3002   highest-cited paper: A Graph-Oriented Object Database Model (1990) at PODS(Cited By 246) Homepage: http://www.adrem.ua.ac.be/~pareda/
Expertise: Finite Languages / Database Queries;   Web Data / Database design;   Database Systems;   XML Data;

40 Gottfried Vossen
	H-index: 26; Papers: 144; Citation: 2172   highest-cited paper: Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery (2002) (Cited By 248) Homepage: http://dbms.uni-muenster.de/
Expertise: Database Systems / Programming Languages;   Der Wirtschaftsinformatik / Bedeutung und Ziele von;   Web Data / Database design;   Database Systems;   Der Informatik / Zur Bedeutung von Modellen;   Finite Languages / Database Queries;

41 Joachim Niehren
	H-index: 26; Papers: 73; Citation: 1539   highest-cited paper: The Constraint Language for Lambda Structures (2001) at Journal of Logic, Language and Information(Cited By 153) Homepage: http://www.grappa.univ-lille3.fr/~niehren/
Expertise: Theorem Proving / General-Purpose Automated Reasoning;   Natural Language System / Statistical Machine Translation;   Logic Programs / Algebraic Semantics;   Finite Languages / Database Queries;   Functional Programming / Binding-Time Analysis;   Mechanism design / Learning Stochastic Finite Automata;

42 C. L. Liu (Correspondence Research Fellow)
	H-index: 25; Papers: 94; Citation: 8760   highest-cited paper: Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment (1973) at J. ACM(Cited By 6631) Homepage: http://www.iis.sinica.edu.tw/pages/liucl/eindex.html
Expertise: Power optimization / Synchronous Sequential Circuits;   Finite Languages / Database Queries;

43 Werner Nutt (Reader , School of Mathematical and Computer Sciences Heriot-Watt University )
	H-index: 25; Papers: 74; Citation: 3343   highest-cited paper: The Complexity of Concept Languages (1997) at Inf. Comput.(Cited By 426) Homepage: http://www.macs.hw.ac.uk/~nutt/
Expertise: Theorem Proving / General-Purpose Automated Reasoning;   Default Logic / Description Logics;   Web Data / Database design;   Finite Languages / Database Queries;

44 Ravi Sethi (President of Avaya Labs , Computing and Mathematical Sciences Research Division. Room 2C-560, Bell Laboratories; President of Avaya Labs )
	H-index: 25; Papers: 63; Citation: 3337   highest-cited paper: An Ideal Model for Recursive Polymorphic Types (1986) at Information and Control(Cited By -1) Homepage: http://cm.bell-labs.com/who/ravi/
Expertise: Communication Complexity / Lower Bounds;   Error function / Runge-Kutta integration;   Functional Programming / Binding-Time Analysis;   Finite Languages / Database Queries;   Programming Language / Multiprogramming System;

45 Jerome Simeon (Research Staff Member, Watson Research Center (Hawthorne))
	H-index: 25; Papers: 56; Citation: 2376   highest-cited paper: From XML Schema to Relations: A Cost-Based Approach to XML Storage (2002) at ICDE(Cited By 311) Homepage: http://domino.research.ibm.com/comm/research_people.nsf/pages/jsimeon.index.html
Expertise: XML Data;   Database Systems;   Finite Languages / Database Queries;

46 Michael Benedikt (Distinguished Member , Network Data and Services Research Department,Bell Laboratories)
	H-index: 25; Papers: 59; Citation: 2197   highest-cited paper: Relational Expressive Power of Constraint Query Languages (1998) at J. ACM(Cited By 171) Homepage: http://www.ar.utexas.edu/Faculty/benediktf.html
Expertise: Finite Languages / Database Queries;   Logic Programs / Algebraic Semantics;   XML Data;   Infinitary Logic / Recursive Models;   Functional Programming / Binding-Time Analysis;

47 Ziv Bar-Yossef (Senior Lecturer, Department of Electrical Engineering Technion - Israel Institute of Technology)
	H-index: 25; Papers: 42; Citation: 1932   highest-cited paper: Template detection via data mining and its applications (2002) at WWW(Cited By 174) Homepage: http://www.ee.technion.ac.il/people/zivby/
Expertise: Communication Complexity / Lower Bounds;   Web Mining;   Finite Languages / Database Queries;

48 Sally A. Goldman (Associate Chair , Department of Computer Science and Engineering Washington University )
	H-index: 25; Papers: 66; Citation: 1835   highest-cited paper: Enhancing Supervised Learning with Unlabeled Data (2000) at ICML(Cited By 248) Homepage: http://www.cse.wustl.edu/~sg/
Expertise: Machine Learning;   Finite Languages / Database Queries;

49 Andrzej Ehrenfeucht ( Professor, Mathematics and technology New Mexico State University)
	H-index: 24; Papers: 152; Citation: 3761   highest-cited paper: Learnability and the Vapnik-Chervonenkis dimension (1989) at J. ACM(Cited By 1247) Homepage: http://www.cs.colorado.edu/~andrzej/
Expertise: Automata Theory / Slender Languages;   Finite Languages / Database Queries;   Infinitary Logic / Recursive Models;   Communication Complexity / Lower Bounds;

50 Francesco Scarcello (Associate Professor, Universita' degli Studi della Calabria Dipartimento di Elettronica Informatica e Sistemistica )
	H-index: 24; Papers: 72; Citation: 3733   highest-cited paper: The DLV system for knowledge representation and reasoning (2006) at ACM Trans. Comput. Log.(Cited By 451) Homepage: http://wwwinfo.deis.unical.it/~frank/
Expertise: Logic Programs;   Constraint Programming / Combinatorial Search Problems;   Finite Languages / Database Queries;   Default Logic / Description Logics;