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. Halpern (Professor, Cornell University)
H-index: 70; Papers: 402; Citation: 22393  
Homepage: http://www.cs.cornell.edu/home/halpern/
Expertise: Wireless Networks / Algorithmic Complexity   Default Logic / Description Logics   Logic Programs / Algebraic Semantics   Learning Search Control Rules / Explanation-based Approach   Dynamic Networks / Extended Abstract   Bayesian Networks  
2 M. Vardi (Karen Ostrum George Professor and Director, Computational Engineering, the Computer and Information Technology Institute)
H-index: 70; Papers: 428; Citation: 15900  
Homepage: http://www.cs.rice.edu/~vardi/
Expertise: Communication Complexity / Lower Bounds   Model Checking / Hybrid Systems   Default Logic / Description Logics   Finite Languages / Database Queries   Constraint Programming / Combinatorial Search Problems   Logic Programs / Algebraic Semantics  
3 Amir Pnueli (Professor, Faculty of Mathematics and Computer Science The Weizmann Institute of Science)
H-index: 68; Papers: 260; Citation: 21585  
Homepage: http://www.wisdom.weizmann.ac.il/~amir/
Expertise: Communication Complexity / Lower Bounds   Model Checking / Hybrid Systems   Logic Programs / Algebraic Semantics  
4 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  
5 Nancy A. Lynch (Professor, Massachusetts Institute of Technology.)
H-index: 60; Papers: 271; Citation: 19510  
Homepage: http://people.csail.mit.edu/lynch
Expertise: Communication Complexity / Lower Bounds   Model Checking / Hybrid Systems   Optimal control   Finite Languages / Database Queries   Logic Programs / Algebraic Semantics   Dynamic Networks / Extended Abstract  
6 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  
7 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  
8 K. G. Larsen (Professor, Department of Computer Science at Aalborg University)
H-index: 53; Papers: 212; Citation: 11299  
Homepage: http://www.cs.aau.dk/~kgl
Expertise: Model Checking / Hybrid Systems   Logic Programs / Algebraic Semantics  
9 Zohar Manna (Professor, Computer Science Stanford University,)
H-index: 52; Papers: 176; Citation: 9035  
Homepage: http://theory.stanford.edu/~zm/
Expertise: Model Checking / Hybrid Systems   Finite Languages / Database Queries   Theorem Proving / General-Purpose Automated Reasoning   Logic Programs / Algebraic Semantics  
10 David Harel (The William Sussman Professorial Chair, Dept. of Computer Science and Applied Mathematics The Weizmann Institute of Science)
H-index: 51; Papers: 213; Citation: 22699  
Homepage: http://www.wisdom.weizmann.ac.il/~harel/
Expertise: Communication Complexity / Lower Bounds   Model Checking / Hybrid Systems   Automata Theory / Slender Languages   Finite Languages / Database Queries   Logic Programs / Algebraic Semantics   Visual Language  
11 Luca Trevisan (Professor, Stanford University)
H-index: 51; Papers: 157; Citation: 5621  
Homepage: http://cs.stanford.edu/people/trevisan/
Expertise: Communication Complexity / Lower Bounds   Approximation Algorithms / Perfect Graphs   Logic Programs / Algebraic Semantics  
12 Matthew Hennessy (Professor, Computer Science Department Trinity College Dublin)
H-index: 48; Papers: 141; Citation: 10853  
Homepage: http://www.scss.tcd.ie/Matthew.Hennessy/
Expertise: Logic Programs / Algebraic Semantics  
13 Ugo Montanari (Professor, Dipartimento di Informatica Università di Pisa)
H-index: 46; Papers: 304; Citation: 10830  
Homepage: http://www.di.unipi.it/~ugo/
Expertise: Logic Programs   Constraint Programming / Combinatorial Search Problems   Logic Programs / Algebraic Semantics  
14 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  
15 D. Kozen (Professor, Cornell University)
H-index: 42; Papers: 121; Citation: 10720  
Homepage: http://www.cs.cornell.edu/~kozen/
Expertise: Communication Complexity / Lower Bounds   Logic Programs / Algebraic Semantics  
16 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  
17 Davide Sangiorgi (Professor, Department of Computer Science University of Bologna)
H-index: 38; Papers: 110; Citation: 5930  
Homepage: http://www.cs.unibo.it/~sangio/
Expertise: Logic Programs / Algebraic Semantics  
18 L. Libkin (Professor, Department of Computer Science University of Toronto)
H-index: 38; Papers: 157; Citation: 5164  
Homepage: http://www.cs.toronto.edu/~libkin/
Expertise: Finite Languages / Database Queries   Database Systems   Logic Programs / Algebraic Semantics  
19 Yuri Gurevich (Principal Researcher, Microsoft Research)
H-index: 38; Papers: 186; Citation: 4973  
Homepage: http://research.microsoft.com/~gurevich/
Expertise: Communication Complexity / Lower Bounds   Model Checking / Hybrid Systems   Finite Languages / Database Queries   Logic Programs / Algebraic Semantics   Infinitary Logic / Recursive Models  
20 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  
21 H. Ehrig (Professor , Technische Universität Berlin Institut für Softwaretechnik und Theoretische Informatik )
H-index: 37; Papers: 317; Citation: 7533  
Homepage: http://www.cs.tu-berlin.de/~ehrig
Expertise: Automata Theory / Slender Languages   Logic Programs / Algebraic Semantics   Visual Language   Petri Nets / Formal Specifications  
22 J. Goguen (Professor and Director, Dept. of Computer Science & Engineering Meaning and Computation Lab)
H-index: 37; Papers: 117; Citation: 7221  
Homepage: http://www-cse.ucsd.edu/users/goguen
Expertise: Finite Languages / Database Queries   Theorem Proving / General-Purpose Automated Reasoning   Logic Programs / Algebraic Semantics  
23 O. Kupferman (School of Computer Science and Engineering Hebrew University)
H-index: 37; Papers: 144; Citation: 5863  
Homepage: http://www.cs.huji.ac.il/~ornak/
Expertise: Communication Complexity / Lower Bounds   Model Checking / Hybrid Systems   Logic Programs / Algebraic Semantics  
24 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  
25 M. Z. Kwiatkowska (Professor, Computing Systems and Fellow of Trinity College, University of Oxford )
H-index: 37; Papers: 136; Citation: 4989  
Homepage: http://web.comlab.ox.ac.uk/Marta.Kwiatkowska/
Expertise: Model Checking / Hybrid Systems   Logic Programs / Algebraic Semantics  
26 Robin Milner
H-index: 36; Papers: 100; Citation: 18979  
Homepage: http://www.fairdene.com/picalculus/robinmilner.html
Expertise: Logic Programs / Algebraic Semantics   Computer / Systems  
27 G. D. Plotkin (Professor, Laboratory for Foundations of Computer Science University of Edinburgh)
H-index: 36; Papers: 109; Citation: 10836  
Homepage: http://homepages.inf.ed.ac.uk/gdp/
Expertise: Logic Programs / Algebraic Semantics  
28 N. Dershowitz ( School of Computer Science Tel Aviv University )
H-index: 36; Papers: 160; Citation: 6334  
Homepage: http://www.math.tau.ac.il/~nachumd/
Expertise: Logic Programs   Theorem Proving / General-Purpose Automated Reasoning   Constraint Programming / Combinatorial Search Problems   Logic Programs / Algebraic Semantics  
29 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  
30 P. G. Kolaitis (Professor, Computer Science Department University of California)
H-index: 36; Papers: 139; Citation: 4800  
Homepage: http://www.almaden.ibm.com/cs/people/kolaitis/
Expertise: Communication Complexity / Lower Bounds   Finite Languages / Database Queries   Theorem Proving / General-Purpose Automated Reasoning   Constraint Programming / Combinatorial Search Problems   Logic Programs / Algebraic Semantics   Infinitary Logic / Recursive Models  
31 O. Grumberg (Professor, Israel Institute of Technology Computer Science Department)
H-index: 35; Papers: 127; Citation: 8683  
Homepage: http://www.cs.technion.ac.il/users/orna/
Expertise: Model Checking / Hybrid Systems   Logic Programs / Algebraic Semantics  
32 Bruno Courcelle
H-index: 35; Papers: 153; Citation: 6296  
Homepage: http://www.labri.fr/perso/courcell/ActSci.html
Expertise: Random graph / Independence number   Automata Theory / Slender Languages   Logic Programs / Algebraic Semantics   Infinitary Logic / Recursive Models  
33 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  
34 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  
35 C. A. Hoare (Emeritus Professor, Oxford University Computing Laboratory)
H-index: 34; Papers: 130; Citation: 44058  
Homepage: http://www.fact-index.com/c/c_/c__a__r__hoare.html
Expertise: Parallel Algorithm / Optimal Edge Search   Error function / Runge-Kutta integration   Model Checking / Hybrid Systems   Programming Language / Multiprogramming System   Logic Programs / Algebraic Semantics   Computer / Systems  
36 J. Sifakis (CNRS Research Director , VERIMAG laboratory)
H-index: 34; Papers: 142; Citation: 7650  
Homepage: http://www-verimag.imag.fr/~sifakis/
Expertise: Model Checking / Hybrid Systems   Real-Time Systems   Logic Programs / Algebraic Semantics   Petri Nets / Formal Specifications  
37 R. De Nicola (professor, Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze)
H-index: 34; Papers: 132; Citation: 6788  
Homepage: http://www.dsi.unifi.it/~denicola/
Expertise: Model Checking / Hybrid Systems   Logic Programs / Algebraic Semantics  
38 D. Peled (Professor, Department of Computer Science Bar Ilan University)
H-index: 34; Papers: 140; Citation: 4744  
Homepage: http://www.dcs.warwick.ac.uk/~doron/
Expertise: Model Checking / Hybrid Systems   Automata Theory / Slender Languages   Logic Programs / Algebraic Semantics  
39 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  
40 A. Bouajjani (Professor, University of Paris 7 Modeling and Verification group LIAFA laboratory)
H-index: 34; Papers: 107; Citation: 4021  
Homepage: http://www.liafa.jussieu.fr/~abou/
Expertise: Model Checking / Hybrid Systems   Logic Programs / Algebraic Semantics  
41 Gethin Norman (Lecturer, University of Glasgow)
H-index: 34; Papers: 73; Citation: 3858  
Homepage: http://www.dcs.gla.ac.uk/people/personal/gethin/
Expertise: Model Checking / Hybrid Systems   Logic Programs / Algebraic Semantics   Security Views / New Denial  
42 Frits Vaandrager (Head, Informatics for Technical Applications Group Institute for Computing and Information Sciences Radboud University Nijmegen )
H-index: 33; Papers: 80; Citation: 5405  
Homepage: http://www.cs.ru.nl/~fvaan/
Expertise: Model Checking / Hybrid Systems   Logic Programs / Algebraic Semantics  
43 Mark Jerrum (School of Informatics University of Edinburgh )
H-index: 33; Papers: 103; Citation: 5208  
Homepage: http://homepages.inf.ed.ac.uk/mrj/
Expertise: Communication Complexity / Lower Bounds   Logic Programs / Algebraic Semantics  
44 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  
45 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  
46 Tobias Nipkow (Professor, Institut f??r Informatik Technische Universit?t M??nchen )
H-index: 33; Papers: 104; Citation: 4585  
Homepage: http://www4.in.tum.de/~nipkow/
Expertise: Model Checking / Hybrid Systems   Theorem Proving / General-Purpose Automated Reasoning   Logic Programs / Algebraic Semantics   Functional Programming / Binding-Time Analysis  
47 P. Lincoln (Director, SRI's Computer Science Laboratory)
H-index: 33; Papers: 94; Citation: 4310  
Homepage: http://www.csl.sri.com/users/lincoln/
Expertise: Model Checking / Hybrid Systems   Object Recognition / Two-View Motion Estimation   Theorem Proving / General-Purpose Automated Reasoning   Logic Programs / Algebraic Semantics   Security Views / New Denial  
48 J. Palsberg (Professor, UCLA Computer Science Department UCLA compilers group, UCLA software systems research)
H-index: 33; Papers: 137; Citation: 4087  
Homepage: http://www.cs.ucla.edu/~palsberg/
Expertise: Software Engineering / Design Patterns Frameworks   Logic Programs / Algebraic Semantics   Functional Programming / Binding-Time Analysis  
49 Helmut Seidl (professor, Institut für Informatik, I2 Technische Universität München )
H-index: 33; Papers: 134; Citation: 2310  
Homepage: http://www2.in.tum.de/~seidl/
Expertise: Automata Theory / Slender Languages   Theorem Proving / General-Purpose Automated Reasoning   Logic Programs / Algebraic Semantics   Functional Programming / Binding-Time Analysis  
50 Pierre Wolper (Professor, Université de Liege)
H-index: 32; Papers: 79; Citation: 6929  
Homepage: http://www.montefiore.ulg.ac.be/~pw/
Expertise: Model Checking / Hybrid Systems   Logic Programs / Algebraic Semantics   Dynamic Networks / Extended Abstract  
Give us feedbacks: feedback@arnetminer.org.
1234567891011...