Experts ranked by Total Citation Number.

The number of citations of all publications by an expert. 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

4

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;

5

Amir Pnueli

(Faculty of Mathematics and Computer Science, Faculty of Mathematics and Computer Science The Weizmann Institute of Science)

H-index: 68; Papers: 247; Citation: 17792
highest-cited paper: The Temporal Logic of Programs (1977) at FOCS(Cited By 2529)
Homepage: http://www.wisdom.weizmann.ac.il/~amir/

Expertise: Model Checking / Hybrid Systems; Logic Programs / Algebraic Semantics; Communication Complexity / Lower Bounds;

6

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;

7

Robin Milner

(appointed Professor of Computer Science , Computer Science Cambridge UK )

H-index: 39; Papers: 98; Citation: 15273
highest-cited paper: A Theory of Type Polymorphism in Programming (1978) at J. Comput. Syst. Sci.(Cited By 2053)
Homepage: http://www.fairdene.com/picalculus/robinmilner.html

Expertise: Logic Programs / Algebraic Semantics; Computer / Systems;

14

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;

16

Jan Willem Klop

(Professor of Applied Logic , Department of Theoretical Computer Science Faculty of Sciences )

H-index: 31; Papers: 79; Citation: 7499
highest-cited paper: Sequentiality in Orthogonal Term Rewriting Systems (1991) at J. Symb. Comput.(Cited By 1179)
Homepage: http://www.cs.vu.nl/~jwk/

Expertise: Logic Programs / Algebraic Semantics; Theorem Proving / General-Purpose Automated Reasoning;

17

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;

18

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;

24

Luca Trevisan

(associate professor , University of California at Berkeley Computer Science )

H-index: 48; Papers: 143; Citation: 5388
highest-cited paper: Pseudorandom Generators without the XOR Lemma (2001) at J. Comput. Syst. Sci.(Cited By 0)
Homepage: http://www.cs.berkeley.edu/~luca/

Expertise: Communication Complexity / Lower Bounds; Approximation Algorithms / Perfect Graphs; Logic Programs / Algebraic Semantics;

25

Mark Jerrum

(School of Informatics University of Edinburgh )

H-index: 34; Papers: 89; Citation: 5043
highest-cited paper: Approximating the Permanent (1989) at SIAM J. Comput.(Cited By 434)
Homepage: http://www.dcs.ed.ac.uk/home/mrj/

Expertise: Communication Complexity / Lower Bounds; Logic Programs / Algebraic Semantics;

26

Harry R. Lewis

(professor, Division of Engineering and Applied Sciences Harvard University)

H-index: 16; Papers: 30; Citation: 4796
highest-cited paper: Elements of the Theory of Computation (1981) (Cited By 1367)
Homepage: http://www.eecs.harvard.edu/~lewis/

Expertise: Finite Languages / Database Queries; Infinitary Logic / Recursive Models; Communication Complexity / Lower Bounds; Logic Programs / Algebraic Semantics;

30

Mario Bravetti

(Assistant Professor, Universita` di Bologna Corso di Laurea in Scienze dell'Informazione sede di Cesena )

H-index: 18; Papers: 56; Citation: 4324
highest-cited paper: A ground-complete axiomatisation of finite-state processes in a generic process algebra (2008) at Mathematical Structures in Computer Science(Cited By 1174)
Homepage: http://www.cs.unibo.it/~bravetti/

Expertise: Logic Programs / Algebraic Semantics;

31

Davide Sangiorgi

(Professor , Department of Computer Science University of Bologna)

H-index: 30; Papers: 92; Citation: 4284
highest-cited paper: Typing and Subtyping for Mobile Processes (1996) at Mathematical Structures in Computer Science(Cited By 467)
Homepage: http://www.cs.unibo.it/~sangio/

Expertise: Logic Programs / Algebraic Semantics;

36

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;

38

Furio Honsell

(professor , Foundations of Computer Science Department of Mathematics and Computer Science University of Udine)

H-index: 21; Papers: 74; Citation: 3511
highest-cited paper: A Framework for Defining Logics (1987) at LICS(Cited By 1131)
Homepage: http://www.dimi.uniud.it/~honsell/

Expertise: Logic Programs / Algebraic Semantics;

39

Ralph-Johan Back

(Professor of Computer Science, Computer Science Abo Akademi University)

H-index: 26; Papers: 76; Citation: 3454
highest-cited paper: Decentralization of Process Nets with Centralized Control (1989) at Distributed Computing(Cited By 0)
Homepage: http://www.abo.fi/~backrj/

Expertise: Model Checking / Hybrid Systems; Logic Programs / Algebraic Semantics;

40

Dale Miller

(Director of Research , Research at INRIA-Futurs Team leader of Parsifal Laboratoire d'Informatique ??cole Polytechnique )

H-index: 22; Papers: 40; Citation: 3421
highest-cited paper: Uniform Proofs as a Foundation for Logic Programming (1991) at Ann. Pure Appl. Logic(Cited By 591)
Homepage: http://www.lix.polytechnique.fr/Labo/Dale.Miller/

Expertise: Logic Programs; Logic Programs / Algebraic Semantics; Theorem Proving / General-Purpose Automated Reasoning; Functional Programming / Binding-Time Analysis;

41

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;

47

Insup Lee

(Professor, Department of Computer and Information Science School of Engineering and Applied Science University of Pennsylvania )

H-index: 30; Papers: 148; Citation: 3073
highest-cited paper: Modular Specification of Hybrid Systems in CHARON (2000) at HSCC(Cited By 173)
Homepage: http://www.cis.upenn.edu/~lee/home/home.html

Expertise: Real-Time Systems; Model Checking / Hybrid Systems; Computing Systems / Fault-Tolerant Real-Time; Logic Programs / Algebraic Semantics; Parallel Algorithms / Wormhole Networks;

48

Thierry Coquand

(Professor, Computing Science Department G?teborg University)

H-index: 21; Papers: 85; Citation: 3010
highest-cited paper: The Calculus of Constructions (1988) at Inf. Comput.(Cited By 1048)
Homepage: http://www.cs.chalmers.se/~coquand/

Expertise: Logic Programs / Algebraic Semantics; Infinitary Logic / Recursive Models;

49

Jean-Jacques Levy

(Directeur, Lambda Calculus Term Rewriting Systems Concurrency Mobility Programming languages)

H-index: 11; Papers: 16; Citation: 2998
highest-cited paper: Explicit Substitutions (1991) at J. Funct. Program.(Cited By 726)
Homepage: http://pauillac.inria.fr/~levy/

Expertise: Logic Programs / Algebraic Semantics; Functional Programming / Binding-Time Analysis;

Experts ranked by Total Citation Number.

Which ranks do you think most useful