Concepedia
Statistics
Publications
50
Citations
2.3K
H-Index
23
Active since
1971
Affiliations
University of Manchester(Current)
University of Crete
Manchester University
Czech Academy of Sciences, Institute of Computer Science
Czech Academy of Sciences, Institute of Mathematics
J. B. Paris is an author at University of Manchester specializing in engineering, automated reasoning, and formal methods.
Top concepts
EngineeringAutomated ReasoningFormal MethodsComputer ScienceProbabilitySemanticsDiscrete MathematicsEntropyLinguisticsProof Complexity
Publications per year
1971–2014
Accessible Independence Results for Peano Arithmetic
Laurie Kirby, J. B. Paris · Bulletin of the London Mathematical Society · 1982 · 283 citations
Engineering, Computational Number Theory, Automated Reasoning +3
On the scheme of induction for bounded arithmetic formulas
A. J. Wilkie, J. B. Paris · Annals of Pure and Applied Logic · 1987 · 205 citations
Engineering, Automated Reasoning, Proof Complexity +4
A note on the inevitability of maximum entropy
J. B. Paris, Alena Vencovská · International Journal of Approximate Reasoning · 1990 · 162 citations
Engineering, Entropy, Entropy Production +3
Provability of the pigeonhole principle and the existence of infinitely many primes
J. B. Paris, A. J. Wilkie, Alan R. Woods · Journal of Symbolic Logic · 1988 · 116 citations
Pigeonhole Principle, δ 0, Proof Complexity +6
In defense of the maximum entropy inference process
J. B. Paris, Alena Vencovská · International Journal of Approximate Reasoning · 1997 · 105 citations
Engineering, Information Theory, Entropy +5
1–5 of 50