Experts ranked by Longevity.

1 J. Barkley Rosser (Professor, James Madison University Department of Economics)
	Longevity: 67; H-index: 7; Papers: 18; Citation: 153   highest-cited paper: Non-Standard Models for Formal Logics (1950) at J. Symb. Log.(Cited By 39) Homepage: http://cob.jmu.edu/rosserjb
Expertise: Infinitary Logic / Recursive Models;

2 Hao Wang
	Longevity: 63; H-index: 8; Papers: 39; Citation: 748   highest-cited paper: Proving Theorems by Pattern Recognition I (1960) at Commun. ACM(Cited By 407) Homepage:
Expertise: Infinitary Logic / Recursive Models;   Gene Expression Analysis / Data Clustering;   Wireless Networks / Cellular Systems;

3 C. West Churchman (Peace and Conflict Studies, University of California, Berkeley)
	Longevity: 63; H-index: 1; Papers: 2; Citation: 6   highest-cited paper: On Finite and Infinite Modal Systems (1938) at J. Symb. Log.(Cited By -1) Homepage: http://nature.berkeley.edu/~schultz/people/churchman_cv.html
Expertise: Infinitary Logic / Recursive Models;

4 Alfred Tarski
	Longevity: 60; H-index: 5; Papers: 5; Citation: 949   highest-cited paper: On the Calculus of Relations (1941) at J. Symb. Log.(Cited By 628) Homepage: http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Tarski.html
Expertise: Infinitary Logic / Recursive Models;

5 David L. Nelson
	Longevity: 60; H-index: 5; Papers: 7; Citation: 441   highest-cited paper: Constructible Falsity (1949) at J. Symb. Log.(Cited By 201) Homepage:
Expertise: Information Systems Design / Software Engineering;   Mechanism design / Learning Stochastic Finite Automata;   Gene Expression Analysis / Data Clustering;

6 R. M. Martin (Music by Genre, Artist, or Record Label | Books by Genre, or Author)
	Longevity: 60; H-index: 3; Papers: 9; Citation: 30   highest-cited paper: A Homogeneous System for Formal Logic (1943) at J. Symb. Log.(Cited By 13) Homepage: http://www.bestprices.com/cgi-bin/vlink/bookauthors/books-by-author-Nicholas-R.M.-Martin.html
Expertise: Infinitary Logic / Recursive Models;

7 Frank Harary (Distinguished Professor, Computer Science Department New Mexico State University)
	Longevity: 57; H-index: 13; Papers: 49; Citation: 1128   highest-cited paper: Unsolved Problems on Distance in Graphs (2002) at Electronic Notes in Discrete Mathematics(Cited By 655) Homepage: http://www.cs.columbia.edu/~sanders/graphtheory/harary.html
Expertise: Random graph / Independence number;

8 Marian Stewart Bartlett (Associate Professor, Institute for Neural Computation University of California)
	Longevity: 56; H-index: 14; Papers: 24; Citation: 1417   highest-cited paper: Classifying Facial Actions (1999) at IEEE Trans. Pattern Anal. Mach. Intell.(Cited By 479) Homepage: http://www.snl.salk.edu/~marni/
Expertise: Channel state information / Universal coding;   E-learning Support System / Neural Networks;   Fuzzy Decision / Realistic Modeling;   Knowledge-based data analysis / Medical Costs;   Gene Expression Analysis / Data Clustering;

9 W. C. Ogden
	Longevity: 56; H-index: 9; Papers: 16; Citation: 698   highest-cited paper: Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem (1957) at J. Symb. Log.(Cited By 227) Homepage:
Expertise:

10 Martin Davis
	Longevity: 56; H-index: 6; Papers: 16; Citation: 225   highest-cited paper: The Mathematics of Non-Monotonic Reasoning (1980) at Artif. Intell.(Cited By 95) Homepage:
Expertise: Infinitary Logic / Recursive Models;

11 Ernst Specker
	Longevity: 56; H-index: 6; Papers: 10; Citation: 145   highest-cited paper: Complexity of Partial Satisfaction (1981) at J. ACM(Cited By 54) Homepage: http://genealogy.math.ndsu.nodak.edu/html/id.phtml?id=22489
Expertise:

12 Zoltan Dienes
	Longevity: 55; H-index: 6; Papers: 7; Citation: 340   highest-cited paper: Connectionist and Memory-Array Models of Artificial Grammar Learning (1992) at Cognitive Science(Cited By 0)
Expertise: Wireless Networks / Cognitive Tasks;

13 E. Colin Cherry
	Longevity: 55; H-index: 1; Papers: 3; Citation: 61   highest-cited paper: A history of the theory of information (1953) at IEEE Transactions on Information Theory(Cited By 57)
Expertise: Adaptive Mobile Applications / Pervasive Computing Systems;

14 Alan Rose
	Longevity: 55; H-index: 4; Papers: 9; Citation: 55   highest-cited paper: Using qualitative studies to improve the usability of an EMR (2005) at Journal of Biomedical Informatics(Cited By 42) Homepage: http://www.alanrosemusic.com/
Expertise: Infinitary Logic / Recursive Models;   Knowledge-based data analysis / Medical Costs;

15 Noam Chomsky (Institute Professor & Professor of Linguistics (Emeritus), Institute Professor & Professor of Linguistics (Emeritus))
	Longevity: 54; H-index: 4; Papers: 5; Citation: 1182   highest-cited paper: On Certain Formal Properties of Grammars (1959) at Information and Control(Cited By 878) Homepage: http://web.mit.edu/linguistics/people/faculty/chomsky/index.html
Expertise: Finite Languages / Database Queries;

16 C. C. Gotlieb
	Longevity: 54; H-index: 15; Papers: 35; Citation: 1050   highest-cited paper: An Efficient Algorithm for Graph Isomorphism (1970) at J. ACM(Cited By 240) Homepage:
Expertise: Error function / Runge-Kutta integration;   Computer / Systems;   Database Systems;

17 Patrick Suppes (Emeritus Professor of Philosophy, Department of Philosophy, Building 90 Stanford University)
	Longevity: 54; H-index: 9; Papers: 24; Citation: 525   highest-cited paper: Foundational Aspects of Theories of Measurement (1958) at J. Symb. Log.(Cited By 409) Homepage: http://www-philosophy.stanford.edu/fss/ps.html
Expertise:

18 Robert Kelly
	Longevity: 54; H-index: 2; Papers: 6; Citation: 7   highest-cited paper: Speaking Autonomous Intelligent Devices (2002) at AICS(Cited By 4) Homepage: http://inside.bard.edu/~kelly/
Expertise: Error function / Runge-Kutta integration;   E-learning Support System / Neural Networks;   Fuzzy Decision / Realistic Modeling;   Gene Expression Analysis / Data Clustering;

19 Robert McNaughton (Emeritus Professor, Harvard University)
	Longevity: 53; H-index: 14; Papers: 31; Citation: 1405   highest-cited paper: Testing and Generating Infinite Sequences by a Finite Automaton (1966) at Information and Control(Cited By 410) Homepage: http://www.cs.rpi.edu/people/mcnaughton.html
Expertise: Automata Theory / Slender Languages;   Communication Complexity / Lower Bounds;

20 Walter F. Bauer
	Longevity: 53; H-index: 3; Papers: 11; Citation: 20   highest-cited paper: ACM Publication Policies and Plans (1959) at J. ACM(Cited By 7)
Expertise: Fuzzy approach / Random set;   Der Informatik / Zur Bedeutung von Modellen;

21 Andrzej Ehrenfeucht ( Professor, Mathematics and technology New Mexico State University)
	Longevity: 52; 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;

22 Solomon Feferman (Professor , Department of Mathematics Stanford University )
	Longevity: 52; H-index: 12; Papers: 29; Citation: 1086   highest-cited paper: Systems of Predicative Analysis, II: Representations of Ordinals (1968) at J. Symb. Log.(Cited By 216) Homepage: http://math.stanford.edu/~feferman/
Expertise:

23 Theodore J. Williams (100 North Broadway, Suite 2100 St. Louis, MO 6310)
	Longevity: 52; H-index: 4; Papers: 9; Citation: 506   highest-cited paper: The Purdue Enterprise Reference Architecture (1993) at DIISM(Cited By 318) Homepage: http://www.af.mil/bios/bio.asp?bioID=7603
Expertise:

24 Benjamin F. Logan
	Longevity: 52; H-index: 2; Papers: 3; Citation: 45   highest-cited paper: Single-Bit Oversampled A/D Conversion With Exponential Accuracy in the Bit Rate (2007) at IEEE Transactions on Information Theory(Cited By 39)
Expertise: Channel state information / Universal coding;   Error function / Runge-Kutta integration;

25 T. P. Gorman
	Longevity: 52; H-index: 1; Papers: 2; Citation: 1   highest-cited paper: Automatic Coding for the IBM 701 (1955) at J. ACM(Cited By 1)
Expertise: Neural Networks / Biometric Hand-Geometry Recognition;

26 Vannevar Bush
	Longevity: 51; H-index: 2; Papers: 2; Citation: 8072   highest-cited paper: As we may think (Reprint) (1996) at Interactions(Cited By 4056)
Expertise: User Interface Design / Cultural Diversity;

27 Michael O. Rabin (Professor , Harvard School of Engineering and Applied Sciences)
	Longevity: 51; H-index: 25; Papers: 54; Citation: 4136   highest-cited paper: Efficient dispersal of information for security, load balancing, and fault tolerance (1989) at J. ACM(Cited By 1011) Homepage: http://www.researchmatters.harvard.edu/people.php?people_id=351
Expertise:

28 Jack B. Dennis (Professor, Computer Science and Engineering)
	Longevity: 51; H-index: 18; Papers: 36; Citation: 2971   highest-cited paper: Programming Semantics for Multiprogrammed Computations (Reprint) (1983) at Commun. ACM(Cited By 663) Homepage: http://csg.csail.mit.edu/Users/dennis/
Expertise:

29 Dana S. Scott (Professor, Carnegie Mellon University)
	Longevity: 51; H-index: 14; Papers: 33; Citation: 2797   highest-cited paper: Data Types as Lattices (1976) at SIAM J. Comput.(Cited By 818) Homepage: http://andrej.com/mathematicians/S/Scott_Dana.html
Expertise: Logic Programs / Algebraic Semantics;   Infinitary Logic / Recursive Models;

30 Friedrich L. Bauer (computer scientist and professor emeritus, Munich University of Technology)
	Longevity: 51; H-index: 13; Papers: 136; Citation: 1274   highest-cited paper: Software Engineering (1972) at Advanced Course: Software Engineering(Cited By -1) Homepage: http://en.wikipedia.org/wiki/Friedrich_L._Bauer
Expertise:

31 Richard Friedberg (12:45 pm (329 Pupin) Sandwiches, drinks and other light fare will be available at that time)
	Longevity: 51; H-index: 3; Papers: 4; Citation: 378   highest-cited paper: Three Theorems on Recursive Enumeration. I. Decomposition. II. Maximal Set. III. Enumeration Without Duplication (1958) at J. Symb. Log.(Cited By 194) Homepage: http://columbia-physics.net/colloquia_seminars/colloquia/2002F-2003S/17_april.htm
Expertise: Infinitary Logic / Recursive Models;   Data Compression / Arithmetic Coding;

32 C. C. Chang
	Longevity: 51; H-index: 6; Papers: 11; Citation: 160   highest-cited paper: The Study of an Ordered Minimal Perfect Hashing Scheme (1984) at Commun. ACM(Cited By 62) Homepage:
Expertise: Infinitary Logic / Recursive Models;   Knowledge-based system / CommonKADS design model;

33 Wilfried Buchholz (Ludwig-Maximilians-Universität München)
	Longevity: 51; H-index: 7; Papers: 14; Citation: 148   highest-cited paper: Proof-Theoretic Analysis of Termination Proofs (1995) at Ann. Pure Appl. Logic(Cited By 38) Homepage: http://www.mathematik.uni-muenchen.de/~buchholz/
Expertise: Infinitary Logic / Recursive Models;

34 R. M. Mason
	Longevity: 51; H-index: 3; Papers: 7; Citation: 43   highest-cited paper: A lower bound cost benefit model for information services (1978) at Inf. Process. Manage.(Cited By 22) Homepage:
Expertise:

35 J. H. Chung
	Longevity: 51; H-index: 3; Papers: 8; Citation: 20   highest-cited paper: Symbol Perforation Reduction Schemes for Orthogonal Code Hopping Multiplexing (2005) at IEICE Transactions(Cited By 7)
Expertise: Error function / Runge-Kutta integration;

36 E. F. Codd
	Longevity: 50; H-index: 28; Papers: 50; Citation: 18004   highest-cited paper: A Relational Model of Data for Large Shared Data Banks (Reprint) (1983) at Commun. ACM(Cited By 5907) Homepage: http://www.informatik.uni-trier.de/~ley/db/about/codd.html
Expertise: Database Systems;

37 George E. Collins
	Longevity: 50; H-index: 16; Papers: 34; Citation: 2870   highest-cited paper: Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition (1975) at Automata Theory and Formal Languages(Cited By -1) Homepage:
Expertise:

38 John C. Shepherdson
	Longevity: 50; H-index: 14; Papers: 30; Citation: 1794   highest-cited paper: Partial Evaluation in Logic Programming (1991) at J. Log. Program.(Cited By 471)
Expertise:

39 Herbert S. Wilf (Professor, Mathematics University of Pennsylvania )
	Longevity: 50; H-index: 16; Papers: 46; Citation: 665   highest-cited paper: The Number of Independent Sets in a Grid Graph (1998) at SIAM J. Discrete Math.(Cited By 120) Homepage: http://www.math.upenn.edu/~wilf/
Expertise: Finite Sets / New Designs;   Random graph / Independence number;

40 Klaus Samelson
	Longevity: 50; H-index: 7; Papers: 16; Citation: 562   highest-cited paper: The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L (1985) (Cited By 93)
Expertise:

41 Michael Halle (Director, Harvard Medical School)
	Longevity: 50; H-index: 6; Papers: 13; Citation: 337   highest-cited paper: Conformal Surface Parameterization for Texture Mapping (2000) at IEEE Trans. Vis. Comput. Graph.(Cited By 219) Homepage: http://splweb.bwh.harvard.edu:8000/pages/ppl/halazar/
Expertise: Information Systems Design / Software Engineering;   Knowledge-based data analysis / Medical Costs;   Gene Expression Analysis / Data Clustering;

42 Nuel Belnap
	Longevity: 50; H-index: 7; Papers: 13; Citation: 261   highest-cited paper: The Pure Calculus of Entailment (1962) at J. Symb. Log.(Cited By 87) Homepage: http://www.pitt.edu/~belnap/
Expertise: Infinitary Logic / Recursive Models;

43 A. Sengupta
	Longevity: 50; H-index: 3; Papers: 5; Citation: 143   highest-cited paper: Compressing Still and Moving Images with Wavelets (1994) at Multimedia Syst.(Cited By 124) Homepage:
Expertise: Logic Networks / Fault Simulation;   Real-Time Systems / Automated Software Test Data;   Computer / Systems;

44 David T. Brown
	Longevity: 50; H-index: 2; Papers: 4; Citation: 131   highest-cited paper: A Note on Approximations to Discrete Probability Distributions (1959) at Information and Control(Cited By 106)
Expertise: Finite Languages / Database Queries;   Systems Simulation / Software System;   Performance Management / Capacity Planning;

45 W. C. McGee
	Longevity: 50; H-index: 6; Papers: 30; Citation: 98   highest-cited paper: On User Criteria for Data Model Evaluation (1976) at ACM Trans. Database Syst.(Cited By 19) Homepage:
Expertise:

46 W. Buchholz
	Longevity: 50; H-index: 3; Papers: 7; Citation: 78   highest-cited paper: The IBM System/370 Vector Architecture (1986) at IBM Systems Journal(Cited By 56)
Expertise: Der Wirtschaftsinformatik / Bedeutung und Ziele von;

47 Haydn Thompson
	Longevity: 50; H-index: 4; Papers: 10; Citation: 43   highest-cited paper: Decision support system on the grid (2005) at KES Journal(Cited By 16)
Expertise: Computer / Systems;   Gene Expression Analysis / Data Clustering;

48 A. Fraenkel
	Longevity: 50; H-index: 2; Papers: 3; Citation: 36   highest-cited paper: Improved Techniques for Processing Queries in Full-Text Systems (1987) at SIGIR(Cited By 25)
Expertise: Infinitary Logic / Recursive Models;

49 S. Watanabe
	Longevity: 50; H-index: 3; Papers: 9; Citation: 26   highest-cited paper: Automatic determination of acoustic model topology using variational Bayesian estimation and clustering for large vocabulary continuous speech recognition (2006) at IEEE Transactions on Audio, Speech Language Processing(Cited By 8) Homepage:
Expertise: Speech recognition / Model compensation approach;   Mechanism design / Learning Stochastic Finite Automata;   Wavelet image coding / Video compression;

50 A. E. Scott
	Longevity: 50; H-index: 2; Papers: 5; Citation: 13   highest-cited paper: Automatic Preparation of Flow Chart Listings (1958) at J. ACM(Cited By 10)
Expertise: Error function / Runge-Kutta integration;   Gene Expression Analysis / Data Clustering;