Concepedia

Arnold Beckmann

AB

21

Publications

646

Citations

16

H-Index

1996

Active since

Affiliations

Swansea University(Current)

University of California San Diego

University of Münster

Arnold Beckmann is an author at Swansea University specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceComputational ComplexityAutomated ReasoningProof ComplexityDiscrete MathematicsFormal VerificationSystems EngineeringDesign

Publications per year

1996–2021

21

Publications

21

KSPMI: A Knowledge-based System for Predictive Maintenance in Industry 4.0

Qiushi Cao, Cécilia Zanni-Merk, Ahmed Samet et al. · Robotics and Computer-Integrated Manufacturing · 2021 · 119 citations

Software Maintenance, Engineering, Business Intelligence +16

Logical Approaches to Computational Barriers: CiE 2006

Arnold Beckmann, Benedikt Löwe, D. Normann · Journal of Logic and Computation · 2007 · 74 citations

Engineering, Interdisciplinary Network Computability, Computational Model Theory +16

Improved witnessing and local improvement principles for second-order bounded arithmetic

Arnold Beckmann, Samuel R. Buss · ACM Transactions on Computational Logic · 2014 · 45 citations

Mathematical Programming, Computational Complexity Theory, Engineering +16

Exact bounds for lengths of reductions in typed <i>λ</i>-calculus

Arnold Beckmann · Journal of Symbolic Logic · 2001 · 42 citations

Type Theory, Lower Bound, Typed λ -Calculus +5

Parity Games and Propositional Proofs

Arnold Beckmann, Pavel Pudlák, Neil Thapen · ACM Transactions on Computational Logic · 2014 · 37 citations

Resolution Proof System, Engineering, Automated Reasoning +15

Rows per page

1–5 of 21